扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
(精)清儒学案-九品(全10册)
-
>
素书
-
>
(精)周桂钿文集:秦汉思想研究(全7册)
-
>
海德格尔形式显示的实存哲学
-
>
毛泽东读书笔记解析.4:历史卷
-
>
中国学术名著丛书-杨树达:老子古义 周子古义
-
>
(精)斐多:柏拉图对话录(毛边本)
数理逻辑的思想和方法 版权信息
- ISBN:9787208187207
- 条形码:9787208187207 ; 978-7-208-18720-7
- 装帧:精装
- 册数:暂无
- 重量:暂无
- 所属分类:>>
数理逻辑的思想和方法 内容简介
先有思想的形式化还是先有形式化的思想?思想的形式化重要还是形式化的思想重要?本书将系统阐述从莱布尼茨到哥德尔的数理逻辑的思想和方法:不仅构造命题逻辑、谓词逻辑的公理系统、自然推理系统以及系统内定理的操作规则和技巧等思想的形式化方法,同时也进一步探讨这些形式化方法所包含的生动活泼的思想(这是本书的鲜明特色),便于人们“徜徉”数理逻辑“秀山丽水”的本质与全貌。本书避免使用过于复杂和烦琐的数学证明和推导,通过本书,读者会了解到不太一样的数理逻辑和逻辑哲学。
数理逻辑的思想和方法 目录
目 录
**章数理逻辑与人工语言//001
**节自然语言与人工语言//001
第二节数理逻辑的思想和方法的演进//005
第三节人工语言对数理逻辑的影响//011
第二章命题演算的思想和方法//018
**节真值函项//018
第二节重言式//032
第三节范式//045
第三章命题演算系统//059
**节重言式形式系统//059
第二节自然推理系统与重言式公理系统//072
第四章直觉主义逻辑的思想和方法//085
**节直觉主义逻辑的思想//086
第二节直觉主义逻辑的演算系统//090
第五章元逻辑的方法和意义//098
**节演算系统的形式定理//099
第二节演算系统的整体性质//111
第六章谓词演算的思想和方法//123
**节日常用语的进一步刻画//123
第二节翻译中的几个问题//138
第三节谓词逻辑的核心//150
第四节解释//163
第七章谓词演算系统//176
**节谓词演算系统//177
第二节谓词演算系统定理和导出规则//190
第三节谓词演算系统的一致性和完全性//202
第八章哥德尔不完全性定理//218
**节形式化的算术理论//219 第二节哥德尔不完全性定理的内容和思想//222
第三节哥德尔不完全性定理的证明//228
第九章公理化方法和形式化方法//233
**节从归约法到公理化//233
第二节从公理化到形式化//235
第三节公理化与形式化的交会//241
第十章数理逻辑思想和方法的实践//245
**节一场逻辑争论//245
第二节关于三段论的本质//248
第三节摹状词理论的要点//253
后记//258
**章数理逻辑与人工语言//001
**节自然语言与人工语言//001
第二节数理逻辑的思想和方法的演进//005
第三节人工语言对数理逻辑的影响//011
第二章命题演算的思想和方法//018
**节真值函项//018
第二节重言式//032
第三节范式//045
第三章命题演算系统//059
**节重言式形式系统//059
第二节自然推理系统与重言式公理系统//072
第四章直觉主义逻辑的思想和方法//085
**节直觉主义逻辑的思想//086
第二节直觉主义逻辑的演算系统//090
第五章元逻辑的方法和意义//098
**节演算系统的形式定理//099
第二节演算系统的整体性质//111
第六章谓词演算的思想和方法//123
**节日常用语的进一步刻画//123
第二节翻译中的几个问题//138
第三节谓词逻辑的核心//150
第四节解释//163
第七章谓词演算系统//176
**节谓词演算系统//177
第二节谓词演算系统定理和导出规则//190
第三节谓词演算系统的一致性和完全性//202
第八章哥德尔不完全性定理//218
**节形式化的算术理论//219 第二节哥德尔不完全性定理的内容和思想//222
第三节哥德尔不完全性定理的证明//228
第九章公理化方法和形式化方法//233
**节从归约法到公理化//233
第二节从公理化到形式化//235
第三节公理化与形式化的交会//241
第十章数理逻辑思想和方法的实践//245
**节一场逻辑争论//245
第二节关于三段论的本质//248
第三节摹状词理论的要点//253
后记//258
展开全部
数理逻辑的思想和方法 作者简介
昂扬,生于1939年,复旦大学哲学系副教授、逻辑学专业硕士研究生导师,四川师范大学哲学学院逻辑与信息研究所特聘教授;曾任上市逻辑学会理事。
林胜强,四川师范大学哲学研究所教授,四川师范大学逻辑与信息研究所研究员,长期从事研究生逻辑学、科学思维方法论的研究和教学工作,出版专著(教材)多部、发表论文40余篇。
李晟,四川师范大学哲学学院副教授,主要从事现代逻辑的教学与研究,发表学术论文10余篇。
书友推荐
- >
李白与唐代文化
李白与唐代文化
¥9.9¥29.8 - >
中国人在乌苏里边疆区:历史与人类学概述
中国人在乌苏里边疆区:历史与人类学概述
¥32.9¥48.0 - >
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥6.9¥14.0 - >
朝闻道
朝闻道
¥9.0¥23.8 - >
我与地坛
我与地坛
¥16.8¥28.0 - >
月亮与六便士
月亮与六便士
¥13.4¥42.0 - >
伯纳黛特,你要去哪(2021新版)
伯纳黛特,你要去哪(2021新版)
¥20.4¥49.8 - >
罗庸西南联大授课录
罗庸西南联大授课录
¥18.6¥32.0
本类畅销
-
中国哲学十讲
¥18.9¥49.8 -
思考的本质:杜威论逻辑思维
¥15.1¥39.8 -
纯粹现代形批判:黑格尔、海德格尔及其以后
¥9.3¥25 -
查拉图斯特拉如是说
¥27.9¥79.8 -
经学常谈
¥13.7¥36 -
线装经典:传习录
¥10.2¥26.8