亞里士多德對“命題”的定義

【摘要】 亞里士多德是傳統邏輯的創始人，他的邏輯學說規定了西方邏輯思想發展的傳統方向，代表了古代邏輯的最高成就。主要分析了他是如何定義形式邏輯中“命題”這一最基本概念。

【關鍵詞】 名詞;動詞;命題

現代的傳統邏輯教科書中有關命題的定義及理論都是源自亞里士多德的命題學說，雖然“命題”的定義發展到今天已與過去有了很大不同，現代的形式邏輯對“命題”的定義更清晰、更規范，仍能看到它們之間的歷史淵源。現在傳統邏輯大多是先給出“命題”的定義，如“命題是通過語句來反映事物情況的思維形式”或“判斷是對事物或對象有所斷定的思維形式。”(有些邏輯書中將命題看作是判斷)，之后介紹命題(判斷)的基本形式。命題的基本形式是“S是P”，其中“S”稱為主項，指反映被斷定對象的概念;“P”是謂項，指反映被斷定對象具有或不具有的性質的概念;“是”稱為聯項，是表明主項與謂項聯系情況的概念。如“北京是中華人民共和國的首都。”“北京”主項，“是”是聯項，“中華人民共和國首都”是謂項。

亞里士多德在介紹命題定義之前，首先說明了一下聲音、文字、內心經驗的關系。(聲音)口語是內心經驗的符號，文字是口語的符號。人類的內心經驗大都是相同的，由這些內心經驗所表現的類似對象也是相同的。人們可以用相同的文字來表達大家都認可或理解的對象或意思，亞里士多德的命題學說是從命題的結構開始，在介紹命題定義之前他介紹了構成命題所需要的兩個概念:名詞、動詞。

1.名詞。“名詞是因約定俗成而具有某種意義的與時間無關的聲音。名詞的任何部分一旦與整體分離，便不再表示什么意義。” “名詞與時間無關”是說名詞所指對象既可以是現在存在的對象也可以是將來或是過去存在的對象。

名詞所處的位置或所擔的職能相當于現代的命題主項“S”，它是被解釋或被斷定的對象，亞里士多德稱之為主詞。在亞里士多德看來，只有實體范疇詞才能夠充當命題主詞。亞里士多德認為，命題主詞是不受時間影響的，亞里士多德據此斷定命題至少是關于現在或者過去所發生的事情。亞里士多德進一步認為，實體范疇詞亦即命題主詞(名詞)所指對象不但可以是客觀域里的具體存在物，如“人”、“動物”，也可以是非客觀的虛擬域中的具體存在物，如“神”、“獨角獸”。

亞里士多德又將實體分為第一實體和第二實體，第一實體指的是個別事物專名如“蘇格拉底”、第二實體是通名如“人”。第一實體只能作為主詞來使用，第二實體既可以作主詞又可以作謂詞，如“人是會死的”和“蘇格拉底是人”當中的“人”，既可以充當主詞又可以作謂詞，而“蘇格拉底”作為專名只能作主詞。

2.動詞。“動詞是不僅具有某種特殊意義而且還與時間有關的詞。動詞的部分沒有獨立意義，它只是表示由其他事物所述說的某種情況。”動詞表示的只是由其他事物所述說的某種情況，如有主項所述說的某種情況，或在主項中被述說的某種情況。這相當于謂項“P”，起反映被斷定對象的作用。在這亞里士多德舉健康的例子來說明，他說“健康”是名詞但當把健康用于表示主詞現在所存在的狀況時是動詞。亞里士多德的動詞與現代意義上通常所說的動詞有所不同，亞里士多德將主詞和謂詞分屬兩類邏輯范疇，主詞所屬的范疇是“實體”，謂詞所屬的范疇是屬性。亞里士多德所說的動詞實際上就是他所劃分的隸屬于屬性的這些詞，包括“數量”、“性質”、“關系”，“位置”、“時間”、“姿勢”、“狀態”、“活動”和“受動”。

“動詞本身是個詞，有一定的意義，動詞本身既不表示肯定也不表示否定，它只有在增加某些成分后，不定式‘是’、‘不是’，以及分詞‘是’才表示某種事實。”這里的“是”、“不是”相當于現代傳統命題邏輯中的聯項。單獨的名詞、動詞并不能形成句子，通常把“是”、“不是”也稱作動詞，用“是”動詞將名詞和動詞連接起來才能形成句子。

3.命題。名詞、動詞本身不能形成或真實或虛假的命題，只有把名詞和動詞聯結起來，加以肯定或否定，如“鳥飛”、“馬跑”、“人未學習”等，才能構成語句，表達思想，而起連接作用的就是“是”或“不是”這些動詞。句子是一連串有意義的聲音，它的每個部分都有其獨立的意義，但只是作為表達，而不是作為肯定命題或否定命題，只有那些自身或者是真實的或者是虛假的句子才是命題。如亞里士多德說“我們可以用‘羊一牡鹿’一詞來說這一點，這個詞有所指，但若不加上‘是’ 或‘不是’，則無論它是一般的時態還是某種特殊的時態，都無所謂正確或錯誤。”“羊”和“牡鹿”各有所指，單獨說出來或并列說出來只是孤立的范疇——兩個“名詞”，但如果用動詞“是”與“不是”連接起來，就成了句子，用“是”連接起來就是“錯誤”的，用“不是”聯系起來就是“正確”的，“羊”的確不是“牡鹿”。

亞里士多德在邏輯史上最早提出了命題有真或假二值的思想，奠定了二值邏輯的基礎。任何命題都具有兩個基本特征，一是有所斷定;另一個是有真假之別。亞里士多德對“命題”的定義及結構的規定塑造了現代形式邏輯“命題”定義的雛形，奠定了該定義的基礎，之后的形式邏輯就在此基礎上完善和發展起來。