判断：是对思维对象有所断定的思维形式。

思维对象：思维所能指向的一切事物。

判断的特征：1.判断都有所断定；2.判断有真假。两个同时满足时为判断。

没有定义断定？// 断定：认为事物具有或不具有某种性质、某种关系；可以是断定事物性质，也可以是事物间的关系。

语句是判断的语言表达形式，判断是语句表达的思维内容。

语句与判断的关系：1.不是所有的语句都表达判断；2.同一个判断，可以使用不同的语句来表达；3.同一个语句可以表达不同的判断；

命题：表达判断的语句是命题。

命题形式：命题的逻辑形式。与命题具体内容相对的形式结构。

词项变项：通常用大写S,P等表示词项变项。// 语句中可以替换的词。

命题变项：？// 语句中，可以替换的命题叫命题变项；

逻辑变项：词项变项和命题变项都称为逻辑变项。

逻辑常项：？

简单判断：自身不含有其它判断的判断。

复合判断：自身中包含其它判断的判断。

性质判断：断定对象是否具有某种性质的判断。// 反思是主动的。

关系判断：断定对象与对象之间是否具有某种关系的判断。// 反思消耗注意力。

模态判断：包含模态词的判断。

非模态判断：不包含模态词的判断。

模态词：描摹事物状态的词，如“可能”、“必然”、“曾经”、“永远”等。// 什么是事物的状态？

性质判断的结构：由主项、谓项、联项、量项构成。// 如所有反思是思考。

主项：表示性质判断所断定的对象。通常用大写S表示，是逻辑变项。

谓项：表示性质判断所断定的性质。通常用大写P表示，是逻辑变项。// 如思考

联项：表示主谓项的联系。联项有两种，即肯定联项和否定联项。是逻辑常项。

量项：主项被断定的数量或范围。是逻辑常项。

性质判断的种类1：按照性质判断的联项来进行划分（按质分），联项包含肯定联项和否定联项，相应地也分为肯定判断和否定判断。

肯定判断：断定对象具有某种性质的断定。标准形式：S是P。

否定判断：断定对象不具有某性质的判断。标准形式：S不是P。

性质判断的种类2：按照性质判断的量项来进行划分。分为：单称判断、全称判断和特称判断。

单称判断：断定单个对象具有或不具有某性质的判断。标准形式：这个S是（不是）P。// 乔布斯是爱反思的人。

全称判断：断定某类对象全部具有或不具有某性质的判断。标准形式：所有S都是（不是）P。// 所有的猫都不会反思。

特称判断：是断定某类对象中至少有一个对象具有或不具有某性质的判断。标准形式：有的S是（不是）P。// 有的反思是被动的。

性质判断的种类3：按质量结合分，可以分为单称肯定判断、单称否定判断、全称肯定判断（SAP）、全称否定判断（SEP）、特称肯定判断（SIP）、特称否定判断（SOP）。

自然语言中性质判断形式的规范化：将自然语言非标准的性质判断转换为标准形式的性质判断。

逻辑语“有的”与自然语言的“有的”区分：逻辑语句中的“有的”只表示至少有一个，而自然语言的“有的”，表示“有的苹果是水果，有的苹果不是水果”。

同素材的性质判断：指主项和谓项均相同的判断。

同素材的A、E、I、O四个性质判断存在：矛盾关系、反对关系、下反对关系、差等关系。

矛盾关系：存在于A和O、E和I之间。具有矛盾关系的两个判断既不能同时为真，也不难同时为假。//

反对关系：存在于A和E之间。具有反对关系的两个判断不能同真，可以同假。一个为真，另 个为假。

下反对关系：存在于I和O之间。具有下反对关系的两个判断，不能同假，可以同真。

差等关系：分别存在于A和I、E和O之间。具有差等关系的两个判断，一个是全称判断，一个上特称判断。真假关系如下：如果全称判断为真，则特称判断为假；如果全称判断为假，特称判断真假不定。如果特称判断为真，全称判断真假不定；如果特称判断为假，全称判断也是假。

同素材的A、E、I、O，四个性质判断之间存在上述关系，一般为称A、E、I、O之间的对当关系。

性质判断主、谓项的周延性：在一个性质判断中，如果其主项（或谓项）的全部外延都得到了断定，就称该主项（或谓项）是周延的。

第三节 关系判断

关系判断的结构：由关系者项、关系项和量项三部分构成。

关系者项：表示具有关系判断所断定关系的若干对象。

关系项：表示关系判断所断定的关系。

量项：表示关系者项被断定的数量和范围。

二元关系判断可以表示为：R(a,b)，也可以简写成aRb。

多元关系判断表示：R(a1,a2,...,an);

自返关系：如果对于特定论域中的任一对象x，都有R(x,x)成立，那么称关系R为该论域上的自返关系。

非自返关系：如果对于特定论域中，存在对象x，R(x,x)不成立，那么称关系R为该论域上的非自返关系。

禁自返关系：如果对于特定论域中的任一对象x，R(x,x)都不成立，那么称关系R为该论域上的自返关系。

对称关系：如果 对于特定论域中的任一对象x和任一对象y，若R（x，y）成立，则R（y，x）一定成立，那么称关系R为该论域上的对称关系。

非对称关系：如果对于特定论域中，存在对象x，y，R（x，y）成立，但R（y，x）不成立，那么称关系R为该论域上的非对称关系。

禁对称关系：如果 对于特定论域中的任一对象x和任一对象y，若R（x，y）成立，则R（y，x）一定不成立，那么称关系R为该论域上的禁对称关系。

传递关系：如果对于特定论域中的任一对象x、任一对象y和任一对象z，若R（x，y）和R（y，x）成立，则R（x，z）一定成立，那么称关系R为该论哉上的传递关系。

非传递关系：如果对于特定论域中，存在对象x、y、z，若R（x，y）和R（y，x）成立，但R（x，z）不成立，那么称关系R为该论域上的非传递关系。

禁传递关系：如果对于特定论域中的任一对象x、任一对象y和任一对象z，若R（x，y）和R（y，x）成立，则R（x，z）一定不成立，那么称关系R为该论域上的禁传递关系。