2021学年一 发现潜藏的逻辑谬误示范课ppt课件

这是一份2021学年一 发现潜藏的逻辑谬误示范课ppt课件，共28页。PPT课件主要包含了直接推理，三段论，文恩图解法，直言命题，所有有些，是不是，欧拉图或文恩图，种属关系，矛盾关系，反对关系等内容，欢迎下载使用。
直言命题的存在含义问题
直言命题（主谓式命题）
普遍词项S/单称词项a
它断定了某个数量的对象具有或者不具有某种性质，也叫“性质命题”
直言命题中主谓项的关系
该词项所指称的对象所具有的特有属性或本质属性
该词项所表示或指称的那个对象或对象的类别
词项逻辑主要处理词项的外延
是指有相同素材（即相同主项和谓项）的直言命题间的真假关系。
直言命题的真假，取决于外延关系的真假判定
指A与E的关系，它们之间不能同真，但可以同假。
指A与O、E与I的关系，它们之间既不能同真，也不能同假。
指A与I、E与O之间的关系。概括为：如果全称命题真，则相应的特称命题真；如果特称命题假，则相应的全称命题假；如果全称命题假，则相应的特称命题真假不定；如果特称命题真，则相应的全称命题真假不定。
指I与O的关系，它们之间可以同真，但不能同假。
SAPSOP SEPSIPSIPSEP SOPSAP
在直言命题中，若断定了一个词项的全部外延，则称它是周延的，否则是不周延的。
只有直言命题的主项和谓项才有周延与否的问题，离开直言命题的一个单独词项，无所谓周延和不周延。
主、谓项的周延性是由直言命题的形式决定的，而不是相对于直言命题所断定的对象本身的实际情况而言的。
将一个直言命题由肯定变为否定，或者由否定变为肯定，并且将其谓项变成其矛盾概念，由此得到一个与原直言命题等值的直言命题。
将一个直言命题的主项和谓项互换位置，但让它的质保持不变，原为肯定仍为肯定，原为否定仍为否定，并相应地改变量项，由此得到一个新的直言命题。
SAP→PIS SEP→PESSIP→PIS SOP不能换位
对一个直言命题先换质，再换位，由此得到一个新的直言命题。
根据直言命题间的对当关系进行的推理。
SAP→SOPSEP→SIPSIP→SEPSOP→SAPSAP→SOPSEP→SIPSIP→SEPSOP→SAP
SAP→SEPSEP→SAP
SAP→SIPSEP→SOPSIP→SAPSOP→SEP
SIP→SOPSOP→SIP
SAP→a是P a是P→SIP
单称命题与其他命题之间的推理：
其中，结论的主项是小项(S)，含有小项的前提是小前提；结论的谓项是大项(P)，含有大项的前提是大前提；两个前提共有的词项叫做中项(M)。
是由一个共同词项把两个直言命题(前提)连接起来，得出一个新的直言命题作为结论的推理。
根据组成三段论的三个直言命题的质与量，三段论有不同的式。一个三段论，它的大前提、小前提和结论分别可能是A、E、I、O。4×4×4 ×4 ＝256
三段论有效式的判定方法
先给出三段论必须遵守的一些推理规则，根据这些规则去判定一个具体的三段论是否有效。
用欧拉图和文恩图去判定一个三段论是否有效。
首先给出明显有效的三段论公理，再根据保持有效性的推理规则，能够推出的三段论式就是有效的。
在一个三段论中，有且只能有三个不同的词项
中项在前提中至少要周延一次
在前提中不周延的词项，在结论中不得周延
从两个否定前提推不出任何确定的结论
两个特称前提不能得结论
如果两个前提中有一个特称，结论必然特称
一个结论全称的正确三段论，其中项不能周延两次
（1）小前提必须肯定。（2）大前提必须全称。
（1）两个前提必须有一个否定。（2）大前提必须全称。
（1）小前提必须肯定。（2）结论必须特称。
（1）如果大前提肯定，则小前提必须全称。（2）如果小前提肯定，则结论必须特称。（3）如果有一个前提否定，则大前提必须全称。（4）如果大前提特称，则两个前提都必须肯定。（5）如果小前提特称，则大前提必须全称否定。
他把三段论分为三个格，共有19个有效式，其中第一格叫做“完善的格”，其他两个格叫做“不完善的格”。 他运用一套化归程序，即利用包括对当关系、换质、换位推理，以及命题逻辑中所讲的反三段论等在内的一些工具，试图把其他各格的有效三段论化归、还原为第一格的三段论。 若把这套化归程序倒转过来，三段论就可以被公理化。
需要将它们化归为标准形式来验证其有效性
所有直言推理都只有在预先假定的基础上才有效，否则很多不再成立。
其主项和谓项既不能是一个空类，也不能是一个全类，而是指称由实存个体组成的一个非空非全的类。
传统词项逻辑的假定或预设：
(1) A和E不再具有上反对关系。(2) I和O不再具有下反对关系。(3) 全称命题和同质的特称命题之间的差等关系不再成立。(4) 限量换位和连续的换质位（或换位质）不再有效。(5) 由两个全称前提得出特称结论的9个三段论式不再成立。
三段论恒有效的充分必要条件
前提和结论中的特称命题数目相同
三段论的有效式缩减为15个