注冊(cè) | 登錄讀書(shū)好,好讀書(shū),讀好書(shū)!
讀書(shū)網(wǎng)-DuShu.com
當(dāng)前位置: 首頁(yè)出版圖書(shū)人文社科哲學(xué)邏輯學(xué)(論理學(xué))邏輯學(xué)教程

邏輯學(xué)教程

邏輯學(xué)教程

定 價(jià):¥22.00

作 者: 黃華新,胡龍彪編著
出版社: 浙江大學(xué)出版社
叢編項(xiàng):
標(biāo) 簽: 邏輯學(xué)

ISBN: 9787308022811 出版時(shí)間: 2006-06-01 包裝: 簡(jiǎn)裝本
開(kāi)本: 20cm 頁(yè)數(shù): 330 字?jǐn)?shù):  

內(nèi)容簡(jiǎn)介

  邏輯是一門(mén)既古老雙年輕的學(xué)科。說(shuō)它古老,是因?yàn)樗臍v史源遠(yuǎn)流長(zhǎng);說(shuō)它年輕,是因?yàn)樗裉烊匀怀錆M(mǎn)著生機(jī)和活力,在人們現(xiàn)實(shí)的思維和交際中起著其他學(xué)科不可替代的重要作用。依據(jù)“由抽象上升到具體”的理論建構(gòu)原則,我們分九章來(lái)安排《邏輯學(xué)教程》的教學(xué)體系?!哆壿媽W(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)注。

作者簡(jiǎn)介

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

圖書(shū)目錄

第一章 緒論
 §1 邏輯的研究對(duì)象
 §2 邏輯的作用
 §3 邏輯的發(fā)展簡(jiǎn)史
第二章 非開(kāi)式的命題邏輯
 §1 命題的聯(lián)結(jié)詞
 §2 真值表方法 真值函數(shù)
 §3 真值函數(shù)可定義性 聯(lián)結(jié)詞的完全性與獨(dú)立性
 §4 重言式的邏輯分析
 §5 推理的有效性 重言后承
 §6 范式
 練習(xí)題
第三章 命題演算
 §1 形式系統(tǒng)概述
 §2 命題演算系統(tǒng)P的結(jié)構(gòu)
 §3 P的內(nèi)定理的證明
 §4 演繹定理及其應(yīng)用
 §5 P的定義式定理
 §6 P的元理論
 §7 命題演算自然推理的系統(tǒng)PN
 練習(xí)題
第四章 傳統(tǒng)謂詞邏輯
 §1 概念
 §2 性質(zhì)命題
 §3 性質(zhì)命題直接推理
 §4 三段論
 練習(xí)題
第五章 非形式的一階謂邏輯
 §1 從傳統(tǒng)謂詞邏輯到現(xiàn)代謂詞邏輯
 §2 命題的一階謂邏輯分析
 §3 一階謂詞語(yǔ)言L(fǎng)1的語(yǔ)法和語(yǔ)義
 §4 代入和字母變易
 §5 前束范式
練習(xí)題
第六章 一階謂詞演算
 §1 一階謂詞演算系統(tǒng)F的構(gòu)成
 §2 F的導(dǎo)出規(guī)則
 §3 演繹定理及其用
 §4 F的元理論
 §5 帶等詞的一階謂詞演算系統(tǒng)F
 練習(xí)題
第七章 模態(tài)邏輯
 §1 模態(tài)邏輯概述
 §2 非形式的模態(tài)命題邏輯
 §3 模態(tài)命題演算公理系統(tǒng)
 §4 可能世界語(yǔ)義學(xué)
 §5 模態(tài)命題邏輯元理論
 ……
第八章 歸納邏輯
第九章 語(yǔ)用邏輯
主要參考書(shū)目
后記

本目錄推薦

掃描二維碼
Copyright ? 讀書(shū)網(wǎng) ranfinancial.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號(hào) 鄂公網(wǎng)安備 42010302001612號(hào)