邏輯學(xué)推理規(guī)則精選(九篇)

前言：一篇好文章的誕生，需要你不斷地搜集資料、整理思路，本站小編為你收集了豐富的邏輯學(xué)推理規(guī)則主題范文，僅供參考，歡迎閱讀并收藏。

第1篇：邏輯學(xué)推理規(guī)則范文

【英文摘要】Philosophical logic is a polysemant in contemporary logical literature.We believe it's a non-classical logic with philoso-phical purport or cause.Its rise aroses a lot of theoretical problems.This essay expounds the limits of classical logic，non-monotony and deduction，logical mathematicalization and depart-mentalization，the ownership of inductive logic，etc.

【關(guān)鍵詞】經(jīng)典邏輯/非經(jīng)典邏輯/演繹性/數(shù)學(xué)化/部門化/哲學(xué)邏輯classical logic/non-classical logic/deduction/mathematicalization/departmentalization/philosophical logic

【正文】

哲學(xué)邏輯的崛起引發(fā)一系列理論問題。我們僅就其中幾個提出一些不成熟的看法。

一、經(jīng)典邏輯和非經(jīng)典邏輯的界限

在這里經(jīng)典邏輯是指標(biāo)準(zhǔn)的一階謂詞演算(CQC)，它的語義學(xué)是模型論。隨著非經(jīng)典邏輯分支不斷出現(xiàn)，使得我們對經(jīng)典邏輯和非經(jīng)邏輯的界限的認(rèn)識逐步加深。就目前情況看，經(jīng)典邏輯具有下述特征：二值性、外延性、存在性、單調(diào)性、陳述性和協(xié)調(diào)性。

傳統(tǒng)的主流觀點(diǎn)：每個命題（語句）或是真的或是假的。這條被稱做克呂西波(Chrysippus)原則一直被大多數(shù)邏輯學(xué)家所恪守。20年代初盧卡西維茨(J.Lukasiwicz)建立三值邏輯系統(tǒng)，從而打破了二值性原則的一統(tǒng)天下，出現(xiàn)了多值邏輯、部分邏輯（偏邏輯）等一系列非二值型的邏輯。

經(jīng)典邏輯是外延邏輯。外延性邏輯具有下述特點(diǎn)：第一，這種邏輯認(rèn)為每個表達(dá)式（詞項、語句）的外延就是它們的意義。每個個體詞都指稱解釋域中的個體；而語句的外延是它們的真值。第二，每個復(fù)合表達(dá)式的值是由組成它的各部分表達(dá)式的值所決定，也就是說，復(fù)合表達(dá)式的意義是其各部分表達(dá)式意義的函項，第三，同一性替換規(guī)則和等值置換定理在外延關(guān)系推理中成立。也是在20年代初，劉易士(C.I.Lewis)在構(gòu)造嚴(yán)格蘊(yùn)涵系統(tǒng)時，引入初始模態(tài)概念“相容性”（或“可能性”），并進(jìn)一步構(gòu)建模態(tài)系統(tǒng)S1-S5。從而引發(fā)一系列非外延型的邏輯系統(tǒng)出現(xiàn)，如模態(tài)邏輯、時態(tài)邏輯、道義邏輯和認(rèn)知邏輯等等出現(xiàn)。

從弗雷格始，經(jīng)典邏輯系統(tǒng)的語義學(xué)中，總是假定一個非空的解釋域，要求個體詞項解釋域是非空的。這就是說，經(jīng)典邏輯對量詞的解釋中隱含著“存在假設(shè)”，在60年代被命名為“自由邏輯”的非存型的邏輯出現(xiàn)了。自由邏輯的重要任務(wù)就在于：(1)把經(jīng)典邏輯中隱含的存在假設(shè)變明顯；(2)區(qū)分開邏輯中的兩種情況：一種與存在假設(shè)有關(guān)的推理，另一種與它無關(guān)。

在經(jīng)典邏輯范圍內(nèi)，由已知事實的集合推出結(jié)論，永遠(yuǎn)不會被進(jìn)一步推演所否定，即無論增加多少新信息作前提，也不會廢除原來的結(jié)論。這就是說經(jīng)典邏輯推理具有單調(diào)性。然而于70年代末，里特(R.Reiter)提出缺省(Default)推理系統(tǒng)，于是一系列非單調(diào)邏輯出現(xiàn)。

經(jīng)典邏輯總是從真假角度研究命題間關(guān)系。因而只考察陳述句間關(guān)系的邏輯，像祈使句、疑問句、感嘆句就被排斥在邏輯學(xué)直接研究之外。自50年代始，命令句邏輯、疑問句邏輯相繼出現(xiàn)。于是，非陳述型的邏輯存在已成事實。

經(jīng)典邏輯中有這樣兩條定理：（p∧q）（矛盾律）和p∧pq（司各特律），前者表明：在一個系統(tǒng)內(nèi)禁不協(xié)調(diào)的命題作為論題，后者說的是：由矛盾可推出一切命題。也就是說，如果一個系統(tǒng)是不協(xié)調(diào)的，那么一切命題都是它的定理。這樣的系統(tǒng)是不足道的(trivial)?？滤顾?M.C.A.da Costa)于1958年構(gòu)造邏輯系統(tǒng)Cn（1〈n≤ω）。矛盾律和司各特律在該系統(tǒng)中不普遍有效，而其他最重要模式和推理規(guī)則得以保留。這就開創(chuàng)了非經(jīng)典邏輯一個新方向弗協(xié)調(diào)邏輯。

綜上所述非經(jīng)典邏輯諸分支從不同方面突破經(jīng)典邏輯某些原則。于是，我們可以以上面六種特征作為劃分經(jīng)典邏輯與非經(jīng)典邏輯的根據(jù)。凡是不具有上述六種性質(zhì)之一的邏輯系統(tǒng)均屬非經(jīng)典邏輯范疇。

二、非單調(diào)性與演繹性

通常這樣來刻畫演繹：相對于語句集合Γ，對于任一語句S，滿足下述條件的其最后語句為S的有窮序列是S由Γ演繹的：序列中每個語句或者是公理，或者是Г的元素，或者根據(jù)推理規(guī)則由前面的語句獲得的。它的一個同義詞是導(dǎo)出(derivation)。演繹是相對于系統(tǒng)的概念，說一個公式（或語句）是演繹的只是相對于一不定的公理和推理規(guī)則的具體系統(tǒng)而言的。演繹概念是證明概念的概括。一個證明是語句這樣的有窮序列：它的每個語句或是公理或是根據(jù)推理規(guī)則由前面的語句得出的。在序列中最后一個語句是定理。

現(xiàn)在我們考察單調(diào)邏輯中演繹情況。令W是一階邏輯公式的集合，D為缺省推理的可數(shù)集，cons(D)為D中缺省的后承的集合。我們來建立公式Φ的缺省證明概念：首先我們必須確定從WUcons(D[，0])。導(dǎo)出Φ這種性質(zhì)的缺省集合D[，0]。為確保在D[，0]中缺省的適用性，我們須確定缺省集合D[，1]，致使能從WUcons(D[，1])中得出在D[，0]中缺省的所有必須的預(yù)備條件。我們從這種方式操作直至某一空的D[，K]。這意謂著從W得出在D[，K-1]中的必須的預(yù)備條件。然后我們確定一個證明，只是我們不陷入矛盾，即是W必須跟包括在證明中的所有缺省后承的集合相一致。例如，給定缺省理論：

T=(｛p｝，｛δ[，1]=p:r/r，δ[，2]=r:ps/pS｝)

(｛δ[，2]｝)，｛δ[，1]｝，Φ是S在T中的缺省證明。

形式地說，Φ在正規(guī)缺省理論T=(W，D)中的一個缺省證明是滿足下述條件的D的子集合的有窮序列(D[，0]，D[，1]，…D[，K])：

（i）Φ從WUcons(D[，0])得出。

（ii）對于所有i〈K，從Wucona(D[，i+1])得出缺省的所有預(yù)備條件。

（iii）D[，K]=Φ。

（iV）WUcons(U[，i]D[，i])是一致的。

由上面可以看出缺省推理中的證明是與通常的演繹證明是不同的，前者比后者要寬廣些。

附圖

由此可見，缺省邏輯中的推出關(guān)系比經(jīng)典邏輯中的要寬。因而相應(yīng)擴(kuò)大了“演繹性”概念的外延。于是可把演繹性分為：強(qiáng)演繹性和弱演繹性。后者是隨著作為前提的信息逐步完善，而導(dǎo)出的結(jié)論逐步逼近真的結(jié)論。

三、邏輯的數(shù)學(xué)化和部門化。

正如有人所指出的那樣，“邏輯學(xué)在智力圖譜中占有戰(zhàn)略地位，它聯(lián)結(jié)著數(shù)學(xué)、語言學(xué)、哲學(xué)和計算機(jī)科學(xué)不同學(xué)科?！盵2]作為構(gòu)建各學(xué)科系統(tǒng)的元科學(xué)手段的邏輯與各門科學(xué)聯(lián)系越來越密切。它在當(dāng)展中，表現(xiàn)出兩個重要特征：數(shù)學(xué)化和部門化。

邏輯學(xué)日益數(shù)學(xué)化，這表現(xiàn)為：(1)邏輯采取更多的數(shù)學(xué)方法，因而技術(shù)性程度越來越高。一些邏輯問題（如系統(tǒng)特征問題）的解決需要復(fù)雜的證明技術(shù)和數(shù)學(xué)技巧。(2)它更側(cè)重于數(shù)學(xué)形式化的問題。其實數(shù)學(xué)化的本質(zhì)是抽象化、理想化和泛化（普遍化）。這對像邏輯這樣的形式科學(xué)顯然是非常重要的，近一個世紀(jì)邏輯迅速發(fā)展就證明了這一點(diǎn)。邏輯方法論的數(shù)學(xué)化在本世紀(jì)下半葉正在加速。這給予邏輯的一些重要結(jié)論以復(fù)雜的結(jié)構(gòu)和深入的處理，使邏輯變得更精確更豐富。但是，由于邏輯中數(shù)學(xué)專門化已定型并且限定了它自己，所以邏輯需向其他領(lǐng)域擴(kuò)張，拓寬其研究領(lǐng)域就勢所必然。

邏輯向其他學(xué)科領(lǐng)域的延伸并吸收營養(yǎng)，于是出現(xiàn)了各種部門邏輯，如認(rèn)知邏輯、道義邏輯、量子邏輯等等。我們把邏輯學(xué)這種延伸和部門邏輯出現(xiàn)稱做邏輯部門化。

哲學(xué)邏輯就是邏輯部門化的產(chǎn)物，它是方面邏輯或部門邏輯。眾所周知，經(jīng)典邏輯演算的理論、方法和運(yùn)算技術(shù)具有高度的概括性，它適用于一切領(lǐng)域、一切語言所表達(dá)的演繹推理形式。所以，它具有普遍性，是一般的邏輯。有人認(rèn)為一階演算完全性定理表明“采用現(xiàn)代數(shù)學(xué)方法和數(shù)學(xué)語言來刻畫的全體‘演繹推理規(guī)律’恰好就是人們在思維中所用的演繹推理規(guī)律的全體，不多也不少！”[3]。表達(dá)一階邏輯規(guī)律的公式是普通有效的，即是這些公式在任何一種解釋中都是真的。而哲學(xué)邏輯各分支只是研究某一方面或領(lǐng)域的演繹推理規(guī)律，表達(dá)這些規(guī)律的公式只是在一定條件下在某一領(lǐng)域是有效的，即是它們在具有某種條件解釋下是真的。例如，模態(tài)公式(D)PP，(T)　PP，(B)　PP，(4)　PP，(E) PP，分別在串行的、自反的、對稱的、傳遞的、歐幾里得的模型中有效。而動態(tài)邏輯的一些規(guī)律只適用于像計算程序那樣的由一種狀態(tài)過渡到另一種狀態(tài)轉(zhuǎn)換的動態(tài)關(guān)系。

部門邏輯另一種含義是為某一特定領(lǐng)域提供邏輯工具。例如，當(dāng)人們找出描述一個微觀物理系統(tǒng)在某一時刻的可觀察屬性的命題的一般形式。對其進(jìn)行運(yùn)算時，發(fā)現(xiàn)一些經(jīng)典邏輯規(guī)律失效，如分配律對這里定義的合取、析取運(yùn)算不成立。于是人們構(gòu)造一種能夠描述微觀物理世界新的邏輯系統(tǒng)，這就是量子邏輯。

四、哲學(xué)邏輯劃界問題

哲學(xué)邏輯形形并且難于表征。在現(xiàn)代邏輯文獻(xiàn)中，“哲學(xué)邏輯”是個多義詞。它的涵義主要的有三種：它的第一種涵義是指關(guān)于現(xiàn)代邏輯中一些重要概念和論題的理論研究。例如，對于名稱（詞項）、摹狀詞、量詞、模態(tài)詞、命題、分析性、真理、意義、指涉、命題態(tài)度、悖論、存在乃至索引等概念及與它們相關(guān)的論題的理論研究以及利用形式邏輯工具處理邏輯和語言的邏輯結(jié)構(gòu)的哲學(xué)爭論。它的第二種涵義是指非經(jīng)典邏輯中一個學(xué)科群體，它包括模態(tài)邏輯、多值邏輯等等眾多邏輯分支。它的第三種涵義是兼指上述兩種涵義的“哲學(xué)邏輯”。

我們認(rèn)為，第一種涵義上的“哲學(xué)邏輯”不是研究推理有效式意義上的邏輯，而是邏輯哲學(xué)。我們贊成在第二種涵義上使用“哲學(xué)邏輯”一詞。于是可以給出下述定義：哲學(xué)邏輯是具有哲學(xué)旨趣或涉及哲學(xué)事業(yè)的非經(jīng)典邏輯，在這里應(yīng)對“哲學(xué)”做廣義的理解。哲學(xué)邏輯不僅與傳統(tǒng)哲學(xué)中的概念和論題有直接或間接聯(lián)系。而且也涉及各門科學(xué)中具有方法論性質(zhì)的問題和其他元科學(xué)問題。

在我們看來，“歸納”和“演繹”一樣，是傳統(tǒng)哲學(xué)所關(guān)注的重要哲學(xué)概念，而且也是現(xiàn)代一些哲學(xué)家所爭議的問題之一。同時歸納邏輯方法的啟發(fā)作用在認(rèn)知過程中不可低估，歸納的一些方法和技術(shù)同樣是一些學(xué)科的元科學(xué)因素，是發(fā)現(xiàn)真理構(gòu)建學(xué)科系統(tǒng)不可少的。因此，它應(yīng)屬于哲學(xué)邏輯?！墩軐W(xué)邏輯雜志》亦把它列入哲學(xué)邏輯諸分支之首。

問題在于，歸納推理的復(fù)雜性，對它的形式刻畫和找出能行程序遇到不易克服的困難，致使其成果與演繹推理所獲得成果相比，顯得不那么豐碩。然而，由于人工智能等技術(shù)上的需要，推動著更多的人研究歸納推理，總會有一天，歸納邏輯也像演繹邏輯那樣用形式方法來處理。

參考文獻(xiàn)

[1]Antoniou，G.:1997，Nonmontonic Reasoning，The MIT Press，Cambridge，Masschusetts.

第2篇：邏輯學(xué)推理規(guī)則范文

形式邏輯不管思維內(nèi)容，只管思維形式，這是學(xué)術(shù)界的一個共識。這個共識預(yù)設(shè)了一個前提:思維形式是可以脫離思維內(nèi)容而獨(dú)立的外在形式。這個預(yù)設(shè)是建立在內(nèi)容與形式二元對立基礎(chǔ)上的，并不符合事實，因而是沒有根據(jù)的。我們必須超越這種二元對立，代之以內(nèi)容與形式的統(tǒng)一。應(yīng)該肯定，一切邏輯學(xué)，包括形式邏輯在內(nèi)，都是既研究思維形式同時又研究思維內(nèi)容的思維科學(xué)。

思維內(nèi)容與形式不可分離

思維是存在的反映。同存在一樣，思維也是一種既有內(nèi)容又有形式的統(tǒng)一體。內(nèi)容之所以成為內(nèi)容，是因為它規(guī)定著自己的形式;形式之所以成為形式，也是因為它表現(xiàn)著自己的內(nèi)容。這說明，內(nèi)容與形式必然是相互滲透和轉(zhuǎn)化的，正如黑格爾所說:“內(nèi)容非他，即形式之轉(zhuǎn)化為內(nèi)容;形式非他，即內(nèi)容之轉(zhuǎn)化為形式。”①因此，只要斷定邏輯學(xué)是研究思維形式的，就同樣斷定了它也是研究思維內(nèi)容的，否則，邏輯學(xué)研究的思維形式就成為無內(nèi)容的形式，因而也就失去了作為形式的意義及其存在的根據(jù)。進(jìn)一步說，一門科學(xué)，如果它不具有自己特有的科學(xué)內(nèi)容，它同樣失去了作為一門科學(xué)的根據(jù)，邏輯學(xué)也不能例外。

可是，為什么我們又把形式邏輯稱為形式科學(xué)呢?應(yīng)該指出，在特定語境下，認(rèn)為邏輯學(xué)不研究思維內(nèi)容，也不能說是錯的，否則，學(xué)術(shù)界為什么一直把它看作正確的觀點(diǎn)并長期加以堅持?其實，我們通常說的邏輯學(xué)所不研究的思維內(nèi)容，是指具體科學(xué)所研究的經(jīng)驗內(nèi)容。按照黑格爾的說法，它是指可感知的內(nèi)容。在這種意義上，不僅邏輯學(xué)，哲學(xué)也是不研究思維的經(jīng)驗內(nèi)容的。這就是哲學(xué)和邏輯學(xué)同具體科學(xué)的區(qū)別。黑格爾說:“進(jìn)一步就內(nèi)容與形式在科學(xué)范圍內(nèi)的關(guān)系而論，我們首先須記住哲學(xué)與別的科學(xué)的區(qū)別。后者的有限性，即在于，在科學(xué)里，思維只是一種單純形式的活動，其內(nèi)容是作為一種給予的〔材料〕從外界取來的，而且科學(xué)內(nèi)容之被認(rèn)識，并不是經(jīng)過作為它所根據(jù)的思想從內(nèi)部自動地予以規(guī)定的，因而形式與內(nèi)容并不充分地互相滲透。反之，在哲學(xué)里并沒有這種分離，因此哲學(xué)可以稱為無限的認(rèn)識。當(dāng)然，哲學(xué)思維也常被認(rèn)作是單純的形式活動，特別是邏輯，其職務(wù)顯然只在于研究思想本身，所以邏輯的無內(nèi)容性可算得是一件公認(rèn)的事實。如果我們所謂內(nèi)容只是指可以捉摸的，感官可以感知的而言，那么我們必須立即承認(rèn)一般的哲學(xué)，特別是邏輯，是沒有內(nèi)容的，這就是說，沒有感官可以知覺的那種內(nèi)容。”①在黑格爾那里，邏輯學(xué)就是哲學(xué)，它們都是研究思維自身的運(yùn)動，它的內(nèi)容不是通過感官的感知得來的，因而不具有這種可感知的經(jīng)驗內(nèi)容。

在這種意義上說，邏輯學(xué)是不研究思維內(nèi)容的，即不研究由感官感知得來的經(jīng)驗內(nèi)容。但是，它所研究的思維單純形式的活動，其本身是有內(nèi)容的，也屬于思維的一種內(nèi)容。所以，在哲學(xué)和邏輯學(xué)中，思維的內(nèi)容與形式又是統(tǒng)一的，并不存在無內(nèi)容的形式，也不存在無形式的內(nèi)容?？茖W(xué)和藝術(shù)也具有這種統(tǒng)一的普遍性:“只有內(nèi)容與形式都表明為徹底統(tǒng)一的，才是真正的藝術(shù)品。”②藝術(shù)的內(nèi)容與形式，屬于形象思維范疇，由美學(xué)研究。邏輯學(xué)本身是有科學(xué)思想內(nèi)容的。邏輯學(xué)的發(fā)展，不只是思維形式的發(fā)展，它同樣是邏輯思想的發(fā)展。許多邏輯史的著作被稱為“邏輯思想史”，就是一個明證。這里的“邏輯思想”，作為邏輯學(xué)的內(nèi)容，到底是什么，學(xué)者們可能有不同的理解，但它的存在已經(jīng)表明，邏輯學(xué)發(fā)展史是思維的內(nèi)容與形式統(tǒng)一的認(rèn)識史。“這就不啻承認(rèn)，思想不可被認(rèn)作與內(nèi)容不相干的抽象的空的形式，而且，在藝術(shù)里以及在一切別的領(lǐng)域里，內(nèi)容的真理性和扎實性，主要基于內(nèi)容證明其自身與形式的同一方面。”③自然科學(xué)和社會科學(xué)所研究的經(jīng)驗內(nèi)容，都是通過實踐活動從外部世界得來的，不可能從思維自我運(yùn)動中產(chǎn)生。所謂思維的自我運(yùn)動，即思維“單純的形式活動”。在這種意義上，思維內(nèi)容與思維形式存在一定程度的分離，“并不充分地互相滲透”。這種情況主要發(fā)生在不同思維層次之間，就是說，一個層次的思維內(nèi)容與另一個層次的思維形式之間，是可以分離的。但在同一層次中，如在具體科學(xué)中，則是不可分離的。思維形式對思維內(nèi)容發(fā)揮著重大的能動作用，即用自己的特有形式，如概念、命題、原理、定律等，來表達(dá)經(jīng)驗內(nèi)容，使這些內(nèi)容得到抽象和概括，并把它們組織到自己的形式模式中去，揭示這些內(nèi)容的必然聯(lián)系，并表述為科學(xué)規(guī)律。

特別值得注意的是，在討論思維內(nèi)容和形式時，必然涉及思維和語言之間的關(guān)系。無論是思維內(nèi)容，還是思維形式，都是與語言分不開的。我們經(jīng)常也把語言稱為思維的形式，而這里所說的“思維”，其本身又是內(nèi)容與形式的統(tǒng)一，說明了思維內(nèi)容與形式之間關(guān)系的復(fù)雜性和多層次性。當(dāng)我們說語言是思維的物質(zhì)外殼時，這實際上是指語言是作為內(nèi)容和形式統(tǒng)一體的思維的載體。如果沒有語言，一切思想的表達(dá)都是不可能的。索緒爾說:“思想離開了詞的表達(dá)，只是一團(tuán)沒有定形的、模糊不清的渾然之物。”④這又產(chǎn)生了另一種內(nèi)容與形式的關(guān)系，即思維內(nèi)容與語詞形式的關(guān)系問題。在文學(xué)中，朱光潛把這種關(guān)系概括為“意”與“文”的關(guān)系。朱光潛說:“在為思想所憑借時，語文便雜在思想里，便是‘意’的一部分，是在內(nèi)的，與‘意’的其余部分同時進(jìn)行，所以，我們不能把語文看成在外在后的‘形式’，用來‘表現(xiàn)’在內(nèi)在先的特別叫做‘內(nèi)容’的思想。‘意內(nèi)言外’和‘意在言先’的說法絕對不能成立。”⑤形式是表現(xiàn)內(nèi)容的，只有在相應(yīng)的形式中，內(nèi)容才得以顯現(xiàn)。這表明，內(nèi)容與形式不僅是同時成就的，而且也是相隨而變的。如果更動了文字，就同時更動了思想情感，說明了思想活動和語言活動的一致性。對于思想來說，語言是表達(dá)形式，在這種表達(dá)式中，既包括了思維的內(nèi)容，同時也包括了思維的形式。所以，思維內(nèi)容與思維形式統(tǒng)一于語言之中。“語言的形式就是情感和思想的形式，語言的實質(zhì)也就是情感和思想的實質(zhì)。情感、思想和語言是平行的，一致的。”①如果說，語言是思維的居所，那么，這就意味著語言不僅是思維內(nèi)容的居所，同時也是思維形式的居所。語言是思維內(nèi)容和思維形式統(tǒng)一的載體。一切科學(xué)，包括形式邏輯在內(nèi)，只要運(yùn)用語言來表達(dá)，它所表達(dá)的就不僅是思維形式，同時也表達(dá)了思維內(nèi)容。如果邏輯學(xué)是研究思維形式的話，那么，它必定同時要研究相應(yīng)的思維內(nèi)容，因而也就是研究思維內(nèi)容和思維形式的統(tǒng)一。#p#分頁標(biāo)題#e#

語詞符號的意義

我們在研究思維時，習(xí)慣于先把思維的內(nèi)容和形式分離開來，并對它們分別地加以抽象規(guī)定，說明什么是內(nèi)容、什么是形式，由此認(rèn)為內(nèi)容和形式是事物內(nèi)外的兩種規(guī)定:內(nèi)容是事物內(nèi)在的規(guī)定性，是各種內(nèi)部要素的總和;形式是事物外部的表現(xiàn)以及這些表現(xiàn)之間的聯(lián)系或結(jié)構(gòu)。這種分析，自然是必要的，作為認(rèn)識的一個階段，也是合理的。但它也提供了一種可能性，即把思維形式看作與內(nèi)容不相關(guān)的外在形式，從而使形式脫離了內(nèi)容，成為獨(dú)立的部分，其結(jié)果必然要否定內(nèi)容，否定內(nèi)容與形式的統(tǒng)一。別林斯基說:“如果形式是內(nèi)容的表現(xiàn)，它必和內(nèi)容緊密聯(lián)系著，你要想把它從內(nèi)容中分出來，那就意味著消滅內(nèi)容，反過來也一樣，你要把內(nèi)容從形式中分出來，那就意味著消滅形式。”②所以，單用分析方法是不夠的，還必須同時把分析與綜合結(jié)合起來。

思維以語詞為載體。如果運(yùn)用分析方法，把言語的思維分解成它的組成部分:思維和詞語，這種方法雖然也看到它們之間的相互聯(lián)系和相互作用，但不再把它們看作一個整體，這就必然使言語思維的原先特性消失。維果斯基把這種分析的方法稱為“元素分析法”，并認(rèn)為是不可取的方法，他指出:“把言語的思維分解成它的組成部分:思維和詞語，并且互不聯(lián)系地孤立地對它們分別進(jìn)行研究，會使心理學(xué)在同樣的死胡同里曲折前進(jìn)。在分析過程中，言語思維的原先特性已經(jīng)消失。研究者們一無所獲，唯有發(fā)現(xiàn)兩種元素的機(jī)械的相互影響，期望以純粹的投機(jī)方式來重新構(gòu)建業(yè)已消失的整體特性。”③因此，他不主張“元素分析法”，而主張“單位分析法”。這種方法就是整體分析法，分析的結(jié)果則是保留了整體的所有基本特性。

思維與語詞是不同的兩種事物，但是它們又是不可分離的。沒有語詞的思維是一片模糊，沒有詞義的言語是空洞的聲音。思維是對存在的概括反映，它的表達(dá)形式是語詞的詞音，即聽覺形象;語詞的內(nèi)容就是語義，即語詞所負(fù)載的信息。所以，語詞同樣是形式和內(nèi)容兩個方面的統(tǒng)一，它們是無法割裂的。語義的概括同樣不能不用語詞來表達(dá)，因而語義是詞的不可分割的部分。因此，詞義既是思維又是言語。根據(jù)這種分析，維果斯基把語義看作言語思維單位。思維的“單位分析法”，就是語義分析法。他說:“在探究言語思維的本質(zhì)過程中，所應(yīng)遵循的方式便是語義分析(semanticanaly-sis)———研究這個單位的發(fā)展、功能和結(jié)構(gòu)，它包含了思維和言語的相互關(guān)聯(lián)。”④從思維與語言的發(fā)生史來考察，思維在最初發(fā)生時，語言并沒有同步地發(fā)生。這不是說思維沒有物質(zhì)載體，只是表明，思維的最初載體并不是語言，而是動作。這時，思維與動作還沒有分離，而存在于動作中。但是，思維是心理和觀念形態(tài)，不具有被感知的特征，沒有物質(zhì)性的載體，它既不能表達(dá)也不能實現(xiàn)。后來，產(chǎn)生肢體語言，使思想得以開始交流。為了適應(yīng)思維發(fā)展的需要，進(jìn)一步產(chǎn)生了有聲語言，使每一種聲音都能傳遞某種信息，而且表達(dá)某種意義。語言的產(chǎn)生和發(fā)展反過來進(jìn)一步推動了思維的發(fā)展，要求將思維的內(nèi)容保留下來。經(jīng)過長期的實踐，出現(xiàn)了書寫語言，即文字。文字的產(chǎn)生，是人類文明發(fā)展的重要里程碑，對思維的進(jìn)一步發(fā)展起到了關(guān)鍵作用。這時，思維找到了固定的載體，語言不僅成為思維的居所，而且也成為人類的家園。為了克服自然語言的模糊性、歧義性，在自然語言的基礎(chǔ)上又產(chǎn)生了人工語言，進(jìn)一步推動了思維科學(xué)的發(fā)展和應(yīng)用。這是語言在現(xiàn)展所取得的成就。

今天，我們所說的語言，應(yīng)該包括自然語言和人工語言兩個部分，而且都可以稱它們?yōu)榉枺醋匀环柡腿斯し?。顯然，同語詞一樣，無論哪種符號，它們也都是有意義的，否則它就沒有任何用途了，因而也就不可能出現(xiàn)。我們使用符號的目的是表達(dá)和實現(xiàn)思想，因此符號必定包含有某種意義。可見，符號本身不僅具有意義，同時又是一種形式。符號具有怎樣的意義?必須通過解釋加以確定。根據(jù)實踐和理論研究的需要，我們可以賦予符號一定的意義。在具體科學(xué)中，這是各門科學(xué)自身的工作，邏輯學(xué)不能代替而只能完成本學(xué)科的符號解釋。只有當(dāng)某個言語形式的意義在我們所掌握的科學(xué)知識范圍內(nèi)，我們才能準(zhǔn)確地確定它的意義。所以，無論是在具體科學(xué)中還是在邏輯學(xué)中，符號都是內(nèi)容與形式的統(tǒng)一。一切科學(xué)規(guī)律都是憑借這種統(tǒng)一來表述的，而且也只有憑借這種統(tǒng)一才能得以表述。例如，牛頓力學(xué)中的第二運(yùn)動定律，可以用符號公式表述為:f=ma。這個表達(dá)式是人工符號表達(dá)式，其中用了四個符號。只有對每一個符號都作出解釋，賦予一定的意義，才能使它表達(dá)第二運(yùn)動定律的內(nèi)涵，并被人們所理解。對于已學(xué)過牛頓力學(xué)的人，只要看到這個公式，就明白這個表達(dá)式的意義，因為他們已經(jīng)知道了對符號所作的解釋。這里的解釋，有兩個步驟。第一，賦予符號以特定的意義:“f”是對物體的外部作用力，“m”是被作用物體的質(zhì)量，“a”是被作用物體在受外部作用后所得到的加速度，“=”是等值。第二，解釋符號的關(guān)系:包括兩個方面的內(nèi)容，一是對量的關(guān)系的解釋，這個公式表示，f等于m與a的乘積，兩者的關(guān)系是，物體的加速度(a)與所受外力(f)成正比，與物體的質(zhì)量(m)成反比;二是對質(zhì)的關(guān)系的解釋，即加速度(a)與外力(f)都是矢量，具有方向性，而且加速度的方向與外力的方向相同。通過上述解釋，我們不僅知道了牛頓力學(xué)第二運(yùn)動定律的形式，而且也知道了這個符號表達(dá)式的內(nèi)容，從而表明了思維內(nèi)容和形式的統(tǒng)一。這里的形式包含兩個方面:第一，每一個符號都是一種形式;第二，符號之間的相互關(guān)系，即形式結(jié)構(gòu)。因此，我們在研究思維內(nèi)容與思維形式的關(guān)系時，主要任務(wù)不在于分辨誰是先在的，內(nèi)在的，是決定者，誰是后在的，外在的，是被決定的，而在于尋求它們之間的統(tǒng)一。這種統(tǒng)一的多樣性取決于是否存在經(jīng)驗內(nèi)容的滲透以及這種滲透的程度，從而使邏輯科學(xué)構(gòu)成一個龐大的“家族”。

思維內(nèi)容和形式在形式邏輯中的統(tǒng)一

從思維內(nèi)容和形式統(tǒng)一的觀點(diǎn)看，形式邏輯不僅研究推理形式，同時也研究推理內(nèi)容，研究思維內(nèi)容和形式的統(tǒng)一。我們可以從以下四個方面認(rèn)識這種統(tǒng)一的具體表現(xiàn)。第一，邏輯符號的內(nèi)容和形式的統(tǒng)一。現(xiàn)代形式邏輯，又稱符號邏輯。它的一切符號，只有通過解釋，才具有特定的意義。這種意義，就是作為思維形式的符號所具有的思維內(nèi)容。在形式邏輯中，不僅邏輯形式都是由符號構(gòu)成的，而且邏輯內(nèi)容也是用符號和符號組合來表達(dá)的。在符號邏輯中有許多作為邏輯常項的符號，對這些符號只有作出明確的解釋，才能賦予它們意義。這種意義，就是被解釋的符號所具有的邏輯內(nèi)容。例如，對符號“?”的解釋是“否定”，對符號“∧”的解釋是“合取”，對符號“∨”的解釋是“析取”，對符號“→”的解釋是“蘊(yùn)涵”，對符號“≡”的解釋是“等值”，等等。這些意義，都賦予了邏輯形式特定的思維內(nèi)容。不同的邏輯系統(tǒng)，有不同的符號。由于給予不同的解釋，它們就具有各不相同的邏輯內(nèi)容，從而形成思維內(nèi)容和形式的不同統(tǒng)一。例如，在模態(tài)邏輯中，把符號“”解釋為“必然”，把符號“”解釋為“可能”;在時態(tài)邏輯中，把符號“P”解釋為“過去”，把符號“T”解釋為“現(xiàn)在”，把符號“F”解釋為“將來”;在道義邏輯中，把符號“O”解釋為“義務(wù)”，把符號“P”解釋為“允許”，把符號“F”解釋為“禁止”，等等。在這些不同邏輯系統(tǒng)中，有的符號是相同的，有的是不同的。即便是相同的符號形式，由于給予不同的意義，它們也就成為具有不同的內(nèi)容的符號。例如，“P”這個符號，在直言命題中，它代表詞項;在命題邏輯中，它是肢命題;在時態(tài)邏輯中，它被解釋為“過去”;在道義邏輯中，被解釋為“允許”。顯然，這些符號的選擇，完全是自由的，也完全是任意的，我們可以選擇這些符號，也可以選擇另一些符號。但無論選擇什么符號，對它的解釋，則是有確定內(nèi)涵的，絕不能是完全任意的。而且，這些符號只有在特定的關(guān)系和形式系統(tǒng)中，才具有它的確定意義;在不同的關(guān)系和形式系統(tǒng)中，它們的意義也是不同的。這些都說明，符號形式和符號形式的意義，反映了在形式邏輯學(xué)中形式與內(nèi)容在特定條件下的統(tǒng)一。#p#分頁標(biāo)題#e#

第二，邏輯基本規(guī)律的內(nèi)容與形式的統(tǒng)一。邏輯基本規(guī)律是獲得“邏輯的真”的規(guī)律，它們決定了形式邏輯必須研究命題真假關(guān)系的思維內(nèi)容。形式邏輯教科書主要討論形式邏輯的三大基本規(guī)律，即同一律、矛盾律和排中律。這些規(guī)律都可以由符號構(gòu)成的公式來表述。同一律表述為:A≡A;矛盾律表述為:﹁(A∧﹁A);排中律表述為:A∨﹁A。對這些公式意義的解釋，就是這些規(guī)律的內(nèi)容。例如，亞里士多德對矛盾律的解釋是:“一切意見中最為確實的是，矛盾的陳述不能同時為真。”①邏輯基本規(guī)律同存在、認(rèn)識、心理和意義等是密切關(guān)聯(lián)的。亞里士多德的邏輯學(xué)主要研究了矛盾律和排中律，對同一律也有所涉及;在邏輯規(guī)律的討論中，涉及的不只是邏輯方面，而且還比較多地涉及本體論、認(rèn)識論、心理學(xué)和語義方面的內(nèi)容。這說明，邏輯規(guī)律是存在規(guī)律的反映。矛盾律為什么在我們的思維中占有特殊的地位?只能由存在規(guī)律來解釋。格•克勞斯說:“我們不能把思維作為本原的東西，用思維來解釋這一點(diǎn)。我們不能說:‘我們的思維當(dāng)它邏輯上不矛盾時便正確’，而回答只能有一個:因為它合乎邏輯。不矛盾律的特殊作用取決于它是從本體論的規(guī)律即從本原的基礎(chǔ)引申出來的，也就是說，它是存在規(guī)律的反映。”②可見，邏輯規(guī)律的基礎(chǔ)是存在規(guī)律，徹底割斷本體論與邏輯學(xué)的聯(lián)系是不可能的，這是決定邏輯規(guī)律具有思維內(nèi)容的重要根由。因此，在形式邏輯中，邏輯規(guī)律不只是形式方面，也不只是內(nèi)容方面，而是內(nèi)容與形式兩個方面的統(tǒng)一。

第三，推理規(guī)則的內(nèi)容和形式的統(tǒng)一。構(gòu)成形式邏輯基礎(chǔ)的是推理規(guī)則，它是邏輯基本規(guī)律在推理過程中的具體化。涅爾在《邏輯學(xué)的發(fā)展》中說:“邏輯是研究有效推理規(guī)則的。”③這就明確地表述了真與假的內(nèi)容與符號的形式之間的統(tǒng)一。涅爾所說的邏輯，自然是指形式邏輯。他在這個說明中，特別強(qiáng)調(diào)的是形式邏輯推理的有效性以及保證推理有效性的規(guī)則，由此實現(xiàn)從真前提中有效地推出真結(jié)論。因為，邏輯規(guī)律與存在規(guī)律不同，存在規(guī)律的表述是有經(jīng)驗內(nèi)容的，邏輯規(guī)律是沒有經(jīng)驗內(nèi)容的，它只是符號系統(tǒng)的規(guī)則，與現(xiàn)實世界中的因果關(guān)系不直接相關(guān)，只是反映命題之間的真假關(guān)系。所以，“在邏輯上具有巨大意義的規(guī)律，是表示一些判斷的真(假)同另一些判斷的真(假)之間的依賴關(guān)系的規(guī)律。這些規(guī)律決定著推理有合乎邏輯的正確形式”④。命題的真假，并不是思維的形式，而是思維的內(nèi)容，但又只有在形式關(guān)系中，根據(jù)一定的規(guī)則，才能斷定命題的真假。這表明，“真”與“假”不是事實關(guān)系中的真與假，而是形式關(guān)系中的真與假，即如何以形式之間的正確聯(lián)系來達(dá)到這個“真”，這便成為形式關(guān)系中的內(nèi)容。進(jìn)一步說，所謂“有效性”或“無效性”，就是一種思維內(nèi)容。有效性是真的，無效性是假的。由于推理形式本身包含了“有效規(guī)則”，因而它是內(nèi)容和形式的統(tǒng)一。形式邏輯的核心，就是邏輯后承，或有效后承。所以，簡要地說，形式邏輯只是研究有效推理的規(guī)則，只有遵守這種邏輯規(guī)則，才能使推理形式有效。有效的推理，其結(jié)論必定是真的;無效的推理，其結(jié)論必定是假的。“必然性”，“必然地推出”，是指內(nèi)容方面的問題;如何通過形式之間的關(guān)系來實現(xiàn)這種“必然性”和“必然地推出”，關(guān)鍵在于形式的保證，是形式方面的問題。這同樣表明，在任何形式中，都包含著與思維形式相適應(yīng)的內(nèi)容。

第四，內(nèi)涵和外延都是思維內(nèi)容。邏輯內(nèi)容不僅包括作為符號內(nèi)涵的質(zhì)，而且也包括符號外延的量。在關(guān)于概念的討論中，邏輯教科書都把內(nèi)涵與外延看作概念的兩個邏輯特征。不只是概念，語句也同樣具有這兩個邏輯特征。形式邏輯通常都不研究概念的內(nèi)涵，而只研究概念的外延關(guān)系，因而我們都稱形式邏輯為外延邏輯。正是這個原因，不少人把現(xiàn)代的哲學(xué)邏輯稱為非形式邏輯或內(nèi)涵邏輯，因為它引進(jìn)了一些哲學(xué)范疇作為邏輯常項，如“必然”與“可能”，“過去”、“現(xiàn)在”與“將來”等。上面所說的對符號的解釋，首先得到明確的是符號的內(nèi)涵，即意義，然后即可確定它們的外延關(guān)系。例如，在模態(tài)邏輯中，符號“”和“”之間的關(guān)系，由于賦予了“必然”和“可能”的意義，同時也就規(guī)定了它們的外延關(guān)系。在模態(tài)對當(dāng)方陣中的矛盾關(guān)系、差等關(guān)系和反對關(guān)系，同形式邏輯中的對當(dāng)方陣一樣，都是用外延關(guān)系來確定的。外延關(guān)系是由內(nèi)涵決定的。如果說形式邏輯是外延邏輯，那么，模態(tài)邏輯也應(yīng)該是外延邏輯。不同的是，模態(tài)邏輯引進(jìn)了必然(“”)和可能(“”)等不同的邏輯常項，表明它具有不同的內(nèi)容。但要進(jìn)行邏輯運(yùn)算，都必須依賴于外延關(guān)系。內(nèi)涵是思維的內(nèi)容，這是沒有異議的。問題是，外延也是思維內(nèi)容嗎?形式邏輯對全稱量詞(?x)和存在量詞(?x)的賦值，已經(jīng)對這個問題作了肯定回答。因為這些賦值都屬于量的方面，而且成為這些符號的意義。所以，外延的量同樣是一種意義，屬于思維內(nèi)容。內(nèi)涵與外延的關(guān)系，不屬于內(nèi)容與形式的關(guān)系，而是質(zhì)與量的關(guān)系。任何事物都具有質(zhì)和量的規(guī)定性，對這兩種規(guī)定性的反映，使概念、詞項、句子等都具有內(nèi)涵與外延的屬性。卡爾納普認(rèn)為，一個謂詞包括作為“類”和作為“性質(zhì)”兩個方面的特性，如，“人”既是作為包含許多個別人為元素的類的“人”，又是作為具有同樣人性的性質(zhì)的“人”。于是，謂詞“P”的外延是相應(yīng)的類，而其內(nèi)涵則是相應(yīng)的性質(zhì)。

關(guān)于語句，當(dāng)它具有真值時，便是一個命題。因此，語句的內(nèi)涵是命題，它的外延則是它的真值。關(guān)于某一個體詞，它的內(nèi)涵是它所表達(dá)的個體的概念，它的外延是它所指稱的個體。所以，外延是由內(nèi)涵決定的，因而內(nèi)涵與外延是不能各自獨(dú)立存在的，是不能分離的。詹斯奧爾伍德指出:內(nèi)涵是“連接語言和這個世界的黏合物。一個內(nèi)涵就是使一個語言表達(dá)式和它的外延產(chǎn)生聯(lián)系的某種東西。它決定一個語言表達(dá)式的外延”①。在一切邏輯科學(xué)中，內(nèi)涵與外延都是統(tǒng)一的，形式邏輯也不能例外。由于外延是由內(nèi)涵決定的，因而外延的存在必須以確定的內(nèi)涵為前提，所以它不屬于邏輯形式，而屬于邏輯內(nèi)容。作為邏輯內(nèi)容的內(nèi)涵和外延，其中雖然也有對經(jīng)驗內(nèi)容的進(jìn)一步抽象，但不都是經(jīng)驗內(nèi)容。事物的質(zhì)和量，是現(xiàn)實世界中的形式和關(guān)系，它反映到邏輯科學(xué)中，表現(xiàn)為內(nèi)涵和外延，這只是說明邏輯內(nèi)容和邏輯形式的外表來源。“但是，為了對這些形式和關(guān)系能夠從它們的純粹狀態(tài)來進(jìn)行研究，必須使它們完全脫離自己的內(nèi)容，把內(nèi)容作為無關(guān)重要的東西放在一邊”①。這樣，我們就得到了沒有經(jīng)驗內(nèi)容的邏輯內(nèi)容。內(nèi)涵和外延，就是事物的質(zhì)和量這些經(jīng)驗內(nèi)容的抽象，說的都是邏輯學(xué)的思維內(nèi)容。上述分析表明，形式邏輯不僅研究推理形式，而且也同時研究推理內(nèi)容。所以，認(rèn)為形式邏輯只管思維形式而不管思維內(nèi)容的觀點(diǎn)，是不能成立的。#p#分頁標(biāo)題#e#

邏輯學(xué)研究的意義邏輯轉(zhuǎn)向

在宏觀上，意義可以分為兩類，一類是經(jīng)驗內(nèi)容的意義，另一類是非經(jīng)驗內(nèi)容的意義。具體科學(xué)中的意義屬于前者，邏輯學(xué)中的意義屬于后者。萊布尼茨早就提出了理性真理和事實真理的區(qū)分，他說:“有兩種真理:推理的真理和事實的真理。推理的真理是必然的，它的否定是不可能的;事實的真理是偶然的，它的否定是可能的。”②形式邏輯所追求的是推理的真理，屬于非經(jīng)驗內(nèi)容的意義;具體科學(xué)所追求的是事實的真理，屬于經(jīng)驗內(nèi)容的意義。因此，推理的真理只是形式的真，只管形式的正確性，不管內(nèi)容的真實性。其中的邏輯必然性，也只是形式必然性或抽象必然性，雖然它也是事實真理的必要條件，但并不是充分條件。要使抽象必然性向具體必然性過渡，實現(xiàn)邏輯的真理與事實的真理的統(tǒng)一，必須建構(gòu)經(jīng)驗內(nèi)容進(jìn)入邏輯思維的通道。但形式邏輯系統(tǒng)的封閉性已經(jīng)斷絕了這種通道，也就已經(jīng)無緣實現(xiàn)這種結(jié)合了。

一旦邏輯學(xué)向經(jīng)驗內(nèi)容開放，它便離開了單純的形式研究而進(jìn)入邏輯應(yīng)用的具體科學(xué)領(lǐng)域。這時，推理的有效性不僅依賴于形式的正確性，而且必須依賴于經(jīng)驗內(nèi)容的真實性。斯蒂芬•里德指出:“經(jīng)典邏輯堅持所有邏輯推論都是形式問題，就不能把其正確性依賴非邏輯詞項之間的關(guān)系的推理作為有效推理。給定一個圓的對象，可以推出它不是方的;但這個推理根據(jù)形式不是有效的，如果根據(jù)內(nèi)容，即根據(jù)‘是圓的’的含義，那么它是有效的。我們可以稱這樣的推理為實質(zhì)有效推理，即根據(jù)內(nèi)容而不是形式為有效的推理。”③實質(zhì)有效推理所得到的結(jié)論是事實的真理。在這里，需要輸入經(jīng)驗內(nèi)容的意義。從單純形式的立場看，知道了“若是圓的”，并不能知道它“不是方的”，而只能是:知道了“若是圓的”，就知道“不是非圓的”，即“若是p”，就“不是?p”。斯蒂芬•里德的分析，為我們提供了一個重要的啟示:實質(zhì)有效推理使邏輯學(xué)研究走向意義邏輯，是使理性真理向事實真理轉(zhuǎn)化，實現(xiàn)兩種真理的統(tǒng)一的途徑。波普爾在研究社會科學(xué)的邏輯時，提出了27個命題。其中的第一個命題是:我們擁有大量的知識;第二個命題是:我們的無知是無限的、令人清醒的。關(guān)于這兩個命題，波普爾指出:“當(dāng)然，我的關(guān)于知識與無知的兩個命題只是看上去好像彼此矛盾。這種表面的矛盾的主要原因在于這樣一個事實，在這兩個命題中各在頗不相同的意義上使用了‘知識’這個詞。然而這兩種意義都是重要的。”④要說明這兩個命題的不矛盾性，同樣需要經(jīng)驗內(nèi)容的引入。

為什么從形式上看，這兩個命題是自相矛盾的?因為這里的形式是指把“知識”這個語詞作為“概念”，即作為一種符號來使用，作為同一個概念的符號只能給予同一種意義，但兩個命題給出了兩種相反的意義。如果合取這兩個命題，那么，就要產(chǎn)生邏輯矛盾，這種邏輯矛盾表達(dá)式是:“A∧?A”。但由于輸入了經(jīng)驗內(nèi)容的意義，這兩個命題中的“知識”一詞具有了不同的意義:第一個命題中的“知識”是關(guān)于“已知”的知識，第二個命題中的“知識”是關(guān)于“未知”的知識。由于對“知識”一詞作不同的解釋，賦予不同的意義，因而成為兩個不同的概念，不構(gòu)成邏輯矛盾表達(dá)式。這說明，第一，在應(yīng)用形式邏輯于知識內(nèi)容的研究時，必須對思維形式賦予具有經(jīng)驗內(nèi)容的意義;第二，在形式邏輯立場上認(rèn)為存在邏輯矛盾的地方，往往產(chǎn)生了內(nèi)容與形式的非對應(yīng)性的錯位，只有根據(jù)經(jīng)驗內(nèi)容對符號的意義作出不同解釋，才能消除這種邏輯矛盾。

第3篇：邏輯學(xué)推理規(guī)則范文

【關(guān)鍵詞】缺?。恍问秸Z義；模態(tài)邏輯

中圖分類號：H31

文獻(xiàn)標(biāo)識碼：A

文章編號：1006-0278（2015）04-135-01

組合模型得到類似連接符組合的過程很像組合的蘭貝克演算。向右做除法的算子、向左做除法的算子和連接的乘積算子分別表述為：/a，＼a和?a.非組合連接符表示為/a，＼a和?a，和非組合蘭貝克演算NL相似，這也是考慮到wrapping和中加情況中嵌入點(diǎn)的界定。如果組合連詞被應(yīng)用，則不考慮上述情況。Wrapping算子表述為/w，＼w和?w，這和Morrill的非連續(xù)算子，，和相似。當(dāng)A和省去的B的函項意義結(jié)合時，一個類似B＼wA的范疇函項表達(dá)式是范疇A的非完整表達(dá)式。換句話說，函項B＼wA是一個不斷圍繞B回指自己以形成函項A。A不間斷的生成范疇B?wA，這意味著范疇A的表達(dá)式是包含了不定嵌入的范疇B的表達(dá)式。最后，我們來看缺省模型，這是一個很新的概念，也是源于缺省和亞省略在wrapping模型中的交互作用最后形成的模型。

系統(tǒng)的推理能力基于不同推理模型之間的交互作用。以下交互規(guī)則是由組合模型、非組合模型和wrapping模型這兩者之間的交互。

Wrapping附加的特殊技能更加清晰地體現(xiàn)在下面的框架條件中：

第二個交互作用規(guī)則對分析缺省和亞缺省十分重要，在本章中我會按照Hendriks教授的標(biāo)注方法，把這條規(guī)則標(biāo)為[MA]。它是定義缺省模型g和wrapping模型w之間交互作用的，MA支持混合結(jié)合性，例如，包含兩個不同模型的結(jié)合性。除此之外，還具有其他特性：

我們給出（9）的框架規(guī)則：

我們要注意區(qū)分組合性，非組合性，wrapping和缺省模型交互的不同，假設(shè)這些模型是依據(jù)（7）和（9）進(jìn)行交互作用的，多模態(tài)分析能同時呈現(xiàn)缺省和亞缺省。下一節(jié)中我們會介紹多模態(tài)對缺省句的分析。

缺省的多模態(tài)分析

首先我們通過指派到詞項，來給出一個語言表達(dá)式的多模態(tài)分析：

John studies logic and Charles phonetics

（5）

我們用范疇語法分析這個例子：

其中，TV是（NP＼aS）/aNP的縮寫，指派及物動詞，連接左邊的主語NP和右邊的賓語NP，派生的下一步就是在范疇外面加上方括號，這樣先行詞序列就有了一種限制的形式，再結(jié)合前面的規(guī)則，我們得到：

語言表達(dá)式分析的好處在于，不管目標(biāo)類型有沒有減少，它都起到一個限制的作用。在這種特殊例子中，目標(biāo)類型就是S。根據(jù)Gentzen序列演算，多模態(tài)框架中類型轉(zhuǎn)換是有效的，如果我們能將所有分散的分支歸納為公理。當(dāng)然，通過推理規(guī)則和反向交互規(guī)則我們也很容易將分支結(jié)構(gòu)歸納，這會起到一個移除類型以形成連詞的作用，不管是對前件，還是緊隨隨后的類型。由于這個歸納過程過于復(fù)雜，在這里我們就不說了。

我們引入一個向后的規(guī)則[/gL]，起到一個將派生分裂成兩個更小的半派生，或者叫次派生（subderivation），然后這兩個亞派生又能繼續(xù)分裂成更小的派生。前面說了那么多，我們再來詳細(xì)看看缺省結(jié)構(gòu)子句Charles phonetics，被分析為一組非組合范疇（NP，NP）n。因為有非結(jié)構(gòu)分支的存在，被省去的動詞信息沒有在派生過程中丟失，逗號能指示其位置。連接詞的范疇提供了一個生產(chǎn)連接項的具體過程，（X＼X）/X。這里我們列舉的缺省和Morr111（1994）還有所不同，Morrill其實是有將關(guān)聯(lián)、非關(guān)聯(lián)和wrapping結(jié)合在一起了，根據(jù)他的研究，連接詞的范疇必須被寫成（（（TV?w（TV＼wS））＼aS）/a（TV＼wS），這樣才能更清楚的解釋缺省結(jié)構(gòu)的不同連接詞。跟之前的范疇（X＼X）/X相比較，左邊參數(shù)范疇記為《TV?w（TV＼wS），右邊的參數(shù)范疇記為（TV＼wS）。

在范疇語法中，語義學(xué)跟句法的關(guān)系聯(lián)系相當(dāng)緊密，前面的例子中也能給出缺省結(jié)構(gòu)的語義解釋，我們就不做介紹了。/I，＼i和?i的推理規(guī)則如下：

在處理語義問題上向右的規(guī)則[/iR]和[＼iR]和lambda結(jié)構(gòu)一致，向左的規(guī)則和功能應(yīng)用對應(yīng)。[?B]和[?L]負(fù)責(zé)配對和投射。TV是假定的及物動詞，第一個結(jié)合的語義和第二個相同，R是一個及物動詞語義的二元關(guān)系，我們給出一個一個完整的并列結(jié)構(gòu)的語義解釋。

參考文獻(xiàn)：

第4篇：邏輯學(xué)推理規(guī)則范文

【關(guān)鍵詞】數(shù)理邏輯；算法

一、古典數(shù)理邏輯

邏輯是研究推理的科學(xué)，它分為形式邏輯和辯證邏輯。數(shù)理邏輯用數(shù)學(xué)方法研究形式邏輯，它是用數(shù)學(xué)方法研究推理的科學(xué)。而數(shù)學(xué)方法，則是引進(jìn)一套數(shù)學(xué)符號體系來研究推理，所以數(shù)理邏輯也叫符號邏輯。現(xiàn)代數(shù)理邏輯有四大分支：證明論、模型論、遞歸論和公理化集合論。命題演算是所謂的古典數(shù)理邏輯之一。

1.命題演算

命題：判斷結(jié)果惟一的陳述句。命題的真值是判斷的結(jié)果，真或假。真命題則是真值為真的命題。

假命題：即真值為假的命題。注意：感嘆句、祈使句、疑問句都不是命題。

陳述句中的悖論以及判斷結(jié)果不惟一確定的也不是。命題分為：簡單命題(原子命題)：簡單陳述句構(gòu)成的命題。簡單命題的符號化：用p，q，r，…，pi，qi，ri(i≥1)表示，用“1”表示真，用“0”表示假。復(fù)合命題：由簡單命題通過聯(lián)結(jié)詞聯(lián)結(jié)而成的陳述句。例如：如果明天天氣好，我們就出去郊游。設(shè)p：明天天氣好，q：我們出去郊游，如果p，則q。聯(lián)結(jié)詞與復(fù)合命題：?稱否定聯(lián)結(jié)詞，∧稱合取聯(lián)結(jié)詞，∨稱析取聯(lián)結(jié)詞，蘊(yùn)涵聯(lián)結(jié)詞，?稱等價聯(lián)結(jié)詞?。

聯(lián)結(jié)詞優(yōu)先級：( )，?，∧，∨，，?，同級按從左到右的順序進(jìn)行。

命題常項：簡單命題。命題變項：取值0(真)或1(假)的變元，真值表：命題公式在所有可能的賦值下的取值的列表，含n個變項的公式有2n個賦值，

2.命題演算的研究對象：重言式，矛盾式，偶然式

重言式(永真式)：無成假賦值的命題公式

矛盾式(永假式)：無成真賦值的命題公式

可滿足式：非矛盾式的命題公式

注意：重言式是可滿足式，但反之不真.

3.命題演算的科學(xué)性依據(jù)：恒等式和永真蘊(yùn)含，推理規(guī)則和證明方法

若等價式A?B是重言式，則稱A與B等值，記作

A?B，并稱A?B是等值式

設(shè)S是一個聯(lián)結(jié)詞集合，如果任何n(n≥1)元真值

函數(shù)都可以由僅含S中的聯(lián)結(jié)詞構(gòu)成的公式表示，則稱S是聯(lián)結(jié)詞完備集

4.命題命題演算的擴(kuò)充和歸約：范式和主析取范式

主析取范式：由極小項構(gòu)成的析取范式

主合取范式：由極大項構(gòu)成的合取范式

任何命題公式都存在著與之等值的主析取范式和主合取范式，并且是惟一的。

二、命題邏輯思想與應(yīng)用

主析取范式是命題邏輯思想解決問題的重要途徑。

1.求主析取范式的步驟

設(shè)公式A含命題變項p1，p2，…，pn，

(1)求A的析取范式A′=B1∨ B2∨ … ∨ Bs，其中Bj是簡單合取式 j=1，2，…，s

(2)若某個Bj既不含pi，又不含?pi，則將Bj展開成：

Bj ? Bj∧(pi∨?pi) ? (Bj∧pi)∨(Bj∧?pi)

重復(fù)這個過程，直到所有簡單合取式都是長度為n的極小項為止。

(3)消去重復(fù)出現(xiàn)的極小項，即用mi代替mi∨mi。

(4)將極小項按下標(biāo)從小到大排列。

2.主析取范式的用途

(1)求公式的成真賦值和成假賦值

設(shè)公式A含n個命題變項，A的主析取范式有s個極小項，則A有s個成真賦值，它們是極小項下標(biāo)的二進(jìn)制表示，其余2n-s個賦值都是成假賦值。

如：?(pq)?∨r ? m0∨ m2∨ m4 ∨m5 ∨ m6

成真賦值：000，010，100，101，110；成假賦值：001，011，111 。

(2)判斷公式的類型

設(shè)A含n個命題變項，則：

A為重言式當(dāng)且僅當(dāng)A的主析取范式含2n個極小項

A為矛盾式當(dāng)且僅當(dāng)A的主析取范式不含任何極小項，記作0

A為可滿足式當(dāng)且僅當(dāng)A的主析取范式中至少含一個極小項。

如：

C? ?(p∨q)∨r ? (?p?∧q)∨r

?(?p?∧q∧r)∨(?p?∧q?∧r)∨(?p?∧q∧r)∨(?p∧q∧r)∨(p?∧q∧r)∨(p∧q∧r)

? m0∨m1∨m3∨ m5∨m7

(3)判斷兩個公式是否等值

用主析取范式判斷下面公式是否等值：

如某單位要從A，B，C三人中選派若干人出國考察，需滿足下述條件：

a、若A去，則C必須去；

b、若B去，則C不能去；

c、A和B必須去一人且只能去一人.

問有幾種可能的選派方案?

解決方法為：

記p：派A去，q：派B去，r：派C去

a：pr b：q?r c：(p?∧q)∨(?p∧q)

問題轉(zhuǎn)化為求下式的成真賦值

A=(pr)∧(q?r)∧((p?∧q)∨(?p∧q))

利用求A的主析取范式

A=(pr)∧(q?r)∧((p?∧q)∨(?p∧q))

?(?p∨r)∧(?q?∨r)∧((p?∧q)∨(?p∧q))

?((?p?∧q)∨(?p?∧r)∨(r?∧q)∨(r?∧r))

∧((p?∧q)∨(?p∧q))

?((?p?∧q)∧(p?∧q))∨((?p?∧r)∧(p?∧q))

∨((r?∧q)∧(p?∧q))∨((?p?∧q)∧(?p∧q))

∨((?p?∧r)∧(?p∧q))∨((r?∧q)∧(?p∧q))

?(p?∧q∧r)∨(?p∧q?∧r)

成真賦值：101，010。結(jié)論：方案1　派A與C去，方案2　派B去

第5篇：邏輯學(xué)推理規(guī)則范文

［關(guān)鍵詞］ 人工智能，常識推理，歸納邏輯，廣義內(nèi)涵邏輯，認(rèn)知邏輯，自然語言邏輯

現(xiàn)代邏輯創(chuàng)始于19世紀(jì)末葉和20世紀(jì)早期，其發(fā)展動力主要來自于數(shù)學(xué)中的公理化運(yùn)動。當(dāng)時的數(shù)學(xué)家們試圖即從少數(shù)公理根據(jù)明確給出的演繹規(guī)則推導(dǎo)出其他的數(shù)學(xué)定理，從而把整個數(shù)學(xué)構(gòu)造成為一個嚴(yán)格的演繹大廈，然后用某種程序和方法一勞永逸地證明數(shù)學(xué)體系的可靠性。為此需要發(fā)明和鍛造嚴(yán)格、精確、適用的邏輯工具。這是現(xiàn)代邏輯誕生的主要動力。由此造成的后果就是20世紀(jì)邏輯研究的嚴(yán)重數(shù)學(xué)化，其表現(xiàn)在于：一是邏輯專注于在數(shù)學(xué)的形式化過程中提出的問題；二是邏輯采納了數(shù)學(xué)的方法論，從事邏輯研究就意味著象數(shù)學(xué)那樣用嚴(yán)格的形式證明去解決問題。由此發(fā)展出來的邏輯被恰當(dāng)?shù)胤Q為“數(shù)理邏輯”，它增強(qiáng)了邏輯研究的深度，使邏輯學(xué)的發(fā)展繼古希臘邏輯、歐洲中世紀(jì)邏輯之后進(jìn)入第三個高峰期，并且對整個現(xiàn)代科學(xué)特別是數(shù)學(xué)、哲學(xué)、語言學(xué)和計算機(jī)科學(xué)產(chǎn)生了非常重要的影響。

本文所要探討的問題是：21世紀(jì)邏輯發(fā)展的主要動力將來自何處？大致說來將如何發(fā)展？我個人的看法是：計算機(jī)科學(xué)和人工智能將至少是21世紀(jì)早期邏輯學(xué)發(fā)展的主要動力源泉，并將由此決定21世紀(jì)邏輯學(xué)的另一幅面貌。由于人工智能要模擬人的智能，它的難點(diǎn)不在于人腦所進(jìn)行的各種必然性推理（這一點(diǎn)在20世紀(jì)基本上已經(jīng)做到了，如用計算機(jī)去進(jìn)行高難度和高強(qiáng)度的數(shù)學(xué)證明，“深藍(lán)”通過高速、大量的計算去與世界冠軍下棋），而是最能體現(xiàn)人的智能特征的能動性、創(chuàng)造性思維，這種思維活動中包括學(xué)習(xí)、抉擇、嘗試、修正、推理諸因素，例如選擇性地搜集相關(guān)的經(jīng)驗證據(jù)，在不充分信息的基礎(chǔ)上作出嘗試性的判斷或抉擇，不斷根據(jù)環(huán)境反饋調(diào)整、修正自己的行為，……由此達(dá)到實踐的成功。于是，邏輯學(xué)將不得不比較全面地研究人的思維活動，并著重研究人的思維中最能體現(xiàn)其能動性特征的各種不確定性推理，由此發(fā)展出的邏輯理論也將具有更強(qiáng)的可應(yīng)用性。

實際上，在20世紀(jì)中后期，就已經(jīng)開始了現(xiàn)代邏輯與人工智能（記為AI）之間的相互融合和滲透。例如，哲學(xué)邏輯所研究的許多課題在理論計算機(jī)和人工智能中具有重要的應(yīng)用價值。AI從認(rèn)知心理學(xué)、社會科學(xué)以及決策科學(xué)中獲得了許多資源，但邏輯（包括哲學(xué)邏輯）在AI中發(fā)揮了特別突出的作用。某些原因促使哲學(xué)邏輯家去發(fā)展關(guān)于非數(shù)學(xué)推理

的理論；基于幾乎同樣的理由，AI研究者也在進(jìn)行類似的探索，這兩方面的研究正在相互接近、相互借鑒，甚至在逐漸融合在一起。例如，AI特別關(guān)心下述課題：

·效率和資源有限的推理；

·感知；

·做計劃和計劃再認(rèn)；

·關(guān)于他人的知識和信念的推理；

·各認(rèn)知主體之間相互的知識；

·自然語言理解；

·知識表示；

·常識的精確處理；

·對不確定性的處理，容錯推理；

·關(guān)于時間和因果性的推理；

·解釋或說明；

·對歸納概括以及概念的學(xué)習(xí)。[①]

21世紀(jì)的邏輯學(xué)也應(yīng)該關(guān)注這些問題，并對之進(jìn)行研究。為了做到這一點(diǎn)，邏輯學(xué)家們有必要熟悉AI的要求及其相關(guān)進(jìn)展，使其研究成果在AI中具有可應(yīng)用性。

我認(rèn)為，至少是21世紀(jì)早期，邏輯學(xué)將會重點(diǎn)關(guān)注下述幾個領(lǐng)域，并且有可能在這些領(lǐng)域出現(xiàn)具有重大意義的成果：（1）如何在邏輯中處理常識推理中的弗協(xié)調(diào)、非單調(diào)和容錯性因素？（2）如何使機(jī)器人具有人的創(chuàng)造性智能，如從經(jīng)驗證據(jù)中建立用于指導(dǎo)以后行動的歸納判斷？（3）如何進(jìn)行知識表示和知識推理，特別是基于已有的知識庫以及各認(rèn)知主體相互之間的知識而進(jìn)行的推理？（4）如何結(jié)合各種語境因素進(jìn)行自然語言理解和推理，使智能機(jī)器人能夠用人的自然語言與人進(jìn)行成功的交際？等等。

1．常識推理中的某些弗協(xié)調(diào)、非單調(diào)和容錯性因素

AI研究的一個目標(biāo)就是用機(jī)器智能模擬人的智能，它選擇各種能反映人的智能特征的問題進(jìn)行實踐，希望能做出各種具有智能特征的軟件系統(tǒng)。AI研究基于計算途徑，因此要建立具有可操作性的符號模型。一般而言，AI關(guān)于智能系統(tǒng)的符號模型可描述為：由一個知識載體（稱為知識庫KB）和一組加載在KB上的足以產(chǎn)生智能行為的過程（稱為問題求解器PS）構(gòu)成。經(jīng)過20世紀(jì)70年代包括專家系統(tǒng)的發(fā)展，AI研究者逐步取得共識，認(rèn)識到知識在智能系統(tǒng)中力量，即一般的智能系統(tǒng)事實上是一種基于知識的系統(tǒng)，而知識包括專門性知識和常識性知識，前者亦可看做是某一領(lǐng)域內(nèi)專家的常識。于是，常識問題就成為AI研究的一個核心問題，它包括兩個方面：常識表示和常識推理，即如何在人工智能中清晰地表示人類的常識，并運(yùn)用這些常識去進(jìn)行符合人類行為的推理。顯然，如此建立的常識知識庫可能包含矛盾，是不協(xié)調(diào)的，但這種矛盾或不協(xié)調(diào)應(yīng)不至于影響到進(jìn)行合理的推理行為；常識推理還是一種非單調(diào)推理，即人們基于不完全的信息推出某些結(jié)論，當(dāng)人們得到更完全的信息后，可以改變甚至收回原來的結(jié)論；常識推理也是一種可能出錯的不精確的推理模式，是在容許有錯誤知識的情況下進(jìn)行的推理，簡稱容錯推理。而經(jīng)典邏輯拒斥任何矛盾，容許從矛盾推出一切命題；并且它是單調(diào)的，即承認(rèn)如下的推理模式：如果p?r，則pùq?r；或者說，任一理論的定理屬于該理論之任一擴(kuò)張的定理集。因此，在處理常識表示和常識推理時，經(jīng)典邏輯應(yīng)該受到限制和修正，并發(fā)展出某些非經(jīng)典的邏輯，如次協(xié)調(diào)邏輯、非單調(diào)邏輯、容錯推理等。有人指出，常識推理的邏輯是次協(xié)調(diào)邏輯和非單調(diào)邏輯的某種結(jié)合物，而后者又可看做是對容錯推理的簡單且基本的情形的一種形式化。[②]

“次協(xié)調(diào)邏輯”（Paraconsistent Logic）是由普里斯特、達(dá)·科斯塔等人在對悖論的研究中發(fā)展出來的，其基本想法是：當(dāng)在一個理論中發(fā)現(xiàn)難以克服的矛盾或悖論時，與其徒勞地想盡各種辦法去排除

或防范它們，不如干脆讓它們留在理論體系內(nèi)，但把它們“圈禁”起來，不讓它們?nèi)我鈹U(kuò)散，以免使我們所創(chuàng)立或研究的理論成為“不足道”的。于是，在次協(xié)調(diào)邏輯中，能夠容納有意義、有價值的“真矛盾”，但這些矛盾并不能使系統(tǒng)推出一切，導(dǎo)致自毀。因此，這一新邏輯具有一種次于經(jīng)典邏輯但又遠(yuǎn)遠(yuǎn)高于完全不協(xié)調(diào)系統(tǒng)的協(xié)調(diào)性。次協(xié)調(diào)邏輯家們認(rèn)為，如果在一理論T中，一語句A及其否定?A都是定理，則T是不協(xié)調(diào)的；否則，稱T是協(xié)調(diào)的。如果T所使用的邏輯含有從互相否定的兩公式可推出一切公式的規(guī)則或推理，則不協(xié)調(diào)的T也是不足道的(trivial)。因此，通常以經(jīng)典邏輯為基礎(chǔ)的理論，如果它是不協(xié)調(diào)的，那它一定也是不足道的。這一現(xiàn)象表明，經(jīng)典邏輯雖可用于研究協(xié)調(diào)的理論，但不適用于研究不協(xié)調(diào)但又足道的理論。達(dá)·科斯塔在20世紀(jì)60年代構(gòu)造了一系列次協(xié)調(diào)邏輯系統(tǒng)Cn（1≤n≤w），以用作不協(xié)調(diào)而又足道的理論的邏輯工具。對次協(xié)調(diào)邏輯系統(tǒng)Cn的特征性描述包括下述命題：(i)矛盾律?(Aù?A)不普遍有效；(ii)從兩個相互否定的公式A和?A推不出任意公式；即是說，矛盾不會在系統(tǒng)中任意擴(kuò)散，矛盾不等于災(zāi)難。(iii)應(yīng)當(dāng)容納與(i)和(ii)相容的大多數(shù)經(jīng)典邏輯的推理模式和規(guī)則。這里，(i)和(ii)表明了對矛盾的一種相對寬容的態(tài)度，(iii)則表明次協(xié)調(diào)邏輯對于經(jīng)典邏輯仍有一定的繼承性。

在任一次協(xié)調(diào)邏輯系統(tǒng)Cn(1≤n≤w)中，下述經(jīng)典邏輯的定理或推理模式都不成立：

?(Aù?A)

Aù?AB

A(?AB)

(A??A)B

(A??A)?B

A??A

(?Aù(AúB))B

(AB)(?B?A)

若以C0為經(jīng)典邏輯，則系列C0， C1， C2，… Cn，… Cw使得對任正整數(shù)i有Ci弱于Ci-1，Cw是這系列中最弱的演算。已經(jīng)為Cn設(shè)計出了合適的語義學(xué)，并已經(jīng)證明Cn相對于此種語義是可靠的和完全的，并且次協(xié)調(diào)命題邏輯系統(tǒng)Cn還是可判定的?，F(xiàn)在，已經(jīng)有人把次協(xié)調(diào)邏輯擴(kuò)展到模態(tài)邏輯、時態(tài)邏輯、道義邏輯、多值邏輯、集合論等領(lǐng)域的研究中，發(fā)展了這些領(lǐng)域內(nèi)的次協(xié)調(diào)理論。顯然，次協(xié)調(diào)邏輯將會得到更進(jìn)一步的發(fā)展。[③]

非單調(diào)邏輯是關(guān)于非單調(diào)推理的邏輯，它的研究開始于20世紀(jì)80年代。1980年，D·麥克多莫特和J·多伊爾初步嘗試著系統(tǒng)發(fā)展一種關(guān)于非單調(diào)推理的邏輯。他們在經(jīng)典謂詞演算中引入一個算子M，表示某種“一致性”斷言，并將其看做是模態(tài)概念，通過一定程序把模態(tài)邏輯系統(tǒng)T、S4和S5翻譯成非單調(diào)邏輯。B·摩爾的論文《非單調(diào)邏輯的語義思考》（1983）據(jù)認(rèn)為在非單調(diào)邏輯方面作出了令人注目的貢獻(xiàn)。他在“缺省推理”和“自動認(rèn)知推理”之間做了區(qū)分，并把前者看作是在沒有任何相反信息和缺少證據(jù)的條件下進(jìn)行推理的過程，這種推理的特征是試探性的：根據(jù)新信息，它們很可能會被撤消。自動認(rèn)知推理則不是這種類型，它是與人們自身的信念或知識相關(guān)的推理，可用它模擬一個理想的具有信念的有理性的人的推理。對于在計算機(jī)和人工智能中獲得成功的應(yīng)用而言，非單調(diào)邏輯尚需進(jìn)一步發(fā)展。

2．歸納以及其他不確定性推理

人類智能的本質(zhì)特征和最高表現(xiàn)是創(chuàng)造。在人類創(chuàng)造的過程中，具有必然性的演繹推理固然起重要作用，但更為重要的是具有某種不確定性的歸納、類比推理以及模糊推理等。因此，計算機(jī)要成功地模擬人的智能，真正體現(xiàn)出人的智能品質(zhì)，就必須對各種具有不確定性的推理模式進(jìn)行研究。

首先是對歸納推理和歸納邏輯的研究。這里所說的“歸納推理”是廣義的，指一切擴(kuò)展性推理，它們的結(jié)論所斷定的超出了其前提所斷定的范圍，因而前提的真無法保證結(jié)論的真，整個推理因此缺乏必然性。具體說來，這種意義的“歸納”包括下述內(nèi)容：簡單枚舉法；排除歸納法，指這樣一些操作：預(yù)先通過觀察或?qū)嶒灹谐霰谎芯楷F(xiàn)象的可能的原因，然后有選擇地安排某些事例或?qū)嶒?，根?jù)某些標(biāo)準(zhǔn)排除不相干假設(shè)，最后得到比較可靠的結(jié)論；統(tǒng)計概括：從關(guān)于有窮數(shù)目樣本的構(gòu)成的知識到關(guān)于未知總體分布構(gòu)成的結(jié)論的推理；類比論證和假說演繹法，等等。盡管休謨提出著名的“歸納問題”，對歸納推理的合理性和歸納邏輯的可能性提出了深刻的質(zhì)疑，但我認(rèn)為，（1）歸納是在茫茫宇宙中生存的人類必須采取也只能采取的認(rèn)知策略，對于人類來說具有實踐的必然性。（2）人類有理由從經(jīng)驗的重復(fù)中建立某種確實性和規(guī)律性，其依據(jù)就是確信宇宙中存在某種類似于自然齊一律和客觀因果律之類的東西。這一確信是合理的，而用純邏輯的理由去懷疑一個關(guān)于世界的事實性斷言則是不合理的，除非這個斷言是邏輯矛盾。（3）人類有可能建立起局部合理的歸納邏輯和歸納方法論。并且，歸納邏輯的這種可能性正在計算機(jī)科學(xué)和人工智能的研究推動下慢慢地演變成現(xiàn)實。恩格斯早就指出，“社會一旦有技術(shù)上的需要，則這種需要比十所大學(xué)更能把科學(xué)推向前進(jìn)?！盵④] 有人通過指責(zé)現(xiàn)有的歸納邏輯不成熟，得出“歸納邏輯不可能”的結(jié)論，他們的推理本身與歸納推理一樣，不具有演繹的必然性。（4）人類實踐的成功在一定程度上證明了相應(yīng)的經(jīng)驗知識的真理性，也就在一定程度上證明了歸納邏輯和歸納方法論的力量。毋庸否認(rèn)，歸納邏輯目前還很不成熟。有的學(xué)者指出，為了在機(jī)器的智能模擬中克服對歸納模擬的困難而有所突破，應(yīng)該將歸納邏輯等有關(guān)的基礎(chǔ)理論研究與機(jī)器學(xué)習(xí)、不確定推理和神經(jīng)網(wǎng)絡(luò)學(xué)習(xí)模型與歸納學(xué)習(xí)中已有的成果結(jié)合起來。只有這樣，才能在已有的歸納學(xué)習(xí)成果上，在機(jī)器歸納和機(jī)器發(fā)現(xiàn)上取得新的突破和進(jìn)展。[⑤] 這是一個極有價值且極富挑戰(zhàn)性的課題，無疑在21世紀(jì)將得到重視并取得進(jìn)展。

再談模糊邏輯?，F(xiàn)實世界中充滿了模糊現(xiàn)象，這些現(xiàn)象反映到人的思維中形成了模糊概念和模糊命題，如“矮個子”、“美人”、“甲地在乙地附近”、“他很年輕”等。研究模糊概念、模糊命題和模糊推理的邏輯理論叫做“模糊邏輯”。對它的研究始于20世紀(jì)20年代，其代表性人物是L·A·查德和P·N·馬林諾斯。模糊邏輯為精確邏輯（二值邏輯）解決不了的問題提供了解決的可能，它目前在醫(yī)療診斷、故障檢測、氣象預(yù)報、自動控制以及人工智能研究中獲得重要應(yīng)用。顯然，它在21世紀(jì)將繼續(xù)得到更大的發(fā)展。

3．廣義內(nèi)涵邏輯

經(jīng)典邏輯只是對命題聯(lián)結(jié)詞、個體詞、謂詞、量詞和等詞進(jìn)行了研究，但在自然語言中，除了這些語言成分之外，顯然還存在許多其他的語言成分，如各種各樣的副詞，包括模態(tài)詞“必然”、“可能”和“不可能”

、時態(tài)詞“過去”、“現(xiàn)在”和“未來”、道義詞“應(yīng)該”、“允許”、“禁止”等等，以及各種認(rèn)知動詞，如“思考”、“希望”、“相信”、“判斷”、“猜測”、“考慮”、“懷疑”，這些認(rèn)知動詞在邏輯和哲學(xué)文獻(xiàn)中被叫做“命題態(tài)度詞”。對這些副詞以及命題態(tài)度詞的邏輯研究可以歸類為“廣義內(nèi)涵邏輯”。

大多數(shù)副詞以及幾乎所有命題態(tài)度詞都是內(nèi)涵性的，造成內(nèi)涵語境，后者與外延語境構(gòu)成對照。外延語境又叫透明語境，是經(jīng)典邏輯的組合性原則、等值置換規(guī)則、同一性替換規(guī)則在其中適用的語境；內(nèi)涵語境又稱晦暗語境，是上述規(guī)則在其中不適用的語境。相應(yīng)于外延語境和內(nèi)涵語境的區(qū)別，一切語言表達(dá)式（包括自然語言的名詞、動詞、形容詞直至語句）都可以區(qū)分為外延性的和內(nèi)涵性的，前者是提供外延語境的表達(dá)式，后者是提供內(nèi)涵性語境的表達(dá)式。例如，殺死、見到、擁抱、吻、砍、踢、打、與…下棋等都是外延性表達(dá)式，而知道、相信、認(rèn)識、必然、可能、允許、禁止、過去、現(xiàn)在、未來等都是內(nèi)涵性表達(dá)式。

在內(nèi)涵語境中會出現(xiàn)一些復(fù)雜的情況。首先，對于個體詞項來說，關(guān)鍵性的東西是我們不僅必須考慮它們在現(xiàn)實世界中的外延，而且要考慮它們在其他可能世界中的外延。例如，由于“必然”是內(nèi)涵性表達(dá)式，它提供內(nèi)涵語境，因而下述推理是非有效的：

晨星必然是晨星，

晨星就是暮星，

所以，晨星必然是暮星。

這是因為：這個推理只考慮到“晨星”和“暮星”在現(xiàn)實世界中的外延，并沒有考慮到它們在每一個可能世界中的外延，我們完全可以設(shè)想一個可能世界，在其中“晨星”的外延不同于“暮星”的外延。因此，我們就不能利用同一性替換規(guī)則，由該推理的前提得出它的結(jié)論：“晨星必然是暮星”。其次，在內(nèi)涵語境中，語言表達(dá)式不再以通常是它們的外延的東西作為外延，而以通常是它們的內(nèi)涵的東西作為外延。以“達(dá)爾文相信人是從猿猴進(jìn)化而來的”這個語句為例。這里，達(dá)爾文所相信的是“人是從猿猴進(jìn)化而來的”所表達(dá)的思想，而不是它所指稱的真值，于是在這種情況下，“人是從猿猴進(jìn)化而來的”所表達(dá)的思想（命題）就構(gòu)成它的外延。再次，在內(nèi)涵語境中，雖然適用于外延的函項性原則不再成立，但并不是非要拋棄不可，可以把它改述為新的形式：一復(fù)合表達(dá)式的外延是它出現(xiàn)于外延語境中的部分表達(dá)式的外延加上出現(xiàn)于內(nèi)涵語境中的部分表達(dá)式的內(nèi)涵的函項。這個新的組合性或函項性原則在內(nèi)涵邏輯中成立。

一般而言，一個好的內(nèi)涵邏輯至少應(yīng)滿足兩個條件：（i）它必須能夠處理外延邏輯所能處理的問題；（ii）它還必須能夠處理外延邏輯所不能處理的難題。這就是說，它既不能與外延邏輯相矛盾，又要克服外延邏輯的局限。這樣的內(nèi)涵邏輯目前正在發(fā)展中，并且已有初步輪廓。從術(shù)語上說，內(nèi)涵邏輯除需要真、假、語句真值的同一和不同、集合或類、謂詞的同范圍或不同范圍等外延邏輯的術(shù)語之外，還需要同義、內(nèi)涵的同一和差異、命題、屬性或概念這樣一些術(shù)語。廣而言之，可以把內(nèi)涵邏輯看作是關(guān)于象“必然”、“可能”、“知道”、“相信”，“允許”、“禁止”等提供內(nèi)涵語境的語句算子的一般邏輯。在這種廣義之下，模態(tài)邏輯、時態(tài)邏輯、道義邏輯、認(rèn)知邏輯、問題邏輯等都是內(nèi)涵邏輯。不過，還有一種狹義的內(nèi)涵邏輯，它可以粗略定義如下：一個內(nèi)涵邏輯是一個形式語言，其中包括（1）謂詞邏輯的算子、量詞和變元，這里的謂詞邏輯不必局限于一階謂詞邏輯，也可以是高階謂詞邏輯；（2）合式的λ—表達(dá)式，例如(λx)A，這里A是任一類型的表達(dá)式，x是任一類型的變元，(λx)A本身是一函項，它把變元x在其中取值的那種類型的對象映射到A所屬的那種類型上；（3）其他需要的模態(tài)的或內(nèi)涵的算子，例如€，ù、ú。而一個內(nèi)涵邏輯的解釋，則由下列要素組成：（1）一個可能世界的非空集W；（2）一個可能個體的非空集D；（3）一個賦值，它給系統(tǒng)內(nèi)的表達(dá)式指派它們在每w∈W中的外延。對于任一的解釋Q和任一的世界w∈W，判定內(nèi)涵邏輯系統(tǒng)中的任一表達(dá)式X相對于解釋Q在w∈W中的外延總是可能的。這樣的內(nèi)涵邏輯系統(tǒng)有丘奇的LSD系統(tǒng)，R·蒙塔古的IL系統(tǒng)，以及E·N·扎爾塔的FIL系統(tǒng)等。[⑥]

在各種內(nèi)涵邏輯中，認(rèn)識論邏輯（epistemic logic）具有重要意義。它有廣義和狹義之分。廣義的認(rèn)識論邏輯研究與感知（perception）、知道、相信、斷定、理解、懷疑、問題和回答等相關(guān)的邏輯問題，包括問題邏輯、知道邏輯、相信邏輯、斷定邏輯等；狹義的認(rèn)識論邏輯僅指知道和相信的邏輯，簡稱“認(rèn)知邏輯”。馮·賴特在1951年提出了對“認(rèn)知模態(tài)”的邏輯分析，這對建立認(rèn)知邏輯具有極大的啟發(fā)作用。J·麥金西首先給出了一個關(guān)于“知道”的模態(tài)邏輯。A·帕普于1957年建立了一個基于6條規(guī)則的相信邏輯系統(tǒng)。J·亨迪卡于60年代出版的《知識和信念》一書是認(rèn)知邏輯史上的重要著作，其中提出了一些認(rèn)知邏輯的系統(tǒng)，并為其建立了基于“模型集”的語義學(xué)，后者是可能世界語義學(xué)的先導(dǎo)之一。當(dāng)今的認(rèn)知邏輯紛繁復(fù)雜，既不成熟也面臨許多難題。由于認(rèn)知邏輯涉及認(rèn)識論、心理學(xué)、語言學(xué)、計算機(jī)科學(xué)和人工智能等諸多領(lǐng)域，并且認(rèn)知邏輯的應(yīng)用技術(shù)，又稱關(guān)于知識的推理技術(shù)，正在成為計算機(jī)科學(xué)和人工智能的重要分支之一，因此認(rèn)知邏輯在20世紀(jì)中后期成為國際邏輯學(xué)界的一個熱門研究方向。這一狀況在21世紀(jì)將得到繼續(xù)并進(jìn)一步強(qiáng)化，在這方面有可能出現(xiàn)突破性的重要結(jié)果。

4．對自然語言的邏輯研究

對自然語言的邏輯研究有來自幾個不同領(lǐng)域的推動力。首先是計算機(jī)和人工智能的研究，人機(jī)對話和通訊、計算機(jī)的自然語言理解、知識表示和知識推理等課題，都需要對自然語言進(jìn)行精細(xì)的邏輯分析，并且這種分析不能僅停留在句法層面，而且要深入到語義層面。其次是哲學(xué)特別是語言哲學(xué)，在20世紀(jì)哲學(xué)家們對語言表達(dá)式的意義問題傾注了異乎尋常的精力，發(fā)展了各種各樣的意義理論，如觀念論、指稱論、使用論、言語行為理論、真值條件論等等，以致有人說，關(guān)注意義成了20世紀(jì)哲學(xué)家的職業(yè)病。再次是語言學(xué)自身發(fā)展的需要，例如在研究自然語言的意義問題時，不能僅僅停留在脫離語境的抽象研究上面，而要結(jié)合使用語言的特定環(huán)境去研究，這導(dǎo)致了語義學(xué)、語用學(xué)、新修辭學(xué)等等發(fā)展。各個方面發(fā)展的成果可以總稱為“自然語言邏輯”，它力圖綜合后期維特根斯坦提倡的使用論

，J·L·奧斯汀、J·L·塞爾等人發(fā)展的言語行為理論，以及P·格賴斯所創(chuàng)立的會話含義學(xué)說等成果，透過自然語言的指謂性和交際性去研究自然語言中的推理。

自然語言具有表達(dá)和交際兩種職能，其中交際職能是自然語言最重要的職能，是它的生命力之所在。而言語交際總是在一定的語言環(huán)境（簡稱語境）中進(jìn)行的，語境有廣義和狹義之分。狹義的語境僅指一個語詞、一個句子出現(xiàn)的上下文。廣義的語境除了上下文之外，還包括該語詞或語句出現(xiàn)的整個社會歷史條件，如該語詞或語句出現(xiàn)的時間、地點(diǎn)、條件、講話的人（作者）、聽話的人（讀者）以及交際雙方所共同具有的背景知識，這里的背景知識包括交際雙方共同的信念和心理習(xí)慣，以及共同的知識和假定等等。這些語境因素對于自然語言的表達(dá)式（語詞、語句）的意義有著極其重要的影響，這具體表現(xiàn)在：（i）語境具有消除自然語言語詞的多義性、歧義性和模糊性的能力，具有嚴(yán)格規(guī)定語言表達(dá)式意義的能力。（ii）自然語言的句子常常包含指示代詞、人稱代詞、時間副詞等，要弄清楚這些句子的意義和內(nèi)容，就要弄清楚這句話是誰說的、對誰說的、什么時候說的、什么地點(diǎn)說的、針對什么說的，等等，這只有在一定的語境中才能進(jìn)行。依賴語境的其他類型的語句還有：包含著象“有些”和“每一個”這類量化表達(dá)式的句子的意義取決于依語境而定的論域，包含著象“大的”、“冷的”這類形容詞的句子的意義取決于依語境而定的相比較的對象類；模態(tài)語句和條件語句的意義取決于因語境而變化的語義決定因素，如此等等。（iii）語言表達(dá)式的意義在語境中會出現(xiàn)一些重要的變化，以至偏離它通常所具有的意義（抽象意義），而產(chǎn)生一種新的意義即語用涵義。有人認(rèn)為，一個語言表達(dá)式在它的具體語境中的意義，才是它的完全的真正的意義，一旦脫離開語境，它就只具有抽象的意義。語言的抽象意義和它的具體意義的關(guān)系，正象解剖了的死人肢體與活人肢體的關(guān)系一樣。邏輯應(yīng)該去研究、理解、把握自然語言的具體意義，當(dāng)然不是去研究某一個（或一組）特定的語句在某個特定語境中唯一無二的意義，而是專門研究確定自然語言具體意義的普遍原則。[⑦]

美國語言學(xué)家保羅·格賴斯把語言表達(dá)式在一定的交際語境中產(chǎn)生的一種不同于字面意義的特殊涵義，叫做“語用涵義”、“會話涵義”或“隱涵”（implicature），并于1975年提出了一組“交際合作原則”，包括一個總則和四組準(zhǔn)則。總則的內(nèi)容是：在你參與會話時，你要依據(jù)你所參與的談話交流的公認(rèn)目的或方向，使你的會話貢獻(xiàn)符合這種需要。仿照康德把范疇區(qū)分為量、質(zhì)、關(guān)系和方式四類，格賴斯提出了如下四組準(zhǔn)則：

（1）數(shù)量準(zhǔn)則：在交際過程中給出的信息量要適中。

a．給出所要求的信息量；

b．給出的信息量不要多于所要求的信息量。

（2）質(zhì)量準(zhǔn)則：力求講真話。

a．不說你認(rèn)為假的東西，。

b．不說你缺少適當(dāng)證據(jù)的東西。

（3）關(guān)聯(lián)準(zhǔn)則：說話要與已定的交際目的相關(guān)聯(lián)。

（4）方式準(zhǔn)則：說話要意思明確，表達(dá)清晰。

a．避免晦澀生僻的表達(dá)方式；

b．避免有歧義的表達(dá)方式；

c．說話要簡潔；

d．說話要有順序性。[⑧]

后來對這些原則提出了不少修正和補(bǔ)充，例如有人還提出了交際過程中所要遵守的“禮貌原則”。只要把交際雙方遵守交際合作原則之類的語用規(guī)則作為基本前提，這些原則就可以用來確定和把握自然語言的具體意義（語用涵義）。實際上，一個語句p的語用涵義，就是聽話人在具體語境中根據(jù)語用規(guī)則由p得到的那個或那些語句。更具體地說，從說話人S說的話語p推出語用涵義q的一般過程是：

（i）S說了p；

（ii）沒有理由認(rèn)為S不遵守準(zhǔn)則，或至少S會遵守總的合作原則；

（iii）S說了p而又要遵守準(zhǔn)則或總的合作原則，S必定想表達(dá)q；

（iv）S必然知道，談話雙方都清楚：如果S是合作的，必須假設(shè)q；

（v）S無法阻止聽話人H考慮q；

（vi）因此，S意圖讓H考慮q，并在說p時意味著q。

試舉二例：

（1）a站在熄火的汽車旁，b向a走來。a說：“我沒有汽油了。”b說：“前面拐角處有一個修車鋪?！边@里a與b談話的目的是：a想得到汽油。根據(jù)關(guān)系準(zhǔn)則，b說這句話是與a想得到汽油相關(guān)的，由此可知：b說這句話時隱涵著：“前面的修車鋪還在營業(yè)并且賣汽油?！?/p>

第6篇：邏輯學(xué)推理規(guī)則范文

不過,筆者認(rèn)為,胡塞爾現(xiàn)象學(xué)從未試圖用一種私人語言來進(jìn)行現(xiàn)象學(xué)描述。作為一門塵世的(Weltliche)學(xué)問,它需要能被所有人傳達(dá)和理解。它從未試圖創(chuàng)造一種專屬于自己的“現(xiàn)象學(xué)語言”,它所使用的語言正是我們每天所言談與理解的日常語言。然而必須承認(rèn),私人語言之不可能性以及維特根斯坦對自己所嘗試的“現(xiàn)象學(xué)語言”的否棄,向胡塞爾現(xiàn)象學(xué)所提出的真正值得反思問題在于:使用一種公共性語言進(jìn)行現(xiàn)象學(xué)描述所必然帶來的解釋學(xué)前設(shè),與現(xiàn)象學(xué)還原所要求的徹底性,兩者之間不矛盾嗎?胡塞爾是否把捉到了這一問題,他又是以怎樣的態(tài)度去面對的?由此現(xiàn)象學(xué)描述、現(xiàn)象學(xué)方法還有怎樣一種意義?

一、胡塞爾:對語詞普遍性之承認(rèn)與對邏輯范疇之還原

關(guān)于用什么樣的語言來對現(xiàn)象進(jìn)行描述以及這種語言自身的特點(diǎn),胡塞爾是有著清醒的方法論認(rèn)識的。在《觀念I(lǐng)》中他曾明確地指出:“屬于表達(dá)行為本質(zhì)的普遍性意味著,被表達(dá)者的一切特殊性絕不能在表達(dá)中被反映。意指層不是,而且必然不可能是一種對底層的復(fù)制”[3]。一方面,語言與存在是異質(zhì)的,表達(dá)是普遍性的意指。胡塞爾所說的在現(xiàn)象學(xué)還原之后對于現(xiàn)象的直接描述,并不是要對于感覺予料進(jìn)行直接的描述或者直接復(fù)制;他在其現(xiàn)象學(xué)工作中從來使用的都是我們的共同語言,如果說他對這種語言有什么要求的話,那只是“表達(dá)的忠實與無歧義性”。他說:[4]

在本身只不過是在純直觀中產(chǎn)生的本質(zhì)理論的現(xiàn)象學(xué)中,我們在先驗純粹意識的例示性所與物上實行直接的本質(zhì)看行為,并以概念或術(shù)語將其固定。使用的字詞可能取自日常(allgemEinen)語言,這類字詞含義分歧,由于意義多變而詞義模糊。只要它們在實際表達(dá)的方式中“符合”(decken)于直觀所與物,它們就具有一種確定的、當(dāng)下實顯的和明晰的意義。

因此,所謂忠實與“符合”、對現(xiàn)象的直接描述,不能誤解為尋求與現(xiàn)象的直接同一,而是在“本質(zhì)看”之后用范疇性的語言將直觀到的范疇形式與共相固定下來,形成謂詞表述的“事態(tài)”,這是一種知性對象性,它表達(dá)的是從感性對象中抽出的意義層面,而不是對直觀充實的直接再現(xiàn)。現(xiàn)象學(xué)的構(gòu)成不是質(zhì)料構(gòu)成,而是意義的構(gòu)成;現(xiàn)象學(xué)描述就是要澄清在一系列意義呈現(xiàn)中那些意向與意向內(nèi)容方面的細(xì)致的本質(zhì)差異、規(guī)則與過程[5]。要做到描述的忠實,只是要排除各種已有的本質(zhì)理論的影響,對它們實行現(xiàn)象學(xué)還原;要做到無歧義性,只是要求術(shù)語的嚴(yán)格與明確,而并不是另去創(chuàng)造一套理想的人工語言。

但另一方面,現(xiàn)象學(xué)的無“前提性”要求是否也必然涉及對邏輯范疇本身的還原?進(jìn)而也涉及對一種用來理論描述的公共語言的懸置?對此,保羅·利科在法譯本《觀念I(lǐng)》的

譯者導(dǎo)言中總結(jié)道:“無庸置疑,自然態(tài)度也涉及邏輯,還原與其有關(guān),而且存在著一個邏輯數(shù)學(xué)學(xué)科的構(gòu)成問題……邏輯本身在一種原初主體性中有一種先驗根源?！盵6]因此在沒有為邏輯規(guī)則以及謂詞判斷、謂詞表述給出現(xiàn)象學(xué)的明證性描述之前,這些本質(zhì)之物都是要被“懸置”起來的。

而且,實際上胡塞爾在《邏輯研究》中對以洛克為代表的英國經(jīng)驗論和懷疑論的長篇反駁,以及在《觀念I(lǐng)》中對經(jīng)驗論和實證主義的集中批評,都表明了這樣一個觀點(diǎn),即他認(rèn)為經(jīng)驗主義及其懷疑論的根本失誤在于它們一方面聲稱要一切從直觀經(jīng)驗出發(fā),但另一方面卻沒有讓自己做出推論時所依據(jù)的那些邏輯推理規(guī)則本身也從直觀中被明證地建構(gòu)起來。為此,胡塞爾提出應(yīng)該將實證主義提出的“一切原則之原則”貫徹到底。[7]只有當(dāng)現(xiàn)象學(xué)自身為邏輯奠定基礎(chǔ)時,邏輯的有效性才會得到承認(rèn),而在此之前必須“排除作為普遍科學(xué)的純粹邏輯”[8]。他聲稱,只有自己的這種徹底性,才是一種“真正的實證主義”。所以邏輯范疇進(jìn)而公共語言是要被“懸置”起來的。

一方面要保留公共語言作為現(xiàn)象學(xué)描述的媒介,另一方面又聲稱對所有的邏輯范疇予以排除;與此必然相關(guān)的是,一方面“懸置”自然態(tài)度及其所有本質(zhì)科學(xué),另一方面施行理論表述的現(xiàn)象學(xué)者又要作為世界中的人格主體來運(yùn)用公共語言。這難道不會自相矛盾嗎?對此在《觀念I(lǐng)》中胡塞爾是這樣來回答的——在談及把形式邏輯和一切形式科學(xué)“置入括號”的可能性時,他說:[9]

現(xiàn)象學(xué)可能有機(jī)會去涉及的邏輯命題或許只是諸邏輯公理,如矛盾律等,這些公理的普遍性和絕對正當(dāng)性,現(xiàn)象學(xué)可在自身所與物的例示中加以洞見。因此我們能明確地將排除性的懸置作用擴(kuò)大到形式邏輯以及一般科學(xué)全體。

看起來只要能在自身的純內(nèi)在性中為這些本質(zhì)學(xué)科奠定其正當(dāng)性基礎(chǔ),那么現(xiàn)在暫且在理論表述層面上提前運(yùn)用一下這些邏輯范疇是沒什么不妥的。這樣一種觀點(diǎn),他在§64談及“現(xiàn)象學(xué)者的自我排除”時,我們可以看得更清楚。他說:[10]

我們排除整個自然界和一切超驗—本質(zhì)的范圍……但是我們不是剛說過“我們”在實行排除嗎?我們這些也是自然世界成員的現(xiàn)象學(xué)家們是否能使自身失去作用呢?

胡塞爾認(rèn)為這種自我排除并沒有什么困難,只要區(qū)分好這樣兩個方面:

作為現(xiàn)象學(xué)者,我們不應(yīng)當(dāng)不是自然人或在我們說話時設(shè)定自己不是自然人。但是,作為一種方法……我們對自己應(yīng)用了現(xiàn)象學(xué)還原的準(zhǔn)則……現(xiàn)象學(xué)家與任何其它本質(zhì)科學(xué)家,如幾何學(xué)家,并無不同。幾何學(xué)家在其科學(xué)論著中往往談到自己和自己的研究;但是進(jìn)行數(shù)學(xué)思維的主體并不包括在數(shù)學(xué)命題本身的本質(zhì)內(nèi)容之中。

如果心理學(xué)家或邏輯學(xué)家在進(jìn)行心理學(xué)或邏輯學(xué)研究時,他們自己的心理學(xué)自我或邏輯學(xué)自我是被排除或者說被“懸置”起來的,而這根本不會引起什么困難和誤解,那么現(xiàn)象學(xué)家在進(jìn)行現(xiàn)象學(xué)研究時排除他自己的自然態(tài)度中的自我,這又有什么困難和值得奇怪的呢?邏輯學(xué)、心理學(xué)的本質(zhì)規(guī)律只是借助于那個思維的主體而被表述出來,它們在本質(zhì)上并不涉及這個思維的主體本身。那么現(xiàn)象學(xué)的本質(zhì)洞見不也一樣嗎?——它只是借助于自然態(tài)度中的現(xiàn)象學(xué)者及其語言表述而被表達(dá)出來而已。

但是,被表述的邏輯學(xué)規(guī)律與行表述的邏輯學(xué)家,它們畢竟都是自然態(tài)度中的相關(guān)項,邏輯學(xué)規(guī)律并不否定邏輯學(xué)家的自我存在及其表述的有效性,只要邏輯學(xué)自身能給出邏輯規(guī)則的證明,那么邏輯學(xué)家事先非反省地運(yùn)用同一推理規(guī)則就仍然是合理的。然而現(xiàn)象學(xué)不只是在同一世界之中懸置與它自

身處在同一層次上的一兩門本質(zhì)科學(xué),而是要排除自然態(tài)度的“總設(shè)定”(Generalthesis),是要將世界設(shè)定本身置入括號;同時現(xiàn)象學(xué)者卻是自然態(tài)度中的人,作表述的語言又是充滿著超驗—本質(zhì)物的語言。用一種世界態(tài)度中的語言來描述一種非世界態(tài)度的直觀,難道不會帶入某種先入之見嗎?

對此,在《經(jīng)驗與判斷》中再次談到語詞的普遍性問題時,胡塞爾“警覺地”談到了運(yùn)用自然態(tài)度中的語言就有可能預(yù)先帶有自然態(tài)度的理 解。他首先說:[11]

為了達(dá)到前謂詞經(jīng)驗的真正最終的原始明證性,我們將不得不……回溯到最素樸的經(jīng)驗,并為此建立外部作用的一切表達(dá)方式……因此我們純粹只讓感性知覺、然后讓一般知覺發(fā)揮效用,我們把世界純粹只作為知覺世界來考察……已經(jīng)意味著在其中包含有對全部理想化(Idealisierung)的排除……

然后胡塞爾馬上就指出,對這種經(jīng)驗的觀察和描述本身“已經(jīng)有某種程度的理想化了”,已經(jīng)使用了共同體的語言、普遍的名稱,其對象也已經(jīng)被看作“為一切人的對象”了,但是對此他卻認(rèn)為:[12]

我們甚至必須不考慮這一點(diǎn),并裝作好像這些作用并不帶有任何已被同時給予的某一共同體的預(yù)定輪廓,而每次都是我的完全原始的獲得物似的。但這也就帶來了諸多困難,即我們的語言表達(dá)必然是這樣一些具有普遍性、交往性意義的表達(dá),因而在使用任何一種對象標(biāo)志的同時這種最初的理想化總是至少已被提議了,并且總是一再地需要作出新的努力,才能避開表達(dá)的這種強(qiáng)迫人接受的意義。

然而這種“裝作”多少帶有些自欺欺人的嫌疑,我們憑什么可以這樣“裝作”?好像只要我們不斷保持警惕,不斷地進(jìn)行現(xiàn)象學(xué)還原,就可以把自然態(tài)度的影響清除出去。但假如我們無論如何“努力”都不能避開某種“先入之見”呢?

二、世界視域與本質(zhì)直觀

之所以對公共語言的使用會帶入“先入之見”,在胡塞爾自己的理論框架內(nèi)看來,是因為這種公共語言承載了我們自身的視域(Horizont)。實際上即使是前謂詞的知覺場境(Feld)本身也已作為一個先天可能的活動范圍和統(tǒng)一性而成為“世界”,它在任何一種行為中都已作為前提。例如連續(xù)給予的紅色,會使我們產(chǎn)生對下一刻再出現(xiàn)紅色或顏色的期待。知覺場境一旦在時間綿延中展開,就會不斷把這種期待作為習(xí)慣(Habitualit?t)沉淀下來,哪怕在最原初的狀況中也預(yù)先規(guī)定了我們對下一刻現(xiàn)象之理解的可能類型。于是“世界對于我們總是已經(jīng)有知識以各種各樣方式在其中起過作用的世界……任何本來意義上總是有所經(jīng)驗的經(jīng)驗……必然已經(jīng)具有預(yù)先的共識(Mitwissen)和前識(Vorwissen)”[13]。這構(gòu)成了我們的世界視域。

那么世界視域究竟在何種程度上成為一種語言視域呢?盡管在胡塞爾那里,不論是意義賦予行為還是被意指的意義本身都可以是前語言的,意義是語言的起源而不是相反。但是當(dāng)我們對它們進(jìn)行描述和謂詞固定時,卻已在使用語言了。在我們以為談?wù)摰木褪菍ο蟊旧頃r,語言這種透明的介質(zhì)卻已在規(guī)約著我們言談的本質(zhì)可能性。謂詞判斷是我思的邏輯機(jī)能,所以我們無法越過謂詞表述的透明介質(zhì)而深入到它的背后——這在康德的范疇論中已被反復(fù)闡明過了。在這種意義上,世界視域成為了一種語言視域。

這樣的話,當(dāng)運(yùn)用公共語言描述現(xiàn)象時,在現(xiàn)象那里我們還能看到什么呢? 例如在《經(jīng)驗與判斷》中胡塞爾通過回溯前謂詞經(jīng)驗,發(fā)現(xiàn)“具有”(hat UrtEil)判斷與“是”判斷有同樣的起源,因為對象自身的組成部分就有獨(dú)立的塊片(Stück)和不獨(dú)立的

因素之間的差別。[14]但我們會問:這是否只是我們語言自身的反照?恰恰是因為我們的語言已做出了這樣的兩種判斷,我們才可能看到這樣的謂詞判斷形式的所謂前謂詞的起源、它們在現(xiàn)象中的相應(yīng)區(qū)分?《經(jīng)驗與判斷》是運(yùn)用現(xiàn)象學(xué)方法來對具體問題進(jìn)行描述的典范,在此胡塞爾系統(tǒng)地討論了謂詞判斷的各種主要形式,例如主謂詞、關(guān)系、質(zhì)以及量詞和判斷的諸模態(tài)在這種前謂詞經(jīng)驗中的根源。然而即使我們真能把我思、謂詞表述從直接所予中作為明證性的真理發(fā)生學(xué)地構(gòu)造出來,也仍然排除不了以下可能的局限性:這種構(gòu)造或許僅僅只是能夠在現(xiàn)象中映證語言自身的可能性——“我思”在現(xiàn)象中看到的總是它自己,它雖然確定了自己的合法性但僅僅是加深了對自我的理解而已。

同樣的問題在現(xiàn)象學(xué)的本質(zhì)直觀這里也存在。對于本質(zhì)直觀方法,胡塞爾在《經(jīng)驗與判斷》中總結(jié)道:[15]

我們讓事實作為范本來引導(dǎo)我們,以便把它轉(zhuǎn)化為純粹的形象,這些形象全都是與那個原始形象具體地相似的東西。這樣我們就會自由任意地產(chǎn)生各種變體……在對一個原始形象,例如一個物作這種自由變更時,必定有一個不變項(Invariante)作為必然的普遍形式仍在維持著……這種形式……就把自己呈現(xiàn)為一個絕對同一的內(nèi)涵,一個不可變更的、所有的變體都與之吻合的“什么”:一個普遍本質(zhì)。

這種本質(zhì)為所有的自由變更預(yù)先規(guī)定了界限,“它表明自己是這樣的一種東西,沒有它,這一類型的對象就不能被設(shè)想”。但是,我們要問,這種想象變更之自由到底有多大?難道不正是我們的知覺場境本身預(yù)先給出了自由想像中的可能“類型”嗎?那對所有的自由變更預(yù)先規(guī)定界限的不正是前此的世界視域本身嗎?所以我們并不是通過想像中的例示性直觀來獲得全新的本質(zhì),而恰恰只是在隱含地預(yù)先理解了本質(zhì)之后,才能對想像變更中產(chǎn)生的各種變體進(jìn)行選擇,最后才能確認(rèn)那個同一的所謂“不變項”。

不過在此筆者也恰恰看到了調(diào)和世界視域與現(xiàn)象學(xué)還原之沖突的可能途徑,因為作為現(xiàn)象學(xué)方法的本質(zhì)直觀,恰恰可以成為對我們世界視域自身的一種自我理解的方法。如果本質(zhì)直觀的說法能成立,那么它恰恰應(yīng)該是對解釋學(xué)前設(shè)的揭示,它所直觀到的正是那從意識開端以來就逐漸積淀下來的并已構(gòu)成我們先天認(rèn)識類型與結(jié)構(gòu)的東西。只有這樣它才能與現(xiàn)象學(xué)的意向性理論和“視域”學(xué)說相協(xié)調(diào)。這樣,世界視域與現(xiàn)象學(xué)直觀不再是絕然的矛盾,現(xiàn)象學(xué)還原之后被“本質(zhì)直觀”到的恰恰是世界視域的“類型與結(jié)構(gòu)本身”,它們彼此就以這種方式融洽起來。

于是回過來再看看現(xiàn)象學(xué)描述,這種描述之可能性究竟是源于現(xiàn)象自身所呈現(xiàn)的自明的差異性,還是相反:這種差異只是我們語言結(jié)構(gòu)自己對自己的理解?我們的回答傾向于前者。事實證明,即使某種概念區(qū)分(例如“顏色”與“廣延”的區(qū)分)在一種語言系統(tǒng)中被忽略,而在另一種語言系統(tǒng)中被突出,這也并不意味著這兩種世界觀的相互不可進(jìn)入——由于知覺顯現(xiàn)物畢竟是一樣的,因此它們可以回到知覺的基地上來重新達(dá)到對于彼此概念區(qū)分的相互理解。由此可見差異是在現(xiàn)象中被自明給予的。而且即使對某種差異的把握的確會以我們前此的語言和世界視域為基礎(chǔ),但這種視域本身作為“智慧”也是一步步從現(xiàn)象中生長和抽離出來的。

并且公共的語言所帶來的世界視域也不是絕對的。在現(xiàn)象學(xué)的行為分析中,我們已經(jīng)知道,同一個充實直觀的基礎(chǔ)上是可以產(chǎn)生具有不同意向本質(zhì)的行為的,從而此時這兩個行為也就具有了不同的認(rèn)識本質(zhì)[16]。所以即使“現(xiàn)象學(xué)描述”最終所把握與展示的,只是自身的語言視域所包含的對于直觀的理解,只是以此映證了自身的合法性起源,但對現(xiàn)象本身之言說的不可窮盡,已向我們昭示出:現(xiàn)象學(xué)描述并不排除其它的可能性、其他的理解;而且恰恰是通過現(xiàn)象學(xué)對事情本身的回溯才可能揭示出對現(xiàn)象的理解“本來可以不是這樣!”。這是現(xiàn)象學(xué)方法的一種重要意義與后果。

第7篇：邏輯學(xué)推理規(guī)則范文

[關(guān)鍵詞]“是”形而上學(xué) 語言 傳統(tǒng)詞項邏輯

〔中圖分類號〕B81-05 〔文獻(xiàn)標(biāo)識碼〕A 〔文章編號〕 1000-7326（2007）11-0023-07

古漢語中沒有類似于“to be”的語詞（“是”在先秦時不用作系詞），所以中國古代沒能產(chǎn)生與西方的傳統(tǒng)詞項邏輯理論相當(dāng)?shù)倪壿嬂碚?。這種觀點(diǎn)被稱為“無‘是’即無邏輯論”，由張東蓀首先提出，為王路、張志偉等人所發(fā)展。程仲棠先生撰文《無“是”即無邏輯：形而上學(xué)的邏輯神話》[1]（以下簡稱“程文”），對“無‘是’即無邏輯論”做出了批評。程先生的批評不乏真知灼見，然而，程先生在破斥一個形而上學(xué)神話的時候卻訴說了另一個形而上學(xué)的神話。程先生認(rèn)為，語言與“邏輯本體”的關(guān)系是多與一的關(guān)系，“是”在三段論中是可有可無的，所以中國古代沒有產(chǎn)生亞里士多德式的傳統(tǒng)詞項理論與古漢語中沒有“是”無關(guān)。筆者以為，程仲棠先生的觀點(diǎn)欠妥。

一、“是”在三段論中并非可有可無

（一）關(guān)于“P屬于S”和“P述說S”

在《前分析篇》中亞里士多德經(jīng)常用“P屬于S”和“P述說S”這樣的句式來表達(dá)“S是P”。程文對亞氏這種表述方式的解釋是，“亞氏之所以選擇無‘是’的表達(dá)式，正是為了表明，他的三段論理論并非以‘是’或‘S是P’這樣的語言形式作為研究對象，而是以‘S是P’、‘P屬于S’和‘P表述S’這些不同的語言形式所表達(dá)的同一的邏輯關(guān)系作為研究對象?！盵1] 程文用以否定“是”在三段論中重要作用的直接理由是“不同的語言形式所表達(dá)的同一的邏輯關(guān)系”，而不是亞氏的表述方式。但是，亞氏的這種表述方式顯然是程文論證“是”在三段論中可有可無的一個重要根據(jù)。為此，要確定“是”字在三段論是否重要，應(yīng)當(dāng)首先分析一下句式“S屬于P”和“S述說P”。

“P屬于S”和“P述說S”不能被概括為形式“S是P”的句子，或者說，并非所有的形如“S是P”的句子都能被“P屬于S”和“P述說S”所描述。例如，“白馬是馬”不能被表述成“馬屬于白馬”，也不能被表述成“馬述說白馬”。“P屬于S”中的“屬于”所表示的不是概念外延之間的關(guān)系，而是某種屬性和具有這種屬性的對象之間的關(guān)系。所以，將形如“S是P”的句子換成“P屬于S”和“P述說S”的形式是有條件的。這個條件是，“P屬于S”和“P述說S”中的“P”所表示的只能是抽象名詞，是名詞化的形容詞，表示某種抽象的性質(zhì)，或者說，我們只能以抽象名詞代入“P屬于S”和“P述說S”中的“P”。例如，句子“白馬是白的”具有“S是P”的句式。要將它換成“P屬于S”和“P述說S”的形式，我們不能直接將“白的”代入“P”，不能說“白的屬于白馬”和“白的述說白馬”，而只能說“白色屬于白馬”和“白色述說白馬”?！鞍椎摹焙汀鞍咨敝g只有一字之差，但這一點(diǎn)點(diǎn)差別卻清楚地表明，許多形如“S是P”的句子不能直接換成“P屬于S”或“P述說S”的形式；要想對它們做這樣的變換必須對句子中的語詞進(jìn)行處理，而處理語詞所要用到的是對語言的理解，以及其他非邏輯的知識。雖然人們通常可以利用自己的背景知識毫不費(fèi)力地完成這種變換，但是三段論，作為一種邏輯理論，不應(yīng)包含各種非邏輯的知識。所以，盡管亞里士多德經(jīng)常使用“P屬于S”和“P述說S”這樣的句式，我們也不能說“是”在三段論中可有可無。

為了說明“是”字的作用，我們來分析一個程文引用的《前分析篇》中的句子，“如果一切快樂都不是善，那么一切善的東西就都不是快樂?！盵2] （P85） 這個句子是苗力田等人根據(jù)《洛布古典叢書》的古希臘語文本譯成的。李匡武根據(jù)A.J. Jenkinson 的英譯本將它譯成“如果沒有愉快是善，則沒有善是愉快”。[3]（P94） 相應(yīng)的英文句子是，“if no pleasure is good, then no good will be pleasure”。筆者不懂古希臘語，也沒有古希臘語的《前分析篇》文本，因而無從斷定哪一種譯法更加接近原文，這里只能根據(jù)傳統(tǒng)的邏輯理論分析一下，哪一種譯法更加合乎情理。苗的譯句與李的譯句使用了不同句式，但是句式的不同并不影響句子的邏輯結(jié)構(gòu)。這里需要討論的是兩種譯法中用詞的不同。在苗的譯句中，前件（上半句）中用了“善”字，而在后件（下半句）中用了“善的東西”。在李的譯句中，前件和后件中都用了“善”字。究竟哪一種譯法好呢？我們先看一下“快樂”和“善”的用法。這兩個詞既可以用作形容詞，也可以用作名詞。當(dāng)用作名詞時，它們既可以用作抽象名詞，也可以用作普通名詞。當(dāng)用作抽象名詞時，它們表示抽象的屬性；“快樂”表示快樂的事物所共同具有的屬性；“善”表示善的事物所共同具有的屬性。這時候，我們不能說“一切快樂”、“一切善”，因為用“一切”、“所有”、“有些”這樣的量詞修飾抽象名詞是沒有意義的。當(dāng)用作普通名詞時，它們表示具有某種屬性的事物；“快樂”表示快樂的事物；“善”表示善的事物。這時候，我們可以說“一切快樂”、“一切善”。當(dāng)我們說“一切善”時，我們實際上是指一切善的東西。所以，苗的譯句更能反映名詞的不同用法。

傳統(tǒng)邏輯中的換位推理、三段論推理都是根據(jù)句子中主、謂項外延之間的關(guān)系進(jìn)行的?！笆恰焙汀安皇恰笨梢苑从持鳌⒅^項外延之間的關(guān)系，但“屬于”和“不屬于”卻不能直接反映主、謂項外延之間的關(guān)系。我們可以用前邊分析過的句子說明這一點(diǎn)?！叭绻磺锌鞓范疾皇巧?，那么一切善的東西就都不是快樂。”這是亞里士多德用來說明換位法的例子。把這個句子的前、后件都換成“P不屬于S”的句式，得到的句子是“如果善不屬于一切快樂，那么快樂不屬于一切善的東西?！痹谶@個句子中，前件中的“善”在后件中變成了“善的東西”；“快樂”在前件中是普通名詞，而在后件中卻成了抽象名詞。若用字母表示句中的變項，則這個句子的形式是“如果P不屬于一切S，那么S'不屬于一切P'”。這顯然不是標(biāo)準(zhǔn)的換位法。當(dāng)然，這是一個有效的句子，它之所以有效是因為，我們可以根據(jù)常識確定，具有屬性P的事物是P'，具有屬性S'的事物是S。亞里士多德之后，很少有人使用“P屬于S”、“P述說S”的句式。其所以如此，不是因為句式“S是P”比“P屬于S”、“P述說S”更符合人們的語言習(xí)慣，而是因為它更好地反映了句子主、謂項外延之間的關(guān)系。使用這樣的句式，人們可以不用花費(fèi)太多的精力，運(yùn)用非邏輯的知識分析語詞的用法，變換語詞的形式。這對于引入變項和使用邏輯公式表現(xiàn)自然語言的句子都是非常重要的。

（二）“是”可否用其他語詞替代

“是”在傳統(tǒng)的詞項理論中可以用其他的語詞替代嗎？我們先討論兩個與之相關(guān)的問題。

第一，“是”是否邏輯所必需？程文：“4個邏輯常項被定型為‘所有……是’，‘所有……不是’，‘有的……是’，‘有的……不是’，乃語言習(xí)慣使然，非邏輯所必需。”[1] 筆者同意程文的看法。“是”是否“邏輯所必需”的問題包括兩個不同的方面：一個是，在應(yīng)用邏輯時“是”是不是必需的；另一個是，在邏輯理論中“是”是不是必需的。自然語言是非常靈活的語言。人們可以用不同的語言形式表達(dá)同一個命題，可以用不含“是”的句子取代包含“是”的句子。在實際的推理中，我們經(jīng)常可以見到不含“是”的三段論推理?？梢姡趹?yīng)用傳統(tǒng)詞項邏輯進(jìn)行推理時，“是”不是必需的。形如“所有S是P”，“所有S不是P”，“有的S是P”，“有的S不是P”的句子可以表示成“SAP”，“SEP”，“SIP”，“SOP”。這4個表達(dá)式中都沒有“是”?？梢?，在傳統(tǒng)的詞項邏輯理論中“是”也不是必需的。但是，由“是”對于傳統(tǒng)詞項邏輯理論不是必需的不能推出，“是”對于發(fā)明傳統(tǒng)詞項邏輯理論不是必需的，也不能推出，一種沒有“是”的語言對于能否利用這種語言建立傳統(tǒng)詞項邏輯理論沒有影響。

第二，應(yīng)當(dāng)如何討論“是”與邏輯理論的關(guān)系？我們要討論無“是”的語言能否產(chǎn)生某種邏輯理論，不能僅僅討論“是”對于這種理論是否必需，還應(yīng)當(dāng)考慮這種理論所使用的語言。傳統(tǒng)的詞項邏輯理論研究的是自然語言的句子之間的推理，傳統(tǒng)詞項邏輯理論中的量項和聯(lián)項都是用自然語言中的語詞表示的。人們可以用‘A’、‘E’、‘I’、‘O’表示量項和聯(lián)項的不同組合，但是這4個字母不過是不同語詞組合的縮寫，是在量項和聯(lián)項的不同組合確定之后才引入的。所以，要討論“是”與傳統(tǒng)詞項邏輯的關(guān)系，我們必須回歸到自然語言。

傳統(tǒng)詞項邏輯理論根據(jù)詞項外延之間的關(guān)系研究推理。兩個詞項的外延之間的關(guān)系可以用一個二元算子表示。如果自然語言中有這樣的語詞，它們可以起到二元算子的作用，可以表示出兩個外延之間的不同關(guān)系，那么不僅“是”和“不是”對于傳統(tǒng)詞項邏輯理論不是必需的，連諸如“所有的”和“有的”這樣的語詞也可以不要。但遺憾的是，在自然語言中找不到具有如此功能的語詞。人們選擇了“μ詞項1ζ詞項2”的句式，在μ的位置填入量項，在ξ的位置填項，用“所有的”、“有的”作為量項，用“是”、“不是”作為聯(lián)項。用這樣的方式人們可以把兩個詞項的外延之間的不同關(guān)系粗略地表示出來。“所有的”、“有的”和“是”、“不是”都是自然語言中的語詞，但作為邏輯常項，① 它們的用法與其在日常語言中的用法不盡相同，可見用“所有的”、“有的”作量項，用“是”、“不是”作聯(lián)項是一種創(chuàng)造。日常語言中常有不帶量項和聯(lián)項的直言陳述句，例如“人必有一死”。在句中加入量項和聯(lián)項可以把它改造成“所有的人都是會死的”?！唉淘~項1ζ詞項2”的句式是類似于數(shù)學(xué)公式的標(biāo)準(zhǔn)表達(dá)式。利用這樣的表達(dá)式，人們不必通過語義分析，僅僅根據(jù)量項和聯(lián)項的形式就能大致地確定兩個詞項外延之間的不同關(guān)系，這就是標(biāo)準(zhǔn)表達(dá)式的作用。在直言陳述句的標(biāo)準(zhǔn)表達(dá)式中，量項和聯(lián)項都是不可缺少的。

“所有的”、“有的”和“是”、“不是”的各種組合并不是理想的二元算子，因為它們只能把兩個詞項外延之間的關(guān)系粗略地表示出來，而不能精確地表示出來。這里所謂的“粗略”是指不確定性。在4種不同的組合之中，除了“所有的……不是……”之外，其他的3種組合都是有歧義的。例如，當(dāng)句子“所有的S是P”為真時，S的外延和P的外延可能是真包含于關(guān)系，也可能是全同關(guān)系。邏輯當(dāng)然不喜歡帶有歧義性的語詞，但是，傳統(tǒng)詞項邏輯的研究對象不是類之間的關(guān)系（盡管程文根據(jù)塔爾斯基的看法將傳統(tǒng)詞項邏輯解釋為“類的邏輯”），而是直言陳述句之間的有效推理。量項與聯(lián)項不同組合的歧義性不影響對有效推理的研究。對于傳統(tǒng)詞項邏輯理論來說，這種歧義性不僅可以容忍，而且還有莫大的好處。那就是人們可以方便地以符合日常語言習(xí)慣的簡潔方式表示直言陳述句的邏輯結(jié)構(gòu)。

“是”和“不是”被用作聯(lián)項，誠如程文所言，“乃語言習(xí)慣使然”。自然語言中絕大多數(shù)語詞的用法都是習(xí)慣使然。傳統(tǒng)詞項邏輯理論研究的是自然語言所表述的句子之間的推理，用作量項和聯(lián)項的語詞都來自自然語言，而且其用法基本上符合自然語言的日常使用習(xí)慣。所以，在討論什么語詞可以用作聯(lián)項時不能脫離自然語言的日常使用習(xí)慣?！笆恰焙汀安皇恰北挥米髀?lián)項的確是一種約定，但這種約定不是沒有原因的。其原因是，“是”和“不是”能夠以合乎語言使用習(xí)慣的方式起到聯(lián)項的作用?！笆恰钡挠梅m然有歧義性，但在自然語言的詞匯中，用它作為聯(lián)項卻是最好的選擇。在漢語中，“為”、“乃”等詞的某些用法與 “是”相近，如果大家都認(rèn)可，約定“為”或“乃”作為聯(lián)項也無不可。但是，因為它們不能以合乎現(xiàn)代漢語使用習(xí)慣的方式起到聯(lián)項的作用，所以沒有被人們選用。適于用作直言陳述句標(biāo)準(zhǔn)表達(dá)式聯(lián)項的語詞，在現(xiàn)代漢語中，非“是”莫屬，舍其無它。

二、邏輯與語言

一種沒有系詞“是”（或“to be”等）的語言能不能產(chǎn)生類似于傳統(tǒng)詞項邏輯的理論？要回答這樣的問題就不得不討論一下語言與邏輯的關(guān)系。作為形式推演的工具，一個邏輯理論不必然與某個形而上學(xué)的觀點(diǎn)相聯(lián)系，但在討論、評價邏輯理論時，人們經(jīng)常地（或不得不）使自己的看法依托于某種形而上學(xué)的觀點(diǎn)。

（一）“邏輯本體”與形而上學(xué)

為了反駁“語言決定邏輯”的論點(diǎn)，程文討論了“邏輯本體”和“邏輯載體”的關(guān)系。程文：“語言只是邏輯的載體，而非邏輯的本體（即邏輯本身），邏輯的本體是唯一的，邏輯的載體是多樣的，邏輯的本體與載體的關(guān)系是一對多的關(guān)系，所以，不同的語言形式可以表述同一的邏輯本體?！币驗椤斑壿嫳倔w”與其載體是一與多的關(guān)系，所以“‘是’或具有‘S是P’形式的表達(dá)式，只是詞項邏輯的一種可能的載體，而非唯一的或必不可少的載體。”[1] 因為“是”對于表達(dá)詞項邏輯不是必需的，所以它對三段論來說是可有可無的。“邏輯本體”的唯一性和“邏輯載體”的多樣性是程文破斥“語言決定邏輯”的重要論據(jù)。

程文所說的“邏輯本體”是指“邏輯本身”，亦即“邏輯的研究對象”。程文：“傳統(tǒng)詞項邏輯‘實質(zhì)上是類邏輯’，類之間的基本關(guān)系及其規(guī)律就是其研究對象，也是其邏輯本體?！盵1] 從字面上看，程文所說的“邏輯本體”與形而上學(xué)無關(guān)，但這不意味著程仲棠先生對邏輯本體的看法不依托于某種形而上學(xué)的觀點(diǎn)。

世上本無類，只有一個一個的個別事物。是人把這些事物分成類的。類和類與類之間的關(guān)系都是抽象的實體。這些抽象實體不存在于時間、空間之中，它們是數(shù)學(xué)（或邏輯學(xué)）的研究對象。如何看待這樣的抽象實體，哲學(xué)上有許多不同的觀點(diǎn)。這些觀點(diǎn)大致可以分為兩類：數(shù)學(xué)實在論（或邏輯實在論）和數(shù)學(xué)反實在論。數(shù)學(xué)實在論的一般特征是，堅持抽象實體的存在，堅持抽象實體的性質(zhì)、關(guān)系等不依賴于人的信念、語言實踐和概念圖式等，例如，命題的真假不依賴于任何人的信念、語言實踐和概念圖式。數(shù)學(xué)實在論的代表是“柏拉圖主義”。根據(jù)柏拉圖的理論，“形式”（forms）是完美的存在，物理世界中的事物“分有”著抽象世界中的“形式”。柏拉圖的理論是一種形而上學(xué)的理論。

現(xiàn)代的數(shù)學(xué)實在論者不再使用“形式”、“分有”這樣的神秘概念。例如，弗雷格將抽象實體和抽象實體之間的關(guān)系依托于“思想”。弗雷格的所謂“思想”是指思維的客觀內(nèi)容，與思維的主觀活動無關(guān)，可以為許多人所共有。對于弗雷格來說，“思想”是客觀的，它既不屬于外部世界，也不屬于內(nèi)部世界，而是屬于“第三范圍”。弗雷格：“必須承認(rèn)第三種范圍。屬于這種范圍的東西在它們不能被感官感覺這一點(diǎn)上是與表象一致的，而在它們不需要它們屬于其意識內(nèi)容的承載者這一點(diǎn)上是與事物一致的。譬如，我們以畢達(dá)哥拉斯定理表達(dá)的思想就永遠(yuǎn)是真的，無論是否有某人認(rèn)為它是真的，它都是真的。它不需要承載者，它絕非自它被發(fā)現(xiàn)以來才是真的，而是像一顆行星一樣，在人們發(fā)現(xiàn)它以前，就已經(jīng)處于其他行星的相互作用中?！盵4] （P171） 弗雷格將思想客觀化并將思想歸入“第三種范圍”的做法最終使他的數(shù)學(xué)思想落入了柏拉圖主義的窠臼。

程仲棠先生說：“那么，邏輯與自然或客觀世界之間有什么關(guān)系？就傳統(tǒng)詞項邏輯而論，如前所述，它實質(zhì)上是類邏輯，……只要應(yīng)用于事物的非空類，傳統(tǒng)詞項邏輯便‘放之四海而皆準(zhǔn)’，這就表明沒有任何一個邏輯規(guī)律或有效的推理形式是由某一個民族文化的需要決定的。”[5] 程仲棠先生對邏輯真理（或數(shù)學(xué)真理）的看法和弗雷格的觀點(diǎn)很相似，他們都認(rèn)為邏輯真理是客觀的、普遍的。對于弗雷格來說，數(shù)學(xué)真理和邏輯真理是由客觀現(xiàn)實決定的，它們獨(dú)立于人的認(rèn)識過程。如達(dá)米特所評論的那樣，“關(guān)于弗氏非常值得注意的問題就是，他總是謹(jǐn)慎地提防他自己說出真之條件與我們認(rèn)識真值的方式有關(guān)。”[6] （P73） 而程仲棠先生則直截了當(dāng)?shù)卣f：“從認(rèn)識論的角度看，邏輯命題所反映的是一定范圍或論域內(nèi)一切事物的最大限度的普遍屬性，相對于論域，這種普遍屬性就是‘必然的理’，是任何事物‘所不能逃的’?！盵5] 我們需要分析一下程仲棠先生所說的“邏輯命題”。有兩種邏輯命題：一種是某種邏輯學(xué)理論給出的邏輯命題，另一種是程仲棠先生所說的“反映一定范圍內(nèi)一切事物的最大限度的普遍屬性的必然的理”的邏輯命題。程仲棠先生顯然將這兩種邏輯命題看作一回事了。這樣做的根據(jù)是什么？如果一個哲學(xué)家告訴我們，某個邏輯理論中的“邏輯命題”反映了客觀事物的普遍的理，我們能相信他嗎？不能。要想讓我們相信這一點(diǎn)，哲學(xué)家還需要為邏輯理論做出認(rèn)識論的辯護(hù)。然而，沒有人能為演繹邏輯理論提供認(rèn)識論的辯護(hù)。[7] 演繹邏輯所面臨的認(rèn)識論問題是邏輯實在論無法解決的難題。

程仲棠先生在討論“邏輯本體”時，只說“邏輯本體”是“邏輯的研究對象”，而沒有進(jìn)一步討論邏輯的研究對象是什么。這樣的做法雖然避開了討論抽象實體的存在問題，但是，程仲棠先生認(rèn)為，“邏輯本體”可以獨(dú)立于“邏輯載體”，“邏輯命題”反映了客觀事物的普遍的理。據(jù)此可以斷定，程先生的邏輯觀沒有脫出邏輯實在論的窠臼。筆者認(rèn)為，邏輯實在論是錯誤的形而上學(xué)理論。此處無法展開這個觀點(diǎn)，有興趣的讀者可以參閱葉峰的觀點(diǎn)。[8] 程仲棠先生認(rèn)為，無“是”即無邏輯論是一個形而上學(xué)的神話。在破斥這個神話的時候，程先生不乏真知灼見，但遺憾的是，程先生卻訴諸了另一個形而上學(xué)的神話。

（二）語言與“邏輯本體”

程仲棠先生認(rèn)為，“邏輯本體”是唯一的，可以由不同的“邏輯載體”所承載。這樣的“邏輯本體”有些神秘。程文：“傳統(tǒng)詞項邏輯‘實質(zhì)上是類邏輯’，類之間的基本關(guān)系及其規(guī)律就是其研究對象，也是其邏輯本體?！盵1] 為了說明傳統(tǒng)詞項邏輯理論的“邏輯本體”，程先生舉了兩個例子。第一個例子，“例如，全稱肯定命題所表示的是全同關(guān)系與真包含于關(guān)系的并集，稱為‘包含于關(guān)系’――這就是全稱肯定命題的邏輯本體?！盵1]“包含于關(guān)系”不是類之間的基本關(guān)系。傳統(tǒng)詞項邏輯理論中的A、E、I、O四種命題形式，除了E之外，都不表示類之間的基本關(guān)系。所以，這個例子與前邊傳統(tǒng)詞項邏輯理論的“邏輯本體”是“類之間的基本關(guān)系及其規(guī)律”的說法不一致。第二個例子，“又如，三段論Barbara式所反映的是包含關(guān)系的傳遞律，可表示為：如果M?哿P并且S?哿M，那么S?哿P（“?哿”讀作“包含于”）這就是Barbara式的邏輯本體?！盵1] 如果說三段論的Barbara式反映的是包含關(guān)系的傳遞律，那么三段論的Darii式和Eerio式反映的又是什么關(guān)系的什么律呢？I命題和O命題都是有歧義的，它們不能表示類之間的確定關(guān)系，所以Darii式和Eerio式不能反映類之間關(guān)系的規(guī)律。另外，“如果M?哿P并且S?哿M，那么S?哿P”是一個句子。按照程先生的說法，它應(yīng)該是邏輯載體，而不是邏輯本體。從程先生的兩個例子，我們看不出傳統(tǒng)詞項邏輯理論的邏輯本體是什么。程先生的“邏輯本體”不存在于外部世界，也不是思維的主觀內(nèi)容。它只能存在于柏拉圖世界，或弗雷格的“第三范圍”，或某個其他的神秘地方。程仲棠先生沒有討論邏輯本體的存在問題，但這個問題是回避不開的。在說明什么是邏輯本體的時候，它還是要顯現(xiàn)出來。

如果說邏輯本體屬于思想的范圍，則其客觀性（或曰主體間性）是無法保證的。思想與語言的關(guān)系既是一與多的關(guān)系，也是多與一的關(guān)系。相同的思想可以用不同的語言形式表達(dá)，不同的思想也可以用相同的語言形式表達(dá)。僅憑句子的形式，我們無法保證能夠理解說話人想要表達(dá)的思想；即使我們真的理解了說話人想要表達(dá)的思想，也沒有人能證明這一點(diǎn)。如果僅憑語言的形式就一定能把握說話人的思想，那么在翻譯外文著作時，在解釋古代文獻(xiàn)時，就不會出現(xiàn)那么多的爭議了。人們無法感覺到邏輯本體；人們感覺到的只是言語，只能通過言語來確定邏輯本體。但是，由于思想與語言之間的復(fù)雜關(guān)系，人們無法保證不同的人對于隱藏于言語背后的邏輯本體的把握是相同的。

“這是一條狗”和“This is a dog”這兩個句子所表達(dá)的難道不是相同的思想嗎？如果它們表達(dá)了相同的思想，則這相同的思想不就是這兩個句子共同的邏輯本體嗎？句子本身并不表示任何的思想，只有當(dāng)人們用句子做事的時候（例如做出一個斷言），它才表達(dá)思想。① 人們之所以認(rèn)為這兩個句子表達(dá)了相同的思想是因為人們用這兩個句子可以做相同的事，或者說，這兩個句子具有相同的用法。在進(jìn)行言語交際時，人們關(guān)心的是思想的交流，但人們所能憑借的卻只有語言形式和語言形式的用法。由于語言與思想之間關(guān)系的復(fù)雜性，以及語言用法的靈活性，思想的交流并不總是成功的。所以，人們并非總是能夠根據(jù)語言形式和語言形式的用法把握邏輯本體。演繹邏輯理論所能告訴人們的只是一套語言的用法。人們可以按照邏輯理論所規(guī)定的方式使用語言，至于人們是否按照邏輯學(xué)家或哲學(xué)家所意欲的方式（經(jīng)常被認(rèn)為是正確的方式）思考就不是邏輯理論所能管得了的事了。因為邏輯理論所規(guī)定的只是語言的使用方式，所以對于邏輯理論來說，邏輯本體的假設(shè)不僅是靠不住的，而且是不必要的。

如果沒有客觀的邏輯本體，為什么邏輯理論是放之四海而皆準(zhǔn)的呢？邏輯理論的普遍性不在于邏輯本體，而在于規(guī)則。接受一種邏輯理論就是接受一種使用語言的規(guī)則。中國人在引進(jìn)西方的傳統(tǒng)詞項邏輯理論時認(rèn)為它的規(guī)則是正確的推理規(guī)則，并把它翻譯成漢語的形式，用以規(guī)定漢語的使用方式。其他的民族也可以用這樣的方式引進(jìn)傳統(tǒng)詞項邏輯理論。傳統(tǒng)詞項邏輯理論的基本假設(shè)（如一個句子只有真、假兩個語義值，在一個推理過程中語言形式的用法應(yīng)該保持不變等）很容易被不同民族的人接受。所以傳統(tǒng)詞項邏輯理論很容易被認(rèn)為是普遍的。邏輯的普遍性與下棋的普遍性有些相似。外國人在下中國象棋時要按照中國象棋的規(guī)則行棋。如果所有下中國象棋的人都按中國象棋的規(guī)則行棋，我們就可以說中國象棋的規(guī)則是放之四海而皆準(zhǔn)的。筆者不反對使用“邏輯本體”之類的語詞。在討論如何使用邏輯時，使用這樣的語詞很方便；但在討論如何看待邏輯的時候，我們必須慎重。

三、為什么說沒有“是”就沒有邏輯

首先提出“無‘是’即無邏輯”觀點(diǎn)的張東蓀對邏輯的看法有許多不準(zhǔn)確之處，如將邏輯泛化為思維方式，忽視了由斯多葛學(xué)派創(chuàng)立的傳統(tǒng)命題邏輯理論等。程仲棠先生對張東蓀的學(xué)術(shù)思想之中的錯誤做出了批評。程先生的批評大部分是中肯的。然而，張東蓀只認(rèn)為無“是”的語言不能產(chǎn)生亞里士多德式的詞項邏輯理論，而沒有說不能產(chǎn)生其他的邏輯理論。在這個意義上，筆者以為，張東蓀的看法是正確的。

如前所述，“邏輯本體”是一個形而上學(xué)的假設(shè)。人們無法根據(jù)邏輯本體構(gòu)造邏輯理論。在構(gòu)造邏輯理論時，人們所能憑借的只有語言。所以，語言的結(jié)構(gòu)對邏輯理論的產(chǎn)生有直接的影響，邏輯理論的形態(tài)也必然受到語言的約束。張東蓀說，“可見邏輯上有許多問題總是因言語構(gòu)造而生的；至于解決這個問題的理法亦是因問題的存在而發(fā)明的。一旦問題根本不起，所有的理法自必改觀?！盵9] （P389） 張東蓀在上個世紀(jì)30年代的中國能有如此見地，十分難得。

人們建立傳統(tǒng)邏輯理論的目的是規(guī)范思想，但所能做的卻是規(guī)范語言的用法。要做到這一點(diǎn)，就需要從日常語言的各種用法中整理出“標(biāo)準(zhǔn)的”語言形式，并在此基礎(chǔ)上給出推理的規(guī)則。傳統(tǒng)詞項邏輯理論中的“命題形式”就是從日常語言的用法中概括出來的。這些“命題形式”不是邏輯本體，而是標(biāo)準(zhǔn)的語言形式。離開了日常語言，人們無法得到傳統(tǒng)詞項邏輯的命題形式。張東蓀看到了這一點(diǎn)，“邏輯甲的特性，就我所見，是在于整理言語。于此，邏輯與言語可以說是一而二，是二而一的。就其是一而言，邏輯雖是言語中所表現(xiàn)的普遍理法，然而這個理法必須宿于言語中。不但離了言語，便無處覓此理法，并且此理法在實際上是跟著言語的構(gòu)造而生”。[9] （P388） 張東蓀所說的“邏輯甲”是亞里士多德邏輯。張東蓀沒有對他所說的“理法”做出解釋，但從他的論述中我們可以看出，張東蓀非常重視邏輯理論對語言的依賴性。

如果某些命題形式不能從日常語言中概括出來，那么人們就無法創(chuàng)造出關(guān)于這些命題形式的邏輯理論。傳統(tǒng)詞項邏輯理論中的命題形式由量項、主項、聯(lián)項和謂項構(gòu)成。聯(lián)項由系詞和系詞的否定擔(dān)任。先秦時期的古漢語中沒有可以用作聯(lián)項的系詞。試問，從這樣的語言中，人們怎能概括出傳統(tǒng)詞項邏輯理論中的命題形式呢？沒有這樣的命題形式，人們又怎能建立傳統(tǒng)詞項邏輯理論呢？

程仲棠先生認(rèn)為古漢語對中國古代沒能產(chǎn)生邏輯理論沒有決定性影響。他說：“中國沒有邏輯學(xué)的根本原因如前所述 ,是因為中國傳統(tǒng)文化不利于產(chǎn)生價值中立的學(xué)問，非關(guān)中國語言。中國語言的構(gòu)造不如西方語言精密，尤其是古漢語句子成分省略太多，這對邏輯研究有一定影響，但沒有決定性影響?！盵5] 程先生的理由是，古漢語可以作為刻畫邏輯本體的邏輯載體。程先生的理由很不充分。因為邏輯本體不是外部世界的存在，不能直接呈現(xiàn)在人們面前。邏輯本體不僅需要語言來表述，而且需要借助語言來發(fā)現(xiàn)。用張東蓀的話說就是，“離了言語，便無處覓此理法”。用古漢語可以表現(xiàn)傳統(tǒng)詞項邏輯理論和用古漢語可以建立起傳統(tǒng)詞項邏輯理論是兩個不同的問題。古漢語可以作為傳統(tǒng)詞項邏輯的載體只能說明中國古人可以有合乎傳統(tǒng)詞項邏輯的思維，不能證明中國古人可以借助古漢語建立起傳統(tǒng)詞項邏輯理論。為了說明這一點(diǎn)，我們分析一下程先生所舉的例子。

程仲棠先生說：“嚴(yán)復(fù)就用無‘是’的文言表述了19個有效的三段論式，用4個無‘是’的表達(dá)式，即‘凡甲皆丙’、‘無甲為丙’、‘有甲為丙’和‘有甲非丙’，正確地表述了傳統(tǒng)邏輯A、E、I、O 4種性質(zhì)命題?！盵5] 嚴(yán)復(fù)的譯句不合傳統(tǒng)詞項邏輯理論的標(biāo)準(zhǔn)句式。如果用“凡”作為全稱量項，用“有”這特稱量項，用“為”作為肯定量項，用“非”作為否定量項，那么嚴(yán)復(fù)的譯句可以處理成“凡甲為丙”，“凡甲非丙”，“有甲為丙”，“有甲非丙”。這些沒有“是”的句子雖然可以算作是文言文（盡管有點(diǎn)蹩腳），但它們與先秦時期古漢語的用法不合。先秦時期，當(dāng)人們要表達(dá)“甲是丙”的時候，不說“甲為丙也”，而說“甲者丙也”，或“甲，丙也”?！罢摺弊质翘撟郑硎就ｎD，逗號也表示停頓，所以這兩個句子實際上是一回事。如果“者……也”只表示“是”的意思，那么可以用它作為直言肯定命題的聯(lián)項。但是，“者……也”還有其他的用法。張東蓀曾經(jīng)舉出過一些例子，如“天者顛也”。[9] （P364）“顛”指人的頭頂。顯然我們不能說“天是人的頭頂”。又如，“仁者人也”，“義者宜也”，“禮者履也”，“庠者養(yǎng)也”，“校者教也”，“政者正也”。這些句子中的“者……也”都不能用“是”替代。在先秦時期的古漢語中沒有適于表示聯(lián)項的語詞，要想從這樣的語言中概括出傳統(tǒng)詞項邏輯理論的命題形式是極為困難的，因而亞里士多德式的邏輯理論在古代中國也難于產(chǎn)生。

程仲棠先生認(rèn)為，“在中國古代，何以邏輯萌芽不能發(fā)展為邏輯學(xué)？根本原因在于：與希臘文化的認(rèn)知主義取向相反，在中國古代文化中，政治和倫理價值主宰一切，壓倒一切，一切以‘內(nèi)圣外王’為依歸，使得價值中立的邏輯根本就沒有生存和發(fā)展的空間?！盵5] 數(shù)學(xué)也是價值中立的。為什么數(shù)學(xué)在中國古代文化中就有生存和發(fā)展的空間呢？的確，中國古代的政治、倫理等文化因素不利于邏輯學(xué)的產(chǎn)生和發(fā)展。但是，中國古代沒能出現(xiàn)成熟的邏輯學(xué)理論并非如程先生所言“非關(guān)中國語言”，古漢語的特點(diǎn)，特別是古漢語中沒有與“to be”相當(dāng)?shù)恼Z詞，也是一個重要的因素。

[參考文獻(xiàn)]

[1]程仲棠. 無“是”即無邏輯：形而上學(xué)的邏輯神話[J]. 學(xué)術(shù)研究，2007，（3）.

[2]亞里士多德全集（第1卷）[M]. 苗力田主編. 中國人民大學(xué)出版社，1990.

[3]工具論[M]. 亞里士多德邏輯論文集[M］. 李匡武譯. 廣州：廣東人民出版社，1984.

[4]王路. 弗雷格思想研究[M]. 北京：社會科學(xué)文獻(xiàn)出版社，1996.

[5]程仲棠. 評張東蓀的文化主義邏輯觀[J]. 中國哲學(xué)史，2006，（3）.

[6]F.帕特陶特. 采訪達(dá)米特（上）[J]. 張秀美譯. 哲學(xué)譯叢，1998，（2）.

[7]王左立. 論演繹的辯護(hù)[J]. 南開大學(xué)學(xué)報，2006，（6）.

第8篇：邏輯學(xué)推理規(guī)則范文

關(guān)鍵詞：離散數(shù)學(xué)；課程建設(shè)；計算思維；教學(xué)改革

作者簡介：陳蕾（1975-），男，江西宜春人，南京郵電大學(xué)計算機(jī)學(xué)院，副教授；張迎周（1978-），男，安徽合肥人，南京郵電大學(xué)計算機(jī)學(xué)院，教授。（江蘇 南京 210003）

基金項目：本文系南京郵電大學(xué)教學(xué)改革項目（項目編號：JG00411J76）的研究成果。

中圖分類號：G642.0 文獻(xiàn)標(biāo)識碼：A 文章編號：1007-0079（2013）13-0118-02

信息技術(shù)的快速發(fā)展使得以數(shù)理邏輯、組合數(shù)學(xué)、離散概率、集合論、代數(shù)系統(tǒng)和圖論等為代表的離散數(shù)學(xué)分支越來越受到人們的重視。作為計算機(jī)專業(yè)和通信工程專業(yè)低年級學(xué)生的一門重要核心課程，“離散數(shù)學(xué)”課程不僅具有一般數(shù)學(xué)類課程所共有的理論性強(qiáng)、概念多、高度抽象等特點(diǎn)，而且還具有計算機(jī)類課程所具有的面向應(yīng)用的特點(diǎn)，由于現(xiàn)有課程教學(xué)內(nèi)容缺少應(yīng)用實例分析和課程實踐環(huán)節(jié)，學(xué)生在學(xué)習(xí)過程中往往會有畏難情緒，且普遍感覺到枯燥無味，因而缺乏學(xué)習(xí)的動力和興趣。

近年來，由美國著名計算機(jī)教育學(xué)者Jeannette M.Wing教授提出的計算思維為我們提供了一種改革離散數(shù)學(xué)教學(xué)內(nèi)容和教學(xué)模式的新視角。[1]計算思維是指運(yùn)用計算機(jī)科學(xué)的基礎(chǔ)概念去求解問題、設(shè)計系統(tǒng)和理解人類行為，它與數(shù)學(xué)思維非常相似，只是計算思維是建立在計算過程的具體實現(xiàn)和約束之上，并由程序控制計算機(jī)進(jìn)行操作完成。計算思維的核心是問題抽象、數(shù)學(xué)建模和自動化求解。[2]從計算思維的角度來看，雖然離散數(shù)學(xué)由多個相對獨(dú)立的課程模塊組成，但這些內(nèi)容本質(zhì)上都是為了訓(xùn)練學(xué)生運(yùn)用離散結(jié)構(gòu)構(gòu)建問題的抽象模型并在此基礎(chǔ)上構(gòu)造算法和解決問題的能力。[3]因此，一方面“離散數(shù)學(xué)”課程為我們培養(yǎng)學(xué)生的計算思維能力提供了一個很好的平臺，另一方面計算思維能力的培養(yǎng)也反過來促進(jìn)了“離散數(shù)學(xué)”教學(xué)內(nèi)容和教學(xué)模式的改革。本文結(jié)合筆者多年的離散數(shù)學(xué)教學(xué)實踐經(jīng)驗，以強(qiáng)化學(xué)生的計算思維能力培養(yǎng)為主要目標(biāo)，對離散數(shù)學(xué)在本科教學(xué)中的教學(xué)內(nèi)容、教學(xué)模式、實踐環(huán)節(jié)和考核方式四個方面進(jìn)行探討，并進(jìn)一步提出加強(qiáng)該課程教學(xué)改革的設(shè)想。

一、融入計算思維能力培養(yǎng)的“離散數(shù)學(xué)”課程教學(xué)內(nèi)容

離散數(shù)學(xué)以離散結(jié)構(gòu)及其相互關(guān)系為主要研究對象，在計算機(jī)科學(xué)與技術(shù)領(lǐng)域有著廣泛的應(yīng)用，是計算機(jī)專業(yè)和通信工程專業(yè)諸多專業(yè)課程必不可少的先修基礎(chǔ)課程，涵蓋的內(nèi)容涉及到邏輯學(xué)、集合論、代數(shù)系統(tǒng)、圖論等多個現(xiàn)代數(shù)學(xué)分支。通過離散數(shù)學(xué)的學(xué)習(xí)，學(xué)生不但可以掌握各種離散結(jié)構(gòu)的描述和處理方法，而且可以加強(qiáng)抽象思維和邏輯思維的培養(yǎng)，提高自動化問題求解的能力，為未來開展創(chuàng)新型研究工作打下扎實的基礎(chǔ)。

根據(jù)離散數(shù)學(xué)所具有的特點(diǎn)以及南京郵電大學(xué)（以下簡稱“我校”）課程體系的設(shè)置情況，我們對傳統(tǒng)的離散數(shù)學(xué)教學(xué)內(nèi)容進(jìn)行了調(diào)整，指導(dǎo)思想是讓學(xué)生不僅學(xué)會一些特定的數(shù)學(xué)知識并知道怎樣應(yīng)用，還應(yīng)教會學(xué)生怎樣進(jìn)行數(shù)學(xué)邏輯思維，更重要的是加強(qiáng)學(xué)生的計算思維能力培養(yǎng)。為此，本課程力求將數(shù)學(xué)推理、組合分析、離散結(jié)構(gòu)、算法思想、應(yīng)用與建模這5個重要的主題交織在一起，引入應(yīng)用實例和課程實踐環(huán)節(jié)。該課程安排總學(xué)時64學(xué)時，其中講課60學(xué)時，課內(nèi)實驗4學(xué)時，課外實驗12學(xué)時（選做），主要內(nèi)容和學(xué)時分配如表1所示。課程具體內(nèi)容涵蓋數(shù)理邏輯、集合與函數(shù)、組合數(shù)學(xué)、代數(shù)系統(tǒng)、圖論及離散概率論等六個分支。在學(xué)時安排上，鑒于我校計算機(jī)專業(yè)在二年級上學(xué)期已經(jīng)開設(shè)了“概率論與數(shù)理統(tǒng)計”課程，因此離散概率論的相關(guān)內(nèi)容以學(xué)生自學(xué)為主，同時為了體現(xiàn)計算思維抽象和自動化的思想，我們補(bǔ)充了一個有趣的“基于貝葉斯理論的垃圾郵件過濾器的設(shè)計與實現(xiàn)”應(yīng)用實例。此外，還引入了初等數(shù)論和計數(shù)的基本內(nèi)容，增加了RSA密碼系統(tǒng)的設(shè)計與實現(xiàn)應(yīng)用實例分析，這部分內(nèi)容也以學(xué)生自學(xué)為主、教師講授為輔，同時特別安排了4個課時的集中輔導(dǎo)答疑。

二、融入計算思維能力培養(yǎng)的“離散數(shù)學(xué)”啟發(fā)式教學(xué)模式

“離散數(shù)學(xué)”是一門內(nèi)容涉及面極為廣泛的課程，這些內(nèi)容不僅自成體系，而且每部分都包含大量抽象的概念、定理、公式以及各種推理規(guī)則，兼具理論和應(yīng)用相結(jié)合的特點(diǎn)。因此傳統(tǒng)的數(shù)學(xué)類課程或計算機(jī)類課程所采用的常規(guī)教學(xué)手段都無法適應(yīng)現(xiàn)在的離散數(shù)學(xué)教學(xué)要求。

針對“離散數(shù)學(xué)”課程所具有的理論和應(yīng)用相結(jié)合的特點(diǎn)，從強(qiáng)化學(xué)生的計算思維能力培養(yǎng)著手，采用了啟發(fā)式教學(xué)模式，以充分調(diào)動學(xué)生的學(xué)習(xí)積極性。例如，一般教材中在講述如何判定關(guān)系的傳遞性時，往往提到傳遞的特征復(fù)雜，不易從關(guān)系矩陣和關(guān)系圖中直接判定，而且大部分學(xué)生都是根據(jù)傳遞性的定義采用窮舉的方法來判定，既耗時又容易出錯。這時可以啟發(fā)學(xué)生從傳遞閉包的角度來判定關(guān)系的傳遞性，如果一個關(guān)系滿足傳遞性，那么它的傳遞閉包就是它本身，而求傳遞閉包可以采用簡單的Warshall算法，更進(jìn)一步，可以據(jù)此啟發(fā)學(xué)生將此知識點(diǎn)和圖的連通性判定聯(lián)系起來，當(dāng)一個圖表示為鄰接矩陣時，如果將鄰接矩陣看成是結(jié)點(diǎn)集合上的鄰接關(guān)系圖，則圖的連通性可以通過求解鄰接關(guān)系的傳遞閉包來判定。

再比如，學(xué)生在學(xué)習(xí)代數(shù)系統(tǒng)時，我們可以啟發(fā)學(xué)生將代數(shù)系統(tǒng)和面向?qū)ο蟪绦蛟O(shè)計語言的類（Class）結(jié)構(gòu)聯(lián)系起來，告訴學(xué)生高級語言中的類結(jié)構(gòu)就可以看成是一種代數(shù)系統(tǒng)，同時引導(dǎo)學(xué)生回憶在中小學(xué)階段學(xué)習(xí)過的初等代數(shù)（涉及到加、減、乘、除運(yùn)算）也是一種代數(shù)系統(tǒng)。因此學(xué)生容易得出結(jié)論：代數(shù)系統(tǒng)可以根據(jù)需要任意地構(gòu)建。但這樣一來就可能存在非常多的代數(shù)系統(tǒng)。為了盡可能抽象地研究代數(shù)系統(tǒng)具有的性質(zhì)，我們進(jìn)一步引入同構(gòu)的概念，而同構(gòu)又是一種等價關(guān)系，在等價關(guān)系的基礎(chǔ)上可以定義等價類。由于代數(shù)系統(tǒng)的研究對象不是集合中的元素，而是定義在集合上的各種抽象運(yùn)算，對于“元素本身是什么”這樣的問題并不關(guān)心。因此，基于代數(shù)系統(tǒng)等價類的概念，教師可以進(jìn)一步啟發(fā)學(xué)生去探尋和理解布爾代數(shù)與等價類、命題邏輯之間的聯(lián)系。在教師的引導(dǎo)下，學(xué)生會驚喜地發(fā)現(xiàn)看似獨(dú)立的數(shù)理邏輯、集合、關(guān)系、函數(shù)與代數(shù)系統(tǒng)之間其實是有聯(lián)系的，如果再輔以一些應(yīng)用實例的建模與分析，就會很容易激發(fā)起學(xué)生學(xué)習(xí)離散數(shù)學(xué)的興趣。

三、融入計算思維能力培養(yǎng)的“離散數(shù)學(xué)”課程實踐環(huán)節(jié)

作為一門專業(yè)基礎(chǔ)課，“離散數(shù)學(xué)”強(qiáng)調(diào)的是對概念、定理、公式的理解。在教學(xué)實踐中，學(xué)生普遍認(rèn)識不到這門課程的重要性，覺得這門課程與計算機(jī)科學(xué)聯(lián)系不起來，看不到離散數(shù)學(xué)知識在計算機(jī)科學(xué)中的具體應(yīng)用，從而缺乏相應(yīng)的學(xué)習(xí)興趣，進(jìn)一步導(dǎo)致計算思維能力得不到良好的訓(xùn)練。因此利用計算機(jī)進(jìn)行離散數(shù)學(xué)實驗教學(xué)，讓學(xué)生主動參與發(fā)現(xiàn)、探究和解決問題，從中獲得解決實際問題的過程體驗，產(chǎn)生成就感和自豪感，進(jìn)而開發(fā)學(xué)生的創(chuàng)新潛能。這不僅僅是開展離散數(shù)學(xué)研究性學(xué)習(xí)的一種有效方式，而且也是促進(jìn)學(xué)生計算思維能力培養(yǎng)的一種有效途徑。“離散數(shù)學(xué)”課程的實驗名稱、學(xué)時分配及基本內(nèi)容和要求如表2所示，在4學(xué)時的課內(nèi)必做實驗和4學(xué)時的課外選做實驗中，每個學(xué)生要完成相應(yīng)的實驗題，通過獨(dú)立思考、與同學(xué)討論、老師輔導(dǎo)答疑，選擇相應(yīng)的方法，進(jìn)行題目的分析、編程及測試工作，并按要求寫出實驗報告。

表2 “離散數(shù)學(xué)”課程實驗內(nèi)容、學(xué)時分配及基本要求

序號 實驗項目名稱 學(xué)時 實驗內(nèi)容和要求 每組人數(shù) 備注

1 構(gòu)造合式公式的真值表 2 對給出的任意一個合式公式（不超過四個命題變元），編程實現(xiàn)自動畫出其真值表 1 課內(nèi)必做

2 判別圖的連通性 2 給定n個結(jié)點(diǎn)的有向圖鄰接矩陣，判斷該圖是否為強(qiáng)連通、單向連通或弱連通 1 課內(nèi)必做

3 RSA密碼系統(tǒng)設(shè)計與實現(xiàn) 6 編程實現(xiàn)RSA的加密和解密過程，加深對公鑰（非對稱）密碼算法的認(rèn)識 5 課外選做

4 貝葉斯Spam過濾器設(shè)計與實現(xiàn) 6 編程實現(xiàn)一個適于客戶端使用的貝葉斯垃圾郵件過濾器原型系統(tǒng) 5 課外選做

四、融入計算思維能力培養(yǎng)的離散數(shù)學(xué)課程考核方式

為了考查教師的教學(xué)效果和學(xué)生對知識的掌握程度，通常采用考試作為教學(xué)活動必不可少的重要環(huán)節(jié)，這在一定程度上可激發(fā)師生的教學(xué)積極性，提高教學(xué)與學(xué)習(xí)效果。因此，隨著本課程實踐訓(xùn)練環(huán)節(jié)的加強(qiáng)，我們對課程考核方式進(jìn)行了相應(yīng)的改革。目前采用綜合考查的多元成績評定考核方式。理論教學(xué)環(huán)節(jié)采取平時考查與期末考試相結(jié)合的方式。平時考查包括課堂考查、作業(yè)（課堂或課后思考題、課堂討論）等方面，其成績占課程總評成績的25%。期末考試占課程總評成績50%。實踐教學(xué)環(huán)節(jié)考核內(nèi)容包括實驗和實踐，其中，實驗考評內(nèi)容包括實驗報告、實驗操作、綜合素質(zhì)考核等，總評成績?yōu)槊看渭訖?quán)平均，占課程總評成績20%；實踐考評學(xué)生對基本算法的編程能力和自主創(chuàng)新能力，學(xué)生結(jié)合教學(xué)內(nèi)容，通過自由選擇綜合實驗或參與教師科研來完成，占課程總評成績5%。這種考核方法更能全面地反映學(xué)生在知識掌握和知識應(yīng)用方面的綜合學(xué)習(xí)情況。

五、結(jié)論

離散數(shù)學(xué)不僅是計算機(jī)技術(shù)的支撐學(xué)科，更是提高學(xué)生計算思維、邏輯思維和創(chuàng)新思維能力以及形式化表述能力的有效途徑，離散數(shù)學(xué)課程所傳授的思想和方法，廣泛地體現(xiàn)在計算機(jī)科學(xué)技術(shù)及相關(guān)專業(yè)的各個領(lǐng)域。

參考文獻(xiàn)：

[1]Wing J M. Computational Thinking[J].Communication of the ACM，2006，49（3）：33-35.