六 西方逻辑学

形式逻辑／亚里士多德Aristotl公元前384—前322的逻辑学说／斯多葛逻辑／中世纪逻辑学／教父逻辑／经院逻辑／传统逻辑／词项／词项的种类／定义／划分／限制和概括／命题／直言命题／周延／逻辑方阵／复合命题／形式逻辑基本规律／换位法／直言三段论／文恩图／联言推理／选言推理／假言推理／二难推理／弗兰西斯·培根(Francis Bacon1561—1626)的逻辑／归纳逻辑／完全归纳推理／简单枚举归纳推理／契合法／差异法／契合差异并用法／共变法／剩余法／类比推理／假说／论证／反证法／选言证法／反驳／归谬法／预期理由／谬误／长角者／半费之讼／预设／莱布尼茨(Gottfriext Wilhelm Leibniz1646—1716)的逻辑思想／弗雷格／哥德尔／数理逻辑／逻辑主义／形式主义／直觉主义／命题逻辑／命题联结词／真值表／命题联结词的相互定义／重言式／德摩根律／范式／谓词逻辑／量词／谓词表达式／普遍有效式／量词否定律／传统逻辑命题表达式／后件概括和前件存在规则／前束范式／公理系统／自然推理系统／元逻辑／布尔代数／递归论／模态逻辑／道义逻辑／时态逻辑／多值逻辑／弗晰逻辑／摹状词理论／悖论／集合论悖论／逻辑哲学