導(dǎo)語：現(xiàn)代邏輯教學(xué)中問題研究論文一文來源于網(wǎng)友上傳，不代表本站觀點(diǎn)，若需要原創(chuàng)文章可咨詢客服老師，歡迎參考。

自1978年全國第一次邏輯討論會(huì)倡議“形式邏輯要現(xiàn)代化”以來，時(shí)間已經(jīng)過去了20多年。凡是經(jīng)歷過這20多年來邏輯學(xué)教學(xué)和研究改革和發(fā)展過程的人，回顧這20多年來走過的道路，無不具有許多感慨。中國邏輯學(xué)會(huì)會(huì)長張家龍?jiān)诒本┦羞壿媽W(xué)會(huì)和中央財(cái)經(jīng)大學(xué)主辦的“邏輯·理性與構(gòu)建和諧社會(huì)”學(xué)術(shù)研討會(huì)上做出了這樣的斷定:“經(jīng)過20多年的奮斗，我國邏輯教學(xué)和研究已經(jīng)初步實(shí)現(xiàn)了現(xiàn)代化，已經(jīng)與國際邏輯教學(xué)和研究的水平初步接軌。我說的這兩個(gè)‘初步’，一個(gè)叫‘初步實(shí)現(xiàn)’，一個(gè)叫‘初步接軌’，從總體上說，我國邏輯學(xué)的教學(xué)和研究離國際邏輯教學(xué)與研究的水平不是越來越遠(yuǎn)而是越來越近了，這就是我國邏輯教學(xué)和研究的現(xiàn)狀。”①張家龍會(huì)長的這種斷定，是對(duì)20多年來邏輯學(xué)研究和教學(xué)改革所取得的成果的高度總結(jié)和概括。我認(rèn)為這種斷定是實(shí)事求是的，是十分正確的。

作為大學(xué)邏輯學(xué)教師，我們的首要任務(wù)是從事邏輯學(xué)的教學(xué)，并且以科學(xué)研究來促進(jìn)邏輯學(xué)的教學(xué)改革，提高邏輯學(xué)的教學(xué)質(zhì)量，提升邏輯學(xué)的教學(xué)水平。20多年來，特別是20世紀(jì)90年代以來，中國高等學(xué)校中邏輯教學(xué)現(xiàn)代化的步子越來越大，步伐越來越快，邏輯教材的建設(shè)成就斐然，邏輯教學(xué)的改革成果豐碩。其中，王路著的《邏輯基礎(chǔ)》[1]和宋文堅(jiān)主編的《新邏輯教程》[2]和《邏輯學(xué)》[3]、中國人民大學(xué)邏輯教研室編寫的《邏輯學(xué)》[4]、中山大學(xué)邏輯教研室編寫的《邏輯學(xué)》[5]以及梁慶寅主編的《傳統(tǒng)和現(xiàn)代邏輯概論》[6]，何向東主編的《邏輯學(xué)教程》[7]，黃華新、胡龍彪編著的《邏輯學(xué)教程》[8]以及其它許多教材，在邏輯教學(xué)內(nèi)容和體系的改革方面都具有自己的特色。宋文堅(jiān)教授在《邏輯學(xué)的傳入和研究》中認(rèn)為:這些教材“總的特點(diǎn)是:教學(xué)體系的框架是按邏輯演算的講述體系構(gòu)建起來的;以講經(jīng)典邏輯為主，較全面完整地介紹了兩個(gè)演算，或公理系統(tǒng)，或自然演算，介紹了它們的元邏輯問題，注重闡釋現(xiàn)代邏輯的各個(gè)基本概念，力圖讓學(xué)生學(xué)習(xí)邏輯學(xué)的新觀念。……這些書一般都保留了傳統(tǒng)形式邏輯的某些有實(shí)際應(yīng)用的內(nèi)容，如直言命題的推理，對(duì)當(dāng)關(guān)系等”[9]。

在邏輯教學(xué)初步實(shí)現(xiàn)現(xiàn)代化的過程中，在這些具有時(shí)代特色的教材中，我們到底有哪些成功經(jīng)驗(yàn)值得總結(jié)和推廣，有哪些問題需要反思和改進(jìn)?這就是本文中討論的主題。

1堅(jiān)定不移地走邏輯教學(xué)現(xiàn)代化之路

在20世紀(jì)70年代末期，針對(duì)我國邏輯教學(xué)和研究水平遠(yuǎn)遠(yuǎn)落后于國際水平的實(shí)際狀況，特別是我國大學(xué)邏輯教學(xué)中所用的邏輯教材內(nèi)容比較貧乏、陳舊的狀況所提出的“形式邏輯要現(xiàn)代化”的口號(hào)，主張邏輯教學(xué)和研究要現(xiàn)代化，要大量吸收數(shù)理邏輯的成果，編寫現(xiàn)代化的邏輯教科書。然而，對(duì)于這個(gè)反映時(shí)代要求的口號(hào)，邏輯學(xué)界不少人并不是完全贊同的。在什么是邏輯教學(xué)和研究現(xiàn)代化，如何實(shí)現(xiàn)邏輯教學(xué)和研究現(xiàn)代化等等問題上，邏輯學(xué)界曾經(jīng)展開了3次較大的爭論。在許多次邏輯學(xué)討論會(huì)上，雙方展開激烈爭辯的情景至今仍歷歷在目，令人難以忘懷。

經(jīng)過多次激烈的爭論，在邏輯教學(xué)是否應(yīng)當(dāng)現(xiàn)代化的問題上，邏輯學(xué)界基本取得了共識(shí)，這就是在中國的高等教育中，邏輯教學(xué)也要與國際接軌，堅(jiān)定不移地走邏輯教學(xué)現(xiàn)代化之路。上述這些教材，就是中國的邏輯教學(xué)與國際初步接軌的一批成果中的典型代表。由于使用了這些教材，在中國的邏輯教學(xué)中，特別是大多數(shù)高校哲學(xué)系的邏輯教學(xué)中，現(xiàn)代邏輯已經(jīng)成為學(xué)生的必修課，也已經(jīng)和正在成為許多高校非哲學(xué)專業(yè)的文科學(xué)生的公共基礎(chǔ)課或者公共選修課?，F(xiàn)代邏輯正在大踏步地走進(jìn)我國高等學(xué)校課堂，逐漸成為邏輯教學(xué)的主流。因此，張家龍先生認(rèn)為我國的邏輯教學(xué)已經(jīng)初步實(shí)現(xiàn)了現(xiàn)代化，這是一個(gè)不容爭辯的事實(shí)。

正是基于我國的邏輯教學(xué)已經(jīng)初步實(shí)現(xiàn)了現(xiàn)代化這一基本事實(shí)，張家龍會(huì)長發(fā)出了這樣的號(hào)召:“我們不能滿足于已經(jīng)取得的成績，我們要繼續(xù)前進(jìn)，在21世紀(jì)經(jīng)過幾十年奮斗，中國邏輯學(xué)者完全有能力全面實(shí)現(xiàn)我國邏輯教學(xué)與研究的現(xiàn)代化、與國際邏輯教學(xué)和研究水平全面接軌?！?/p>

2樹立正確的邏輯教學(xué)觀，促進(jìn)邏輯教學(xué)的改革

王路教授在《邏輯基礎(chǔ)》一書的“序”中談到學(xué)習(xí)邏輯可以有許多目的。他把這些目的大體上分為3類:一類是通過學(xué)習(xí)邏輯，掌握一些專門的技術(shù)和方法，從而使我們能夠應(yīng)用這些技術(shù)和方法解決一些具體的問題;另一類是是通過學(xué)習(xí)邏輯，培養(yǎng)一種邏輯的眼界和意識(shí)，從而使這種邏輯的眼界和意識(shí)成為我們知識(shí)結(jié)構(gòu)中的構(gòu)成要素，在我們的工作和生活中潛移默化地起作用;第三類則是通過有關(guān)的邏輯知識(shí)樹立邏輯的觀念?！熬瓦@三個(gè)目的而言，最重要的是邏輯的觀念。因?yàn)檫壿嫷募夹g(shù)方法，邏輯的眼界和意識(shí)都是圍繞邏輯的觀念展開的?！盵1]

那么，在邏輯教學(xué)，特別是現(xiàn)代邏輯教學(xué)中，我們應(yīng)當(dāng)用什么樣的邏輯的觀念去指導(dǎo)邏輯學(xué)的教學(xué)改革呢?

在《邏輯的觀念》一書以及一系列的論文中，通過對(duì)歷史上亞里士多德邏輯和現(xiàn)代邏輯的詳盡考察，王路教授認(rèn)為，從邏輯的內(nèi)在機(jī)制看，邏輯是研究必然性推理即研究推理的前提和結(jié)論之間“必然地得出”的關(guān)系的:“從亞里士多德到現(xiàn)代邏輯，始終貫穿了一條基本的精神，這就是‘必然地得出’。”[10]王路詳盡地討論了亞里士多德和現(xiàn)代邏輯對(duì)于“什么是必然地得出”和“如何才能必然地得出”的問題的解答，樹立了一種邏輯的觀念，一種對(duì)邏輯科學(xué)或者邏輯學(xué)科的內(nèi)在機(jī)制和根本性質(zhì)的觀念。并且，他反復(fù)強(qiáng)調(diào)現(xiàn)代邏輯通過構(gòu)造形式語言和邏輯演算，得到具體的可以操作的方法，以保證我們可以達(dá)到“必然地得出”。李小五教授在《什么是邏輯》中指出:“邏輯就是對(duì)形式正確的推理關(guān)系進(jìn)行可靠且完全刻畫的形式推演系統(tǒng)。”[11]并且，他給邏輯下了這么一個(gè)形式定義:“我們稱L是一個(gè)C--邏輯當(dāng)且僅當(dāng)L是一個(gè)三元組<Form(L)，|=C，├L>使得下面的(1)～(5)成立:(1)Form(L)是語言的公式類:(2)|=C是語義推論關(guān)系;(3)├L是語法推論關(guān)系;(4)(可靠性)├LΑ|=C;(5)(完全性)|=CΑ├L?！盵11]王路和李小五對(duì)邏輯(嚴(yán)格地說是演繹邏輯)這門學(xué)科或者科學(xué)的觀念雖然引起了中國邏輯學(xué)界一些人的質(zhì)疑或批評(píng)，甚至被扣上“小邏輯觀”的帽子。①然而，我認(rèn)為，這些觀念從不同的方面抓住了邏輯這門學(xué)科的本質(zhì)。王路用“必然性”來概括邏輯推理的性質(zhì)無疑是正確的，李小五從形式語言的語法和語義方面對(duì)“必然性”進(jìn)行了深入、系統(tǒng)的展開。在我參與編著的《邏輯學(xué)教程》[7]中，我認(rèn)為，邏輯這門學(xué)科或科學(xué)，特別是其最成熟的一階邏輯，是研究關(guān)于某些邏輯詞，例如聯(lián)結(jié)詞和量詞的推理和論文論證中的推出關(guān)系或者推理的形式規(guī)律即邏輯規(guī)律的。從本源上講，所謂規(guī)律，就是事物之間內(nèi)在的、穩(wěn)定的、必然的關(guān)系。推出關(guān)系或者邏輯規(guī)律就是推理的前提和結(jié)論之間的內(nèi)在的、穩(wěn)定的、必然的聯(lián)系。對(duì)于一定范圍內(nèi)的邏輯規(guī)律，我們可以在形式語言L中通過定義有前提的形式推演，從形式語言L的句法(語法)方面來刻畫這種推出關(guān)系(├L)，還可以從形式語言L的語義(解釋)方面刻畫它(|=C)，并且證明語法推出關(guān)系和語義推出關(guān)系的重合性，從而以一系列可操作的規(guī)則來保證前提和結(jié)論之間的這種推出關(guān)系的，保證“必然地得出”。以推理的規(guī)則來定義前提和結(jié)論之間的語法推出關(guān)系，以模型中的指派和賦值來確立前提和結(jié)論之間的語義推出關(guān)系，并且討論系統(tǒng)的完全性和可靠性，以明確邏輯的出發(fā)點(diǎn)是語義推出關(guān)系，邏輯的表現(xiàn)形態(tài)是語法推出關(guān)系，這就非常自然地刻畫了邏輯是研究有效推理的規(guī)則的這個(gè)思想。而邏輯是研究有效推理的規(guī)則的這個(gè)根本觀念，確實(shí)是國際上許多邏輯學(xué)家的共識(shí)。②

3構(gòu)造簡明易學(xué)的邏輯教學(xué)系統(tǒng)，普及現(xiàn)代邏輯的基本知識(shí)

中國邏輯學(xué)會(huì)副會(huì)長馬欽榮教授認(rèn)為:“有一種現(xiàn)象值得深思，邏輯學(xué)界對(duì)于傳統(tǒng)邏輯的教學(xué)議論很多，否定的也不少，但傳統(tǒng)邏輯作為課程卻大行其道;對(duì)現(xiàn)代邏輯贊揚(yáng)的人多，但開課的學(xué)校不多。這里有隊(duì)伍的問題，也有課程的開發(fā)與建設(shè)的問題。我們需要有可教可學(xué)、有特色、上水平的現(xiàn)代邏輯教材和一批勝任的教師，這是應(yīng)當(dāng)引起重視并扎扎實(shí)實(shí)去做的工作?！盵14]。馬欽榮教授在這里所談到的這種現(xiàn)象后面的深層次的原因是什么?怎么建設(shè)現(xiàn)代邏輯的教學(xué)隊(duì)伍?特別是怎么建設(shè)可教可學(xué)、有特色、上水平的現(xiàn)代邏輯教材?這些問題，的確是事關(guān)邏輯教學(xué)改革成敗的關(guān)鍵問題。

1999年6月，在紀(jì)念《普通邏輯》出版20周年座談會(huì)上，對(duì)于怎樣進(jìn)一步改革我國高校的邏輯教學(xué)和邏輯教材，蘇天輔先生提出了“普通邏輯數(shù)理邏輯化”和“數(shù)理邏輯普通邏輯化”2條指導(dǎo)性意見[15]。根據(jù)我的理解，所謂“普通邏輯數(shù)理邏輯化”，是指在高校講授的邏輯基礎(chǔ)知識(shí)的導(dǎo)論課程即“普通邏輯”中以數(shù)理邏輯為主要內(nèi)容，走邏輯教學(xué)現(xiàn)代化之路;而“數(shù)理邏輯普通邏輯化”，是指必須將數(shù)理邏輯這門學(xué)科的基礎(chǔ)知識(shí)，主要是一階邏輯的基本內(nèi)容，按照教學(xué)規(guī)律，特別是學(xué)生的認(rèn)知規(guī)律，以深入淺出、通俗易懂的方式表述出來，使之符合導(dǎo)論課的性質(zhì)和要求。因此，數(shù)理邏輯普通邏輯化就是建設(shè)教師好教、學(xué)生易學(xué)的邏輯教材的原則和方法。

那么，怎么才能建設(shè)好教易學(xué)的現(xiàn)代邏輯教材，實(shí)現(xiàn)“普通邏輯數(shù)理邏輯化”和“數(shù)理邏輯普通邏輯化”，在中國的高校中普及和推廣現(xiàn)代邏輯呢?這是每一個(gè)關(guān)心中國邏輯教學(xué)現(xiàn)代化的人不得不認(rèn)真思考的問題。結(jié)合20多年中國邏輯教學(xué)現(xiàn)代化的歷程，并且對(duì)邏輯學(xué)的研究方法進(jìn)行客觀的、深入的分析和評(píng)價(jià)，我們不難找出正確的答案。

在研究各種邏輯詞的推理規(guī)律的過程中，我們可以采取不同的研究方法。例如，可以通過公理方法從一個(gè)公理(或者公理模式)集合和一個(gè)推理規(guī)則集合來建立邏輯演算;還可以運(yùn)用自然推理方法從一個(gè)推理規(guī)則集合出發(fā)來構(gòu)造邏輯的形式系統(tǒng)，把關(guān)于某些邏輯詞的推出關(guān)系納入這個(gè)系統(tǒng);還可以通過表列(語義圖)方法運(yùn)用一個(gè)規(guī)則集合來逐個(gè)構(gòu)造某個(gè)公式或公式集的反駁，以研究這個(gè)公式或公式集是否存在推出關(guān)系;還可以通過范式方法來研究一個(gè)公式或公式集合的各種性質(zhì)，特別是該公式或該公式集合的所有邏輯后承，等等。

從理論上講，在邏輯系統(tǒng)中，例如在命題邏輯中，對(duì)于包括否定詞、合取詞、析取詞、蘊(yùn)涵詞和等值詞為研究對(duì)象的一個(gè)形式語言中，這些研究方法得到的推出關(guān)系的集合可以是相同的或者等價(jià)的。但是，在建立關(guān)于某些邏輯詞的全體推出關(guān)系形成的集合的推演過程中，不同的研究方法具有相當(dāng)不同的特點(diǎn)，例如，推演的出發(fā)點(diǎn)不同，推演的復(fù)雜程度不同，特別在是否有明確的推演目標(biāo)，是否有明確的推演步驟等方面，這些方法是大異其趣的。

就邏輯學(xué)的研究方式而言，運(yùn)用公理方法構(gòu)建邏輯的形式系統(tǒng)，研究一類類的邏輯詞的推理規(guī)律，是從現(xiàn)代邏輯創(chuàng)立以來直到今天最常見的研究方式。在歷史上，一階邏輯的形式系統(tǒng)最早是由弗雷格用公理方法建立起來的。其后，羅素、希爾伯特以及海廷所構(gòu)造的邏輯主義、形式主義和直覺主義的邏輯系統(tǒng)都是公理系統(tǒng)。邏輯的公理系統(tǒng)無疑具有種種優(yōu)點(diǎn)，特別是在研究某些邏輯詞特有的推出規(guī)律時(shí)，公理系統(tǒng)是十分嚴(yán)謹(jǐn)?shù)?，而且在討論系統(tǒng)的元邏輯性質(zhì)方面，公理系統(tǒng)更表現(xiàn)出了種種優(yōu)點(diǎn)。至今，盡管已經(jīng)發(fā)展出了其它構(gòu)建邏輯系統(tǒng)的方式，然而，公理方法仍然是人們構(gòu)建種種邏輯的形式系統(tǒng)時(shí)最常用的方法，公理系統(tǒng)對(duì)邏輯研究的作用是任何人都不可否認(rèn)的。

但是，在邏輯教學(xué)中，我們是不是一定要采用公理方法來構(gòu)建邏輯的教學(xué)系統(tǒng)呢?用公理方法構(gòu)建的邏輯系統(tǒng)，對(duì)于文科學(xué)生是否是好教易學(xué)的教學(xué)系統(tǒng)呢?回答這個(gè)問題，必須從公理系統(tǒng)的特征出發(fā)進(jìn)行分析。從公理系統(tǒng)推演出定理的復(fù)雜程度和推演的目標(biāo)、推演技巧方面來看，要求沒有受到公理方法訓(xùn)練的學(xué)生，尤其是文科學(xué)生以邏輯的公理系統(tǒng)為學(xué)習(xí)對(duì)象，是有相當(dāng)?shù)碾y度的。邏輯的公理系統(tǒng)是以推導(dǎo)邏輯定理為己任的。由于公理(或公理模式)和/或推導(dǎo)規(guī)則的數(shù)目不同，從公理推出定理的技術(shù)復(fù)雜程度也是不相同的。雖然可以采用演繹定理等方式來簡化邏輯定理的推演，但是，從技術(shù)上講，公理系統(tǒng)的推演還是比較復(fù)雜的。就推演目標(biāo)而言，從公理推出定理的過程往往是探索性的、試錯(cuò)性的，我們往往沒有能行的方式進(jìn)行定理的推演，特別是用代入規(guī)則推演時(shí)這個(gè)問題就更為突出;就邏輯的核心任務(wù)———對(duì)推出關(guān)系的刻畫而言，公理和定理是以邏輯定理或者邏輯真這種不自然的方式刻畫前提和結(jié)論之間的推出關(guān)系的。因此，以公理方法構(gòu)建的邏輯系統(tǒng)被稱為“不自然的邏輯”。①

20世紀(jì)80年代在中國的高校中普及和推廣現(xiàn)代邏輯時(shí)，一些教材，特別是翻譯過來的教材采用公理系統(tǒng)作為邏輯學(xué)的教學(xué)系統(tǒng)。由于對(duì)公理系統(tǒng)復(fù)雜的邏輯定理的推演過程產(chǎn)生了畏難情緒，許多人對(duì)現(xiàn)代邏輯的教學(xué)和研究不是采取積極探索而是采取了消極后退的方針，并且產(chǎn)生了對(duì)現(xiàn)代邏輯的種種誤解和非難，特別是認(rèn)為現(xiàn)代邏輯不適合中國國情、對(duì)人們的思維實(shí)踐沒有什么作用等等。這些誤解和非難，就其實(shí)質(zhì)來講，是不正確的。但是，就教學(xué)對(duì)象講，在以大學(xué)文科學(xué)生，特別是非哲學(xué)專業(yè)的大學(xué)一年級(jí)本科生為教學(xué)對(duì)象時(shí)，以公理系統(tǒng)作為基礎(chǔ)構(gòu)建的教學(xué)系統(tǒng)似乎并不是最好的選擇，這就是馬欽榮教授談到的“邏輯學(xué)界對(duì)于傳統(tǒng)邏輯的教學(xué)議論很多，否定的也不少，但傳統(tǒng)邏輯作為課程卻大行其道;對(duì)現(xiàn)代邏輯贊揚(yáng)的人多，但開課的學(xué)校不多”這種現(xiàn)象的深層次的原因。

作為邏輯學(xué)的教學(xué)系統(tǒng)中，在一階邏輯，特別是其基礎(chǔ)的命題邏輯部分，當(dāng)然還可以采用范式方法或者表列(語義圖)方法判定任一公式A是不是某個(gè)有窮公式集的重言后承或者某個(gè)公式是否常真式等。然而，以范式方法求取一個(gè)公式集合的所有的結(jié)論時(shí)，常常要使用交換律、分配律、吸收律、冪等律、歸約律等邏輯規(guī)律進(jìn)行等值替換，推演過程并不直觀、明顯。表列(語義圖)方法是按一組可行的規(guī)則構(gòu)造一個(gè)樹形圖，以判定某個(gè)公式是不是某個(gè)有窮公式集的重言后承或者某個(gè)公式是不是重言式。跟公理方法和范式方法相比，表列方法無疑具有推演目標(biāo)明確、推演方法機(jī)械和推演步驟簡潔、比真值表快速有效等等優(yōu)點(diǎn)?？墒?，在實(shí)際思維中，人們一般不會(huì)通過劃真值表、求取范式、構(gòu)造反駁等等方法來判定前提和結(jié)論之間是否有邏輯推論關(guān)系的。因此，我們可以在理論研究或者在有邏輯知識(shí)的人們中間以這些方法討論推理的規(guī)律，但是，我們不能指望以這些方法來指導(dǎo)人們?cè)谌粘?shí)際思維中進(jìn)行具體的推理和論證。

20世紀(jì)30年代，自根芩和其他邏輯學(xué)家提出了完全以推理規(guī)則集合代替公理來建立邏輯的形式系統(tǒng)以來，構(gòu)造自然推理系統(tǒng)或者自然演算成為構(gòu)造邏輯演算的另一種選擇。跟用公理和定理表示前提和結(jié)論之間的推出關(guān)系或推理規(guī)律相比，以推理規(guī)則來表示前提和結(jié)論之間的推出關(guān)系或推理規(guī)律更接近人們的實(shí)際思維過程，因此，邏輯學(xué)家以不同的方式構(gòu)建了許多自然推理系統(tǒng)，自然推理系統(tǒng)得到巨大的發(fā)展。在自然推理系統(tǒng)中，我們可以從證明論的角度，以推理規(guī)則從符號(hào)與符號(hào)的關(guān)系方面建立語法推論關(guān)系，而且，我們還可以從模型論的角度，根據(jù)指派、賦值討論公式和公式集的可滿足性、有效性，特別是前提集和結(jié)論的語義推論關(guān)系，并在討論語法推論關(guān)系和語義推論關(guān)系的基礎(chǔ)上研究系統(tǒng)的種種元邏輯性質(zhì)如可靠性、完全性等等性質(zhì)。而且，自然推理系統(tǒng)恢復(fù)了邏輯推論關(guān)系在邏輯學(xué)中的崇高地位，不再把邏輯真作為邏輯學(xué)的核心概念，而是把邏輯真看成前提為空的推論關(guān)系的一種特殊情況，一種不自然的邏輯推論關(guān)系。由于自然演算所具有的種種優(yōu)點(diǎn)，在構(gòu)造邏輯的教學(xué)系統(tǒng)時(shí)，采用這種方法所構(gòu)造的邏輯系統(tǒng)是適合教學(xué)要求，符合教學(xué)規(guī)律的。

20世紀(jì)80年代初期，為了培養(yǎng)現(xiàn)代邏輯方面的教學(xué)和研究人員，教育部委托南京大學(xué)開辦了數(shù)理邏輯學(xué)習(xí)班。在這個(gè)學(xué)習(xí)班上使用了美國著名邏輯學(xué)家蘇佩斯的《邏輯導(dǎo)論》[17]作為教材。該教材以自然推論方法來建立一階邏輯的知識(shí)系統(tǒng)，不但邏輯知識(shí)講述得非常清楚、明白，而且，還以許多事例來說明邏輯原理的廣泛應(yīng)用，因此是一本非常優(yōu)秀的教材。但是，該教材是以重言式作為命題邏輯的推出規(guī)則的，從證明論的角度講，以這種方式處理語法推論關(guān)系是不夠妥當(dāng)?shù)?。而且，該教材沒有討論一階邏輯的元邏輯性質(zhì)，這不能說不是一個(gè)令人遺憾的問題。其后，北京大學(xué)出版社出版了另一位美國著名邏輯學(xué)家科庇的教科書《符號(hào)邏輯》[18]。這本教材介紹了一階邏輯的自然演繹系統(tǒng)，也構(gòu)建了一階邏輯的公理系統(tǒng)。在討論自然推理時(shí)，該書以真值表為基礎(chǔ)，引入了命題邏輯的若干推理規(guī)則，詳細(xì)研究了關(guān)于聯(lián)結(jié)詞的演繹方法，并且在此基礎(chǔ)上介紹了量化理論、關(guān)系邏輯，以及命題邏輯和一階函項(xiàng)演算的公理系統(tǒng)以及它們的元邏輯性質(zhì)，內(nèi)容豐富，論述清晰。這2部國際一流的邏輯教材和其它翻譯出版的教材，對(duì)我國邏輯教材的改革，產(chǎn)生了深刻而且廣泛的影響。例如，從人大版的《邏輯學(xué)》和以及其它優(yōu)秀教材如畢富生的《數(shù)理邏輯》[19]中，可以看得到這些國外教材的影響。

從傳統(tǒng)形式邏輯傳入我國開始，我國邏輯教材經(jīng)歷了翻譯介紹、消化吸收、自主創(chuàng)新的發(fā)展過程。當(dāng)然，現(xiàn)代邏輯教材的發(fā)展也經(jīng)歷了這個(gè)過程。上述以現(xiàn)代邏輯為主的教材中，許多教材已經(jīng)發(fā)展到了結(jié)合中國大學(xué)生，特別是文科大學(xué)生的特點(diǎn)講述現(xiàn)代邏輯的知識(shí)，達(dá)到了自主創(chuàng)新的階段。其中，王路的《邏輯基礎(chǔ)》特別突出。在《邏輯基礎(chǔ)》中，王路以非形式的方法討論了命題邏輯和謂詞邏輯的基本概念、基本原理和基本方法，其論述之清楚、事例之生動(dòng)、方法之詳盡、思路之清晰，在眾多邏輯教材中可謂獨(dú)樹一幟。即使是自學(xué)者，只要用心一些，也可以輕松地跟隨作者一起在一階邏輯形式證明的大海中遨游。邏輯教材，特別是符號(hào)邏輯教材能夠?qū)懙竭@個(gè)地步，的確是非常難得的了。這本教材，是對(duì)邏輯教材創(chuàng)新發(fā)展的一個(gè)典范，值得所有在大學(xué)教授現(xiàn)代邏輯的教師學(xué)習(xí)和借鑒。

根據(jù)我們的教學(xué)經(jīng)驗(yàn)，在以大學(xué)文科學(xué)生為對(duì)象的邏輯教材中，以什么方式講述現(xiàn)代邏輯的基礎(chǔ)知識(shí)，培養(yǎng)學(xué)生什么樣的眼界和意識(shí)，特別是樹立什么樣的邏輯觀念，是關(guān)系到邏輯教學(xué)是否有成效的大問題，也是關(guān)系邏輯教學(xué)改革是否成功的大問題。王路的教材，雖然沒有構(gòu)建一階邏輯的形式系統(tǒng)，更沒有討論系統(tǒng)的元邏輯性質(zhì)，但是，他卻通過與人們直觀更為接近的方式，分析命題和推理的構(gòu)成成分，運(yùn)用有效推理的規(guī)則，去分析和解決人們實(shí)際思維中的關(guān)于聯(lián)結(jié)詞和量詞的推理和證明的問題，并在這個(gè)過程中培養(yǎng)學(xué)生邏輯的意識(shí)和眼界，樹立正確的邏輯的觀念。因此，王路把邏輯理論和邏輯的應(yīng)用緊密地結(jié)合在一起，以培養(yǎng)學(xué)生的邏輯的觀念作為邏輯教學(xué)的根本目的。邏輯的具體的推演技術(shù)和方法可以上升為學(xué)生自覺的習(xí)慣，更為重要的是，通過這些推演技術(shù)和方法所養(yǎng)成的邏輯的意識(shí)和眼界可以內(nèi)化為學(xué)生的素質(zhì)。學(xué)生有了這種素質(zhì)，也就培養(yǎng)了邏輯精神。而有了邏輯精神，那么，在求知求真的過程中他們就會(huì)思索前提和結(jié)論、論據(jù)和論題之間的聯(lián)系是否是必然的，是否具有推出關(guān)系，是否符合邏輯規(guī)律，邏輯的觀念從而就根深蒂固地扎進(jìn)學(xué)生的思想深處，成為他們的根深蒂固的思維習(xí)慣。

王路在《邏輯基礎(chǔ)》中提出了教材的2個(gè)使用目的:“一是搞好課堂教學(xué)，使之好教、好學(xué)、好用;二是便于自學(xué)，使之好讀、好理解、好掌握?！盵1]并為此采取了一系列的措施來落實(shí)這6個(gè)“好”，特別是不構(gòu)建邏輯系統(tǒng)，只給出從前提推出結(jié)論的推理規(guī)則，讓學(xué)生通過運(yùn)用推理規(guī)則去進(jìn)行形式證明，從而極大地簡化了一階邏輯的復(fù)雜程度。這些措施，真正體現(xiàn)了“數(shù)理邏輯普通邏輯化”的原則和方法。筆者認(rèn)為，王路在《邏輯基礎(chǔ)》中所做的有益的探索，就是試圖讓中國的邏輯教學(xué)再上一個(gè)新的臺(tái)階，達(dá)到又一個(gè)新的境界的探索。

4培養(yǎng)邏輯精神，突出邏輯學(xué)的社會(huì)功能就其來源來說，邏輯學(xué)來源于哲學(xué)論證、法庭辯論、數(shù)學(xué)推理等等人類的實(shí)踐活動(dòng)，是為人類求知求真的服務(wù)的工具。邏輯學(xué)，包括現(xiàn)代邏輯，也是來源于人類的實(shí)踐活動(dòng)，它也應(yīng)當(dāng)能夠指導(dǎo)人類的實(shí)踐活動(dòng)，服務(wù)于人類的實(shí)踐活動(dòng)。更為重要的是，在邏輯學(xué)應(yīng)用于人類實(shí)踐活動(dòng)的過程中，可以培養(yǎng)學(xué)生的邏輯意識(shí)或者邏輯精神，樹立邏輯的觀念。公務(wù)員之家

實(shí)踐性教學(xué)是課堂教學(xué)的延伸。實(shí)踐性教學(xué)是為鞏固、加深和擴(kuò)展邏輯理論和邏輯應(yīng)用的知識(shí)，通過各種方式使學(xué)生在思維實(shí)踐中運(yùn)用所學(xué)到的邏輯知識(shí)去分析問題、討論問題、解決問題的教學(xué)方式。這種教學(xué)方式，主要由學(xué)生自主進(jìn)行。通過這種教學(xué)方式，可以使學(xué)生深刻體會(huì)到邏輯學(xué)求知求真的精神實(shí)質(zhì)，提高學(xué)生的學(xué)習(xí)能力和科研能力。這種教學(xué)方式，可以有如下種種表現(xiàn)形式。

通過組織或參與組織學(xué)生運(yùn)用講演會(huì)或論辯會(huì)的形式進(jìn)行的教學(xué)活動(dòng)。教師讓學(xué)生自主策劃講演或論辯的題目，設(shè)計(jì)邏輯框架，尋找論據(jù)對(duì)論題進(jìn)行論證、反駁和辯護(hù)，對(duì)論證進(jìn)行分析、評(píng)估，教師只在必要時(shí)加以指導(dǎo)。這種實(shí)踐性教學(xué)方式，非常有利于培養(yǎng)學(xué)生在實(shí)踐中把邏輯知識(shí)創(chuàng)造性地進(jìn)行應(yīng)用的能力，非常有利于培養(yǎng)和提高學(xué)生的邏輯思維素質(zhì)，樹立邏輯的觀念，培養(yǎng)求知求真的邏輯精神。

進(jìn)行案例教學(xué)，也是進(jìn)行實(shí)踐性教學(xué)的有效方式。通過來自社會(huì)生活，主要是來自報(bào)刊雜志和互聯(lián)網(wǎng)上的實(shí)際事例中包含的邏輯問題的分析，可以使學(xué)生深刻體會(huì)邏輯學(xué)的作用，充分理解邏輯學(xué)的社會(huì)功能。

實(shí)踐性教學(xué)還可以采用讓學(xué)生探討在各門學(xué)科中是怎樣根據(jù)基本概念、基本原理通過推理、論證把這些學(xué)科組織成為嚴(yán)密、系統(tǒng)的知識(shí)體系的方式進(jìn)行，也可以通過讓學(xué)生交流如何運(yùn)用所學(xué)到的關(guān)于概念、命題、推理和論證的知識(shí)，撰寫科研論文的體會(huì)和經(jīng)驗(yàn)的方式進(jìn)行。

通過實(shí)踐性教學(xué)，學(xué)生的邏輯學(xué)知識(shí)得到鞏固，邏輯思維能力得到提高。更為重要的是，在不斷的實(shí)踐訓(xùn)練中，學(xué)生的邏輯知識(shí)和能力逐漸內(nèi)化為邏輯思維素質(zhì)，創(chuàng)新思維能力以及批判思維能力普遍提升，以理性精神對(duì)待和處理問題成為學(xué)生的自覺要求和思維習(xí)慣。

以理性精神處理和解決社會(huì)生活中的一切問題，是社會(huì)現(xiàn)代化的標(biāo)志。今天，中國社會(huì)正在走向全面現(xiàn)代化。民主、科學(xué)和法治是現(xiàn)代化社會(huì)的本質(zhì)特征。而邏輯學(xué)在建設(shè)現(xiàn)代化社會(huì)的過程中具有其它科學(xué)不能代替的作用。因?yàn)?，民主需要論證，科學(xué)需要論證，法治需要論證。邏輯學(xué)是理性精神的核心。以前，我們對(duì)邏輯學(xué)的社會(huì)功能強(qiáng)調(diào)得太少，致使人們產(chǎn)生了這樣那樣的誤解，特別是現(xiàn)代邏輯遠(yuǎn)離人們的思維實(shí)際，遠(yuǎn)離社會(huì)生活。這些誤解，是建立在邏輯觀念或者邏輯精神誤解的基礎(chǔ)上的，所以，強(qiáng)調(diào)邏輯的觀念，培養(yǎng)邏輯精神，突出邏輯學(xué)的社會(huì)功能，是我們的邏輯教師義不容辭的責(zé)任。