臉譜集

[拼音]：zhiyan mingti

[英文]：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這四種直言命題的侷限。現代邏輯考慮到詞項的外延可以是空類和全類，因而全稱命題如“凡未接觸過細菌的人都不得細菌性傳染病的”的形式應為凬x(Fx→G(x))，這可讀作“對論域裡的所有個體x而言，如果x有性質F則x有性質G”；而傳統邏輯所謂的特稱命題如 “有金屬是固體”的形式應為(Эx(F(x))∧G(x))，這可讀作“在論域裡至少存在一個體x，使得x有性質F並且x有性質G”。故現代邏輯稱這類命題為存在命題。