邏輯學(xué)基本原理

前言：想要寫出一篇令人眼前一亮的文章嗎？我們特意為您整理了5篇邏輯學(xué)基本原理范文，相信會為您的寫作帶來幫助，發(fā)現(xiàn)更多的寫作思路和靈感。

邏輯學(xué)基本原理范文第1篇

關(guān)鍵詞：思想政治教育；大學(xué)生；網(wǎng)絡(luò)當(dāng)代我國大學(xué)生各個方面的特點不同于10年前，乃至5年前我國大學(xué)生，生活環(huán)境更豐富，生活條件更優(yōu)越，無論從家庭、學(xué)校抑或社會，都對大學(xué)生的心里特點及思想的形成造成了多方面的影響。因此，這篇文章想要從當(dāng)今社會發(fā)展的特點和局勢上簡述目前我國對當(dāng)代大學(xué)生的思想政治教育的特點。

有資料表明，當(dāng)代大學(xué)生中間存在大約三種信仰偏差。其一是，不少人存在“物本信仰”的傾向，對物質(zhì)的追求為目的，以獲得物質(zhì)、交換物質(zhì)、消費(fèi)物質(zhì)為表現(xiàn)，從而使人格特征表現(xiàn)出的是功利性、享樂性，而享樂主義思想又會激發(fā)人們對物質(zhì)追求的無限欲望，這樣就形成了惡性循環(huán)。適當(dāng)?shù)淖非笪镔|(zhì)本來就無可厚非，可任何事情都要有“度”，超出了這個界限，陷身于物質(zhì)而忘卻了人的精神，就會走向信仰偏差。其二是，“器本信仰”的傾向，及就是崇尚技術(shù)和手段、追求科學(xué)好工具，以擁有業(yè)務(wù)、智能、專長為根本目的，而人格特征則顯示為功用、表現(xiàn)的狹隘了。其實專心于科學(xué)技術(shù)學(xué)習(xí)是沒有錯，學(xué)習(xí)、掌握科學(xué)技術(shù)也是大學(xué)生的重要任務(wù)，可如果只是以科學(xué)技術(shù)為唯一的目標(biāo)卻忽視了人文價值，人文精神、價值目標(biāo)的缺失，精神動力不足，社會責(zé)任感不強(qiáng)，人就成了缺乏主體性的工具，并非一個完整的“人”。其三是，傾向于“神本信仰”，就是去追求不現(xiàn)實的力量，崇尚宿命理論，這主要是因為人們在追求目標(biāo)時目標(biāo)難以實現(xiàn)，或者和自己理想的相差甚遠(yuǎn)，從而心靈受挫，就把希望寄托在虛幻中，去相信有神靈，從而使自己陷入迷信。對于大學(xué)生而言，主要是在因為日常學(xué)習(xí)、生活、就業(yè)等各種壓力下，信心不足，擔(dān)心自己在與其他同學(xué)競爭時落后乃至出局，從而形成的一種恐懼心理，為了消除這種恐懼，就會把這種心理壓力轉(zhuǎn)嫁寄托于超現(xiàn)實力量上，以期望活得超自然能力的幫助和庇護(hù)。

形成當(dāng)代大學(xué)生這些心理特點與思想的原因，追其根源，是由于現(xiàn)實社會中一系列因素的影響而產(chǎn)生的，在這些因素中既有傳統(tǒng)的，也有現(xiàn)代的，有好的積極向上的健康的，也有不好的使人消極的。第一，是市場體制與競爭壓力的因素，市場體制的優(yōu)越性通過改革開放三十余年的時間得到了充分的證明，但其一定的局限性和負(fù)面影響我們也不可忽視，人們熱衷于功利，喜歡競爭。因此在大學(xué)生的思想和政治教育中，要在科技與人文張力中去尋求平衡，不僅要發(fā)展有形的科學(xué)技術(shù)，而且也要提高大學(xué)生的人文素質(zhì)。第二，信息壓力和科技發(fā)展的因素，隨著高科技的不斷發(fā)展，不僅對我們國家，乃至是對整個世界都有深遠(yuǎn)意義的影響，但是科技的飛速發(fā)展和大量信息的存在，這使得大學(xué)生對于有效信息的選擇變得更加困難，另一方面科技的地位和作用凸顯造成對人文的壓迫，大學(xué)生在對科技方面的不斷追求和過分的崇拜造成了對道德方面的不重視，有時更是忽視了道德的存在。流動強(qiáng)化與風(fēng)險壓力因素，當(dāng)今社會我們最常說的一句話就是“機(jī)遇與挑戰(zhàn)并存”，這句話適合于各個行業(yè)各個崗位，對于大學(xué)生，也是有一股投機(jī)取巧的風(fēng)味，如果真的以這種思維方式看待問題，就會以片面的眼光看到社會的一些因素存在，從而不相信這些片面因素中隱含的一些規(guī)律。因而也會造成自身對社會的認(rèn)識以及人類的發(fā)展產(chǎn)生一些不確定因素的排斥，使具有理性特征的理想信念再難以形成。第四，個人需求和社會存在中的壓力因素，自己只有在確定了目標(biāo)和信仰后，這樣才能有足夠的毅力去控制外界的干擾，在不被外界因素干擾后，才有足夠的精力和動力去不斷創(chuàng)新，不斷進(jìn)取。思想政治教育的就是為了正確的去引導(dǎo)大學(xué)生用廣闊的胸懷去面對世界和未來，從中國特色社會主義現(xiàn)代化建設(shè)的偉大理論，偉大實踐中，不斷的擴(kuò)大自己的視線、不斷吸取營養(yǎng)、豐富自己、形成理想。

與當(dāng)今時代相結(jié)合，對大學(xué)生進(jìn)行思想政治教育恐怕不能單單只在課堂中采取“大滿灌”的方法，聯(lián)系實際，運(yùn)用網(wǎng)絡(luò)，運(yùn)用微博等一系列網(wǎng)絡(luò)社交工具，更適合大學(xué)生的生活方式，也更易于大學(xué)生接受。

在最近的《中國互聯(lián)網(wǎng)絡(luò)大戰(zhàn)狀況統(tǒng)計》中表明，大學(xué)生是互聯(lián)網(wǎng)用戶的重要組成部分，也是所占比例最高的網(wǎng)絡(luò)用戶人群。隨著大學(xué)生越來越沉迷于網(wǎng)絡(luò)之中，網(wǎng)絡(luò)成為大學(xué)生日常生活中不可或缺的一部分，這樣的發(fā)展對大學(xué)生的各方面都造成了一定的影響。因此，要加大對大學(xué)生的思想政治教育工作，必須加強(qiáng)和完善高校網(wǎng)絡(luò)輔導(dǎo)員的隊伍建設(shè)，努力建成一支政治能力強(qiáng)、業(yè)務(wù)能力精、全方位發(fā)展的網(wǎng)絡(luò)輔導(dǎo)員隊伍，充分利用網(wǎng)絡(luò)有利資源開展網(wǎng)絡(luò)的思想教育。加大網(wǎng)絡(luò)輔導(dǎo)員隊伍的建設(shè)，應(yīng)該從這幾個方面入手：第一，加強(qiáng)自我本身的修養(yǎng)，提高工作效率。網(wǎng)絡(luò)思想政治教育的基礎(chǔ)是建立在網(wǎng)絡(luò)輔導(dǎo)員素質(zhì)的高低之上的，網(wǎng)絡(luò)輔導(dǎo)員一定要準(zhǔn)確把握國家的相關(guān)政策，及時有效的對網(wǎng)上的信息進(jìn)行評估并篩選。網(wǎng)絡(luò)輔導(dǎo)員自我本身更要有堅定的政治方向和高尚的職業(yè)道德，要把握好學(xué)校的改革、發(fā)展和穩(wěn)定，積極向上的教學(xué)。同時網(wǎng)絡(luò)輔導(dǎo)員也要經(jīng)得起言行舉止的考驗，克服畏難心理，樹立起信息傳播的權(quán)威者角色。第二，對網(wǎng)絡(luò)資源的開發(fā)，抓住教育的主動權(quán)。加強(qiáng)網(wǎng)絡(luò)教育的吸引力，只有這樣才能讓大學(xué)生受到網(wǎng)絡(luò)教育，吸引力是能否成功實施網(wǎng)絡(luò)教育的關(guān)鍵。有了足夠的吸引力，能吸引大學(xué)生的注意力，既然其興趣，去探索，才能不斷的創(chuàng)造。更為大學(xué)生喜聞樂見。第三，贏得大學(xué)生的認(rèn)同，增強(qiáng)教育時效性。要充分關(guān)注并合理引導(dǎo)大學(xué)生通過網(wǎng)絡(luò)形成的非正式群體的發(fā)展趨勢，在網(wǎng)絡(luò)上倡導(dǎo)熱愛生活、健康友愛的氛圍，關(guān)注偏離主流價值和行為規(guī)范的消極群體的發(fā)展，在網(wǎng)絡(luò)上提倡講道德、守法律等社會責(zé)任，解決好青年的心理危機(jī)。第四，關(guān)注大學(xué)生的思想動態(tài)，加強(qiáng)輿論危機(jī)管理。當(dāng)今互聯(lián)網(wǎng)的開放性，使得群體之間的矛盾、利益的沖突以及突發(fā)事件這些不穩(wěn)定因素都有可能通過網(wǎng)絡(luò)顯示 出來，從而造成大學(xué)生思想的波動甚至造成更嚴(yán)重的危機(jī)事件。為此，網(wǎng)絡(luò)輔導(dǎo)員一定要做好網(wǎng)絡(luò)上的輿論動態(tài)的跟蹤和調(diào)研，把握大學(xué)生的思想發(fā)展趨向，及時正面權(quán)威信息引導(dǎo)輿論發(fā)展，以化解或弱化輿論危機(jī)事件。網(wǎng)絡(luò)輔導(dǎo)員可以通過網(wǎng)絡(luò)對學(xué)生進(jìn)行引導(dǎo)，使謠言失去生存空間。網(wǎng)絡(luò)媒體對大學(xué)生思想政治教育工作中可以發(fā)揮五個方面的作用：1、作為宣傳的陣地；2、作為教育的窗口；3、作為交流的場所；4、作為展示的平臺；5、作為評價的工具和方法。

以微博為例而言，它對用戶的文字功底要求并不高，只需要用戶把看到的、聽到的、想到的事情寫成簡短的一段話即可；也可以將自己的見解、評價、想法發(fā)到微博上，形成大量的信息反饋，經(jīng)過交流、碰撞和整合形成網(wǎng)絡(luò)輿論。正是因為這種信息交流沒有界限，可以言論自由，不受任何外界的限制，有時候也會有不法事者借用這種方式蠱惑人心，混淆視聽。大學(xué)生們作為網(wǎng)絡(luò)的重要組成部分，處于世界觀和價值觀尚未完全定型的階段，最容易被洗腦，導(dǎo)致自己正確的價值觀被顛覆。因此，網(wǎng)絡(luò)輔導(dǎo)員是必要存在的。一方面，網(wǎng)絡(luò)輔導(dǎo)員在網(wǎng)絡(luò)上可以了解學(xué)生的思想動態(tài)，便于與學(xué)生的互動交流、解答疑惑，并且能及時給與幫助和引導(dǎo)，這些都能針對性的對大學(xué)生的思想政治教育進(jìn)行開展。另一方面，及時宣傳思想政治教育工作，讓思想政治教育潤物細(xì)無聲，潛隱默化地深入人心。

思想政治教育工作是以社會需求和發(fā)展為依據(jù)的，思想政治教育工作只有不斷創(chuàng)新，緊跟社會的步伐才不會落伍，才可能被廣大大學(xué)生所接受，才會更具成效。高校思想政治教育工作要充分關(guān)注網(wǎng)絡(luò)新媒體的影響，主動研究、積極利用網(wǎng)絡(luò)新媒體為思想政治教育服務(wù)，開拓育人新空間。（作者單位：西華師范大學(xué)）

參考文獻(xiàn)：

[1]張元.“圍脖”傳聲：新情境下高校思想政治教育的應(yīng)對[J].教學(xué)實踐與管理，2011，4.

[2]趙亮.從師生、校生關(guān)系變遷看高校育人[A].國家教育行政學(xué)院學(xué)報，2012，3.

[3]趙蕾.大學(xué)生思想政治教育人文關(guān)懷的缺失及影響[N].Economy AND Education，2012（09）.

[4]王仕民， 鄭永廷.當(dāng)代大學(xué)生理想信念形成特點及原因分析[A].教學(xué)與研究，2008（05）.

[5]趙文生.高校輔導(dǎo)員對大學(xué)生思想政治教育工作的重要意義[A].探索，2010（10）.

[6]林詩鋒.關(guān)于當(dāng)代大學(xué)生價值觀現(xiàn)狀的幾點思考[A].長春理工大學(xué)學(xué)報，2009（11）.

[7]楊洋，徐利穎.加強(qiáng)高校學(xué)生思政教育工作——從透視當(dāng)代大學(xué)生思想行為狀況談起 [A].赤峰學(xué)院學(xué)報，2010（11）.

[8]陳玲.論思想政治教育與心理健康教育的契合[A].學(xué)校黨建與思想教育，2012（01）.

[9]李瑞.淺談社會實踐對大學(xué)生理想信念教育的促進(jìn)作用[A].科教導(dǎo)刊，2012（03）.

[10]潘斌，武兵.淺析高校大學(xué)生價值觀教育[A].新西部，2012（05）

[11]宋菊芳.試論高校網(wǎng)絡(luò)輔導(dǎo)員隊伍建設(shè)[A].中國青年研究，2010（12）.

[12]柯贇潔，曹曉旭.微博在高職院校思想政治教育工作中的應(yīng)用途徑探析[A].蘭州教育學(xué)院學(xué)報，2012（04）.

[13]藍(lán)振師，朱家全，韋 容.依托網(wǎng)絡(luò)媒體開展新時期大學(xué)生思想政治工作[A].計算機(jī)光盤軟件與應(yīng)用，2012（04）.

邏輯學(xué)基本原理范文第2篇

英國著名的哲學(xué)家、思想家和科學(xué)家培根說過：“史鑒使人明智；詩歌使人巧慧；數(shù)學(xué)使人精細(xì)；博物使人深沉；倫理之學(xué)使人莊重；邏輯與修辭使人善辯。”法律邏輯學(xué)是一門邏輯學(xué)與法學(xué)相互滲透、相互融合而產(chǎn)生的邊緣性、應(yīng)用性的學(xué)科，一方面，它將邏輯學(xué)的基本知識和基本原理應(yīng)用于法律和司法活動過程，從而探討關(guān)于法律思維活動的一般邏輯形式和邏輯規(guī)律；另一方面，它要結(jié)合法律與司法活動思維的特殊性，研究法律思維活動特殊的思維形式及其合理性規(guī)則。我國對法律邏輯學(xué)的研究起步于20世紀(jì)80年代初，“由于歷史的原因，早期對法律邏輯的研究主要體現(xiàn)在如何應(yīng)用傳統(tǒng)邏輯知識來解釋司法實例問題上，實際上是停留在‘傳統(tǒng)邏輯在法律領(lǐng)域中的應(yīng)用’這一層面上。”目前在我國，隨著法制建設(shè)的進(jìn)步以及法學(xué)教育的發(fā)展，法律邏輯學(xué)的教學(xué)研究在廣大法律工作者與邏輯工作者的廣泛關(guān)注下取得了長足的進(jìn)步，但是與法學(xué)的其他傳統(tǒng)學(xué)科相比，法律邏輯學(xué)依然是一門相當(dāng)年輕的學(xué)科，我們要加大對法律邏輯學(xué)教學(xué)方法改革與創(chuàng)新的關(guān)注力度，通過教學(xué)方法的改革與創(chuàng)新進(jìn)一步推動我國法律邏輯學(xué)教學(xué)體系的不斷完善。就目前的法律邏輯教學(xué)實踐來說，典型案例教學(xué)法、辯論教學(xué)法、多媒體技術(shù)教學(xué)法、情境教學(xué)法與法律職業(yè)特征相吻合，值得探索。

一、典型案例教學(xué)法

“典型案例教學(xué)法是指教師在教學(xué)中選擇最典型的例子講授，使學(xué)生能依靠特殊來掌握一般，并借助這種‘一般’獨(dú)立地進(jìn)行學(xué)習(xí)的教學(xué)方法。”使用這一方法的主要目的是啟迪受教育者的思維，培養(yǎng)其推理和解決問題的能力，讓學(xué)生在短時間內(nèi)掌握同一類知識和規(guī)律，同時使學(xué)生在實例中獨(dú)立學(xué)習(xí)。由于法律邏輯學(xué)是結(jié)合著法律工作者的實際思維過程和法律條文來研究人的思維形式結(jié)構(gòu)和邏輯規(guī)律的，這一獨(dú)特的研究視角，使得典型案例教學(xué)法在法律邏輯學(xué)教學(xué)過程效果顯著。筆者之所以推崇該教學(xué)法，主要是基于如下理由：一是由于法律邏輯是一門實踐性與操作性都很強(qiáng)的專業(yè)基礎(chǔ)課，其內(nèi)容繁多，公式復(fù)雜，概括抽象，使人易感枯燥乏味，而典型案例教學(xué)法可以把比較抽象、枯燥的知識內(nèi)容，在典型案例分析中，逐漸的刻畫到了腦海中；二是利用典型案例激發(fā)學(xué)生學(xué)習(xí)法律邏輯學(xué)的興趣、促使學(xué)生養(yǎng)成主動學(xué)習(xí)和批判思考的推理能力、為學(xué)習(xí)者提供一種不用親自實踐但卻能在短期內(nèi)接觸并處理大量實際問題的機(jī)會；三是典型案例教學(xué)法可以運(yùn)用于法律邏輯學(xué)的任一章節(jié)，易于學(xué)生對相關(guān)知識的理解記憶。但是，案例教學(xué)法并非孤立的教學(xué)活動，應(yīng)與法學(xué)教育中的其他教學(xué)方法有機(jī)地結(jié)合起來，既可以進(jìn)行舉例說明，又可以進(jìn)行模擬訓(xùn)練；既可以進(jìn)行個人練習(xí)，又可以展開小組討論。總之，典型案例教學(xué)法實際上是一種理論聯(lián)系實際的教學(xué)方法，在法律邏輯教學(xué)過程中，利用典型案例把邏輯理論與司法實踐緊密結(jié)合起來，用法學(xué)的觀點看邏輯，用邏輯的觀點看法律。“法律邏輯學(xué)應(yīng)屬于邏輯學(xué)，即它主要是邏輯科學(xué)在司法實踐中的應(yīng)用，因而屬于應(yīng)用邏輯的分支。”列寧曾說過:“一切科學(xué)都是應(yīng)用邏輯。”

二、辯論教學(xué)法

法律邏輯學(xué)是研究法律思維的邏輯學(xué)科，是培養(yǎng)法律思維能力的重要工具。因此，該課程教學(xué)的根本目就是要培養(yǎng)和提高學(xué)生的邏輯思維能力，促進(jìn)其自覺地運(yùn)用邏輯知識，更好地為我們的生活、工作服務(wù)。而法律思維能力只有通過邏輯思維和法律實踐的緊密結(jié)合才能得以不斷提高，辯論教學(xué)法正是這一過程的真實再現(xiàn)。辯論教學(xué)法有如下優(yōu)勢：一是有助于學(xué)生對所學(xué)知識的融會貫通。通過辯論，學(xué)生可以根據(jù)自己所掌握的知識，運(yùn)用正確的邏輯推理形式獲得新知識；二是有助于提高學(xué)生的表述能力。人們表達(dá)思想和建構(gòu)理論都力求思想明確、條理清楚、結(jié)構(gòu)嚴(yán)謹(jǐn)、首尾一貫，這些都需要有較強(qiáng)的邏輯思維能力。說過：只有學(xué)會語法、修辭和邏輯，才能使思想成為有條理和可以理解的東西；三是有助于學(xué)生提高運(yùn)用所學(xué)法律知識論證個人觀點和反駁他人觀點的能力，提高其論證能力。對于法官和律師來說，都應(yīng)善于說理、善于辯論、熟練運(yùn)用論證方法。辯論中教師不告訴學(xué)生現(xiàn)成的結(jié)論、定理和正確的證明，也不表明自己的態(tài)度，而只是引導(dǎo)學(xué)生通過自己的分析理解，自己去發(fā)現(xiàn)其中的規(guī)律和方法，得出自認(rèn)為合乎邏輯的結(jié)論。

三、多媒體技術(shù)教學(xué)法

邊緣性的學(xué)科性質(zhì)注定了法律邏輯學(xué)具有高度抽象性。在法律邏輯學(xué)教學(xué)中，將多媒體技術(shù)教學(xué)法這一現(xiàn)代化的教學(xué)方法和傳統(tǒng)的教學(xué)方法相結(jié)合，可以大大提高教學(xué)效果。現(xiàn)代化的教學(xué)手段在教學(xué)過程中是必不可少的，作為現(xiàn)代化教學(xué)手段之一，多媒體技術(shù)教學(xué)法就是利用PowerPoint軟件系統(tǒng)把法律邏輯學(xué)的概念和原理制作成演示文稿的形式，向?qū)W生進(jìn)行展示和講解的方法。通過多媒體教學(xué)教學(xué)，可以使學(xué)生利用現(xiàn)代化的高科技技術(shù)輕松地理解掌握內(nèi)容較為抽象的法律邏輯知識。同時，多媒體教學(xué)法也彌補(bǔ)了教學(xué)與社會實踐相脫節(jié)的缺陷。多媒體技術(shù)教學(xué)法的優(yōu)勢突出表現(xiàn)為：一是具有較強(qiáng)的表現(xiàn)力和感染力，容易調(diào)動學(xué)生的學(xué)習(xí)興趣和學(xué)習(xí)積極性。例如，在講到復(fù)合推理的綜合運(yùn)用時，運(yùn)用多媒體課件，將案發(fā)過程和偵查人員的調(diào)查經(jīng)過重演，引導(dǎo)學(xué)習(xí)者列出偵察人員所掌握的情況，并以此作為前提進(jìn)行推理，破獲案件；二是知識容量大，可以拓寬課堂教學(xué)的時空范圍，優(yōu)化教學(xué)資源的合理利用。

邏輯學(xué)基本原理范文第3篇

 

一、邏輯學(xué)教學(xué)方法改革的必要性和重要性

 

改革開放以來，在邏輯學(xué)教學(xué)現(xiàn)代化的召喚下，特別是20世紀(jì)90年代以來，我國邏輯學(xué)教材的面貌發(fā)生了巨大變化。一批以現(xiàn)代邏輯內(nèi)容為主、并保留傳統(tǒng)邏輯精華的邏輯教材相繼出版。這些優(yōu)秀教材，內(nèi)容頗為豐富，體系各有特色。這些教材的出版，有力地推動了我國邏輯學(xué)教學(xué)現(xiàn)代化和與國外邏輯學(xué)教學(xué)接軌的進(jìn)程。然而，這些教材，主要是作為哲學(xué)學(xué)科基礎(chǔ)課的教材，教學(xué)對象主要是面對哲學(xué)專業(yè)的學(xué)生。而且，在內(nèi)容上，比較注重邏輯理論的闡述，內(nèi)容比較抽象。

 

日前，高等院校文科非哲學(xué)專業(yè)開設(shè)的公共基礎(chǔ)課或公共選修課——“邏輯學(xué)”(國內(nèi)稱為“普通邏輯”，國外稱為“大學(xué)邏輯”)課程，主要是為學(xué)生學(xué)習(xí)專業(yè)基礎(chǔ)課和專業(yè)課打好方法論基礎(chǔ)，為學(xué)生日常生活的正確思維和社會交際提供邏輯方法。我們的教學(xué)計劃學(xué)時只有36學(xué)時左右，因此，如果在公共課或選修課中使用哲學(xué)專業(yè)課的教材，教師只能有選擇性地講解其中的部分內(nèi)容，勢必影響課程體系的完整性。該課程由于抽象程度高，其中包括符號化的形式推演，往往使學(xué)生感到難學(xué)、費(fèi)解，教師感到難教。

 

從教學(xué)內(nèi)容和教學(xué)方法上講，在邏輯學(xué)教學(xué)中使用人工符號來表示命題和推理形式，是非常必要的。但是，在討論命題形式和推論形式時，如果不從自然語言逐漸向形式語言過渡，上來就給出形式語言，就討論形式語言的語法和語義，或上來就構(gòu)造規(guī)范、嚴(yán)謹(jǐn)?shù)淖匀煌评硐到y(tǒng)甚至是公理系統(tǒng)(這種方法雖然也是構(gòu)造現(xiàn)代邏輯系統(tǒng)的一般方法)，實踐證明，這是非哲學(xué)專業(yè)大學(xué)一年級本科生難于接受的，甚至?xí)斐蛇@樣的印象：邏輯學(xué)研究的是與人們?nèi)粘Ｉ顭o多大關(guān)系的符號和符號的推演，邏輯學(xué)在現(xiàn)實中是無用的。總之，使用理論性非常強(qiáng)的邏輯學(xué)教材，教師不好教，學(xué)生不好學(xué)，教學(xué)效果很難得到保證。

 

經(jīng)過多年的教學(xué)實踐，我們認(rèn)為，必須編寫出符合非哲學(xué)專業(yè)特點的、以應(yīng)用為主的符合案例教學(xué)要求的邏輯學(xué)教材。2007年3月，由高等教育出版社出版的“普通高等教育‘十一五’國家級規(guī)劃教材”《邏輯學(xué)基礎(chǔ)教程》，就是一部采取案例教學(xué)法編寫的教材，這是我們在邏輯學(xué)教材改革方面所做的嘗試和探索。這種嘗試和探索，已經(jīng)在“邏輯學(xué)”教學(xué)中產(chǎn)生了深刻的影響，改變了我國高校非哲學(xué)專業(yè)“邏輯學(xué)”的教學(xué)觀念、教學(xué)體系和教學(xué)方法，推進(jìn)了“邏輯學(xué)” 的教學(xué)改革。

 

二、在邏輯學(xué)教材和教學(xué)中采取案例教學(xué)的理由

 

我們在邏輯學(xué)教材和教學(xué)中，采取案例教學(xué)的理由如下：

 

1　教學(xué)對象。我們的教學(xué)對象是大學(xué)一年級非哲學(xué)專業(yè)學(xué)生的公共課和通選課，或數(shù)學(xué)專業(yè)學(xué)生的基礎(chǔ)課。

 

2　教學(xué)目標(biāo)。我們的教學(xué)目標(biāo)是提高學(xué)生的邏輯思維能力、特別是批判性思維和創(chuàng)新思維能力，為學(xué)生學(xué)習(xí)其他課程提供必要的邏輯學(xué)基礎(chǔ)知識，為學(xué)生識別、分析、重構(gòu)和評價日常語言中的論證提供理論和方法。

 

3　教學(xué)內(nèi)容。和任何科學(xué)一樣，邏輯學(xué)也是不斷發(fā)展的。因此，對國內(nèi)外邏輯學(xué)研究的最新成果給予引進(jìn)、吸收最新成果，只要提高學(xué)生的邏輯思維能力，我們盡量囊括在教學(xué)內(nèi)容中。

 

4　教學(xué)方法。邏輯學(xué)理論與人們的日常思維和社會生活緊密相關(guān)，教師注重收集生活中的示例(筆者稱為邏輯學(xué)課程案例)講授邏輯學(xué)課程。這種方法，被國外非形式邏輯學(xué)者稱為“基于實例的方法”(example-based metllod)。從日常生活中尋找的案例，教師通過分類、篩選、加工，形成邏輯學(xué)教學(xué)的案例庫，以供教學(xué)時參考。

 

5　教學(xué)定位。該課程的教學(xué)定位做到理論聯(lián)系示例，符號化的形式推演與生活或社會實際案例相結(jié)合，極大地克服了以往學(xué)生認(rèn)為難學(xué)、費(fèi)解，教師難教的狀況。

 

6　教材的編寫原則。根據(jù)該課程的教學(xué)對象及課程定位，在教材的編寫原則上，我們確立了“三個為主”的原則，即“以現(xiàn)代邏輯、案例教學(xué)和邏輯應(yīng)用為主”，把邏輯學(xué)的教學(xué)和應(yīng)用緊密掛鉤，把學(xué)生的邏輯思維能力的培養(yǎng)放在首位。

 

三、《邏輯學(xué)基礎(chǔ)教程》的結(jié)構(gòu)和特點

 

在結(jié)構(gòu)上，我們這部教材具有自己獨(dú)特的結(jié)構(gòu)。在這部教材中，我們可以看到，“案例”和“案例分析”具有突出的地位： “基本知識”和“知識拓展”是通過“案例”和“案例分析”而展開的;而“邏輯趣話”則是留給學(xué)生分析的“案例”：“習(xí)題”和“參考答案”則是學(xué)生鞏固所學(xué)知識和培養(yǎng)能力的“案例”和“案例分析”。因此，我們的這部教材，在教學(xué)方法設(shè)計方面，是圍繞案例教學(xué)法展開的。

 

與其他邏輯學(xué)教材相比，我們的這部教材具有以下特點：

 

1　以現(xiàn)代邏輯為主。在教學(xué)內(nèi)容方面，我們提倡“以現(xiàn)代邏輯為主”。眾所周知，傳統(tǒng)邏輯的知識無疑是有用的，但是，傳統(tǒng)邏輯的知識在日常思維中也是遠(yuǎn)遠(yuǎn)不夠用的，而現(xiàn)代邏輯是邏輯學(xué)發(fā)展的必然階段，現(xiàn)代邏輯對概念、命題、推理和論證的研究，無論從深度和廣度方面講，傳統(tǒng)邏輯根本無法相比。因此，我們不能僅僅滿足于給學(xué)生講授傳統(tǒng)邏輯的知識，而是要以現(xiàn)代邏輯的精神來整合傳統(tǒng)邏輯和現(xiàn)代邏輯的內(nèi)容，反映邏輯學(xué)對概念、命題和推理條分縷析的邏輯分析精神，這是我們在邏輯學(xué)教學(xué)中必須堅持的基本方針。至于怎么貫徹這個方針，可以有不同的方法和措施。特別在引入多少現(xiàn)代邏輯知識，怎么引入，是值得研究的問題。我們采取的方針是，使現(xiàn)代邏輯與傳統(tǒng)邏輯有機(jī)融合，并在傳統(tǒng)邏輯的基礎(chǔ)上自然延伸到現(xiàn)代邏輯，并且盡可能使到兩者的有機(jī)銜接起來。特別值得指出的是，我們還吸收了“非形式邏輯”和“語用論辯學(xué)派”關(guān)于論證和論辯的最新成果。從宏觀方面來識別、分析、重構(gòu)和評價論證與論辯。

 

2　以案例教學(xué)為主。在教學(xué)方法的設(shè)計方面，我們強(qiáng)調(diào)了“以案例教學(xué)為主”。這種教學(xué)方法，由于其生動活潑的講授形式，充分調(diào)動了學(xué)生的積極性，真正做到學(xué)生好學(xué)、老師好教，因此，受到了普遍歡迎。

 

邏輯學(xué)、特別是現(xiàn)代邏輯給人們的一般印象是，抽象程度高、枯燥難懂，遠(yuǎn)離人們的日常思維實際。以數(shù)學(xué)方法和形式化方法研究人類日常活動，例如，談話、演講和論辯后面的思維規(guī)律、特別是推理的規(guī)律，固然有其抽象性的一面。然而，邏輯規(guī)律既然來源于人們的日常思維實際，它就必須能夠回到日常思維中去指導(dǎo)人們的思維實際，否則，邏輯規(guī)律只不過是空中樓閣。我們的教材，采用大量來源于人們?nèi)粘Ｉ顚嶋H中鮮活的案例，希望把似乎抽象程度高、枯燥難懂的邏輯原理和方法講得新鮮活潑，生動有趣。

 

3　以邏輯應(yīng)用為主。在邏輯理論和邏輯理論的應(yīng)用方面，我們強(qiáng)調(diào)了“以邏輯應(yīng)用為主”。“以案例教學(xué)為主”是教學(xué)方法，這個方法要達(dá)到的目的，則是要理論聯(lián)系實際，學(xué)以致用，真正提高學(xué)生的邏輯思維能力，包括批判性思維能力和創(chuàng)新思維能力。如果我們的學(xué)生在長期的思維實踐中，通過反復(fù)應(yīng)用邏輯知識去提出問題、分析問題和解決問題，就可以使邏輯知識轉(zhuǎn)化為邏輯思維能力，并且最終內(nèi)化化為較高的邏輯思維素質(zhì)。而邏輯思維素質(zhì)，在人的各種素質(zhì)中處于核心地位。因此，“以案例教學(xué)為主”，改變教學(xué)方法，實行邏輯學(xué)的教學(xué)目的，是提高學(xué)生的邏輯思維素質(zhì)。而提高學(xué)生的邏輯思維素質(zhì)，在我們今天提倡的素質(zhì)教育中具有十分重要的作用和意義。

 

邏輯學(xué)的生命力在于邏輯學(xué)的應(yīng)用，在于能夠提供分析和評價人們?nèi)粘Ｕ撟C的原理和方法。在人們的思維實踐中，論證是用日常語言表達(dá)的。因此。我們在教材中增加了“語境和預(yù)設(shè)”、“合作原則和準(zhǔn)則”等涉及日常語言的語用推理方面的知識。更為重要的是，吸收了非形式邏輯和語用論辯學(xué)派的研究成果，把對自然語言表達(dá)的論證納入我們的教學(xué)體系，從而大大豐富了邏輯學(xué)關(guān)于論證的內(nèi)容，從語用層面豐富了關(guān)于論證的知識，在大學(xué)邏輯課的教學(xué)中實現(xiàn)了邏輯理論和邏輯應(yīng)用的有機(jī)結(jié)合。

 

四、采用案例教學(xué)法的初步成果

 

《邏輯學(xué)基礎(chǔ)教程》采用了大量來源于人們?nèi)粘Ｉ顚嶋H中鮮活的案例，把似乎抽象程度高、枯燥難懂的邏輯原理和方法講得生動生動活潑，趣味盎然。而且，在課堂教學(xué)中，用來源于現(xiàn)實生活中的案例，可以時學(xué)生深刻體會到邏輯學(xué)在社會生活中無時不有，無處不在，是與他們的生活息息相關(guān)的，而且，這些妙趣橫生的案例，能夠充分調(diào)動學(xué)生學(xué)習(xí)的積極性，課堂氣氛熱烈活潑。課后，學(xué)生能主動應(yīng)用邏輯原理去分析和解決日常思維中的種種邏輯問題，真正做到了切實提高學(xué)生邏輯思維能力、特別是批判性思維能力和創(chuàng)新性思維能力的目的。

 

我們這部教材，只是在案例教學(xué)方面取得了一些初步成果。我們希望，將來有越來越多的教師采用這種方法編寫具有自己專業(yè)特色的邏輯學(xué)教材。我們下一步將采取如下措施，進(jìn)一步推進(jìn)邏輯學(xué)的案例教學(xué)：

 

1　建立案例庫。案例教學(xué)法要能充分發(fā)揮其應(yīng)有的作用，首先要建立具有時代特色，符合邏輯學(xué)科要求的“案例庫”。教師要不辭辛苦，從報紙雜志、電視電臺，互聯(lián)網(wǎng)以及人們的日常生活中收集大量的案例，而不是關(guān)在書齋中閉門造車，然后到課堂上講那些生造的例子。邏輯學(xué)要面向社會，面向現(xiàn)實生活，怎么面對?這就需要我們做一個有心人，在人們實際生活中談?wù)摳鞣N各樣的問題時，在讀書、看報、聽廣播和看電視時，搜集人們使用的概念、命題、推理、論證中的例證作為原始案例，回來后經(jīng)過反復(fù)加工整理，精心設(shè)計出理論聯(lián)系實際的案例。

 

2　充分調(diào)動學(xué)生的積極性，讓學(xué)生參加到案例的收集、整理工作中來。由中國邏輯與語言函授大學(xué)與中國邏輯學(xué)會組織發(fā)起的“找邏輯與語言病句” 活動，其實是進(jìn)行案例教學(xué)的一個好主意，而有的學(xué)校的老師，例如，上海師范大學(xué)的曹予生教授，則主張把這種一次性的活動常規(guī)化。這些活動，已經(jīng)提出了案例教學(xué)法的思想，只不過還僅僅停留在尋找反面案例的范圍內(nèi)。

 

我們認(rèn)為，以布置作業(yè)的方式讓學(xué)生搜集、整理、分析正面和反面的案例，對培養(yǎng)國民(尤其是大學(xué)生)的邏輯意識，提高他們的邏輯思維能力和邏輯思維素養(yǎng)，是十分有意義的。在這個過程中，一方面鍛煉了學(xué)生搜集資料，整理資料和分析資料的能力，另一方面也鍛煉了學(xué)生們的運(yùn)用邏輯知識去分析問題和解決問題的能力，而這正是邏輯學(xué)的教學(xué)目的。因此，這項工作是一舉兩得的好事。

 

在搜集案例的過程中要特別注意，案例要為專業(yè)教學(xué)培養(yǎng)方案服務(wù)，應(yīng)根據(jù)不同的專業(yè)應(yīng)用不同的案例。

 

3　要圍繞不同專業(yè)的培養(yǎng)方案，有計劃地實施案例教學(xué)法。案例的選擇，往往帶有專業(yè)特色。案例教學(xué)法是教師教學(xué)的一種方法，而方法是要為完成這門課程的教學(xué)目的和要求服務(wù)的，因此，使用案例教學(xué)法，一定要緊密結(jié)合學(xué)生的專業(yè)的培養(yǎng)方案出發(fā)，使邏輯學(xué)盡可能地與法學(xué)、經(jīng)濟(jì)學(xué)、管理學(xué)、文學(xué)等等學(xué)科的內(nèi)容結(jié)合起來，增強(qiáng)“案例教學(xué)法”的計劃性，目的性。

 

4　要與其他教學(xué)方法結(jié)合起來應(yīng)用，收到最佳的教學(xué)效果。案例教學(xué)法無疑是一種非常好的和比較先進(jìn)的教學(xué)方法，它在培養(yǎng)學(xué)生的能力方面起到了很好的作用。但是，任何方法，如果運(yùn)用不當(dāng)，也會產(chǎn)生一定的弊端。例如，案例教學(xué)法在知識體系講解上可能不是特別系統(tǒng)。所以，怎么運(yùn)用案例教學(xué)法，運(yùn)用到什么程度，教師要認(rèn)真仔細(xì)地研究。同時，我們要清楚地認(rèn)識到，其他的教學(xué)方法也有重要的作用，如對基本概念、基本原理的講授方面，講授法等方法還是必不可少的，因為，這些教學(xué)方法具有連貫性，條理清楚，講解連續(xù)。所以，在邏輯學(xué)的教學(xué)中，各種教學(xué)方法也要取長補(bǔ)短。我們要綜合運(yùn)用各種教學(xué)方法，使它們互相結(jié)合，各取所長，服務(wù)于我們的教學(xué)任務(wù)。

邏輯學(xué)基本原理范文第4篇

關(guān)鍵詞:Java;三段論;面向?qū)ο?/p>

1背景

Java是Sun公司推出的新的一代面向?qū)ο蟪绦蛟O(shè)計語言,它的各方面性能都很好。Java的基本特點是簡單、面向?qū)ο蟆⒎植际健⒔忉尩摹⒔选踩⒔Y(jié)構(gòu)中立、可移植、高性能、多線程和動態(tài)特性,很適合在Internet環(huán)境上開發(fā)應(yīng)用系統(tǒng)[1]。

由于業(yè)界對Java人才的巨大需求,Java被很多大學(xué)的信息相關(guān)專業(yè)列為必修課,同時社會上也有許多有關(guān)Java的培訓(xùn)班。但是,Java的語法規(guī)范非常多,并且很嚴(yán)格,如何把這些復(fù)雜的大量語法用一個統(tǒng)一的理論覆蓋,是Java教學(xué)過程中的一個突出難題。

上面提到的語法規(guī)則包括:數(shù)據(jù)類型轉(zhuǎn)換、類、繼承、抽象類、接口、異常、成員變量和成員方法的訪問權(quán)限等[2]。這些方面的語法規(guī)則占Java語言語法規(guī)則的絕大部分,表面上看起來沒有什么關(guān)聯(lián),但實際上,這些語法所依托的某些理論是統(tǒng)一的,理念是一致的,這就是:若規(guī)定一個類型在某個環(huán)境中能運(yùn)行,則這個類型的實例或這個類型任何子類型的實例在這個環(huán)境中也可以運(yùn)行。這與邏輯學(xué)中的三段論具有很相似的性質(zhì)和表現(xiàn)。

“三段論”是由兩個包含著一個共同詞項的性質(zhì)判斷推出另一個新的性質(zhì)判斷的演繹推理。任何一個三段論都包含三個不同的詞項,分別是大前提、小前提和結(jié)論[3]。關(guān)于三段論,亞里士多德(Aristotle)有一個著名的例子:

“所有人都是要死的。亞里士多德是人。所以亞里士多德也是要死的。”

上面這個三段論的例子中,大前提是“所有人都是要死的”,小前提是“亞里士多德是人”,結(jié)論是“亞里士多德也是要死的”。這個簡單的推理很容易被理解和接受。

三段論雖然簡單,但它是演繹推理的核心和基礎(chǔ)。基于三段論的演繹推理帶來了西方科學(xué)的巨大繁榮。事實上,平面幾何公理系統(tǒng)、經(jīng)典力學(xué)、代數(shù)學(xué)等學(xué)科分支都是演繹推理這棵大樹上的優(yōu)秀成果。

由于演繹推理和三段論在西方深入人心,所以,Java體系中的一些基本原理容易被西方學(xué)生接受,而在教材中不需要講述或類比這些原理。這也是目前很多原版Java教材沒有或很少講述這些原理的原因。而這些教材翻譯成中文時,沒有考慮國內(nèi)學(xué)生的實際情況,因此造成了目前這樣一個局面:學(xué)生只記語法,不能透徹理解原理,或者學(xué)習(xí)完課程后經(jīng)過相當(dāng)一段時間的實踐后才能逐步體會其中的精神。

本文著力于提出Java教學(xué)的一種方法,使學(xué)生能夠從一開始就領(lǐng)會Java體系的設(shè)計思路,并且通過原理理解其中的語法規(guī)則,而不是死記硬背。

本文后面的章節(jié)是這樣安排的:第一部分闡述什么是Java的“三段論”教學(xué)主線,它與邏輯學(xué)中的三段論有怎樣的關(guān)系;第二部分具體描述怎樣把“三段論”教學(xué)主線貫穿到Java教學(xué)的整個過程中;第三部分是本文的結(jié)論和展望。

作者簡介:王建新(1972-),男,副教授,博士,研究方向為數(shù)據(jù)挖掘、人工智能和軟件工程。

2 “三段論”原理與Java原理的對比

Java是一門“純”面向?qū)ο蟮恼Z言,它的純面向?qū)ο筇匦允菍Ρ菴++等面向?qū)ο蠛兔嫦蜻^程的混合語言而言的。面向?qū)ο蟮膬?yōu)勢之一在于代碼的重用,也就是以前編寫的代碼,不需要做任何修改就可以在新的項目或環(huán)境中應(yīng)用,這不但有利于提高生產(chǎn)效率,縮短開發(fā)周期,減少開發(fā)成本,還能夠最大限度地減小軟件的錯誤率。

例如,如果我們編寫了兩部分代碼:一個類“動物”,開發(fā)一個過程“讓動物運(yùn)動”,也就是letMove (動物 a) 方法。在這個方法中,只有一條語句:讓動物調(diào)用自己的move ( )方法。letMove方法的定義如下。

public void letMove(動物 a) { a.move(); }

那么,只要我們“制造”(即編程創(chuàng)建)了動物的一個個體,譬如說一只小狗Tom,那么Tom就一定可以放入執(zhí)行環(huán)境letMove( ) 中作為參數(shù)運(yùn)行。在這個過程中,我們所有要做的工作只是制造“動物”的一個個體,然后把這個個體放到設(shè)定的環(huán)境中。這樣就最大限度地保證了代碼的重用[4]。

上述面向?qū)ο蟮乃枷牒腿握撌呛芟嗨频摹？梢园选叭魏蝿游锒寄鼙环湃雔etMove( )環(huán)境中運(yùn)行”看作大前提,把“Tom是一個動物”看成是小前提,把“Tom能放入letMove( )環(huán)境中運(yùn)行”看成是結(jié)論。

上面的分析說明,Java的基本原理和三段論是很類似的,這兩者的關(guān)系請參見圖1。

圖1Java的基本原理和三段論的類比關(guān)系示意圖

由于Java中的類―實例的關(guān)系原理與三段論類似,因此,我們把這條原理稱為“三段論”原理。下面將介紹如何把這條原理貫穿于Java教學(xué)過程中,降低語法學(xué)習(xí)的難度,使得學(xué)生增強(qiáng)對Java框架和原理的理解。

3 “三段論”原理的具體應(yīng)用

關(guān)于繼承,Java語法中有兩條重要的規(guī)定:(1)如果子類方法重寫了父類的方法,那么子類方法的訪問權(quán)限不能窄于父類方法的訪問權(quán)限;(2)如果子類方法重寫了父類的方法,那么子類方法拋出的異常不能寬于父類方法拋出的異常。這兩條語法規(guī)定在Java教學(xué)中是難點,很多學(xué)生只能記住,而不能理解。下面介紹如何用“三段論”原理講解這兩條語法規(guī)則的具體方法。

3.1成員方法的訪問權(quán)限

在Java的類繼承關(guān)系中,有一條重要的語法,即子類重寫父類的方法后,子類方法的訪問權(quán)限不能窄于父類方法的訪問權(quán)限。為什么要這樣規(guī)定呢?許多教材和其他Java的講解資料只是列出這樣的語法,而沒有給出原因和解釋。其實,這條語法也是“三段論”原理的一個體現(xiàn)。“三段論”原理要求:一個類型能運(yùn)行的環(huán)境要適于其任何實例,不管這個實例是該類型的對象,還是該類型子類的對象。例如,類A有一個方法f ( ),類B繼承了類A,并且重寫了方法f ( )。

class A {

public void f ( ) { /* 方法體 */ }

}

class B extends A{

void f ( ) { /* 方法體 */ } //重了f

}

假設(shè)類A有如下的運(yùn)行環(huán)境:

g ( A a) {

a.f ( );

}

根據(jù)“三段論”原理,B的一個對象b可以在這個環(huán)境中運(yùn)行,即下面語句能執(zhí)行:

g (b);

但是,當(dāng)方法g所在的類和類B不在同一個包中時,因為a.f ( ) 執(zhí)行的權(quán)限不夠,因此g ( b )是不能運(yùn)行的。這與“三段論”原理矛盾,而問題恰恰出在類B中重寫的方法f ( ) 的訪問權(quán)限窄于其父類A中的方法f ( ) 的訪問權(quán)限:默認(rèn)權(quán)限窄于公共權(quán)限。因此,通過反證法,“三段論”原理能清楚地揭示為什么方法重寫后權(quán)限不能變窄,而只能保持或放寬。

3.2方法聲明異常的范圍

異常捕捉是許多編程語言學(xué)習(xí)的難點,Java也不例外。對方法聲明中的異常,Java語法規(guī)定:如果這個方法重寫了父類中的方法,則異常的范圍不能寬于父類中方法聲明的異常范圍。這個規(guī)定與成員方法的訪問權(quán)限的規(guī)定恰恰相反,也就增加了理解的難度。

事實上,Java的這條語法規(guī)定也是為了能夠讓“三段論”原理仍然成立。為了解釋這個規(guī)定,我們先參看一個關(guān)于異常的例子。假設(shè)ExceptionSmall是ExceptionLarge的子異常,而類B是類A的子類。

class A{

public void f ( ) throws ExceptionSmall { /* 方法體 */}

}

class B extends A{

public void f ( ) throws ExceptionLarge { /* 方法體 */ }

}

而A有一個運(yùn)行環(huán)境g(這里g是一個方法):

public void g( A a ){

try{a.f ( ); }

catch (ExceptionSmall e){

/*異常處理操作*/}

}

依照上述程序,當(dāng)B的一個對象b要在環(huán)境g( )中運(yùn)行時,b的方法將有可能產(chǎn)生ExceptionLarge類型的異常,這是g( )所不能處理的。因此,并不能保證A的所有實例都能在環(huán)境g( )中運(yùn)行,這與“三段論”原理是相悖的。在這個意義上,“三段論”原理要求子類中重寫的方法拋出的異常的范圍不能超過父類中相應(yīng)方法拋出的異常的范圍。從這個角度考慮Java語言的這條語法就會發(fā)現(xiàn),這條語法并不是無緣無故的硬性規(guī)定,而是有深刻的原理作為基礎(chǔ)和要求的。

4結(jié)語

Java語言現(xiàn)在已經(jīng)風(fēng)靡全球,其最大優(yōu)勢就是能夠跨運(yùn)行,而為了滿足跨平臺、可重用、面向?qū)ο蟮葍?yōu)秀特點,Java對其語法作了詳細(xì)、明確的規(guī)定。如果只是陳述這些語法規(guī)定,而不講解為什么這樣規(guī)定,勢必會使課堂教學(xué)死板、生硬,不利于學(xué)生的理解、記憶和掌握。為此,本文提出了講授Java的一種方法,即基于“三段論”原理的Java語法教學(xué)方法,可以使學(xué)生深入理解Java語法中的一些難點。事實上,筆者多年來把該方法應(yīng)用于為計算機(jī)本科專業(yè)講授Java的教學(xué)中,起到了良好的教學(xué)效果。能夠用“三段論“原理解釋的Java語法規(guī)定還有很多,例如對象上轉(zhuǎn)型、接口回調(diào)等。我們將繼續(xù)研究“三段論”原理在這些方面教學(xué)中的應(yīng)用。

參考文獻(xiàn):

[1] 印F. Java語言與面向?qū)ο蟪绦蛟O(shè)計[M]. 北京:清華大學(xué)出版社,2000.

[2] 耿祥義. Java大學(xué)實用教程[M]. 北京:電子工業(yè)出版社,2006.

[3] 王路. 亞里士多德的邏輯學(xué)說[M]. 北京:中國社會科學(xué)出版社,2005.

[4] Bruce Eckel. Thinking in Java[M]. 3rd.ed. 北京:機(jī)械工業(yè)出版社,2005.

Explaining Two Grammatical Difficulties of Java with the Theory of Syllogism

WANG Jian-xin, LI Li-ren

(School of Information, Beijing Forestry University, Beijing 100083, China)

邏輯學(xué)基本原理范文第5篇

關(guān)鍵詞:范疇語法;自然語義;重用性

中圖分類號:TP301文獻(xiàn)標(biāo)識碼:A文章編號:1009-3044(2009)27-7728-02

Application of Category in the Natural Semantics

DING Sheng-bin

(Fujian Agriculture And Forestry University, Fuzhou 350002, China)

Abstract: This paper introduces the basic definition of the theory of category and illustrates the distinction between the traditional set theory and the category theory , and discusses a simple application of category in the natural semantics analyze combined with examples.

Key words: category; natural semantics; reusability

范疇論產(chǎn)生于20世紀(jì)40年代對同調(diào)代數(shù)的研究。1942年,Eilenberg 和Maclane 的論文(自然等價性的一般理論)引入了范疇、函子和自然變換的概念用來描述某些“自然”同構(gòu)的概念[1]。現(xiàn)在范疇論已經(jīng)發(fā)展成為一門具有廣泛應(yīng)用的新理論,在現(xiàn)代數(shù)學(xué)研究中,范疇論為日趨多樣的數(shù)學(xué)分支以及各個分支的多樣化的聯(lián)系提供了一種統(tǒng)一的簡潔的“符號語言”,目前已經(jīng)在代數(shù)學(xué)、拓?fù)鋵W(xué)、代數(shù)幾何學(xué)等領(lǐng)域有著深刻的應(yīng)用。在邏輯學(xué)中,以范疇為基礎(chǔ)的Topos理論正在發(fā)展成為現(xiàn)代數(shù)學(xué)全新的統(tǒng)一的基礎(chǔ)。

在理論計算機(jī)科學(xué)研究中,范疇論在函數(shù)程序指令、程序語義學(xué)和程序邏輯學(xué)等領(lǐng)域也有著廣泛的應(yīng)用。例如高階邏輯的語義可以用范疇論的概念表達(dá)[2];范疇論可用于數(shù)據(jù)庫的概念模型[3];莫特蓋特的學(xué)生Moot進(jìn)而在其博士論文中設(shè)計了被稱之為Grail的范疇語法定理證明器,可以設(shè)計任何自然語言片段的范疇語法系統(tǒng):輸入詞條構(gòu)成詞庫,輸入結(jié)構(gòu)公設(shè)等特定的技術(shù)手段,然后據(jù)此判定任意給定的句子是否合語法。同時,Grail還在視窗界面上展示判定的搜索過程[3]。

范疇論在語義描述方面的優(yōu)勢在于比傳統(tǒng)邏輯學(xué)的數(shù)學(xué)基礎(chǔ)――集合論更抽象,具有更廣泛的應(yīng)用與良好的重用性。本文第2部分將討論這一問題。第3部分將說明范疇語法在自然語言中的應(yīng)用。最后是本文的總結(jié)。

1 范疇論與集合論

1.1 范疇的基本定義

1) 定義1[4]:一個范疇(category)C是由下列三種成員所組成:

C1:一類對象(object)obc:A,B,C;

C2:一類由每一對對象A與B(相等或相異)所唯一確定的集合C(A,B)。

集合中的元素叫做態(tài)射(morphism)morC,當(dāng)σ∈C(A,B)時,A為σ的定義域(domain),B為σ的變區(qū)(range);

C3:一種對應(yīng)方法,使得對任何σ∈C(A,B)與τ∈C(B,C)都能對應(yīng)唯一的一個ρ∈C(A,C),ρ稱σ為τ與的乘積,記為ρ=τσ;

滿足以下的三條公理:

∏1不相交性:C(A,B) ∩C(A',B') ≠?準(zhǔn)?圳A=A',B=B';

∏2結(jié)合律:當(dāng)σ∈C(A,B),τ∈C(B,C),f∈C(C,D)時, f(τσ)= f(τ)σ;

∏3恒等態(tài)射存在:對任一對象A,C(A,A)至少有一個元素1A,使得對任何σ∈C(A,B),恒有σ1A=σ=1Bσ;

2) 定義2設(shè)C和D是范疇;一個函子F由兩個映射組成:

F: C->D

obC | obD: A | F(A)

morC | morD:f | F(f)

滿足dom(F(f))=F(dom(f)),cod(F(f))=F(cod(f)),F(1A)=1F(A),

并且dom(g)cod(f)則F(gf)=F(g)F(f)。

1.2 范疇論與集合論的區(qū)別

1.2.1 抽象層次不同

集合論只是范疇論中的一個具體的子范疇,范疇論涵蓋了整個集合論。同時集合論以具體的集合以及集合間元素的映射為基礎(chǔ),定義關(guān)系和函數(shù)。范疇論以一類對象以及對象間的態(tài)射為基礎(chǔ)進(jìn)行研究,避免了類似“集合的集合”之類的悖論,同時通過函子定義不同結(jié)構(gòu)范疇間的“映射”,以及自然變換反映不同體系、結(jié)構(gòu)事物間的關(guān)聯(lián)性,在更高的層面定義和討論事物間的聯(lián)系與區(qū)別,為不同結(jié)構(gòu)的事物的聯(lián)系提供統(tǒng)一的“箭圖語言”。如在某范疇中的積(product)可用圖1簡潔的給予描述,而同樣的概念用一階語言表達(dá)相同的語義,是一個較長的公式:

?坌f?坌g(shù)((D(f)=D(g)∧C(f)=A∧C(g)=B)->(?堝!z)(zx=f∧zy=g))

1.2.2 重用性不同

首先,范疇論以一類對象以及對象間的態(tài)射集為基礎(chǔ),是一種抽象和普遍的數(shù)學(xué)結(jié)構(gòu),被認(rèn)為是溝通各個數(shù)學(xué)分支的有效語言,這是范疇論概念可重用的基礎(chǔ)。更通俗的說,范疇論與集合論在對語義分析的重用性方面的比較如同在程序設(shè)計中面向?qū)ο笈c面向結(jié)構(gòu)的區(qū)別。集合論局限于集合范疇,難以表達(dá)其他范疇,只有范疇論提供適合各種范疇,對各類問題域一致的表示方法。其次,范疇論概念能普遍重用于各種具體范疇,集合論數(shù)學(xué)各分支分別研究不同的具體范疇,各自的概念與這些具體范疇的對象和箭頭的定義緊密相關(guān),所以集合論數(shù)學(xué)的概念都只能在個別具體范疇中使用,它的各個分支之間重用概念很困難,所以集合論數(shù)學(xué)相比而言不適合重用。

1.2.3 范疇論比集合論更具有對稱性

范疇論中的許多概念都是成對出現(xiàn)的,如核與余核、積與余積、單態(tài)射與滿態(tài)射、推出與拉回等等。這些對偶的概念使對偶的原則變得十分顯然,從而使得具有對偶性質(zhì)的證明變得簡化:如果陳述S對某一類范疇成立,則其對偶陳述Sop也對這一類范疇自然成立,這一特性使得在自然語義分析中更加具有優(yōu)勢。

1.3 范疇語法在自然語言語義分析中的應(yīng)用

1.3.1范疇語法的基本原理

范疇語法是一種使用運(yùn)算和推演的手段來描述語言的形式化工具,是一種數(shù)理語言學(xué),屬于邏輯。其基本原則是:語言認(rèn)識是數(shù)學(xué)計算,語法分析是邏輯演繹。自然語言具備由單詞連成詞組再由詞組連成短語以及句子的功能,這種由較小語言成分形成較大語言成分的體系就是自然語言的毗連性(concatenation),通過毗連各個語言符號串可逐步擴(kuò)張。

如:小明住在北京,可表現(xiàn)為逐層逐級毗連過程如圖2。

1.3.2 范疇語法的基礎(chǔ)方法

范疇語法把自然語言形成規(guī)律的基礎(chǔ)方法:把某一語言成分當(dāng)作函項,把相鄰的成分當(dāng)作函項的主目,把兩個成分的毗連當(dāng)作函項運(yùn)算獲得的結(jié)果。如上列,給專名“小明”,動詞“住”,介詞“在”,通名“北京”分別定義各自不同的具體范疇如:專名范疇、動詞范疇、介詞范疇、通名范疇。如上例可以表示如圖3所示。

在建立不同成分的范疇之后,則可以對不同成分進(jìn)行運(yùn)算、分析,即不同成分的毗連就可以認(rèn)為是不同具體范疇間的函子來進(jìn)行運(yùn)算與表示。范疇語法對自然語言的邏輯分析在計算機(jī)領(lǐng)域獲得實現(xiàn),這推動了自然語言的信息處理工作。另一方面,從邏輯理論角度深入研究范疇語法。對范疇運(yùn)算推演規(guī)律進(jìn)行抽象形成范疇語法的邏輯系統(tǒng),不僅把函子范疇中的斜線變換“/” 和“\” 以及毗連變換“?” 當(dāng)作廣義的邏輯聯(lián)結(jié)詞,把范疇推演的規(guī)則當(dāng)作系統(tǒng)中的定理,還進(jìn)一步考慮建立范疇邏輯的語義理論。范疇邏輯系統(tǒng)于是獲得可能世界的框架語義解釋,據(jù)此函子范疇中的斜線和范疇的毗連均被看作是二元模態(tài)算子。運(yùn)用右函子范疇定理:A/B?B->A,左函子范疇定理:A?A\B->B,范疇的連接函子:A?B->AB與結(jié)合定理:A?(B?C)->(A?B)?C,對例子:“小明愛看書”可進(jìn)行如圖4演算。

2 結(jié)論

以上只是范疇論在自然語義分析中的簡單應(yīng)用,簡而言之:范疇論是對傳統(tǒng)集合論數(shù)學(xué)中的結(jié)構(gòu)的歸納和抽象,范疇論是對集合論的發(fā)展,在數(shù)理邏輯中已經(jīng)得到廣泛的應(yīng)用,如在形式本體化等的研究中有著重要的應(yīng)用。

參考文獻(xiàn):

[1] Eilenberg S, MacLane S. General theory of natural equivalences. Trans.Amer.Math.Soc.,1945(58),231-294.

[2] Barwise J. Handbook of Mathematical Logic[M]. NORTH-HOLLAND PUBLISHING COMPANY,1977.