直言命题
传统直言命题又简称为直言命题［categoricalproposition］,它是一种简单命题.分析直言命题及其逻辑结构首先需要分析简单命题.所谓简单命题是指结构最简单的命题,从其表达的形式结构上分析,它是不能再分解为其它命题的命题.
传统逻辑把直言命题分为四种基本类型，即：全称肯定命题、全称否定命题、特称肯定命题和特称否定命题。
直言命题一般有四个组成部分.主项,谓项,量项和联项.
主项是直言命题中指称代表事物对象的词项.
谓项是命题中指称代表对象所具有或不具有的性质的词项.
量项是表达主项外延数量的词项.量项有全称量项和特称量项两种.全称量项一般用语词"所有","每一个","凡"等表示,特称量项一般用"有","有些"表示.
联项是表达主项与谓项之间逻辑关系的词项.联项有肯定的与否定的两种.肯定联项一般用语词"是"表示,否定联项一般用语词"不是"表示.
在直言命题的这四个组成部分中,量项和联顶的逻辑涵义是确定的.逻辑涵义确定的词项被称作逻辑常项.因此,直言命题的量项和联项是逻辑常项.
与量项和联项不同,主项和谓项的逻辑涵义是不确定.逻辑涵义不确定的词项被称作逻辑变项.因此,主项和谓项是变项,分别用S和P表示.
虽然就主项S和谓项P究竟代表哪个具体词项来说它们的涵义是不确定的,但就它们必须代表并且也只能代表词项这一点却是很确定的.因此,我们说S和P是以词项为定义域的变项.它们代表任意词项,而不是其它什么东西.
任何一个传统直言命题都是由主项,谓项,量项和联项四部分构成.直言命题中还有一类特殊形式即单称命题。有两种：一种主项是专名，如“苏格拉底是人”；一种主项是附有限制的普遍概念，如“昨天我谈到的那个人是作家”。单称命题有肯定和否定的区别，传统逻辑认为其形式分别为 ： 这个S是P；这个S不是P 。亚里士多德虽论及单称命题 ，但却没有谈到有关单称命题的推理 。后来许多传统逻辑读本在论述推理时，把单称命题当作全称命题处理是不妥当的。
现代逻辑克服了传统逻辑不考虑空类和全类，即在 S类和P类都既不空又不全的假设下讨论A、E、I、O 这四种直言命题的局限。现代逻辑考虑到词项的外延可以是空类和全类，因而全称命题如“凡未接触过细菌的人都不得细菌性传染病”的形式应该为（F(x)→G（x）），这可以读作“对论域里的所有个体x而言，如果x有性质F则x有性质G” ；而传统逻辑所谓的特称命题如“有金属是固体”的形式应为 （'x（F（x））∧G（x）），这可读作“在论域里至少存在一个体x，使得x有性质F并且x有性质G”。故现代逻辑称这类命题为存在命题。
逻辑史上最早详细研究这类命题的是亚里士多德，但他并没有使用“直言命题”这个名称，而称之为简单命题。后来I.康德从认识的模态的角度把这类命题叫做实然（原意为断言）命题。传统逻辑学家一般认为，这类命题与选言命题、假言命题不同，它是无条件地、简单地肯定或否定某种事实，因而被汉译为直言命题。