掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
妙相梵容
-
>
基立爾蒙文:蒙文
-
>
我的石頭記
-
>
心靈元氣社
-
>
女性生存戰爭
-
>
縣中的孩子 中國縣域教育生態
-
>
(精)人類的明天(八品)
現代形式邏輯入門 版權信息
- ISBN：9787568936262
- 條形碼：9787568936262 ; 978-7-5689-3626-2
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
現代形式邏輯入門 內容簡介
這是一本專為文科（特別是語言學專業）工作者和學生編寫的邏輯學入門導讀讀本，旨在介紹現代形式邏輯的基本內容。這將有助于使讀者進一步深刻了解和有效掌握現代形式邏輯的基礎理論：命題邏輯、謂詞邏輯、內涵邏輯以及模態邏輯，使其知曉理想語言哲學派、形式語言學和形式語義學的一些知識，以期能彌補學科分類過細之不足，適應當前我國大力倡導的“大文科（打通文史哲、貫通文理）”教研思路。全書從經典形式邏輯講起，重點介紹亞里士多德在《工具論》中所論述的演繹邏輯，至于現代形式邏輯則是在反思亞氏經典形式邏輯的基礎上建構而成，以圖彌補其缺陷，將其形式化。本書擇其要旨，循序漸進地介紹：謂詞演算、命題演算、內涵邏輯（包括狹義模態邏輯、克氏模態邏輯、可證性邏輯、認識邏輯、道義邏輯、時態邏輯、語義公設、蒙塔古語義學等內容），且論述其利弊。
現代形式邏輯入門 目錄
**章 經典形式邏輯簡介
**節 形式邏輯之初衷
第二節 工具論
第三節 四種判斷之間的關系
第二章 現代形式邏輯簡介
**節 簡史
第二節 弗雷格的批判
第三節 數理邏輯的哲學意義
第三章 謂詞演算
**節 從函數到謂詞演算
第二節 個體詞(個體常項、專指語)
第三節 量詞
第四節 謂詞常項與變項
第五節 謂詞演算的公理和定理
第六節 小結
第四章 命題演算
節 邏輯原子論
第二節 邏輯聯結詞
第三節 命題演算和邏輯真值表
第四節 復雜的復合命題
第五節 歸謬法、重言式
第六節 英語終止性和延續性動詞之間的假言關系
第五章 內涵邏輯
節 從外延邏輯說起
第二節 問題的提出：實質蘊涵悖論
第三節 內涵邏輯
第六章 狹義模態邏輯
節 基本概念
第二節 狹義模態邏輯
第三節 克里普克語義學
第七章 模態命題演算VS模態謂詞演算
節 模態命題演算
第二節 模態謂詞演算
第三節 小結
第八章 廣義模態邏輯
節 可證性邏輯
第二節 認識邏輯
第三節 道義邏輯
第四節 時態邏輯
第九章 關系邏輯與謂詞特征
節 關系邏輯
第二節 謂詞特征和元
第三節 二元謂詞的特征和推理
第十章 語義公設
節 語義公設與涵義關系
第二節 小結
第十一章 蒙塔吉語義學
節 轉換生成語法vs蒙塔古語法
第二節 通用語法
第三節 用內涵邏輯解釋語義
展開全部
書友推薦
- >
詩經-先民的歌唱
- >
人文閱讀與收藏·良友文學叢書:一天的工作
- >
羅曼·羅蘭讀書隨筆-精裝
- >
中國人在烏蘇里邊疆區:歷史與人類學概述
- >
我與地壇
- >
羅庸西南聯大授課錄
- >
伊索寓言-世界文學名著典藏-全譯本
- >
月亮虎
本類暢銷
