登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　聯絡我們　 |　運費計算　 |　幫助中心　|　 加入書簽
	全部範圍 - 圖書 - 　- 中文簡體書(大陸書) - 　- 英文書（原版） - - 音碟 - 　- 音樂 - 　- 影視 - - 雜誌 - 全文 精確	會員登入   新用戶註冊

HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類閱讀雜誌

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / 物流，時效：出貨後2-4日

新書推薦： 《 银行业架构网络BIAN（全球数字化时代金融服务业框架）（数字化转型与创新管理丛书） 》 售價：NT$ 449.0 《 金托邦：江湖中的沉重正义 》 售價：NT$ 275.0 《 易经今解：释疑·解惑·见微 》 售價：NT$ 403.0 《 东欧史（全二册）-“中间地带”的困境 》 售價：NT$ 1010.0 《 虚拟资本：金融怎样挪用我们的未来 》 售價：NT$ 352.0 《 刻意练习不生气 》 售價：NT$ 179.0 《 大宋理财：青苗法与王安石的金融帝国（全彩插图本） 》 售價：NT$ 500.0 《 安全感是内心长出的盔甲 》 售價：NT$ 305.0

內容簡介： 《真之公理化理论》用公理化方法研究哲学的核心概念真，即将真视为一个不通过其他概念来定义的初始概念，通过一组公理与规则研究真的演绎系统，及其相关的结果。《真之公理化理论》分为四个部分，第一部分是基础，简述了一些数学上预备性的记号约定，并概述了研究公理化真理论的某些动机。第二、三部分分别是类型化的真理和类型自由的真理，给出了公理化真理论及与之相关的结果。第四部分是真理之路，主要评估公理化真理论形式结果的哲学含义。 目錄： 目录 丛书序 前言 **部分 基 础 第1章 定义化和公理化的真理论 3 第2章 真之对象 8 第3章 塔斯基 13 第4章 真与集合论 21 4.1 定义与公理化 21 4.2 悖论和分类 22 第5章 技术准备 25 5.1 皮亚诺算术 25 5.2 真与满足 30 5.3 翻译和递归定理 31 第6章 比较不同的公理化真理论 34 第二部分 类型化的真理 第7章 去引号 43 第8章 经典组合真理论 52 8.1 组合真理论的保守性 56 8.2 保守性和模型论 57 8.3 非标准模型 58 8.4 拉克伦定理 63 8.5 满足类和公理化的真理论 72 8.6 组合真与初等总括 75 8.7 肯定的真 88 第9章 分层 95 9.1 塔斯基分层的公理化 96 9.2 非良基的分层 100 第三部分 类型自由的真理 第10章 类型化的和类型自由的真理论 111 第11章 拒斥类型化的理由 116 第12章 公理与规则 119 第13章 类型自由的真之公理 122 第14章 古典的对称性公理 129 14.1 弗里德曼希尔德理论和修正语义学 132 14.2 弗里德曼希尔德理论的证明理论 144 14.3 弗里德曼希尔德公理化 154 14.4 通过反射表达必然化 157 14.5 缺乏满足 161 第15章 克里普克费弗曼 164 15.1 不动点语义学 171 15.2 完全性和一致性 180 15.3 克里普克费弗曼系统的证明论 186 15.4 扩展 194 第16章 在局域逻辑中公理化克里普克的理论 197 16.1 局域的克里普克费弗曼 200 16.2 关于局域的克里普克费弗曼的证明论分析 211 第17章 被奠基的真 224 第18章 替代性评价模式 230 第19章 类型自由的去引号系统 234 19.1 去引号语句的**一致集 234 19.2 去引号语句的**保守集 239 19.3 肯定去引号 240 19.4 肯定去引号的语义学 243 19.5 肯定去引号的证明论 245 第四部分 真 理 之 路 第20章 经典逻辑 255 20.1 非经典逻辑的代价 257 20.2 克里普克费弗曼理论的内在逻辑 259 20.3 非经典逻辑的表达力 264 20.4 包含非经典逻辑 266 第21章 紧缩论 269 21.1 去引号论 269 21.2 保守性 274 第22章 反射 282 22.1 反射原理 282 22.2 反射封闭 285 第23章 本体论还原 288 第24章 应用真理论 291 24.1 自然语言中的真 291 24.2 扩展模式 293 参考文献 298 系统索引 310 索引 312 译后记（一） 317 译后记（二） 318

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式	台灣用户　|　香港/海外用户
megBook.com.tw
Copyright (C) 2013 - 2024 （香港）大書城有限公司　All Rights Reserved.