- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第三章 性质命题及其推理
第三章 简单命题及其推理(上);第一节 命题和推理的概述; 1、判断是对思维对象有所断定(有所肯定或者有所否定)的一种思维形式。
2、判断的基本逻辑特点:⑴判断总是对思维对象的情况有所肯定或否定;
⑵它是或真或假的。
以上两个特征是断定某一语句是否为判断的标准。
判断的语言表达形式是语句,
3、表达判断的语句就是命题。
逻辑学以命题作为其直接研究对象;二、命题和语句;(2)同一判断可以用不同的语句来表达。
如果马儿不吃饱草,那么马儿不能跑。
只有马儿吃饱草,马儿才能跑。
又要马儿跑,又要马儿不吃饱草,这是不行的。
(3)同一语句,可以表达不同的判断。
小张的这幅肖像画挺传神。;笑话二则;; 三、推理
例(1)?如果天下雨,那么地湿。 ?
天下雨了。
所以,地湿了
例(2) 蘑菇没有叶绿素 ① 香蕈没有叶绿素 ② 地衣没有叶绿素 ③ 蘑菇、香蕈、地衣都是菌类植物 ④ 所以,凡菌类植物都没有叶绿素 ⑤
;1、推理:就是从一个或几个已知的命题出发推出另一个新命题的思维形式。
2、推理的结构由前提、结论和推理形式三部分构成。
前提是已知的判断,是整个推理的出发点。通常叫推理的根据或理由。
结论是推理所引出的新的未知的判断,是推理的目的和结论。
推理形式是从已知判断与未知判断之间的“推出”关系的类型或模式。
逻辑常项是判定一种推理形式的类型的惟一根据,也是区别不同类型的推理形式的惟一根据。;;第二节 性质命题;3、性质命题的逻辑结构由主项、谓项、联项和量项四部分构成。
其公式为:所有(有的)S是(不是)P。
此逻辑结构中,量项“所有(有的)”和联项“是(不是)”是逻辑常项;主项“S”和谓项“P”是逻辑变项。
量项有全称和特称两种。在语言表达上,全称量词可以省略,特称量词则不能省略。; 二、性质命题的种类
可以从不同的角度对性质命题进行分类。
①从质上区分:有肯定与否定之分;
②从量上区分:有全称、特称、单称之分;
③把质与量相结合:全称肯定——所有S是P
全称否定——所有S不是P
特称肯定——有的S是P
特称否定——有的S不是P
单称肯定——这个S是P
单称否定——这个S不是P
字母化缩写形式:SAP、SEP、SIP、SOP。
由于单称命题对主项全部外延都作了断定,所以,传统逻辑通常将单称命题视为全称命题的特例加以研究。;(-)单称肯定判断:单称肯定判断是断定某类的唯一分子是另一类的分子的判断。
逻辑形式是:(某个)S是P。
鲁迅是现代著名文学家。
(二)单称否定判断:单称否定判断是断定某类的唯一分子不是另一类的分子的判断。
逻辑形式是:(某个)S不是P。
月亮不是自身发光的。
(三)全称肯定判断:全称肯定判断是断定某类的全体分子是另一类的分子的判断。
逻辑形式是:凡S是P。
所有的名词都是实词。 ;(四)全称否定判断:全称否定判断是断定某类的全体分子都不是另一类的分子的判断。
逻辑形式是:凡S不是P。
所有的唯心主义者都不是马克思主义者。”
(五)特称肯定判断:特称肯定判断是判定某类中至少有一个分子是另一类的分子的判断。。逻辑形式是:有S是P。
有的自然科学是边缘科学。
(六)特称否定判断:特称否定判断是断定某类中至少有一个分子不是另一类分子的判断。逻辑形式是:有 S不是P。
有的天鹅不是白色的。 ;注意事项:;三、A、E、I、O四种性质命题的项的周延性;;
;真假关系的具体内容:;在主谓项相同的性质命题A、E、I、O之间存在着真假上的相互制约关系,这种关系又称“对当关系”。
逻辑方阵图
SAP 反对关系 AEP
差 矛 矛 差
等 盾 盾 等
关 关 关 关
系 系 系 系
SIP 下反对关系 SOP
;三、性质命题的直接推理
直接推理就是以一个命题为前提而进行的推理。以性质
文档评论(0)