定 价:128 元
丛书名:应用逻辑与逻辑应用研究前沿译丛/杜国平主编
- 作者:(德)沃尔克·哈尔巴赫著;邵强进等译
- 出版时间:2021/3/1
- ISBN:9787030682949
- 出 版 社:科学出版社
- 中图法分类:B81
- 页码:332
- 纸张:
- 版次:31
- 开本:B5
本书用公理化方法研究哲学的核心概念“真”,即将真视为一个不通过其他概念来定义的初始概念,通过一组公理与规则研究真的演绎系统,及其相关的结果。全书分为四个部分,第一部分是基础,简述了一些数学上预备性的记号约定,并概述了研究公理化真理论的某些动机。第二、三部分分别是类型化的真理和类型自由的真理,给出了公理化真理论及与之相关的结果。第四部分是真理之路,主要评估公理化真理论形式结果的哲学含义。
更多科学出版社服务,请扫码获取。
ftp://124.17.26.93/curved-toc/9787030682949-curvedToc.pdf