直言命题与对当关系推理.ppt

SAP?并非SEPSEP?并非SAPSAP?并非SePSEP?并非SaPSeP?并非SAPSaP?并非SEP第31页,共37页，星期六，2024年，5月并非SIP?SOP并非SOP?SIP并非SIP?SeP并非SOP?SaP并非SaP?SOP并非SeP?SIP第32页,共37页，星期六，2024年，5月SAP?SIP并非SIP?并非SAPSEP?SOP并非SOP?并非SEPSAP?Sap并非SaP?并非SAPSaP?SIP并非SIP?并非SaPSEP?SeP并非SeP?并非SEPSeP?SOP并非SOP?并非SeP第33页,共37页，星期六，2024年，5月五、全称命题预设主词存在问题在传统逻辑中，全称命题预设了主词存在。传统逻辑所讨论问题的视阈只限于现实世界这个唯一的可能世界，所以全称命题主词所断定的事物情况自然是存在着的。于是从全称肯定命题真，可以推出特称肯定命题真。第34页,共37页，星期六，2024年，5月从现代经典逻辑的观点看，全称命题并非预设存在，全称命题仅仅表示了一个充分条件关系，而这个充分条件假言命题的前件未必是真的。如作案者都有作案时间，这句话仅仅表达了如果某人是作案者则他一定是有作案时间的，而并非意味着作案者存在。这样从全称肯定命题真，并不能推出特称肯定命题真。于是，在现代经典逻辑中，要由全称肯定命题真推出特称肯定命题真，必须加上主词的存在。即所有S都是P并且存在S，所以有些S是P。第35页,共37页，星期六，2024年，5月关于甲班体育达标测试,三位老师有如下预测：

张老师说：“不会所有人都不及格”。

李老师说：“有人会不及格”。

王老师说：“班长和学习委员都能及格”。

如果三位老师中只有一人的预测正确,则以下哪项一定为真?

A.班长和学习委员都没及格。

B.班长和学习委员都及格了。

C.班长及格,但学习委员没及格。

D.班长没及格,但学习委员及格了。

E.以上各项都不一定为真。第36页,共37页，星期六，2024年，5月感谢大家观看第37页,共37页，星期六，2024年，5月关于直言命题与对当关系推理一直言命题及其种类对当关系推理是一种简单句推理，具体来讲就是关于直言命题的推理。直言命题也叫性质命题，它是断定事物对象是否具有某种性质的命题。第2页,共37页，星期六，2024年，5月（1）所有商品是有价值的。（2）所有人不是长生不死的。（3）有些玫瑰是红色的。（4）有些科学家不是大学毕业的。（5）张三是高级工程师。（6）某个人不是小偷。第3页,共37页，星期六，2024年，5月直言命题在结构上由主项、谓项、联项和量项组成。第4页,共37页，星期六，2024年，5月主项是表示直言命题中事物对象的概念，如上例（1）中的“商品”、（2）中的“人”等。通常用大写字母“S”表示主项（“主项”在英文中是subject）。第5页,共37页，星期六，2024年，5月谓项是表示直言命题中事物性质的概念，如上例（1）中的“有价值的”、例（2）中的“长生不死的”等。通常用大写字母“P”表示谓项（“谓项”在英文中是predicate）。第6页,共37页，星期六，2024年，5月联项是表示直言命题中联结主项和谓项的概念，包括肯定联项和否定联项。肯定联项为“是”，否定联项为“不是”。第7页,共37页，星期六，2024年，5月量项是表示直言命题中主项的数量范围的概念，包括全称量项、特称量项和单称量项。全称量项通常用“所有”、“一切”、“凡”等表示。特称量项通常用“有些”、“某些”、“有的”等来表示。单称量项通常用“某个”、“这个”、“那个”等表示。全称量项对主项所表示的全部事物范围做了断定，特称量项对主项所表示的部分事物范围做了断定，单称量项对主项所表示的某一个别事物做了断定。第8页,共37页，星期六，2024年，5月在直言命题结构中，“S”和“P”又称为词项变项，可以用不同的具体概念代入，从而得到不同的具体直言命题，在直言命题中作为主项和谓项的具体概念就称为词项。联项和量项又称为词项常项。直言命题的特征和种类主要是由词项常项来决定的。一个具体的直言命题的真假情况则由其主项和谓项之间的关系决定。第9页,共37页，星期六，2024年，5月全称肯定命题：所有S是P。全称否定命题：所有S不是P。特称肯定命题：有些S是P。特称否定命题：有些S不是P。单称肯