数理逻辑的思想和方法(日月光华·哲学书系)

图书标准信息

• 作者 昂扬 编著，林胜强、李晟 修订
• 出版社 上海人民出版社
• 出版时间 2023
• 版次 1
• ISBN 9787208187207
• 定价 98.00元
• 装帧 平装
• 开本 16开
• 页数 268页
• 字数 213千字

【内容简介】

本书是一本面向逻辑学专业的逻辑学教材，适用于文科哲学、语言学、数学、思政、管理学等专业本科生、。本书系统地阐述了从莱布尼茨到哥德尔的数理逻辑的思想和方法：不仅介绍了构造命题逻辑、谓词逻辑的公理系统、自然推理系统以及系统内定理的作规则和等思想的形式化方法，同时也进一步探讨了这些形式化方法所包含的生动活泼的思想（这是本书的鲜明特），便于人们“徜徉”数理逻辑“秀山丽水”的本质与全貌。

【作者简介】

:
昂扬，1939年2月生。1965年由复旦大学数学系毕业，留校至哲学系任教。出版著作《数理逻辑的思想和方法》（1991），《普通逻辑考试学引论》（合著，1996），代表性论文有《论逻辑的本真及逻辑的方法》《论逻辑思维功能》《符号逻辑是研究传统逻辑的有力工具》等。1994年被评为复旦大学哲学系数理逻辑副教授。此后逻辑学之旅又走了二十四年（2018年收尾），数理逻辑的教学、研究、讲座之路越走越宽，越走越有味。

【目录】

章 数理逻辑与人工语言//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