《邏輯大全》（拉丁文：Summa Totius Logicae，英文：the Summa Logicae）是由中世紀(jì)晚期著名經(jīng)驗哲學(xué)家、邏輯學(xué)家威廉·奧卡姆（拉丁文：Guillelmus de Ockham，英文名：William of Ockham，約1285~1349年）所撰寫的邏輯學(xué)巨著?！哆壿嫶笕分饕懻摿酥惺兰o(jì)邏輯學(xué)的詞項理論、指代學(xué)說和命題學(xué)說等問題，代表了整個中世紀(jì)邏輯學(xué)發(fā)展的最高峰。
《邏輯大全》以拉丁文寫成于1327年以前，1488年在法國巴黎第一次出版，之后在意大利柏倫諾、威尼斯、英國牛津等地作為教科書多次再版?！哆壿嫶笕啡珪譃槿蟛糠郑谝徊糠种饕懻撛~項的特性項的特性，探討了范疇詞與非范疇詞，屬、種、種差等謂詞以及指代理論。第二部分論述命題，探討了命題的分類和換位，尤其是探討了模態(tài)命題。第三部分是關(guān)于論證的理論，主要探討了三段論學(xué)說、推論學(xué)說和不可解命題等，還提及了三段論的一些新形式，如小前提是單稱命題的三段論、大前提是單稱命題的三段論以及一系列關(guān)系推理。作者還在本書中制定了推論的一般規(guī)則，提出了命題邏輯的一些基本原理。
《邏輯大全》的出版，全面而深入地呈現(xiàn)了中世紀(jì)的邏輯體系建構(gòu)，標(biāo)志著歐洲中世紀(jì)邏輯發(fā)展進(jìn)入新的時期。從廣義的哲學(xué)而言，《邏輯大全》使唯名論的思想乘勢而上、迅猛發(fā)展，導(dǎo)致14世紀(jì)初期之后的法國成為了唯名論思想的主要陣地。此后，奧卡姆的威廉的追隨者在巴黎大學(xué)建立了完整的學(xué)派，與托馬斯派的實在論者展開了激烈的論證，最終加速了后期正統(tǒng)經(jīng)院哲學(xué)的解體。英國利奧六世伯特蘭·阿瑟·威廉·羅素評論：“奧卡姆的著作鼓舞了科學(xué)研究，在威廉·奧卡姆以后再也沒有大經(jīng)院哲學(xué)家了?！?/p>
成書背景
中世紀(jì)邏輯學(xué)研究
中世紀(jì)邏輯學(xué)，尤其是詞項特性理論發(fā)展大致分為三個階段：第一階段的主要特征是稱呼占據(jù)主要地位：第二階段的主要特征是在第一階段基礎(chǔ)上補(bǔ)充了普通名稱的有意義使用這一概念；第三階段詞項理論則主要集中在指代學(xué)說上，其它已經(jīng)認(rèn)識到的詞項性質(zhì)如稱呼、擴(kuò)展限制等都附屬于它。詞項的實際意義成為人們感興趣的重點(diǎn)，而且所指或外延比更抽象的意義概念更為重要，一個詞項的主要意思是這個詞項正確用于的具體的個體。這種理論發(fā)展的動因來自辯論實踐。作為第三個階段的代表人物，奧卡姆的威廉對指代進(jìn)行了詳盡的研究。使指代成為他的詞項理論的基本概念。
范疇詞與非范疇詞理論
對范疇詞與非范疇詞的區(qū)分不是奧康的威廉的首創(chuàng)。對非范疇詞理論的研究興起于12世紀(jì)，同亞里士多德關(guān)于謬誤的理論被重新發(fā)現(xiàn)有關(guān)。該理論提醒了中世紀(jì)邏輯學(xué)家：若對非范疇詞使用不當(dāng)便很容易引起謬誤。該理論也是中世紀(jì)很具有特色的一部分內(nèi)容，當(dāng)時許多邏輯學(xué)家熱衷于對該理論的研究。
指代學(xué)說
指代是詞項的一種特性。指代問題主要是命題中詞或概念的作用問題。有些問題在亞里士多德的《范疇篇》中已經(jīng)得到討論，而且也并非所有指代中的問題都是邏輯問題，有一些是語言學(xué)、語義學(xué)和符號學(xué)的問題。中世紀(jì)特有的繁瑣的研究氣息也使得指代理論復(fù)雜化了。指代理論的提出和研究，卻仍可以作為中世紀(jì)邏輯之異于它前后階段的邏輯的重要標(biāo)志。奧卡姆的威廉對指代有著詳細(xì)的研究。
作者介紹
威廉·奧卡姆（William of Ockham），中世紀(jì)著名的利奧六世和邏輯學(xué)家，出生于英國倫敦南邊的蘇萊郡的奧卡姆村，他出生的日期在公元1300年左右。關(guān)于他去世的時間大約在1349或1350年。
奧卡姆的生平大致可以分為三個時期：第一個時期是從1317年到1324年間，奧卡姆在牛津市和倫敦學(xué)習(xí)和講學(xué)，這一時期是奧卡姆生涯中著述最多的時期，他寫了對亞里士多德和波菲利的范疇篇、解釋篇和論辯篇的注釋。在同一時期，他還寫了《邏輯大全》、關(guān)于亞里士多德物理學(xué)的注釋以及關(guān)于預(yù)言和圣餐的論文等等。在這一時期，奧卡姆的觀點(diǎn)開始受到攻擊。第二個時期是從1324年至1328年，奧卡姆受傳來到阿維農(nóng)教廷，為受到的指控進(jìn)行辯護(hù)。第三個時期是從1329直至去世，活動地點(diǎn)主要在慕尼黑，1328年，預(yù)感到審判的不利，奧卡姆的威廉從阿維農(nóng)逃到意大利的比薩，得到德國皇帝的庇護(hù)。據(jù)說奧卡姆見皇帝時曾這樣說“請你用刀劍保護(hù)我，而我將要用筆保護(hù)你?！?a href="/hebeideji/3007160802271881494.html">教皇因此革除了他的教籍。據(jù)說，奧卡姆的威廉在慕尼黑一直待到1349年去世，被葬在慕尼黑的弗朗西斯教堂。
奧卡姆的著作大致可以分為三個方面：一部分是神學(xué)著作，一部分是政治學(xué)著作，這主要是他逃離阿維農(nóng)以后的寫的反對教皇的論著，還有一部分就是他的邏輯學(xué)和哲學(xué)著作。他在主要神學(xué)和政治學(xué)方面的著作有《箴言書注》、《論基督之體》、《論圣壇儀式》、《論雅威的預(yù)定、預(yù)知及未來的偶然性》、《教皇權(quán)力八問》、《關(guān)于皇帝和教皇權(quán)力的對話》、《給托缽修士少數(shù)派的信》及《主政體短論》等。他的邏輯學(xué)和哲學(xué)著作主要有《物理學(xué)論題集》、《邏輯大全》等。他對邏輯最重要的貢獻(xiàn)是他的《超越舊方法的卓越解釋》和《邏輯大全》這兩本書。
主要思想
《邏輯大全》是一部邏輯學(xué)巨著。全書分三大部分。第一部分主要論述詞項的特性。探討了范疇詞與非范疇詞，屬、種、種差等謂詞，還探討了指代理論。第二部分論述命題，探討了命題的分類和換位，尤其是探討了模態(tài)命題。第三部分是關(guān)于論證的理論，主要探討了三段論學(xué)說、推論學(xué)說和不可解命題等。威廉在這一部分中提出了三段論的一些新形式，如小前提是單稱命題的三段論，大前提是單稱命題的三段論，以及像“每個人是動物，蘇格拉底看見一個人，所以蘇格拉底看見一個動物”一類的關(guān)系推理。他還制定了推論的一般規(guī)則，提出了命題邏輯的一些基本原理。對于中世紀(jì)邏輯理論的各個方面，奧卡姆的威廉都進(jìn)行了比較系統(tǒng)深入的研究，提出了許多獨(dú)特的見解，為把中世紀(jì)邏輯的發(fā)展推至頂峰做出了重要的貢獻(xiàn)。《邏輯大全》的出版，標(biāo)志著歐洲中世紀(jì)邏輯的發(fā)展進(jìn)入新的時期。
在奧康的威廉《邏輯大全》中，指代理論第一次被安排在詞項理論的后面，命題理論的之前。并且，它們不再被看作傳統(tǒng)亞里士多德邏輯的附加物。而且，在亞里士多德邏輯中處于中心地位的三段論通過大量的篇幅在專門的地方被強(qiáng)調(diào)，而且奧卡姆還把所有的推論都化為三段論。
詞項理論
詞項基本理論
奧卡姆的威廉的詞項邏輯理論主要包含三個方面的內(nèi)容：一是對詞項含義的明確，包括對自然指號與人工指號的區(qū)分；二是對于詞項的各種區(qū)分；三是指代學(xué)說。
詞項的含義
奧卡姆遵從亞里士多德的說法，把詞項看成是命題的基本構(gòu)成要素。奧康的威廉認(rèn)為可以從三種意義上理解詞項的含義：一是作為直言命題的連項或端項（即主項或謂項）；二是與“命題”對照使用，每個簡單的表達(dá)式都叫做詞項；三是狹義上從意義方面來理解的、作為命題主項或謂項的詞項。奧卡姆的威廉對詞項的三種意義上的理解都是從詞項與命題的某種關(guān)系來論述的，而不是把詞項當(dāng)作孤立的語詞來理解。在詞項理論的多數(shù)場合中，奧卡姆實際上是在第三種意義上理解詞項的。
另一方面，奧卡姆還從符號理論的角度闡述了其對詞項的理解，認(rèn)為詞項有三類，分別是寫下的、說出的和概念的。寫下的和說出的詞項容易理解。對于概念的詞項，奧卡姆的威廉認(rèn)為是心靈的意向或印象，自然地意謂著某種東西，或與其他東西共同意謂某種東西，能夠成為命題的一部分，并在命題中指代它所意謂的東西。這種對詞項的分析和區(qū)分是從唯名論的立場出發(fā)的。
他還認(rèn)為這三種詞項之間存在區(qū)別：概念的詞項自然地意謂某種東西，而說出的和寫下的詞項只是約定俗成地意謂一種東西。因此可以改變一個說出的和寫下的詞項的意義，而不能使一個概念的詞項的意義發(fā)生變化。詞（說出和寫下的詞項）和概念都指示同一客體，但詞從屬于概念。可見，奧卡姆所說的詞項與日常使用的語詞有所不同。其詞項既包括了“詞”（說出和寫下的，也譯為“名”），也包括了“概念”（心靈的意向）。此外，這里奧卡姆還明確區(qū)分了自然指號與人工指號的區(qū)別。在一定程度上反對了極端唯名論。
詞項的劃分
在《邏輯大全》的詞項理論部分中，奧卡姆的威廉從語詞的功能等角度對詞（“名”） 進(jìn)行了各種劃分。其中，比較重要和有特色的是關(guān)于范疇詞和非范疇詞的劃分、第一指定的名和第二指定的名的區(qū)分以及第一意向的名與第二意向的名的區(qū)分。
范疇詞與非范疇詞理論
奧卡姆把范疇詞定義為“有明確的確定的意義”的詞項。如“人”、“動物”、“白”等。非范疇詞則“不意謂任何東西；然而，當(dāng)它與一個范疇表達(dá)式結(jié)合起來時，就使這個范疇表達(dá)以確定的方式意謂某個東西或指代某個東西”，如“所有”、“每個”等。
范疇詞與非范疇詞是一個命題中的兩個成分。范疇詞就是現(xiàn)在所說的詞項，它們是獨(dú)立的名詞或動詞，在命題中充當(dāng)主詞或謂詞，具有獨(dú)立的意義，即“意謂”。非范疇詞與之不同，它主要在于修飾限制事物的所指，它要與范疇詞結(jié)合起來才有意義，才能構(gòu)成命題。雖然非范疇詞單獨(dú)使用沒有意義，但是它是命題中不可或缺的成分。因此，非范疇詞也是十分重要的。非范疇詞盡管沒有獨(dú)立的意義，但是它有著更有研究價值的地方。
第一指定的名與第二指定的名
“名”即詞項。關(guān)于第一指定的名和第二指定的名，奧卡姆首先明確指出這“只是在那些約定俗成的符號的詞項中得出的一些劃分”，而不涉及自然有意義的詞項。
對于第二指定的名，奧卡姆指出它們被用來意謂約定俗成的符號和所有適合約定俗成的符號、起符號作用的特征，但不能適用于心靈的意向，即自然的符號。這種詞項的例子是“名詞”、“動詞”、“格”、“數(shù)”、“時態(tài)”、“語態(tài)”等這類約定使用的符號。當(dāng)它們是有意義時，它們不意謂自然符號的思想內(nèi)容，而是用來意謂言語部分。也可以叫做名的名。
在廣義上，所有不是第二指定的名都是第一指定的名。在這種意義上，“像‘每個’、‘沒有’、‘某個’和‘所有’這樣的非范疇詞都是第一指定的名。在狹義上，只有那些不是第二指定的名的范疇名才叫做第一指定的名?！?a href="/hebeideji/5722087749036756478.html">奧卡姆的威廉關(guān)于第一指定的名與第二指定的名的區(qū)分實際上是從語詞是否指稱或反映概念的內(nèi)容方面所作的區(qū)分：能夠指稱或反映概念內(nèi)容的語詞是第一指定的名；不指稱概念的內(nèi)容，而只反映語詞本身的語詞是第二指定的名。
第一意向的名與第二意向的名
在狹義的第一指定的名中，奧卡姆又區(qū)分了第一意向的名與第二意向的名。意向就是心靈中能夠表示其他某種事物的東西，即心靈的自然符號，就是指概念。
第一意向的名是能夠指代其所意謂的東西的“名”，它意謂本身不是意向的東西。這就是指物的詞，它表示的是思想中自然而形成的關(guān)于外部事物的概念，它的對象是外部世界的事物。如“人”、“動物”等。
第二意向的名是專門意謂第一意向的意向，是第一意向的符號。如屬、種、類似等。它們表示的不是思想中自然形成的概念，而是思想的符號。
奧卡姆的威廉關(guān)于第一意向的名與第二意向的名的劃分相聯(lián)系的是他對邏輯研究對象的理解。在奧卡姆看來，邏輯學(xué)所研究的共相、種和類，都屬于第二意向的詞項。
除了以上三種對詞項的區(qū)分外，奧卡姆在《邏輯大全》中還區(qū)分了具體的名與抽象的名、含蓄的名和絕對的名、一義詞項和多義詞項等。此外，在《邏輯大全》的詞項部分，奧康的威廉還論述了屬、種、種差、定義、劃分等理論。
奧卡姆做出這些區(qū)分表明他力圖說明，在各種概念、說出的和寫下的語言中，有著不同的層次。用概念來說明和把握對象，它們的屬性和相互間關(guān)系，這屬于第一層次，還可以把這些概念本身當(dāng)作對象來加以研究，從而獲得新的概念。因此，概念是屬于不同層次的。不做這種區(qū)分，勢必造成某些混亂和自相矛盾。
指代學(xué)說
指代是詞項的一種特性。指代問題主要是命題中詞或概念的作用問題。
指代的內(nèi)涵
關(guān)于指代的內(nèi)涵，不同的邏輯學(xué)家有著不太相同的觀點(diǎn)。奧卡姆的威廉認(rèn)為指代是一種替代，當(dāng)一個詞項在一個命題中以某種方式代表某個東西，并且這個詞項或（如果它在間接格）它的主格謂述這個東西（或那個指這個東西的代詞） 時，這個詞項就指代這個東西。指代理論主要研究的是命題中詞或概念的作用問題。指代就是一個命題中的詞項所斷定的東西。它必須在具體的命題中，如果脫離了命題，只從詞項的表面意思來理解它所指的東西，就會出現(xiàn)理解的偏差。
指代的分類
奧卡姆對指代的劃分如下圖：
恰當(dāng)?shù)闹复筒磺‘?dāng)?shù)闹复?/h6>
奧卡姆首先將指代分為恰當(dāng)?shù)闹复筒磺‘?dāng)?shù)闹复?。每個詞項在它最初創(chuàng)造時都有特定的意義和意謂。這被看作詞項的恰當(dāng)?shù)囊饬x。在這種意義上，根據(jù)詞項的表達(dá)使用這個詞項就是恰當(dāng)?shù)闹复?。但如果一個詞項不是在其恰當(dāng)?shù)囊饬x上被使用，而是在比喻的意義上使用或以其它形式（例如換稱、提喻、轉(zhuǎn)喻）使用，那么它就是在不恰當(dāng)?shù)囊饬x上使用的，從而具有不恰當(dāng)?shù)闹复Ｒ虼耸褂眠@類詞時，就不應(yīng)該根據(jù)表達(dá)式從字面的意義上去理解，因為對于包含不恰當(dāng)?shù)闹复~項的命題，根據(jù)表達(dá)式理解其喻意可能是假的，而根據(jù)作者的意圖理解則可能是真的。
實質(zhì)指代、簡單指代和人稱指代
奧卡姆的威廉重點(diǎn)對恰當(dāng)?shù)闹复M(jìn)行了劃分。將其分為人稱指代、簡單指代和實質(zhì)指代。關(guān)于實質(zhì)的指代，奧卡姆認(rèn)為，“當(dāng)一個詞項不是有意義地指代，而是指代一個說出的詞或?qū)懴碌脑~時，就出現(xiàn)實質(zhì)指代。”例如，““人’是一個名”中，“人”這個詞就是實質(zhì)指代，它指代自身，但不意謂自身。也就是說，實質(zhì)指代的詞項是不具有意謂的功能的，而只代表詞項的聲音或文字，即它只是描述口頭或書寫的詞。
關(guān)于簡單指代，奧卡姆認(rèn)為，“當(dāng)一個詞項指代心靈的意向，并且不是有意義地起作用時，就出現(xiàn)簡單指代?！痹诤唵沃复?，詞項所指代的是心靈的一種意向，而這種意向并不是這個詞項專門所意謂的東西。例如，在“人是種”中，“人”這個詞項是簡單指代，它指代心靈的一種意向（“種”），但“人”這個詞項本身并不意謂這種意向。
關(guān)于人稱指代，奧康的威廉對其的定義是：當(dāng)一個詞項指代它所意謂的東西并且是有意義地這樣指代時，它就是人稱指代。例如，在命題“每個人是動物”中，“人”這個詞就是人稱指代，它指代它所意謂的東西。奧卡姆認(rèn)為，人稱指代是最常用的指代，并對人稱指代進(jìn)行了詳盡的劃分。
分離的指代和普通的指代
奧卡姆首先將人稱指代劃分為“分離指代”和“普通指代”。奧卡姆對“分離指代”的定義是：“當(dāng)指代詞項是有意義地使用的表示某個對象的專名或有意義地使用的一個指示代詞時，就出現(xiàn)分離的指代，這樣的指代產(chǎn)生單稱命題?！彼e例說，“蘇格拉底·奧利維拉是人”中的專名“蘇格拉底”、“那個人是人”中的指示代詞“那個人” 都是分離指代。
“普通指代”的詞項與“分離指代”相對，“當(dāng)一個普通詞項指代時，我們就有普通的人稱指代?！崩纾懊總€人是動物”。可以看出，普通指代的詞項不是表示某個對象的專名或指示代詞。普通詞項不指代單獨(dú)個體。
確切的指代和模糊的指代
奧卡姆又將普通的指代分為確切的指代和模糊的指代。“確切指代”的定義是：“當(dāng)通過一個析取命題可以降至特殊的東西時，就出現(xiàn)確切的指代”，“在一個直言命題中，當(dāng)一個詞項不是間接地或直接地（即在這同一個端項部分，或在前一個端項部分）帶有使命題的整個端項周延的全稱符號時，當(dāng)一個普通詞項不帶有否定或者任何與一個否定符號或全稱符號相等的表達(dá)式時，這個普通詞項就確切地指代?！碑?dāng)命題中的詞項不被使其周延的符號直接或間接地修飾時，就有確切指代。例如：“人是動物”中的“人”和“動物”都具有確切的指代，“每個人是動物”中“人”則沒有確切的指代，因為它由全稱符號周延了，“動物”也沒有確切的指代，因為它間接地跟在全稱符號的后邊，間接地使“動物”周延了?！皠游锊皇侨恕敝械摹皠游铩庇写_切的指代，“人”則沒有確切的指代。
“模糊指代”與“確切指代”相對，奧卡姆的威廉給出的“模糊指代”的定義是：“每一個表示人稱指代但不是確切指代的普通詞項?！?/p>
僅僅模糊的指代與模糊周延的指代
模糊的指代又可分為“僅僅模糊的指代”與“模糊周延的指代”。“僅僅模糊的指代”是指“一個普通詞項是人稱指代并且不可能在沒有任一端項變化的情況下借助一個析取命題降至特殊的東西，但是可以借助一個帶有析取謂詞的命題下降，并且可以從任何特殊的東西推出原初的命題?！备鶕?jù)上述定義，奧卡姆給出了檢驗僅僅模糊的指代的三條規(guī)則。
對于模糊和周延的指代而言，一個詞項有模糊周延的指代，這里詞項指代的是其本身所意謂的所有對象。例如，命題“每個人是動物”中，“人”用來指代任何個體的人。這個命題可以降至“這個人是動物并且那個人是動物并且那個人是動物并且……”，但由“這個人是動物”不能推出“每個人是動物”。
奧卡姆認(rèn)為，如果任何東西使一個詞成為模糊的和周延的，要么它是一個全稱符號，要么是一個否定，要么是一個等同于否定的表達(dá)式。全稱命題的主項和否定命題的謂項有模糊和周延的指代。按照這條普遍規(guī)則，要么全稱符號，要么否定或等同于否定的表達(dá)式，是詞項有模糊周延的指代的標(biāo)志，全稱符號和否定在一個命題中連續(xù)使用會使詞項具有確切的指代。例如，在“蘇格拉底不是每個人”中，“人”不是模糊周延的指代，而是確切的指代。
模糊周延的可變指代和模糊周延的不變指代
奧卡姆的威廉進(jìn)一步把模糊周延的指代分為“模糊周延的可變指代”和“模糊周延的不變指代”，并分別考察了它們的規(guī)則。
奧卡姆在對模糊周延的可變指代給出了四條規(guī)則。在每一個既不是排他式也不是例外式的命題中，全稱命題的主項和否定命題的謂項，以及諸如“有別于”、“不同于”和“異于”這些詞或與這些詞等價的表達(dá)式之后的詞項，有模糊周延的可變指代。例如：命題“每個人跑”、“沒有人跑”以及“蘇格拉底有別于人”中的“人” 有模糊周延的可變指代，“人”在這里指代任何人。
奧卡姆指出：“關(guān)于模糊和周延不變的指代，應(yīng)該注意，一個例外命題的主項總是有這種形式的指代?！崩?，“除了蘇格拉底外，每個人跑”中的“人”有“模糊周延的不變指代”。從“除了蘇格拉底外，每個人跑”不能推出“除了蘇格拉底外，那個人跑”，“人”是模糊周延的指代，但不是可變的。
命題學(xué)說
命題的分類
在《邏輯大全》中，奧卡姆的威廉首先談到了命題的分類，他根據(jù)不同的標(biāo)準(zhǔn)和方法對命題做出了許多種劃分，比較重要的劃分有以下五種。
直言命題和假言命題
奧卡姆首先把命題劃分為直言命題和假言命題。直言命題是有主項、謂項和連項，并且本身只含有一個這樣的命題。假言命題是由多個直言命題構(gòu)成的命題。假言命題又分為五種：合取的、析取的、條件的、因果的和時間的。
在奧卡姆看來，合取命題是一個以合取詞“并且”聯(lián)結(jié)的兩個或兩個以上命題構(gòu)成的命題：析取命題是以聯(lián)結(jié)詞“或者”聯(lián)結(jié)的兩個或兩個以上命題構(gòu)成的命題；條件命題是以聯(lián)結(jié)詞“如果”聯(lián)結(jié)的兩個或兩個以上命題構(gòu)成的命題；因果命題是一個以聯(lián)結(jié)詞“由于”聯(lián)結(jié)的兩個或兩個以上命題構(gòu)成的命題； 時間命題是以某個時間副聯(lián)結(jié)的兩個或兩個以上命題構(gòu)成的命題。
這一劃分相當(dāng)于傳統(tǒng)邏輯中的簡單命題與復(fù)合命題的劃分。不同的是奧卡姆的威廉把因果關(guān)系和時間關(guān)系的復(fù)合命題理解成兩類獨(dú)立的假言命題。
模態(tài)命題和非模態(tài)命題
其次，奧卡姆根據(jù)命題中是否含有模態(tài)詞把命題劃分為模態(tài)命題和非模態(tài)命題。一個模態(tài)命題是一個有模態(tài)詞出現(xiàn)的命題。奧康的威廉認(rèn)為，除了“必然”、“不可能”、“或然”和“可能”這四種模態(tài)形式以為，應(yīng)該還有更多的模態(tài)形式。一個非模態(tài)命題則是一個沒有模態(tài)詞的命題。
與假言命題等價的直言命題和與假言命題不相等的直言命題
奧卡姆根據(jù)直言命題實際所表述的涵義把命題分為與假言命題等價的直言命題和與假言命題不相等的直言命題。前者如例外命題、排他命題、重疊命題等這樣的命題，奧卡姆的威廉認(rèn)為這樣的直言命題就等價于一個假言命題。后者如“一個天使是一個實體”這樣一般的簡單的直言命題。
全稱命題、特稱命題、不定命題和單稱命題
根據(jù)對命題中的主項的量的情況，奧卡姆的威廉把命題分為全稱命題、特稱命題、不定命題和單稱命題。其定義和例子如下：一個全稱命題的主項是一個由全稱符號確定的普通詞項，并且前面不帶否定。如“每一個人在跑”；一個特稱命題的主項是一個由特稱記號確定的普通詞項，如“某個人在跑”；一個不定命題的主項是一個既不帶全稱記號也不帶特稱記號的普通詞項，如 “人是動物”；一個單稱命題的主項是某物的專名，或是一個指示代詞，或是一個帶普通詞項的指示代詞。分別如“蘇格拉底在跑”、“他在跑”、“這個人是動物”。
此外，根據(jù)命題的時態(tài)，奧卡姆的威廉還把命題劃分為現(xiàn)在時、過去時和將來時的命題。
命題為真的條件
根據(jù)對命題的分類，奧卡姆分別討論了各類命題的真值條件。
直言命題為真的條件
奧卡姆關(guān)于直言命題為真的條件以指代理論為基礎(chǔ)，以主項和謂項的詞項是人稱指代的命題作為一般情形來進(jìn)行介紹。
對于單稱命題的真所要求的條件，奧卡姆認(rèn)為充分和必要的是主項和謂項指代相同的東西，它們并不要求主項和謂項實際同一，也不要求謂項在主項之中或主項固有的，也不要求謂項與心靈之外的主項本身結(jié)合在一起。對于不定命題和特稱命題的真所要求的條件，奧卡姆的威廉是一并處理的。在他看來，一個命題在其主項人稱指代時，一個不定命題和一個特稱命題是可以互相交換的。如“一個人在跑”與“有人在跑”。這兩類命題為真的充分條件是肯定的并且謂項沒加全稱符號，只要主項和謂項指代相同的事物就足夠了。對于否定的命題，奧卡姆還指出，只要主項不指代任何東西就足夠。例如，如果沒有人是白的，那么“一個南非白人不是人”就是真的。
對于全稱命題的真的條件，奧卡姆認(rèn)為并不要求主項和謂項實際上是相同的東西，而是要求謂項指代主項指代的所有那些東西，從而真謂述它們。從奧卡姆的威廉的分析可以看出，直言命題的真值條件的一個共同要求是命題的主項和謂項指代相同的東西。
復(fù)合命題的真值條件
對于合取命題的真值條件，奧卡姆指出，要求合取命題的兩個部分都是真的。一個合取命題的任一部分是假的，那么這個合取命題本身就是假的。即：要使“pq”為真，必須p和q同時為真。關(guān)于析取命題的真值條件，奧卡姆指出，要求析取命題有一個部分是真的。即要使“pq”為真，只須p和q中有一個為真即可。對于條件命題，奧卡姆的威廉認(rèn)為其等價于一個推論，因此他在《邏輯大全》的命題學(xué)說部分沒有詳細(xì)說明，而放在《邏輯大全》第三部分中關(guān)于推論學(xué)說的內(nèi)容中進(jìn)行了論述。
除了以上三種復(fù)合命題外，奧卡姆還討論原因命題、時間命題的真值條件。對于原因命題，“要求它的各部分都為真，此外，前提是結(jié)論的原因?！眾W卡姆在一種很寬泛的意義上理解“原因”一詞。對于時間命題的真值條件，根據(jù)時間副詞的不同，要求命題的兩部分在相同的時間或不同的時間都是真的。
帶時態(tài)的直言命題
奧康的威廉對帶時態(tài)的命題一直很關(guān)注。在《邏輯大全》中，他不僅考察了過去時和將來時命題為真的情況以及它們的換位，還討論了由這樣命題構(gòu)成的三段論的規(guī)則。奧卡姆認(rèn)為對于帶時態(tài)的命題，如果命題是過去時，那么主項能夠指代現(xiàn)在或過去的東西； 如果命題是將來時，那么主項能夠指代現(xiàn)實或?qū)淼臇|西。不論哪種情況下，如果命題是肯定的，就要求謂項真謂述主項所指代的東西。即在一個時態(tài)命題中，如果謂項謂述一個恰恰指謂主項指代的東西的代詞，那么這個命題就在過去某個時候是真的（如果命題是過去時）或?qū)⒃谀硞€時候是真的（如果命題是將來時）。
他舉例說明，如“一個白東西過去是蘇格拉底”這個命題的真，不要求“一個白東西是蘇格拉底”在過去某個時候是真的。如果現(xiàn)在用“S” 指“一個白東西過去是蘇格拉底”中主項所指代的東西，那么就要求“S是蘇格拉底”過去是真的。而“S”現(xiàn)在是“一個白東西”，因此，如果蘇格拉底現(xiàn)在第一次是白的，那么 “一個白東西過去是蘇格拉底”就為真，盡管“一個白東西是蘇格拉底”過去從來不是真的?！耙粋€白東西過去是蘇格拉底”這個命題，按照奧卡姆的意思，可理解為“一個現(xiàn)在是白的東西過去是蘇格拉底”。對于將來時命題的情形，也是如此。
命題的換位
奧卡姆的威廉指出，當(dāng)一個命題的謂項是由原命題的主項形成的，并且主項是由原命題的謂項形成的時候，就出現(xiàn)命題換位。他區(qū)分了三種換位：簡單換位、偶然換位和換質(zhì)位。簡單換位是當(dāng)兩個命題的質(zhì)和量保持不變的換位，簡單換位也可以理解為當(dāng)兩個命題可以互換時的換位。偶然換位是當(dāng)前提和結(jié)論發(fā)生變化時的換位就，偶然換位也可以理解為一種單向的換位，而不是相互的。當(dāng)有窮詞項變成無窮詞項時，換位就叫做換質(zhì)位的。
簡單直言命題的換位
對于簡單直言命題的換位，奧卡姆的威廉考察了以下情況：
奧卡姆的威廉指出，一個特稱否定命題和不定否定命題既不簡單換位，也不偶然換位。因為得不出：“有的動物不是人，所以，有的人不是動物，或沒有人是動物”。
過去時和將來時命題的換位
根據(jù)奧卡姆的威廉對于過去時和將來時命題的理解，如果命題是過去時，那么主項能夠指代現(xiàn)在或過去的東西；如果命題是將來時，那么主項能夠指代現(xiàn)實或?qū)淼臇|西。
因此，奧卡姆認(rèn)為，在對這樣的命題在換位時，當(dāng)過去時命題的主項指代那個現(xiàn)在是如此的東西時，命題不應(yīng)該換位成過去時命題，而應(yīng)該換位成一個現(xiàn)在時命題，其中主項被理解為帶有動詞“過去”和代詞“那個……”。如“任何白東西過去都不是一個人，所以，任何人過去都不是白的”這個換位的推論不是有效的，如果前件的主項被理解為現(xiàn)在是白東西。因為假定許多人過去是白的，但沒有人現(xiàn)在是白的，并且許多其他東西過去和現(xiàn)在都是白的。在此情況下，該推論前件真而后件假。該命題正確的換位應(yīng)該是“任何（現(xiàn)在的）白東西過去都不是一個人，所以，任何過去是人的東西現(xiàn)在都不是白的。”奧康的威廉還指出，當(dāng)把這樣一個命題的主項理解為過去的東西時，那么這個命題就可簡單換位成一個過去時。如“任何白東西過去都不是一個人，所以，任何人過去都不是白的?！?a href="/hebeideji/5722087749036756478.html">奧卡姆的威廉認(rèn)為這樣的論述也適用于將來時命題。
命題的換位理論相當(dāng)于傳統(tǒng)邏輯中直言命題的推理。奧卡姆的威廉也把正確的命題換位看作一種有效的推論。在其論述中，奧卡姆沒有談到全稱否定命題的換位問題。也沒有詳細(xì)說明他所說的第三種換位即換質(zhì)位的情形。
推論學(xué)說
中世紀(jì)的推論學(xué)說是中世紀(jì)邏輯發(fā)展的最高成就。雖然在推論學(xué)說在波愛修斯和阿拉伯帝國爾那里已有論述，但真正繁盛是在14世紀(jì)，尤其是奧卡姆的理論使推論學(xué)說達(dá)到了一個實際的項點(diǎn)。
奧卡姆在《邏輯大全》第三部分關(guān)于論證的理論中集中研究了推論。同時，在奧卡姆看來，最重要的形式化的有效推論是三段論。因此，在在《邏輯大全》第三部分，奧卡姆還首先探討了三段論學(xué)說。
奧卡姆論三段論
關(guān)于三段論，奧卡姆在《邏輯大全》探討了直言三段論、模態(tài)三段論、混合的三段論（非模態(tài)命題和模態(tài)命題的混合）以及解釋性的三段論等內(nèi)容。這些內(nèi)容都是對亞里士多德《后分析篇》的發(fā)展和系統(tǒng)化。這其中，威廉提出了三段論的一些新形式，尤其是首次考察了前提是單稱命題的三段論。
亞里士多德規(guī)定三段論中的前提只有三類命題：全稱命題、特稱命題和不定命題，排斥了單稱命題。而奧卡姆則考察了小前提是單稱命題的三段論：a.每個人是動物；b.蘇格拉底是人；c.所以，蘇格拉底是動物。他還考察了大前提是單稱命題的三段論，他說：“正如全稱命題的主詞實際代表它的一切所指一樣，單稱的主詞也代表它的一切所指，不過只有一個而已?！?a href="/hebeideji/5722087749036756478.html">奧卡姆的威廉在這里不僅承認(rèn)帶單獨(dú)詞項的三段論，而且把單稱命題當(dāng)全稱命題看待。
奧康的威廉還舉了以下的例子：a.每個人是蘇格拉底；b.柏拉圖是蘇格拉底；c.所以，柏拉圖是人。他認(rèn)為這個三段論是有效的，這與普通第二格三段論有所不同，第二格不允許從兩個肯定前提得出結(jié)論。奧卡姆證明上述三段論有效的方法是亞里士多德的“顯露法”，即用換位，把前提變?yōu)椋禾K格拉底是人，蘇格拉底是柏拉圖； 由此可得：柏拉圖是人。這是一個第三格的三段論，中世紀(jì)稱為“解釋性的三段論”。
關(guān)于解釋性的三段論，奧卡姆的威廉認(rèn)為解釋性的三段論是由兩個單稱前提組成的第三格三段論，不但能得出單稱結(jié)論，也可得出特稱或不定的結(jié)論。但不能得出全稱結(jié)論，小前提應(yīng)是肯定的，否則三段論無效。如果小前提是肯定的， 不管大前提是肯定還是否定的，三段論總是有效的。
此外，奧卡姆的威廉還考察了諸如“每個人是動物，蘇格拉底看見一個人，所以， 蘇格拉底看見一個動物”一類的關(guān)系推理。這類推理是直言三段論所無法包含的。另外，奧卡姆還考察了模態(tài)三段論，提出了許多由模態(tài)前提組成的三段論。
奧卡姆論推論
推論的涵義
“推論（Consequentia,Consequence）”一詞首先在馬庫斯·西塞羅和波以修斯的著作中出現(xiàn)，表示前提和結(jié)論之間的推出關(guān)系，原意是：如果一個真前提（或前件）不能導(dǎo)出假結(jié)論（或后件），那么這樣的論說就是“推論”。中世紀(jì)許多邏輯學(xué)家接受了這一用法，但他們用來表示假言命題。
奧卡姆的威廉在《邏輯大全》第三部分“論三段論”的第三分支中探討了推論， 雖然這一分支的多數(shù)內(nèi)容是對亞里士多德《論辯篇》的系統(tǒng)說明，致力于對論辯規(guī)則的處理。在其中，奧康的威廉研究了很多的推論，包括它們的定義和分類。
在奧卡姆看來，一個推論是一個假言條件命題。即一個推論至少由兩個直言命題通過“如果……，那么……”等這樣的聯(lián)結(jié)詞所構(gòu)成。他認(rèn)為只有當(dāng)從前件可以推出后件時，我們才是在談?wù)撘粋€真正的推論。奧卡姆還指出，為了使推論為真，它的前件或后件都不必然要為真，它們兩者也許都是不可能的。
推論的分類
奧卡姆的威廉對推論做了許多的分類，重要的推論分類主要有以下三種：
當(dāng)下推論和絕對推論
奧卡姆首先根據(jù)有效推論在時間上的要求嚴(yán)格區(qū)分了當(dāng)下推論和絕對推論。當(dāng)下推論只是在某一時間內(nèi)有效的，而可能在另一時間內(nèi)是無效的。即當(dāng)下推論在有些時候會出現(xiàn)前件為真而后件為假的情形。如“每個動物在跑，所以蘇格拉底在跑”是一個當(dāng)下推論。這個推論只有在蘇格拉底存在，并且只有在蘇格拉底存在的這個時間內(nèi)有效。如果蘇格拉底不存在，這個推論就是無效。
絕對推論則總是有效的，而與時間因素?zé)o關(guān)。絕對推論在任何時候都不可能前件真而后件假。如“沒有動物在跑，所以沒有人在跑”。
由于內(nèi)在中介而成立的推論和由于外在中介而成立的推論
把推論分為“由于內(nèi)在中介而成立的推論”和“由于外在中介而成立的推論”，這是奧卡姆的威廉的獨(dú)特之處。但“中介”一詞的涵義是模棱兩可的。
在奧卡姆看來，一個由于內(nèi)在中介而成立的推論事實上是一個省略的三段論。因為，通過加上一個相關(guān)命題作為前件，這類推論可以化為一個三段論。
他舉的例子是“蘇格拉底沒有跑，所以沒有一個人在跑”，這個推論有效是依據(jù)“蘇格拉底是一個人”這個命題。因為這個命題使原來的推論化為一個完整的三段論：“蘇格拉底沒有跑，蘇格拉底是一個人，所以沒有一個人在跑”。因此， 在這里，奧卡姆的威廉所說的“內(nèi)在的中介”中的“中介”一詞可適當(dāng)?shù)乩斫鉃椤扒疤帷保窗谕普摰睦锏脑~項所形成的命題。
一個由于外在中介而成立的推論是依據(jù)一般規(guī)則而有效的推論。這種一般規(guī)則與命題中的詞項無關(guān)，而僅僅與命題的結(jié)構(gòu)有關(guān)。相應(yīng)地，推論的有效與命題中的范疇詞項無關(guān)。奧卡姆舉出的例子是“只有人才是驢子，所以每一個驢子都是人”。奧卡姆認(rèn)為，這個推論是有效的。但推論的有效性不是因為命題中的詞項（詞項是可變的），也不是因為通過增加一個由“人”和“驢子”這兩個詞項所組成的命題為真，而是依據(jù)“一個排他的肯定命題的換位規(guī)則”這樣一個一般規(guī)則而成立，即一個排他的肯定命題等值于一個帶有換了位的詞項的全稱肯定命題。因此，奧卡姆的威廉所說的“外在的中介”中的“中介”在這里等同于一種邏輯規(guī)則。
形式推論和實質(zhì)推論
奧卡姆區(qū)分了形式推論和實質(zhì)推論，在他看來這是最重要的區(qū)分。
奧卡姆認(rèn)為，一個推論被認(rèn)為是形式的，必須是它的有效性是直接或間接地由某種邏輯規(guī)則所決定，而邏輯規(guī)則無關(guān)于推論的內(nèi)容或詞項，而只與命題的結(jié)構(gòu)有關(guān)。這樣，在奧卡姆看來，由于內(nèi)在中介而成立的推論和由于外在中介而成立的推論都屬于形式推論。因為后者也是間接地由于外在中介而成立，并且只要它們間接地因外在中介而成立，他們就是形式推論。關(guān)于形式推論，不管其中的單個命題的真假，也不管它們是必然或不可能，唯一關(guān)鍵的是它們的命題形式結(jié)構(gòu)保證了推論的有效。
對于實質(zhì)推論，奧康的威廉說，一個實質(zhì)推論是一個只依據(jù)其中的詞項，而不是根據(jù)一些考慮命題的一般條件的外在中介而成立的推論。他給出了兩個例子： “某個人在跑，所以上帝存在”、“某人是驢子，所以上帝不存在”。前一個例子中，后件被認(rèn)為是必然的，后一個例子中，前件被認(rèn)為是不可能的。實質(zhì)推論的特點(diǎn)是它的有效性不是依據(jù)一般規(guī)則，而是依據(jù)推論中的詞項。既然一個命題的真假取決于其包含的詞項，那么一個實質(zhì)推論的特點(diǎn)只有通過它的基本的命題的真假來刻畫。
一些有效推論規(guī)則
在《邏輯大全》中，奧卡姆在考察了各種推論的一般區(qū)別后，又根據(jù)推論的后件的邏輯性質(zhì)如根據(jù)命題的普遍性和特性等繼續(xù)考察了推論，并表述了各種特殊的規(guī)則。并在最后一章節(jié)提出了推論的總規(guī)則。
當(dāng)前件為真而后件假時，推論是無效的。在討論這條規(guī)則時，奧卡姆的威廉還指出，前件可以是在后件之前的任何東西， 既可以是一個簡單命題，也可以是一個復(fù)合命題，后者如三段論。因此，如果一個三段論的所有前提為真，那么其結(jié)論也必須為真。但要想結(jié)論為假，前提中只須一個為假即可。
這條規(guī)則在外在形式上一個模態(tài)命題（可以），這里的模態(tài)是用來強(qiáng)調(diào)說，從一個假命題不但可以推出假命題，而且還可以推出真命題。
奧康的威廉在這里也同時提示，前件可以是后件之前的任何東西。相應(yīng)地，如果前件是一組命題，整個前件的假并不必然地要求組合前件的每一個命題都為假。
相對于對于這條規(guī)則，奧卡姆還補(bǔ)充說，“凡是從前件中可以推出的東西， 從后件也可以推出”這一規(guī)則是錯誤的。
奧卡姆的威廉認(rèn)為，這一規(guī)則可以由之前的規(guī)則推出。因為如果規(guī)則五不成立， 那么就會出現(xiàn)某些命題可以由后件而不能從前件推出的情形，違反規(guī)則四。
“相一致”的涵義是在這種意義上理解：當(dāng)兩個命題的合取為真，它們是相一致的。
成書版本
《邏輯大全》大約完成于1327年以前，1488年在法國巴黎第一次以拉丁文出版，之后分別于1498年在意大利柏倫諾，1508年、1522年和 1591年在意大利威尼斯，1675 年在英國牛津等地作為教科書多次再版。
影響
《邏輯大全》作為中世紀(jì)晚期的邏輯學(xué)，奠定了中世紀(jì)晚期邏輯發(fā)展的基礎(chǔ)，為把中世紀(jì)邏輯的發(fā)展推至頂峰做出了重要的貢獻(xiàn)。從邏輯史的角度來看，《邏輯大全》以唯名論思想為指導(dǎo)探討邏輯，使邏輯學(xué)作為一門科學(xué)在中世紀(jì)自由獨(dú)立于形而上學(xué)和神學(xué)，并與科學(xué)研究相區(qū)別。正如伯特蘭·阿瑟·威廉·羅素所認(rèn)為，奧康的威廉的《邏輯大全》使得邏輯和認(rèn)識論從形而上學(xué)和神學(xué)中脫離開來，并與科學(xué)研究相區(qū)別。在解釋人類知識的時候，奧卡姆從來不認(rèn)為共相是物。他說，蘇格拉底類似柏拉圖，但絕不是由于一個叫做類似性的第三物所使然。類似性是個第二意向詞，它僅存在于頭腦之中。奧卡姆的威廉正是這樣使邏輯自由獨(dú)立于形而上學(xué)和神學(xué)之外。
從具體的邏輯學(xué)研究看，《邏輯大全》達(dá)到了很高的水平，其邏輯思想在中世紀(jì)邏輯中占有重要地位，為中世紀(jì)邏輯發(fā)展至高峰奠定了基礎(chǔ)，并與中世紀(jì)其他邏輯學(xué)家的理論一起為整個西方邏輯的發(fā)展做出了貢獻(xiàn)。在最具中世紀(jì)邏輯特色的詞項特性理論中，《邏輯大全》明確提出了指代是命題中詞項的一種特性的根本特點(diǎn)，并對指代做出了不同于其他邏輯學(xué)家的劃分， 使得這一理論更明確、更深入。同時，其指代學(xué)說與現(xiàn)代邏輯的量詞理論和語境理論存在密切聯(lián)系。在代表中世紀(jì)邏輯最高成就的推論學(xué)說方面，《邏輯大全》中推論學(xué)說的敘述已經(jīng)體現(xiàn)了現(xiàn)代意義上的“實質(zhì)蘊(yùn)涵”的思想，已經(jīng)能完整地表述和運(yùn)用現(xiàn)代邏輯中的德摩根定律。此外，《邏輯大全》提出的許多有效推論的規(guī)則更是可以直接納入形式邏輯演算系統(tǒng)成為定理。
奧卡姆的威廉基于《邏輯大全》所隱含的哲學(xué)觀點(diǎn)，使唯名論的思想異常迅猛地發(fā)展起來，從14世紀(jì)初期以后，法國成了唯名論思想的主要陣地。奧卡姆的追隨者們在巴黎大學(xué)建立了完整的學(xué)派， 同托馬斯派的實在論者展開了激烈的斗爭，以至巴黎大學(xué)發(fā)布禁令，教皇頒發(fā)詔書以反對奧卡姆。1339年，巴黎大學(xué)禁止講授奧卡姆的學(xué)說，反對引證他的著作。直到1473年，教會和當(dāng)局還下令沒收奧卡姆的著作。但是，以奧卡姆和他的學(xué)派為代表的唯名論思想并沒有被遏止，其影響反而日益增長，從而加速了后期正統(tǒng)經(jīng)院哲學(xué)的解體。
名言
評價
著名英國利奧六世伯特蘭·阿瑟·威廉·羅素評價奧康的威廉的《邏輯大全》是：“邏輯學(xué)，在嚴(yán)格的亞里士多德意義上，必須視為一種文字性的工具。它討論的是詞的含義。在這方面，奧卡姆擴(kuò)展了十一世紀(jì)早期唯名論者的觀點(diǎn)?！薄坝捎谥鲝堖壿嫼腿祟愔R的鉆研無需牽涉形而上學(xué)和神學(xué)，奧卡姆的威廉的著作鼓舞了科學(xué)研究。他說奧古斯丁主義者錯在首先假定萬物不可理解，人類沒有智力，然后再加上從無限來的一道光，借此使知識變?yōu)榭赡?。在這點(diǎn)上， 他是同意托馬斯·阿奎納的，但也各有強(qiáng)調(diào)，因為阿奎那主要是一個神學(xué)家，而奧卡姆在有關(guān)邏輯方面，卻主要是一個世俗的利奧六世?！谕W卡姆以后再也沒有大經(jīng)院哲學(xué)家了。”
戚廉·涅爾和瑪莎·涅爾在《邏輯學(xué)的發(fā)展》中評價《邏輯大全》道：“這本書之所以值得注意，顯然是因為它第一次嘗試對包括中世紀(jì)新東西在內(nèi)的整個邏輯作一個系統(tǒng)的說明?！覀兛梢园l(fā)現(xiàn)這整部著作有許多有趣的東西，例如，第一卷里論共相和指代的章節(jié)，以及第三卷整個第三部分對于想知道什么是中世紀(jì)邏輯特點(diǎn)的讀者來說，尤其有價值?！薄皧W卡姆已經(jīng)使許多哲學(xué)家相信神學(xué)理論不可能得到理性證明，或理性的支持。但是奧卡姆的認(rèn)識論一方面使人們懷疑形而上學(xué)，另一方面又使人們對形式必然性感到興趣?！?/p>
吉爾松說：“奧康主義標(biāo)志著經(jīng)院哲學(xué)黃金時代的終結(jié)?！?/p>
卡布斯頓認(rèn)為：“奧卡姆的目的是清除基督教神學(xué)和哲學(xué)中一切希臘必然論的痕跡，他是近代經(jīng)驗論和科學(xué)精神的前驅(qū)?！?/p>
參考資料 >