逻辑与科学方法论[].ppt

科学与逻辑方法论 第六、七讲 传统词项逻辑与现代谓词逻辑 从 “逻辑分子学” 到 “逻辑原子学” 传统词项逻辑 对当关系 三段论 对当关系 什么是直言命题？ 直言命题的构成要素： 主项和谓项； 量项： ①全称量项：所有（任一） 　　　　　 ②特称量项：有些（有的） 联项：①肯定联项：是 ②否定联项：不是 　　　　　 直言命题的结构 直言命题的质和量 直言命题的种类 名称 实例 结构 简写 简称 全称肯定 所有的人都是 所有S都是P SAP A命题 要死的。 全称否定 所有的宗教都 所有的S都不是P SEP E命题 不是科学。 特称肯定 有的官员是 有的S是P SIP I命题 清廉的。 特称否定 有的报导不是 有的S不是P SOP O命题 真实的。 关于单称命题 关于存在量项“有的”（“有些”） 自然语言中直言命题的规范分析 “今天出席会议的不都是正式代表” 的规范形式是什么？ 同一素材的直言命题间的真假关系 对当关系 逻辑方阵 SAP 反对 SEP 矛 矛 从 从 属 属 盾 盾 SIP 下反对 SOP 反对关系：不能同真，可以同假。 矛盾关系：不能同真，不能真假。 从属关系 = 蕴涵关系 下反对关系：可以同真，不能同假 SAP SEP s是P s不是P SIP SOP 在某次税务检查后，四个工商管理人员有如下结论： 甲：所有个体户都没纳税。 乙：服装个体户陈老板没纳税。 丙：有个体纳了税。 丁：有个体户没纳税。 如果四人中只有一人断定属实，则以下哪项是真的? A.甲断定属实，陈老板没有纳税。 B.丙断定属实，陈老板纳了税。 C.丙断定属实，但陈老板没纳税。 D.丁断定属实，陈老板未纳税。 E.丁断定属实，但陈老板纳了税。 必然P 必然?P P ? P 可能P 可能? P