命题
在逻辑学、哲学、语言学中，命题（英语：proposition）是一个陈述句所表达的判断，具有真值，即不是真的就是假的。例如，“雪是白色的”。命题不等同于句子，例如，“雪是白色的”和“白色是雪的颜色”是不同的句子，但它们判断相同的事，是相同的命题；同时，命题也不依赖于语言，不同的语言可以表达相同的命题，例如，“雪是白的”和“Snow is white”是相同的判断。疑问句、祈使句、感叹句都不能表达命题。[1]
由其他命题推出命题（前提推出结论）的过程，叫做推论；而这些作为前提和结论的命题的集合，叫做论证。命题逻辑主要处理命题及其之间的逻辑关系。
一些哲学家，诸如约翰·瑟尔，认为其他形式的语言或行为也判定命题。是非疑问句是对命题真值的询问。道路交通标志不通过语言和文字也表达了命题。使用陈述句也可能给出一个命题而不判定它，例如，在当老师请学生对某个引用发表意见的时候，这个引用就是一个命题（即它有语义）而这个老师并没有判定它。在上一段中，只给出了命题雪是白的，但没有判定它。
命题的分类
命题可依分析－综合、必然－偶然、先验－后验三大特性区分。传统哲学认为命题或为分析的、必然的、且先验的，或为综合的、偶然的、且后验的，但这些观点近来受到了一定程度的挑战。
（注：以下命题后为"真"代表命题为真，"假"代表其为假）
分析与综合
分析真（假）的命题是纯粹基于语义为真（假）的命题；综合真（假）的命题则是并非纯粹基于语义为真（假）的命题。[2] 这是语义学的分类。
分析命题范例如：
综合命题范例如：
必然与偶然
必然真（假）的命题是在所有可能情况中都为真（假）的命题；偶然真（假）的命题则是在现实世界为真（假）但有可能为假（真）的命题。[3] 这是形上学的分类。
必然命题范例如：
偶然命题范例如：
先验与后验
先验真（假）的命题是不须借助对实体世界的观察与经验即可证成为真（假）的命题，后验真（假）的命题则需要借由观察与经验才能证成为真（假）。[4] 这是知识论的分类。
先验命题范例如：
后验命题范例如：
古典命题分类的挑战
有些命题被认为是后验且必然的，例如：
有些命题被认为是先验且偶然的，例如：
有些命题被认为是先验且综合的，例如：
参见
引用
- ^ Irving & Carl 2019，第4-5页.
- ^ The Analytic/Synthetic Distinction, Stanford Encyclopedia of Philosophy. [1] （页面存档备份，存于互联网档案馆）
- ^ Possible Worlds, Stanford Encyclopedia of Philosophy. [2] （页面存档备份，存于互联网档案馆）
- ^ A Priori Justification and Knowledge, Stanford Encyclopedia of Philosophy. [3] （页面存档备份，存于互联网档案馆）
参考文献
- Copi, Irving M.; Cohen, Carl; Rodych, Victor. Introduction to Logic. New York. 2019. ISBN 978-1-138-50086-0.
