現(xiàn)代邏輯教學中問題研究論文

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

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

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

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

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

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

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

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

2樹立正確的邏輯教學觀，促進邏輯教學的改革

王路教授在《邏輯基礎》一書的“序”中談到學習邏輯可以有許多目的。他把這些目的大體上分為3類:一類是通過學習邏輯，掌握一些專門的技術和方法，從而使我們能夠應用這些技術和方法解決一些具體的問題;另一類是是通過學習邏輯，培養(yǎng)一種邏輯的眼界和意識，從而使這種邏輯的眼界和意識成為我們知識結構中的構成要素，在我們的工作和生活中潛移默化地起作用;第三類則是通過有關的邏輯知識樹立邏輯的觀念。“就這三個目的而言，最重要的是邏輯的觀念。因為邏輯的技術方法，邏輯的眼界和意識都是圍繞邏輯的觀念展開的。”[1]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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