邏輯學(xué)教程

　　邏輯是一門(mén)既古老雙年輕的學(xué)科。說(shuō)它古老，是因?yàn)樗臍v史源遠(yuǎn)流長(zhǎng)；說(shuō)它年輕，是因?yàn)樗裉烊匀怀錆M著生機(jī)和活力，在人們現(xiàn)實(shí)的思維和交際中起著其他學(xué)科不可替代的重要作用。依據(jù)“由抽象上升到具體”的理論建構(gòu)原則，我們分九章來(lái)安排《邏輯學(xué)教程》的教學(xué)體系。《邏輯學(xué)教程》的第一章介紹邏輯的對(duì)象、作用和對(duì)象、作用和歷史，旨在為邏輯畫(huà)一個(gè)總的輪廓，使讀者對(duì)邏輯有一個(gè)概略的了解?！哆壿媽W(xué)教程》的第二章和第三章所討論的問(wèn)題，屬于命題邏輯的范圍。就命題邏輯而言，最簡(jiǎn)單、最基本的東西就是命題聯(lián)結(jié)詞，所以第二章就從聯(lián)結(jié)詞講起。第三章討論命題演算，它是命題邏輯的形式化、系統(tǒng)化。命題演算包括公理系統(tǒng)的自然推理系統(tǒng)，本章對(duì)這兩大系統(tǒng)都作了簡(jiǎn)明扼要的介紹。第四章、第五章和第六章討論謂詞邏輯。謂詞邏輯是在命題邏輯基礎(chǔ)上為現(xiàn)代邏輯體系中的“細(xì)胞”。依據(jù)這樣的分析思路，命題邏輯揭示了效推理，即以命題聯(lián)結(jié)詞為基礎(chǔ)的推理的規(guī)律。但是，還有一類(lèi)有效推理，它們無(wú)法用命題邏輯的理論給以說(shuō)明，因?yàn)樗鼈兊挠行灾哺诿}的內(nèi)部結(jié)構(gòu)。因此，必須深入命題的內(nèi)部；考察作為命題結(jié)構(gòu)成分的題詞、謂詞和個(gè)體詞，從而說(shuō)明這一類(lèi)推理的有效性，這便是謂詞邏輯任務(wù)。第七章討論模態(tài)邏輯，模態(tài)邏輯是在命題邏輯和謂詞邏輯基礎(chǔ)上的進(jìn)一步擴(kuò)展。命題邏輯和謂詞邏輯對(duì)于折合明效性的討論是以現(xiàn)實(shí)世界為參照系的，而模態(tài)推理的有效性則涉及可能世界。所以，與命題邏輯和謂詞邏輯相比，模態(tài)邏輯有關(guān)更為寬廣的邏輯視野。本章的主要內(nèi)容涉及非形式的模態(tài)命題邏輯元理念等等。第八章討論歸納邏輯，包括傳統(tǒng)的歸納邏輯與現(xiàn)代的歸納邏輯，其中前三節(jié)更多地屬于“傳統(tǒng)”的內(nèi)容，后兩節(jié)則較從一些“現(xiàn)代”的氣息。歸納邏輯與前面第二至第七章所討論的演繹邏輯屬于不同的邏輯類(lèi)型，但它對(duì)于培養(yǎng)人們的邏輯分析與推理能力同樣是不可或缺的，因此，我們也在此作一個(gè)簡(jiǎn)要的介紹。第九章討論語(yǔ)用邏輯。語(yǔ)用邏輯的著眼點(diǎn)是人類(lèi)言語(yǔ)活動(dòng)的交際性，它力圖結(jié)合主體與語(yǔ)境來(lái)探討語(yǔ)句的具體意義，因而是最為復(fù)雜和具體的。雖然邏輯學(xué)界對(duì)語(yǔ)用邏輯的性質(zhì)、分類(lèi)和核心概念有不少討論，但語(yǔ)用邏輯的體系和內(nèi)容至今還遠(yuǎn)遠(yuǎn)沒(méi)有成型。我們之氫要在最后介紹這些尚不成熟的理論，無(wú)非是想幫助讀者拓寬邏輯的視野，并在更廣泛的層面上引起大家對(duì)新的邏輯領(lǐng)域的興趣和關(guān)注。

暫缺《邏輯學(xué)教程》作者簡(jiǎn)介