演绎推理~直言命题~

直言命题 传统直言命题又简称为直言命题〔categoricalproposition〕,它是一种简单命题.分析直言命题及其逻辑结构首先需要分析简单命题.所谓简单命题是指结构最简单的命题,从其表达的形式结构上分析,它是不能再分解为其它命题的命题.
传统逻辑把直言命题分为四种基本类型，即：全称肯定命题、全称否定命题、特称肯定命题和特称否定命题。
直言命题一般有四个组成部分.主项,谓项,量项和联项.
主项是直言命题中指称代表事物对象的词项.
谓项是命题中指称代表对象所具有或不具有的性质的词项.
量项是表达主项外延数量的词项.量项有全称量项和特称量项两种.全称量项一般用语词"所有","每一个","凡"等表示,特称量项一般用"有","有些"表示.
联项是表达主项与谓项之间逻辑关系的词项.联项有肯定的与否定的两种.肯定联项一般用语词"是"表示,否定联项一般用语词"不是"表示.
在直言命题的这四个组成部分中,量项和联顶的逻辑涵义是确定的.逻辑涵义确定的词项被称作逻辑常项.因此,直言命题的量项和联项是逻辑常项.
与量项和联项不同,主项和谓项的逻辑涵义是不确定.逻辑涵义不确定的词项被称作逻辑变项.因此,主项和谓项是变项,分别用S和P表示.
虽然就主项S和谓项P究竟代表哪个具体词项来说它们的涵义是不确定的,但就它们必须代表并且也只能代表词项这一点却是很确定的.因此,我们说S和P是以词项为定义域的变项.它们代表任意词项,而不是其它什么东西.
任何一个传统直言命题都是由主项,谓项,量项和联项四部分构成.直言命题中还有一类特殊形式即单称命题。有两种：一种主项是专名，如“苏格拉底是人”；一种主项是附有限制的普遍概念，如“昨天我谈到的那个人是作家”。单称命题有肯定和否定的区别，传统逻辑认为其形式分别为 ： 这个S是P；这个S不是P 。亚里士多德虽论及单称命题 ，但却没有谈到有关单称命题的推理 。后来许多传统逻辑读本在论述推理时，把单称命题当作全称命题处理是不妥当的。
现代逻辑克服了传统逻辑不考虑空