首页 >
命题
✍ dations ◷ 2025-08-16 06:57:34 #命题
命题(proposition),在现代哲学、逻辑学、语言学中是指一个判断(陈述 (逻辑))的语义(实际表达的概念),这个概念是可以被定义并观察的现象。命题不是指判断(陈述)本身。当相异判断(陈述)具有相同语义的时候,他们表达相同的命题。例如,雪是白的(汉语)和 Snow is white(英语)是相异的判断(陈述),但它们表达的命题是相同的。在同一种语言中,两个相异判断(陈述)也可能表达相同命题。例如,刚才的命题也可以说成冰的小结晶是白的,不过,之所以是相同命题,取决于冰的小结晶可视为雪的有效定义。通常,命题是指闭判断,以区别于开判断,或谓词。在这种情况下,命题不是真的就是假的。哲学学派逻辑实证主义支援这一命题的概念。一些哲学家,诸如约翰•希尔勒,认为其他形式的语言或行为也判定命题。是非疑问句是对命题真值的询问。道路交通标志不通过语言和文字也表达了命题。使用陈述句也可能给出一个命题而不判定它,例如,在当老师请学生对某个引用发表意见的时候,这个引用就是一个命题(即它有语义)而这个老师并没有判定它。在上一段中,只给出了命题雪是白的,但没有判定它。命题可依分析-综合、必然-偶然、先验-后验三大特性区分。传统哲学认为命题或为分析的、必然的、且先验的,或为综合的、偶然的、且后验的,但这些观点近来受到了一定程度的挑战。(注:以下命题后为"True"代表命题为真,"False"代表其为假)分析真(假)的命题是纯粹基于语义为真(假)的命题;综合真(假)的命题则是并非纯粹基于语义为真(假)的命题。 这是语义学的分类。分析命题范例如:综合命题范例如:必然真(假)的命题是在所有可能情况都为真(假)的命题;偶然真(假)的命题则是在现实世界为真(假)但有可能为假的命题。 这是形而上学的分类。必然命题范例如:偶然命题范例如:先验真(假)的命题是不须借助对实体世界的观察与经验即可证成为真(假)的命题,后验真(假)的命题则需要借由观察与经验才能证成为真(假)。 这是知识论的分类。先验命题范例如:后验命题范例如:有些命题被认为是后验且必然的,例如:有些命题被认为是先验且偶然的,例如:有些命题被认为是先验且综合的,例如:
相关
- 调节体温调节(thermoregulation),指温度感受器接受体内和外在环境温度的刺激,通过体温调节中枢的活动,引起内分泌腺、骨骼肌、皮肤血管和汗腺等组织和器官活动的改变使人体体温维持恒
- 合成按照IUPAC金皮书的定义,不对称合成(enantioselective synthesis、asymmetric synthesis),也称手性合成、立体选择性合成、对映选择性合成,是研究向反应物引入一个或多个具手性元
- 汉语汉语(主要为粤语广府话与台山话等)整体使用量在美国诸语言中排行第三,其主要使用者为华裔美国人与华人移民及其后代,特别是在加州与纽约等地区。超过200万美国人使用各种汉语变
- μm微米(Micrometer、㎛)是长度单位,符号µm。1微米相当于1米的一百万分之一(10-6,此即为“微”的字义)。此外,在ISO 2955的国际标准中,“u”已经被接纳为一个代替“μ”来代表10-6的国
- 胆道胆管为胆汁由肝脏传送至十二指肠的一个管道。肝内的胆小管逐级合并成左、右肝管,出肝门再合成为肝总管;肝总管与胆囊管汇合成胆总管。肝细胞持续不断的制造胆汁浓缩并储存于胆
- interleukin 10n/an/an/an/an/an/an/an/an/an/a白细胞介素-10(Interleukin 10,IL-10,白介素-10),也称为人细胞因子合成抑制因子(cytokine synthesis inhibitory factor,CSIF),是一种抗炎症细胞。在
- 保养品医学美容保养品(cosmeceutical)是指介于化妆品(cosmetic)、美容品与药品(pharmaceutical)之间,能够调整肤况却不会改变生理结构的产品,由于有临床实验数据与医学期刊发表论文作为研
- 伊本·赫勒敦伊本·赫勒敦(阿拉伯语:ابن خلدون,1332年5月27日-1406年3月19日),全名为阿布·扎伊德·阿卜杜勒拉赫曼·本·穆罕默德·本·赫勒敦·哈德拉米(阿拉伯语:أبو زيد ع
- 产学合作产学合作是指产业界和学术界合作进行产品的开发或是产品相关问题的技术研究,可能是公司将一些研究专案委托学校的老师,由老师及其学生(多半是研究所或是博士班学生)进行,由公司支
- 主格主格(拉丁语:casus nominativus, 英语:nominative case,缩写:.mw-parser-output .smallcaps-all{font-variant:small-caps;text-transform:lowercase}.mw-parser-output .smallcap