在特定的和普遍的命题是命题类的主要分类。它们是由亚里士多德提出的，并且是逻辑研究的一部分。
亚里士多德逻辑将命题定义为肯定或否定某句话的句子。也就是说，它具有辩论性和绝对性。分类命题是那些肯定或否认一部分（或全部）是某物的命题。根据它们的功能，它们是通用的还是特殊的。
特殊命题和普遍命题
特定主张的一个例子是“一些国家有海岸”，而普遍主张是“活着的东西是凡人”。
亚里士多德命题
提出整体主张的是亚里斯多德（公元前384年-公元前322年）。它们被确立为口头逻辑结构的初始部分。
命题理论解释说，它的目的是表明一个主语是否是谓语的一部分。
普遍主张
通用性是指整个主题组的通用性。我们不是在说一个特定的元素，而是所有。
例如，句子“所有的狗都吠”是一个普遍的命题。它为该组的所有成员（狗）赋予相同的特征（树皮）。
“人类是哺乳动物”也是普遍主张的另一个例子。主题是“人类”，谓词是“它们是哺乳动物”。
特殊命题
与先前的命题不同，特定命题是指一组特定的命题。
命题“有些鸟飞”是特别的，因为它指的是整个群体的某些要素。
“有些人是金发的”这句话也是如此。在这种情况下，“某些人”代表主题，“他们是金发”代表谓语。
4种主要命题形式
无论是普遍的还是特定的，所有主张都可以是肯定的或否定的。
肯定的。肯定的是那些确认所作的确认。也就是说，他们积极支持句子的谓词。普遍肯定的命题的一个例子是“所有猫咪都喵喵叫”。在这一点上，肯定确认了整个主体对象都在执行谓词的动作。
一种特别的肯定主张是“有些猫是白色的”。这不包括谓词中的整个组，而仅包括其中的某些元素。
负面因素。同时，否定主张否认了索赔的真实性。“没有鸟有羽毛”这句话是一个否定的普遍命题。这肯定了谓词在其所指的整个组中的否定。
具有“有些鸟不飞”结构的句子是一个特殊的否定命题。这将使该组的一部分成员成为谓词。
基于此，亚里斯多德确定类别命题有4种可能的形式。因此，他产生了一个分类来详细研究它们。
表格A：普遍肯定的主张
每个主题都是前提条件。例如：所有行星都是圆形的。
表格E：否定性普遍命题
没有主语的谓词。例如：没有行星是平坦的。
表格I：特殊的肯定主张
一些主题是谓语。例如：有些门是木制的。
表格O：否定的特定命题
一些主题不是谓语。例如：有些门不是金属的。
练习题
找出以下论点属于四种命题形式的哪一种。
-“所有欧洲人都是人”
回复
这是一个普遍的肯定性命题，因为主题是所有事物的前提。
-“没有哺乳动物是不朽的”
回复
这是一个否定的普遍命题，因为主题不是万能的前提。
-“有些汽车是电动的”
回复
这是一个特别的肯定命题，因为主题是断言的。
-《有些车不是五门车》
回复
这是一个特别的否定命题，因为没有确定主题。
参考文献
- 分类命题。（2011）Philosophypages.com
- 命题的分类。（2013）expresionoralyescrita1.files.wordpress.com
- 提案初步。matematexx.files.wordpress.com
- 哲学103：标准形式的分类命题的逻辑维恩图介绍。（2004）Philosophy.lander.edu
- 分类命题。（2017）britannica.com
- 分类命题。（2017）newworldencyclopedia.org