第一节　直言命题及其类型

一、什么是直言命题

1．直言命题的概念

直言命题又称性质命题，是断定对象具有或不具有某种性质的命题。

直言命题是简单命题的一种。所谓简单命题，就是不包含其他命题的命题。如“所有的马都是动物”这一命题中不包含任何其他的肢命题，它是由主项、谓项和联项所构成的一个简单命题。

2．直言命题的结构

直言命题由主项、谓项、联项、量项四部分构成。

直言命题=量项﹢主项+联项+谓项

主项是表示被断定的思维对象的概念，在逻辑学中，通常以“S”来表示主项。

谓项是表示思维对象的性质或属性的概念，在逻辑学中，通常以“P”表示谓项。

量项是表示被断定对象数量的概念。量项可分为三种：一是全称量项，它表示在一个直言命题中对其主项外延的全部都作了断定，全称量项通常用“所有”、“一切”、“凡是”等表示；二是特称量项，它表示在一个直言命题中，对其主项外延只作了部分断定；量项通常用“有些”、“有的”等表示；三是单称量项，它表示在一个直言命题中主项的外延中只有一个对象，并对这一主项的全部外延都作出了断定。

联项是表示对象与性质之间联系的词项，即联结主项和谓项的词项，联项分为肯定联项和否定联项。联项的不同决定了直言命题性质的不同。因此，通常把联项称为直言命题的“质”。

命题中的主项和谓项作为具体概念都是可以变化的，因此称作“逻辑变项”，通常用S来表示主项，用P来表示谓项。而量项和联项在同类型的命题中，含义是不变的，所以称作“逻辑常项”。这样，命题的逻辑结构可用公式表示为：

（1）所有S都是P。

（2）所有S都不是P。

（3）有些S是P。

（4）有些S不是P。

任何命题的结构都包括量项、主项、联项、谓项四个部分，但就命题的语言形式而言，这四个部分中的任何一部分都可以省略，应该强调的是，这只是语言形式的省略，而不是逻辑结构的缺少。

二、直言命题的类型

1．根据直言命题的质来划分

根据质（联项）的不同，可以把直言命题分为肯定命题和否定命题。

（1）肯定命题

肯定命题是断定思维对象具有某种性质的命题。

肯定命题的逻辑形式是：S是P。

（2）否定命题

否定命题是断定思维对象不具有某种性质的命题。

否定命题的逻辑形式是：S不是P

2．根据直言命题的量项所做的划分

我们把量项所表示的量叫做命题的量。根据直言命题的量的不同，可把直言命题分为全称命题、特称命题和单称命题。

（1）全称命题

全称命题是断定思维对象全部具有或不具有某种性质的命题。逻辑形式是：所有S都是P。

（2）特称命题(www.daowen.com)

特称命题是断定某类事物中部分对象具有或不具有某种性质的命题。逻辑形式是：有些S是P。

（3）单称命题

单称命题是断定某类中的一个对象具有或不具有某种性质的命题。逻辑形式是：S是P。

3．根据直言命题的质和量的结合所做的划分

直言命题根据质和量的结合可划分为单称肯定命题、单称否定命题、特称肯定命题、特称否定命题、全称肯定命题和全称否定命题。

（1）全称肯定命题

全称肯定命题是断定某类对象中的每一个对象都具有某种性质的命题。

全称肯定命题的结构式为“所有的S都是P”或“S都是P”，简写为“SAP”。在传统逻辑中，以字母A来代表全称肯定命题，字母A是拉丁文“Affirmo”（我肯定）的第一个元音字母，因此，人们就把全称肯定命题称为“A”命题。

（2）全称否定命题

全称否定命题是断定某类对象中的每一个对象都不具有某种性质的命题。

全称否定命题结构式为“所有的S都不是P”或“S都不是P”，简写为“SEP”。在传统逻辑中，以字母E来代表全称否定命题，字母E是拉丁文的“Nego”中第一个元音字母，这个词做“否定”讲。因此，人们就把全称否定命题称为“E”命题。

（3）特称肯定命题

特称肯定命题是断定某类对象中的部分对象具有某种性质的命题。

特称肯定命题结构式为“有些S是P”，简写为“SIP”。在传统逻辑中，将“Affirmo”这个单词的第二个元音字母“i”的大写形式“I”表示特称肯定命题。因此，又把特称肯定命题称为“I”命题。

（4）特称否定命题

特称否定命题是断定某类对象中的部分对象不具有某种性质的命题。

特称否定命题的结构式为“有些S不是P”，简写为“SOP”。在传统逻辑中，将“Nego”这个单词的第二个元音字母“o”的大写形式“O”表示特称否定命题。因此，又把特称否定命题称为“O”命题。

（5）单称肯定命题

单称肯定命题是断定某一个别对象具有某种性质的命题。

单称肯定命题的结构式是：这个S是P。

（6）单称否定命题

单称否定命题是断定某一个别对象不具有某种性质的命题。

以上这两个命题都断定了单独事物、个别事物不具有某种性质。

单称否定命题的结构式是：这个S不是P。

需要注意的是，特称命题的量项“有些”的含义是指“至少有一个，甚至全部”，它与日常用的“有些”是不同的。日常用的“有些”多是指“仅仅有些”，即日常说“有些是什么”就意味着“有些不是什么”，说“有些不是什么”就意味着“有些是什么”。但是，作为性质命题的特称命题的“有些”、“有的”只表示在一类事物中有对象被断定具有或不具有某种性质，至于该类事物中未被断定的对象的情况如何，它并未作出明确的表示。也就是说，它并不意味着该类事物中的未被断定的部分不具有某种性质，反之亦然。

由于单称命题和全称命题断定的都是对象的全部范围，因此，从这一逻辑特性上说，单称命题可以被看做是全称命题。这样，六种形式的性质命题就可以归结为四种基本形式：

全称肯定命题，用“SAP”表示，简称“A”。

全称否定命题，用“SEP”表示，简称“E”。

特称肯定命题，用“SIP”表示，简称“I”。

特称否定命题，用“SOP”表示，简称“O”。