在自然语言中说“有些东西是什么”,还暗含 着“有些东西不是什么”;说“有些东西不是 什么”,还暗含着“有些东西是什么”。
逻辑学中说“有些S是P”没有暗含着“有些S不 是P”;说“有些S不是P”也没有暗含着“有些S 是P”。
逻辑学中所说的“有些”是“至少有一个”的 意思,至多可以多到全体。
第一节 命题概述
一、命题和判断 二、命题和语句 三、命题的种类
一、命题和判断
命题是表达判断的语句。命题的基本特 征是真和假。
判断是对事物情况有所断定的思维形式, 亦即被断定了的命题。
联系:命题当被思维主体断定之后,它 便成为判断。
区别:作为命题,它是对事物情况的陈 述;作为判断,它带有主体断定的性质, 有时还带有情感色彩。
2、直言命题的凡恩图解
凡恩图解(Venn diagrams)是英国逻辑学 家、数学家J•凡恩(John Venn,1834-1923 年)于1880年创造的。
凡恩图解用两个相交叉的圆圈构成的图形 表示在直言命题(A、E、I、O)中,主项 “S”与谓项“P”在外延间的各种关系。
可以用文恩图解来刻画直言命题的四种形式
一、什么是直言命题
1、含义:直言命题是一个主谓结构,它 断定了某个数量的对象具有或者不具有 某种性质,因此也叫做“性质命题”。
2、结构:主项、谓项、量项、联项。 主项和谓项统称为词项。 直言命题的质:肯定命题、否定命题。 直言命题的量:全称、特称、单称。
特别提醒注意的是:
逻辑学中的特称量词“有些”与自然语言中的 “有些”的含义是不同的。
四种直言命题连续变形推理
(1)SAP→SEP→PES→PAS→SIP→SOP (2)SAP→PIS→POS (3)SEP→SAP→PIS→POS (4)SEP→PES→PAS→SIP→SOP (5)SIP→SOP (6)SIP→PIS→POS (7)SOP→SIP→PIS→POS (8)SOP(不能先换位)