直言命题 - 百科知识

直言命题

【百科名称】：直言命题
【英文解释】：categorical proposition
【分类】：综合百科
【正文】：
    直接陈述对象有无某种性质的命题。传统逻辑中的一类最简单的命题。逻辑史上最早详细研究这类命题的是亚里士多德但他并没有使用“直言命题”这个名称，而称之为简单命题。后来I. 康德从认识的模态的角度把这类命题叫做实然（原意为断言）命题。传统逻辑学家一般认为，这类命题与选言命题、假言命题不同，它是无条件地、简单地肯定或否定某种事实，因而被汉译为直言命题。
   传统逻辑把直言命题分为四种基本类型，即：全称肯定命题、全称否定命题、特称肯定命题和特称否定命题。它们的简称、形式以及形式的简化记法如下：

    表：直言命题在这四种形式中，“所有”和“有”是逻辑常项，由它们决定全称和特称的区别，这叫做直言命题的量的区别。具有逻辑常项系词“是”的命题叫做肯定命题；具有逻辑常项系词“不是”的命题叫做否定命题，这叫做直言命题的质的区别。在直言命题中，系词之前的词项叫做主项，表示命题所反映的对象；系词之后的词项叫做谓项，表示命题所反映的对象是否具有的性质。在直言命题的各形式中，常以变项S代表主项，以变项P代表谓项。形式逻辑中的“有”的含义是“至少有一个”，这与自然语言里的“有些”并不完全相同。因此，“有S是P”并不意味着“有S不是P”，反之亦然。
   如果一个直言命题对其主项（或谓项）的全部外延有所反映，那么该主项（或谓项）是周延的；如果一个直言命题没有对其主项（或谓项）的全部外延有所反映，那么该主项（或谓项）是不周延的。根据这一定义，全称命题的主项周延，特称命题的主项不周延。由于“所有S是P”并不意味着所有S是一切P；“有S是P”也不意味着有S是一切P，因之肯定命题的谓项不周延，这是没有例外的。“所有S不是P”，意味着有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 ”。故现代逻辑称这类命题为存在命题。

【相关知识】

关于直言命题间的对当关系问题 - 湘潭师范学院学报：社会科学版 - 王源生

亚里士多德直言命题理论的现代解析 - 重庆工学院学报 - 张家龙[1,2]

直言命题及其推理的主项存在问题 - 广州师院学报：社会科学版 - 王昨萍

直言命题变形推理特例分析 - 红河学院学报 - 杨彬

传统直言命题的制约逻辑剖析 - 贵州大学学报：自然科学版 - 龚启荣

直言命题换位推理的欧拉图析 - 广东行政学院学报 - 崔泽云,张俊涛,

直言命题的同质等值换位推理 - 安徽教育学院学报 - 韦传萍

论直言命题的存在含义——对一个老问题的系统思考 - 湘潭师范学院学报：社会科学版 - 陈波

逻辑学教学中直言命题真假情况一览表的应用 - 华北科技学院学报 - 王跃平

浅谈选言命题的真值表 - 新乡师范高等专科学校学报 - 李敬

尽举选言命题及其推理 - 贵阳师范高等专科学校学报：社会科学版 - 龚启荣