邏輯大全 · 11. 論形式是直言的而等價於假言的命題

奧卡姆 《邏輯大全》
討論了直言命題(實際上是簡單的直言命題)以後,我們必須探討與假言命題等價的命題。 應該注意,有的直言命題隱含著幾個直言命題,後者實際上是對前者的解釋,也就是說,表達這個命題以其形式所傳達的東西。每個這樣的直言命題都可以叫做與一個假言命題等價的命題。如上所說,排他命題、例外命題和重疊命題都是這類命題。一些含內涵詞或關係詞的命題也屬於這類,例如,「有的白東西在跑」,「每個白東西是個物體」,「每個動因產生某種東西」,「每個量都是在一個位置中」,「每種相似性都是一種性質」,等等。因此,我們必須討論這些命題。 關於這個問題,應該注意,如上所說,一個詞項如果有一個名詞定義,即一個表達這個名詞是什麼意思的定義,以致除非有這個短語,否則無法知道這個名是什麼意思,那麼這個詞項就可以合適地被稱為內涵的或關係的。而且在這樣一種情況下,它總是基本地意謂某種東西,並且間接地意謂某種東西,例如,在「白的」和「熱的」的情況下顯然是這樣。因為「白的」的名詞定義是「有白性」或「以白性傳達的」或某種這樣的東西。這樣,「白的」指代某種東西,這種東西是它意謂的東西或與某物共同意謂的東西,而且它意謂或與某物共同意謂某種東西,而這種東西不是它指代的或不必然是它指代的,即使它由於一個全稱符號而是周延的——至少不是因為周延。在這樣的情況下,一般來說,當某個詞項意味或與某物共同意謂某種它不能指代的東西——因為它不是總真謂述那種東西——時,這樣一個詞項既不是內涵的,也不是關係的。例如,根據一種談論方式,「白的」這個詞項主要意謂白性。然而它不指代白性,正像它不真謂述白性一樣。因為「白性是白的」是假的。所以,「白的」這個詞項是內涵的或關係的。與此相似,「創造者」意謂或與某物共同意謂一個創造物,但是它不指代一個創造物。因為「一個創造物是一個創造者」是假的。所以,「創造者」這個詞項是內涵的或關係的。根據亞里士多德的觀點,對於「凹鼻的」、「凹面的」、「量」和其他這類詞也應該是這樣。因為所有這些詞項都以某種方式意味或引入了一定的它們所不指代的東西。因為「量」表達出一部分與另一部分在地點和位置上相區別,然而「量」並不指代這樣一個地點或位置。不過,如果它確實這樣指代,那麼這是因為實量的各部分都是量化的。 在其他地方也許將表明,恰當地說,關係的名和內涵的名之間的區別是什麼。 如果假定了上述所說,那麼應該注意,任何含有這樣一個詞項的命題都是一個含有一些說明要素的命題,這些要素表達這樣一個命題所意謂的東西。但是不同的命題由於不同的內涵詞項或關係詞項而有不同的說明要素。因此,談論其中一些要素就夠了,因為人們將會發現如何把其他要素與將討論的那些要素加以比較,從而說明它們。 在這樣的條件下應該注意,每當在一個命題中出現一個相應於一個抽象詞項的具體詞項,這個詞項引入一個東西,該東西又說明另一個東西,這時就總是這樣一種情況:這樣一個命題的真要求兩個命題。這兩個命題可以被稱為是這個命題的說明要素。此外,其中一個命題應該是這樣的:它的兩個端項都處於主格;而另一個命題應該是這樣的:其中一個端項處於間接格。例如,對於「蘇格拉底是白的」的真而言,要求「蘇格拉底是」是真的並且「白是在蘇格拉底之中」是真的。與此相似,對於「一個白東西在跑」的真而言,要求有以下兩個命題:「有東西在跑」和「白是在那個東西之中」。對於其他命題也是如此。 與此相似,當某個關係詞項在一個命題中出現時,要求不止一個命題是真的。例如,對於「蘇格拉底是與柏拉圖相似的」的真而言,要求蘇格拉底有某種性質並且柏拉圖有同樣一種性質。這樣,鑒於蘇格拉底是白的並且柏拉圖是白的,蘇格拉底是與柏拉圖相似的,並且反之亦然。與此相似,如果他們二人都是黑的或冷的,那麼僅僅鑒於這一點,他們就是相似的。同樣,對於「一個人是一個量」的真而言,要求一個人有部分,並且一部分與另一部分在地點和位置上是不同的。 但是有人可能會懷疑是不是每個全稱命題都有這樣的說明要素。似乎每個全稱命題都有,因為一個全稱命題有許多單稱命題。 應該說,一個含有「二者」或「二者……皆不」這樣的符號出現的命題根據其意義就等於一個假言命題。但是一個含有「沒有」、「每個」或「任何」這樣的符號出現的命題則不等於一個假言命題。因為儘管這樣一個命題常常有許多單稱命題,然而這卻不是必然的。因為如上所說,「每隻不死鳥是」是真的,即使只有一隻不死鳥。 對於以下命題的說明應該與上述類似:「一個鼻子是扁的」、「一個人是一種相似性」、「一個人是一個原因」。而且一般來說,對於表達了其他內涵和關係詞項的命題的說明,應該與上述類似。 對於集合的名,比如「數」、「運動」、「時間」、「人民」、「軍隊」,等等,也可以作出相同的說明。因為這樣的詞項要求幾個命題是真的。 此外,根據亞里士多德的觀點,應該注意的一點是:任何這樣的詞項,即任何內涵的、關係的、集合的或否定的詞項,都不依自身或以說明是什麼的方式謂述一個指這樣一事物的指示代詞,它依自身是一事物。然而,這些詞項的一部分(或全部)是種或者依自身在屬中,如同「數」本質地在量的屬中一樣。 而且,儘管根據亞里士多德的觀點這樣的詞項不是依自身謂述一個指一事物的代詞,然而它們以說明是什麼的方式謂述帶有那個普通詞項的指示代詞。例如,如果「蘇格拉底是一個人」是依自身和以說明是什麼的方式的表達,那麼「這個數是一個數」也將是依自身和以說明是什麼的方式的表達。而且對於「這種相似性是一種相似性」、「這種運動是一種運動」,以及其他命題也是如此。 儘管如此,仍然應該懂得,如果嚴格而恰當地理解「依自身和以說明是什麼的方式謂述」,即把它理解為「必然地謂述」,那麼在這種意義上,任何像「人」、「動物」、「數」等等這樣的種都不依自身和以說明是什麼的方式謂述任何東西——尤其是在現在時非模態命題中。這裡的原因在於,任何以下這樣的命題都不是必然的:「蘇格拉底是一個人」,「這頭驢是一頭驢」,「這個數是一個數」,「這個運動是一個運動」。但是如果人們在廣義上理解以說明是什麼的方式和依自身的謂述,也就是說,把它理解為這樣一種謂述,其中謂項並不意味任何不是主項所意味的東西的內在的東西,於是在這種意義上,下面這樣的命題都是依自身和以說明是什麼的方式的表達:「這個人是一個人」,「這頭驢是一頭驢」,「這種相似性是一種相似性」,以及其他命題。 因此應該說,每當一個內涵的、關係的或集合的詞項在一個命題中出現時,總是有下面這樣的情況:這樣一個命題等於某個假言命題,它可以藉助多個說明要素來說明。