Loading AI tools
陈述一个类与另一个类之间的包含关系的命题 来自维基百科,自由的百科全书
直言命題是陳述一個類與另一個類之間的包含關係的命題。在經典邏輯看來,直言命題是演繹推理的基本構件。[1]
直言命題可以根據其「質」和「量」分為四種標準直言命題:
A、E、I、O的命名是基於拉丁語affirmo(我肯定),以及nego(我否認)。大量句子都可以翻譯成這些標準形式之一,同時保留其全部或大部分的原始含義。
四種標準直言命題之間有四種對立關係(opposition):矛盾關係、反對關係、下反對關係、差等關係。它們可以用對立四邊形圖示。通過對當關係可以作出直接推理。
由三個直言命題(兩個作為前提, 一個作為結論)組成的論證被稱為直言三段論,屬於間接推理。
類
類(class)是共有某種特定屬性的對象的匯集。
質
如果一個命題肯定了類與類之間的包含關係,那麼該命題的質是肯定的(affirmative),反之是否定的(negative)。
量
如果一個命題述及主項所指稱的類的所有成員,那麼該命題的量是全稱的(universal);如果只述及某些成員,那麼就是特稱的(particular)
周延
如果一個命題述及一個詞項所指稱的類的所有成員,那麼該詞項在命題中周延(distribute)。在A、E、I、O命題中,詞項的周延各不相同。A命題主項周延,E命題主項、謂項都周延,I命題主項、謂項都不周延,O命題謂項周延。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.