中圖網(wǎng)小程序
一鍵登錄
更方便
本類五星書更多>
-
>
妙相梵容
-
>
基立爾蒙文:蒙文
-
>
我的石頭記
-
>
心靈元氣社
-
>
女性生存戰(zhàn)爭
-
>
縣中的孩子 中國縣域教育生態(tài)
-
>
(精)人類的明天(八品)
現(xiàn)代形式邏輯入門 版權(quán)信息
- ISBN：9787568936262
- 條形碼：9787568936262 ; 978-7-5689-3626-2
- 裝幀：一般膠版紙
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>>
現(xiàn)代形式邏輯入門 內(nèi)容簡介
這是一本專為文科（特別是語言學(xué)專業(yè)）工作者和學(xué)生編寫的邏輯學(xué)入門導(dǎo)讀讀本，旨在介紹現(xiàn)代形式邏輯的基本內(nèi)容。這將有助于使讀者進一步深刻了解和有效掌握現(xiàn)代形式邏輯的基礎(chǔ)理論：命題邏輯、謂詞邏輯、內(nèi)涵邏輯以及模態(tài)邏輯，使其知曉理想語言哲學(xué)派、形式語言學(xué)和形式語義學(xué)的一些知識，以期能彌補學(xué)科分類過細之不足，適應(yīng)當前我國大力倡導(dǎo)的“大文科（打通文史哲、貫通文理）”教研思路。全書從經(jīng)典形式邏輯講起，重點介紹亞里士多德在《工具論》中所論述的演繹邏輯，至于現(xiàn)代形式邏輯則是在反思亞氏經(jīng)典形式邏輯的基礎(chǔ)上建構(gòu)而成，以圖彌補其缺陷，將其形式化。本書擇其要旨，循序漸進地介紹：謂詞演算、命題演算、內(nèi)涵邏輯（包括狹義模態(tài)邏輯、克氏模態(tài)邏輯、可證性邏輯、認識邏輯、道義邏輯、時態(tài)邏輯、語義公設(shè)、蒙塔古語義學(xué)等內(nèi)容），且論述其利弊。
現(xiàn)代形式邏輯入門 目錄
**章 經(jīng)典形式邏輯簡介
**節(jié) 形式邏輯之初衷
第二節(jié) 工具論
第三節(jié) 四種判斷之間的關(guān)系
第二章 現(xiàn)代形式邏輯簡介
**節(jié) 簡史
第二節(jié) 弗雷格的批判
第三節(jié) 數(shù)理邏輯的哲學(xué)意義
第三章 謂詞演算
**節(jié) 從函數(shù)到謂詞演算
第二節(jié) 個體詞(個體常項、專指語)
第三節(jié) 量詞
第四節(jié) 謂詞常項與變項
第五節(jié) 謂詞演算的公理和定理
第六節(jié) 小結(jié)
第四章 命題演算
節(jié) 邏輯原子論
第二節(jié) 邏輯聯(lián)結(jié)詞
第三節(jié) 命題演算和邏輯真值表
第四節(jié) 復(fù)雜的復(fù)合命題
第五節(jié) 歸謬法、重言式
第六節(jié) 英語終止性和延續(xù)性動詞之間的假言關(guān)系
第五章 內(nèi)涵邏輯
節(jié) 從外延邏輯說起
第二節(jié) 問題的提出：實質(zhì)蘊涵悖論
第三節(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é) 認識邏輯
第三節(jié) 道義邏輯
第四節(jié) 時態(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)涵邏輯解釋語義
展開全部
書友推薦
- >
我從未如此眷戀人間
- >
李白與唐代文化
- >
伊索寓言-世界文學(xué)名著典藏-全譯本
- >
大紅狗在馬戲團-大紅狗克里弗-助人
- >
回憶愛瑪儂
- >
煙與鏡
- >
推拿
- >
名家?guī)阕x魯迅:朝花夕拾
本類暢銷
