掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
道德經說什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時期宗教工作與管理
-
>
帛書道德經
-
>
傳習錄
-
>
齊奧朗作品·苦論
-
>
無障礙閱讀典藏版:莊子全書
現代邏輯基本概念和技術 版權信息
- ISBN：9787215126558
- 條形碼：9787215126558 ; 978-7-215-12655-8
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
現代邏輯基本概念和技術 內容簡介
本書介紹了有效推理和與此相關的一系列概念 (矛盾句、有效句、語句間的蘊涵關系和等價關系) , 這些語句層面上的概念*終都可以借助語句模式的概念加以說明。本書還介紹了檢驗和證明語句模式有效性的技術, 特別是主要運用于真值函項模式的真值分析法, 和運用于一般的量化模式的純存在式方法和奎因方法。
現代邏輯基本概念和技術 目錄
**章 有效推理和矛盾
第二章 矛盾句和矛盾模式、邏輯結構的層次性
第三章 真值函項聯結詞和真值函項模式
第四章 真值函項模式矛盾性和有效性的檢驗：真值分析法
第五章 真函有效推理的檢驗方法
第六章 模式間的蘊涵關系和等價關系
第七章 中場總結和預告
第八章 謂詞和謂詞字母
第九章 謂詞提取和變項
第十章 量詞
第十一章 量化模式及其有效性
第十二章 量化模式的替換規則
第十三章 移置規則和量化模式的前置化處理
第十四章 量化模式有效性的檢驗方法：純存在式方法
第十五章 量化模式有效性的證明方法：奎因方法
第十六章 奎因方法的完全性和其他
第十七章 單獨詞項和“=”
附錄一 奎因論現代邏輯(英漢對照)
附錄二 復習思考題參考答案
附錄三 專業術語索引
出版后記
第二章 矛盾句和矛盾模式、邏輯結構的層次性
第三章 真值函項聯結詞和真值函項模式
第四章 真值函項模式矛盾性和有效性的檢驗：真值分析法
第五章 真函有效推理的檢驗方法
第六章 模式間的蘊涵關系和等價關系
第七章 中場總結和預告
第八章 謂詞和謂詞字母
第九章 謂詞提取和變項
第十章 量詞
第十一章 量化模式及其有效性
第十二章 量化模式的替換規則
第十三章 移置規則和量化模式的前置化處理
第十四章 量化模式有效性的檢驗方法：純存在式方法
第十五章 量化模式有效性的證明方法：奎因方法
第十六章 奎因方法的完全性和其他
第十七章 單獨詞項和“=”
附錄一 奎因論現代邏輯(英漢對照)
附錄二 復習思考題參考答案
附錄三 專業術語索引
出版后記
展開全部
現代邏輯基本概念和技術 作者簡介
翟玉章，1965年出生，江蘇鹽城人。1995年7月獲北京大學哲學博士學位。南京師范大學哲學系副教授。曾在世界知識出版社和中國駐外使館工作。從事分析哲學(特別是羅素、卡爾納普和奎因的哲學)的教學和研究工作。
書友推薦
- >
巴金－再思錄
- >
中國歷史的瞬間
- >
史學評論
- >
經典常談
- >
有舍有得是人生
- >
大紅狗在馬戲團-大紅狗克里弗-助人
- >
李白與唐代文化
- >
中國人在烏蘇里邊疆區:歷史與人類學概述
