✍ Scribed by 宋文坚
No coin nor oath required. For personal study only.
第一章 逻辑的对象、方法和意义
第一节 逻辑类型
第二节 逻辑形式
第三节 逻辑运算和逻辑方法
第四节 逻辑的作用和意义
第二章 命题逻辑的公式
第一节 复合命题
第二节 复合命题的推理
第三节 真值联结词
第四节 否定式
第五节 析取式和合取式
第六节 蕴涵式和等值式
第七节 真值形式和真值断定
第八节 真值函项
第三章 真值表 范式 形式证明
第一节 永真公式
第二节 真值表方法
第三节 简化的真值表方法
第四节 范式
第五节 简化范式和优范式
第六节 范式的多种应用
第七节 求否定运算和求对偶运算
第八节 命题逻辑的形式证明
第九节 形式证明的推理规则
第四章 命题演算
第一节 命题演算概述
第二节 自然演算SN的规则
第三节 自然演算SN系统
第四节 公理化命题演算P的出发点
第五节 公理化命题演算系统P
第六节 命题演算的语义解释
第七节 命题演算的一致性和完全性
第五章 传统谓词逻辑
第一节 词项和概念
第二节 直言命题
第三节 直言命题的对当关系
第四节 直言命题的变形
第五节 三段论
第六章 谓词逻辑的公式
第一节 谓词逻辑公式的组成
第二节 直言命题形式的公式化
第三节 关系命题
第四节 带等词的命题形式
第五节 普遍有效式 可满足式 不可满足式
第七章 谓词逻辑的运算、推理和证明
第一节 求否定运算和求对偶运算
第二节 前束范式
第三节 谓词逻辑的形式证明
第四节 关于全称量词的推理规则
第五节 关于存在量词的推理规则
第六节 带量词的关系命题推理
第七节 转换赋值方法
第八节 解释方法
第八章 模态逻辑
第一节 模态逻辑概述
第二节 模态命题逻辑和系统K
第三节 D,T,B,S4和S5等系统
第四节 可能世界语义学
第五节 模型方法
第六节 模态谓词逻辑
第九章 素朴集合论
第一节 集合的基本性质
第二节 集合的运算
第三节 有序对和卡氏积
第四节 关系
第五节 等价关系和偏序关系
第六节 映射
第七节 基数
第十章 归纳逻辑
第一节 归纳逻辑概述
第二节 简单枚举归纳法
第三节 预测推理和类比推理
第四节 求因果联系方法
第五节 概率 样本 平均数
第六节 统计归纳推理
第七节 归纳逻辑的公理化系统
第八节 概率演算的几种解释
📜 SIMILAR VOLUMES
《逻辑学教程》以介绍普通逻辑学的原理为主，兼及现代逻辑的基本知识，内容通俗易懂、简明实用。联系实际阐述原理，阶梯式的习题设计，这两点是全书的特色。只有走进人类思维大厦，才能探寻思维的本原，进而发现抽象思维的奧秘，并用以检视理性的自我。只有善于发现并审视理性的自我，才能从容面对这千姿百态的大干世界。
形式逻辑属于思维科学。思维科学是一个揭示思维的本质和规律的学科群，它包括心理学、脑神经生理学、哲学认识论、人工智能和辩证逻辑等，它们各自从不同角度研究思维的本质及其规律。形式逻辑属于思维科学，它把思维的形式结构作为特殊研究对象。
内容简介 · · · · · · 《佛教逻辑》是由三部著作所组成的丛书的最后一部。这套丛书的目的在于说明亚洲史上堪称最为强有力的思想运动。这种思想运动产生于公元前六世纪时的印度斯坦流域，逐渐地扩张到几乎整个亚洲大陆，以至日本和印度群岛。因此，这几部著作讨论的是中亚和东亚的主要思想的历史。《佛教逻辑》是关于佛教逻辑的一部权威性著作。作者通过对梵、藏原典的研究，并借助西方政治理论，对代表印度逻辑最高成就的晚期十乘佛教的逻辑理论作了系统的阐释和评价。 作者简介 · · · · · · 舍尔巴茨基(Th.Stcherbatsky)，20世纪上半叶西方佛教学界最著名的俄罗斯学者，是西方佛学