ISBN/价格: | 978-7-03-068294-9:CNY128.00 |
ISBN/价格: | 978-7-03-068294-9:CNY128.00 |
题名: | 真之公理化理论 |
作品语种: | chi ger |
作品语种: | chi ger |
出版国别: | CN 110000 |
出版国别: | CN 110000 |
题名责任者项: | 真之公理化理论/.(德)沃尔克·哈尔巴赫(Volker Halbach)著/.邵强进[等]译 |
题名责任者项: | 真之公理化理论/.(德)沃尔克·哈尔巴赫(Volker Halbach)著/.邵强进[等]译 |
出版发行项: | 北京:,科学出版社:,2021 |
出版发行项: | 北京:,科学出版社:,2021 |
载体形态项: | 316页:;+24cm |
载体形态项: | 316页:;+24cm |
丛编项: | 应用逻辑与逻辑应用研究前沿译丛 |
丛编项: | 应用逻辑与逻辑应用研究前沿译丛 |
提要文摘: | 本书分为四个部分,第一部分是基础,简述了一些数学上预备性的记号约定,并概述了研究公理化真理论的某些动机。第二、三部分分别是类型化的真理和类型自由的真理,给出了公理化真理论及与之相关的结果,第四部分是真理之路,主要评估公理化真理论形式结果的哲学含义。 |
提要文摘: | 本书分为四个部分,第一部分是基础,简述了一些数学上预备性的记号约定,并概述了研究公理化真理论的某些动机。第二、三部分分别是类型化的真理和类型自由的真理,给出了公理化真理论及与之相关的结果,第四部分是真理之路,主要评估公理化真理论形式结果的哲学含义。 |
并列题名: | Axiomatic theories of truth eng |
并列题名: | Axiomatic theories of truth eng |
题名主题: | 逻辑学 研究 |
题名主题: | 逻辑学 研究 |
中图分类: | B81 |
中图分类: | B81 |
个人名称等同: | 哈尔巴赫 (德) (Halbach, Volker) 著 |
个人名称等同: | 哈尔巴赫 (德) (Halbach, Volker) 著 |
个人名称次要: | 邵强进 译 |
个人名称次要: | 邵强进 译 |
记录来源: | CN BKBB 20230202 |
记录来源: | CN BKBB 20230202 |