邏輯學(xué)是關(guān)于論證和推理的科學(xué)。與哲學(xué)一樣，邏輯學(xué)負(fù)載著一種理智使命，體現(xiàn)一種文化品質(zhì)和科學(xué)精神。邏輯是理性精神的核心成分，是理性文化的主要力量。西方的哲學(xué)思想、數(shù)學(xué)理念、科技學(xué)術(shù)、語(yǔ)言系統(tǒng)、律法制度等都與邏輯有著緊密的聯(lián)系。要了解和研究西方的科學(xué)和文化，就不能不了解和研究西方的邏輯科學(xué)，而研究西方邏輯的一個(gè)重要途徑就是研究西方邏輯史，對(duì)西方邏輯史的起源進(jìn)行歷史的重構(gòu)則是其中的一個(gè)重要環(huán)節(jié)。

　　邏輯研究推理和論證，而推理和論證是人類理性為獲得確定性和必然性知識(shí)創(chuàng)造出來(lái)的一種思維形式，它有形式和內(nèi)容兩個(gè)方面。其中，知識(shí)的有效性涉及形式，而知識(shí)的可靠性不僅涉及形式而且還涉及內(nèi)容（前提的真假）。憑借“可靠性”概念，邏輯與各門具體科學(xué)之間有了一種實(shí)質(zhì)性的聯(lián)系，因?yàn)槎呔c真有關(guān)。但與作為形式的一致性問(wèn)題不同，可靠性問(wèn)題不是一個(gè)僅借助于邏輯手段就能確定的問(wèn)題，因?yàn)樗粌H涉及前提與結(jié)論之間的邏輯聯(lián)系，而且還涉及前提與結(jié)論的真假，而前提與結(jié)論的真假不是一個(gè)從邏輯上能被辯護(hù)的問(wèn)題。演繹邏輯只是假設(shè)前提為真而結(jié)論不能為假的一套形式裝置，它關(guān)心的是演繹正確性，而這與前提與結(jié)論的真假是兩個(gè)截然不同的問(wèn)題。雖然我們不知道人們何時(shí)開(kāi)始注意到這是兩個(gè)性質(zhì)不同的問(wèn)題，但《前分析篇》中對(duì)演繹的形式處理表明，亞里士多德對(duì)此是有明確認(rèn)識(shí)的。作為一個(gè)節(jié)點(diǎn)，它可以視為抽象的邏輯研究與對(duì)實(shí)在的某一領(lǐng)域的具體科學(xué)研究的一個(gè)分野。顯然，伴隨著對(duì)這一問(wèn)題越來(lái)越明確的認(rèn)識(shí)，即可靠性與有效性的分離，邏輯要成為一門與其目標(biāo)相適宜的學(xué)科，必須從科學(xué)的其他分支中分離出來(lái)。

　　亞里士多德之前的哲學(xué)家都使用同一原理解釋自然現(xiàn)象，那些后來(lái)被稱為神學(xué)、哲學(xué)和自然科學(xué)的知識(shí)都始于單一實(shí)體。但自希波克拉底、柏拉圖和亞里士多德以來(lái)，物理學(xué)、醫(yī)學(xué)、動(dòng)物學(xué)以及生物學(xué)等都先后從宇宙論中孕育出來(lái)。亞里士多德基于當(dāng)時(shí)知識(shí)發(fā)展的現(xiàn)狀，按照它們的功能和旨趣，將知識(shí)分為理論的（旨在獲得知識(shí)本身）、實(shí)踐的（關(guān)注實(shí)踐生活中的行為和善）和創(chuàng)制性的（目的在于獲得美的和有用的客體）三種類型。其中，邏輯雖然構(gòu)成一個(gè)獨(dú)立的探索領(lǐng)域，但它本身并不作為一門獨(dú)立的學(xué)科存在于上述任何一種知識(shí)類型之中。在亞里士多德看來(lái)，邏輯作為一門處理范疇、命題以及研究推理、論證和科學(xué)理論結(jié)構(gòu)的方法論，構(gòu)成了各門科學(xué)的基礎(chǔ)和知識(shí)研究的基本途徑。這種對(duì)知識(shí)的分類和邏輯在知識(shí)體系中作用的闡述，對(duì)邏輯的產(chǎn)生具有重要的認(rèn)識(shí)論和方法論意義，為邏輯與其他學(xué)科的分離提供了分類學(xué)的根據(jù)。

　　邏輯的目標(biāo)是通過(guò)考察前提和結(jié)論的形式聯(lián)系，進(jìn)而以形式的方式區(qū)別有效與非有效推理，最終確立起一種從假定為真的前提出發(fā)，必然地推出真結(jié)論的演繹程序。這種求真的認(rèn)識(shí)論取向以及以形式有效性為核心的探索程序，將邏輯與同樣關(guān)心推理與論證但出于不同目的的修辭學(xué)和論辯術(shù)等話語(yǔ)領(lǐng)域區(qū)別開(kāi)來(lái)，后者為贏得聽(tīng)眾而使用華麗辭藻、夸張和對(duì)比等手法，使之產(chǎn)生一種訴諸感官直覺(jué)的說(shuō)服效果，或者利用語(yǔ)詞的歧義和詭辯以達(dá)到特定的目的。對(duì)與勸說(shuō)（說(shuō)服）相對(duì)的證明的研究是亞里士多德兩卷本的分析篇的主題。證明產(chǎn)生（命題上真的）知識(shí)，而說(shuō)服僅僅產(chǎn)生意見(jiàn)。在亞里士多德看來(lái)，對(duì)一個(gè)并非預(yù)知為真的結(jié)論的證明通常是從一個(gè)已知為真的前提開(kāi)始的，其中包含了一系列推理的鏈條。他把研究前提和結(jié)論之間必然聯(lián)系的（例如三段論）學(xué)問(wèn)叫作證明的科學(xué)。亞里士多德還將推理分為證明的推理、論辯的推理和詭辯的推理。證明的推理是以普遍真實(shí)的原理為基礎(chǔ)，其目的是為了獲得一種必然性的真實(shí)；論辯的推理是通過(guò)雙方問(wèn)答從而揭露議論中的自相矛盾的一種推理；而詭辯的推理建立在強(qiáng)辯基礎(chǔ)上，是一種強(qiáng)詞奪理。其前提似是而非、不足為憑，或雖然前提可信，但因推理非有效而無(wú)法推出真實(shí)可靠的結(jié)論。蘇格拉底、柏拉圖與智者及詭辯學(xué)家的理論爭(zhēng)論，為這種分離活動(dòng)提供了動(dòng)因和主要線索。而亞里士多德的《工具論》則從邏輯的角度對(duì)雙方爭(zhēng)論進(jìn)行了總結(jié)。

　　邏輯對(duì)于語(yǔ)言，猶如數(shù)學(xué)對(duì)物理學(xué)。為了理解句子是如何工作的，我們必須了解句子的邏輯結(jié)構(gòu)。反之，推理的邏輯形式是通過(guò)語(yǔ)言形式表現(xiàn)出來(lái)的，為了理解邏輯是如何工作的，我們必須對(duì)體現(xiàn)特定推理形式的語(yǔ)言形式進(jìn)行專門的考察。雖然這并不能告訴我們邏輯和語(yǔ)言之間關(guān)系的全部信息，但它的確提供了一個(gè)骨架，一個(gè)句子的其他成分賴以充實(shí)的骨架。如果說(shuō)邏輯是關(guān)于意義的語(yǔ)塊，即命題之間關(guān)系的研究，那么命題則是由謂詞和論元組成的。大致地說(shuō)，命題是句子的骨架，謂詞是動(dòng)詞（或形容詞）的骨架，論元是名詞（或代詞）的骨架。邏輯僅對(duì)骨架感興趣，忽略了句子中的其他東西。在語(yǔ)法中，人們使用邏輯的方式是將句子仔細(xì)地分析為它的邏輯骨架。例如，“Bill ran”是一個(gè)非常簡(jiǎn)單的語(yǔ)句，僅有一個(gè)名詞和一個(gè)動(dòng)詞。它對(duì)應(yīng)于命題（RUN）（BILL）。（這里使用小型大寫(xiě)字母代表邏輯公式，以將它們與用斜體表示的實(shí)際的語(yǔ)塊區(qū)別開(kāi)來(lái)）注意在句子“Bill ran”中的動(dòng)詞是過(guò)去時(shí)，而在（RUN）（BILL）中的動(dòng)詞并不是過(guò)去時(shí)，因而它是“Bill ran”的骨架。

　　在邏輯初創(chuàng)時(shí)期的古希臘，語(yǔ)言學(xué)尚未產(chǎn)生。當(dāng)時(shí)的希臘社會(huì)正處在口頭語(yǔ)言向書(shū)面語(yǔ)言、詩(shī)歌的格律文體向散文文體的過(guò)渡時(shí)期。因此，這里的語(yǔ)言形式主要指一種體現(xiàn)于散文文體中的書(shū)面語(yǔ)的語(yǔ)言形式。在前蘇格拉底時(shí)代，修辭學(xué)家和哲學(xué)家就已經(jīng)開(kāi)始思索許多語(yǔ)言問(wèn)題，流傳下來(lái)的蘇格拉底、柏拉圖和智者們的著作中就涉及最初的語(yǔ)音學(xué)、詞源學(xué)、形態(tài)學(xué)和句法學(xué)的思考。對(duì)邏輯的反思，要求人們將邏輯與那些屬于語(yǔ)言學(xué)范圍的研究領(lǐng)域分離。當(dāng)然，這并不是說(shuō)邏輯不需要語(yǔ)法，恰好相反，同語(yǔ)言學(xué)一樣，邏輯也需要自己的句法學(xué)和語(yǔ)義學(xué)。但與語(yǔ)言學(xué)不同，邏輯需要一個(gè)比自然語(yǔ)言更抽象、更嚴(yán)格的語(yǔ)言系統(tǒng)。這一語(yǔ)言系統(tǒng)必須具有充分的表達(dá)資源來(lái)描述人類推理的結(jié)構(gòu)和邏輯的基本概念；同時(shí)，邏輯的嚴(yán)格性和精確性要求它的句法構(gòu)造能夠保證句子的語(yǔ)法結(jié)構(gòu)具有唯一性，不會(huì)出現(xiàn)語(yǔ)法歧義的句子；而它的語(yǔ)義刻畫(huà)必須以一種與我們的直覺(jué)相一致的方式，建立起一種語(yǔ)言表達(dá)式與外部世界的聯(lián)系，并從這種聯(lián)系中獲得意義的語(yǔ)義學(xué)機(jī)制，從而為各種類型的語(yǔ)言表達(dá)式（如專名、陳述句、復(fù)合句、前提和結(jié)論等）提供指稱、意義和真值條件。在古希臘，盡管語(yǔ)法的出現(xiàn)要晚于邏輯（狄?jiàn)W尼索斯·克拉特斯（Dyonisius Thrax）的語(yǔ)法理論建構(gòu)于大約公元前120年），但亞里士多德在建構(gòu)其三段論理論時(shí)，他的確依賴于某種語(yǔ)法的區(qū)別和一種以實(shí)在論為特征的意義和真理理論。

　　邏輯作為一般意義上的演繹理論與同樣以論證和證明為自己的方法論特征，并且具有同樣程度的嚴(yán)格性和精確性的幾何學(xué)有所不同。在《幾何原本》中，歐幾里得首先確定某些基本真理或公理，進(jìn)而從中演繹出若干非基本的真理或定理。但在歐幾里得寫(xiě)作之前，亞里士多德就肯定和描述了這一科學(xué)的嚴(yán)格概念。在他看來(lái)，所有的科學(xué)都應(yīng)呈現(xiàn)為一種公理演繹系統(tǒng)的形式；任何一門科學(xué)從它的公理推導(dǎo)出它的定理的演繹必定是一個(gè)三段論。亞里士多德在肯定幾何學(xué)所提供的演繹方法的同時(shí)，也指出邏輯具有比幾何學(xué)更抽象，因而更普遍、更具一般性的特點(diǎn)。

　　與柏拉圖相比，亞里士多德對(duì)數(shù)學(xué)的印象似乎要少得多，但幾何學(xué)的演繹性質(zhì)及其公理化特征都存在于其邏輯學(xué)中。在討論科學(xué)證明的《后分析篇》中，亞里士多德提出理論要成為科學(xué)，必須像幾何學(xué)一樣，通過(guò)一些適用于這門學(xué)科的有效方法，確立幾條基本原理，這些原理必須是真的、直接的和原初的，是先于結(jié)果、比結(jié)果更容易理解的，是對(duì)結(jié)果的解釋，而其他的真理則從這些基本原理中以演繹的方式被推導(dǎo)出來(lái)。他的邏輯就是遵循幾何學(xué)這種演繹模式建構(gòu)的，其中作為演繹體系的三段論只不過(guò)是這一模式的一個(gè)范例而已。亞里士多德對(duì)邏輯的興趣可能與他希望將不同的證明連貫在一起，進(jìn)而形成一個(gè)統(tǒng)一且一致的系統(tǒng)有關(guān)。盡管亞里士多德的三段論對(duì)于古代幾何學(xué)中的推理描述甚少，但他很可能一直在努力闡述一種理想，而這種理想或許在比歐幾里得《幾何原本》古老的多的其他幾何學(xué)版本中就出現(xiàn)了?？傊?，希臘理智生活的一個(gè)明顯特征是由以幾何學(xué)為代表的演繹方法所決定的，這一點(diǎn)突出體現(xiàn)于邏輯學(xué)的創(chuàng)立之中。

　　（作者單位：蘇州大學(xué)政治與公共管理學(xué)院哲學(xué)系）