現(xiàn)代形式邏輯入門

定　價(jià)：￥79.00

作　者：	王寅
出版社：	重慶大學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

ISBN：	9787568936262	出版時(shí)間：	2023-10-01	包裝：	平裝
開本：	16開	頁數(shù)：	253	字?jǐn)?shù)：

內(nèi)容簡介

　　《現(xiàn)代形式邏輯入門》是一部由我國語言學(xué)家編寫的邏輯學(xué)導(dǎo)論型教材，主要面向文科讀者，特別是語言學(xué)方面的讀者。邏輯學(xué)和語言學(xué)有著天然的密切聯(lián)系。邏輯學(xué)也涉及語言、語詞、句子，有句法、語義等內(nèi)容。僅從專業(yè)詞匯看，邏輯學(xué)和語言學(xué)就有不少共用的術(shù)語。如果掌握邏輯學(xué)知識，也就多了一種視角和研究方法，便于好地理解語言以及進(jìn)行語言學(xué)的學(xué)習(xí)和研究。本書凝聚了作者自己多年來邏輯學(xué)的學(xué)習(xí)以及教學(xué)的心得和總結(jié)，形成了全書“重在理解，力求全面，循序漸進(jìn)”的特點(diǎn)。

作者簡介

暫缺《現(xiàn)代形式邏輯入門》作者簡介

圖書目錄

章經(jīng)典形式邏輯簡介
節(jié) 形式邏輯之初衷
第二節(jié) 工具論
第三節(jié) 四種判斷之間的關(guān)系
第二章現(xiàn)代形式邏輯簡介
節(jié) 簡史
第二節(jié) 弗雷格的批判
第三節(jié) 數(shù)理邏輯的哲學(xué)意義
第三章謂詞演算
節(jié) 從函數(shù)到謂詞演算
第二節(jié) 個(gè)體詞(個(gè)體常項(xiàng)、專指語)
第三節(jié) 量詞
第四節(jié) 謂詞常項(xiàng)與變項(xiàng)
第五節(jié) 謂詞演算的公理和定理
第六節(jié) 小結(jié)
第四章命題演算
節(jié) 邏輯原子論
第二節(jié) 邏輯聯(lián)結(jié)詞
第三節(jié) 命題演算和邏輯真值表
第四節(jié) 復(fù)雜的復(fù)合命題
第五節(jié) 歸謬法、重言式
第六節(jié) 英語終止性和延續(xù)性動(dòng)詞之間的假言關(guān)系
第五章內(nèi)涵邏輯
節(jié) 從外延邏輯說起
第二節(jié) 問題的提出：實(shí)質(zhì)蘊(yùn)涵悖論
第三節(jié) 內(nèi)涵邏輯
第六章狹義模態(tài)邏輯
節(jié) 基本概念
第二節(jié) 狹義模態(tài)邏輯
第三節(jié) 克里普克語義學(xué)
第七章模態(tài)命題演算VS模態(tài)謂詞演算
節(jié) 模態(tài)命題演算
第二節(jié) 模態(tài)謂詞演算
第三節(jié) 小結(jié)
第八章廣義模態(tài)邏輯
節(jié) 可證性邏輯
第二節(jié) 認(rèn)識邏輯
第三節(jié) 道義邏輯
第四節(jié) 時(shí)態(tài)邏輯
第九章關(guān)系邏輯與謂詞特征
節(jié) 關(guān)系邏輯
第二節(jié) 謂詞特征和元
第三節(jié) 二元謂詞的特征和推理
第十章語義公設(shè)
節(jié) 語義公設(shè)與涵義關(guān)系
第二節(jié) 小結(jié)
第十一章蒙塔吉語義學(xué)
節(jié) 轉(zhuǎn)換生成語法vs蒙塔古語法
第二節(jié) 通用語法
第三節(jié) 用內(nèi)涵邏輯解釋語義