公理化真理论研究
①全新正版，现货速发，7天无理由退换货②天津、成都、无锡、广东等多仓就近发货，订单最迟48小时内发出③无法指定快递④可开电子发票，不清楚的请咨询客服。
￥ 55.4 5.7折 ￥ 98 全新
库存11件
湖北武汉
认证卖家担保交易快速发货售后保障
作者李娜, 李晟著
出版社北京师范大学出版社
ISBN9787303289547
出版时间2023-05
装帧精装
开本其他
定价98元
货号4424587
上书时间2024-12-20
- 在售商品 暂无
- 平均发货时间 17小时
- 好评率 暂无
商品详情
- 品相描述：全新
- 商品描述
-
作者简介
李娜 女，1958年生，河南开封市人。研究方向：现代逻辑。巾同逻辑学会会员。1978年至1982年在河南大学数学系学习，获理学学士学位。1986至1989年在巾国科学院软件研究所学习，获理学硕士学位。现任南开大学哲学院逻辑教研室教授、博十生导师。主持多项省级或重量社会科学研究项目；出版《数理逻辑的思想与方法》、《集合论含有原子的自然模型和布尔值模型》等学术专著，发表《GB的布尔值模型》等多篇学术论文；获得 人文礼会科学优秀成果二等奖1次、三等奖1次。
目录
本书的目的是为了介绍、完善和丰富公理化真理论的成果。全书内容从三个方面进行: 第一个方面: 以寻求能够避免说谎者悖论及其变体的“理想真理论”为线索, 对以一阶逻辑和皮亚诺算术为基础理论的经典公理化真理论的基本理论和研究框架进行概述。第二个方面: 减弱经典公理化真理论的基础理论, 将一阶逻辑减弱为直觉主义逻辑, 系统地研究基于直觉主义逻辑的公理化真理论。第三个方面: 加强经典公理化真理论的基础理论, 将皮亚诺算术加强为集合论, 系统地研究基于集合论的公理化真理论。
内容摘要
本书的目的是为了介绍、完善和丰富公理化真理论的成果。全书内容从三个方面进行：第一个方面：以寻求能够避免说谎者悖论及其变体的“理想真理论”为线索，对以一阶逻辑和皮亚诺算术为基础理论的经典公理化真理论的基本理论和研究框架进行概述。第二个方面：减弱经典公理化真理论的基础理论，将一阶逻辑减弱为直觉主义逻辑，系统地研究基于直觉主义逻辑的公理化真理论。第三个方面：加强经典公理化真理论的基础理论，将皮亚诺算术加强为集合论，系统地研究基于集合论的公理化真理论。
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价