登入帳戶  | 訂單查詢  | 購物車/收銀台(0) | 在線留言板  | 付款方式  | 運費計算  | 聯絡我們  | 幫助中心 |  加入書簽
會員登入 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種:超過100萬種各類書籍/音像和精品,正品正價,放心網購,悭钱省心 服務:香港台灣澳門海外 送貨:速遞郵局服務站

新書上架簡體書 繁體書
暢銷書架簡體書 繁體書
好書推介簡體書 繁體書

十月出版:大陸書 台灣書
九月出版:大陸書 台灣書
八月出版:大陸書 台灣書
七月出版:大陸書 台灣書
六月出版:大陸書 台灣書
五月出版:大陸書 台灣書
四月出版:大陸書 台灣書
三月出版:大陸書 台灣書
二月出版:大陸書 台灣書
一月出版:大陸書 台灣書
12月出版:大陸書 台灣書
11月出版:大陸書 台灣書
十月出版:大陸書 台灣書
九月出版:大陸書 台灣書
八月出版:大陸書 台灣書

『簡體書』塔斯基定理与真理论悖论

書城自編碼: 2269832
分類:簡體書→大陸圖書→自然科學數學
作者: 熊明 著
國際書號(ISBN): 9787030401243
出版社: 科学出版社
出版日期: 2014-05-01
版次: 1 印次: 1
頁數/字數: 160/152000
書度/開本: 16开 釘裝: 平装

售價:HK$ 169.0

我要買

 

** 我創建的書架 **
未登入.


新書推薦:
唐代冠服图志(百余幅手绘插画 图解唐代各类冠服 涵盖帝后 群臣 女官 士庶 军卫等 展现唐代社会风貌)
《 唐代冠服图志(百余幅手绘插画 图解唐代各类冠服 涵盖帝后 群臣 女官 士庶 军卫等 展现唐代社会风貌) 》

售價:HK$ 87.4
知宋·宋代之科举
《 知宋·宋代之科举 》

售價:HK$ 99.7
那本书是(吉竹伸介与又吉直树 天才联动!)
《 那本书是(吉竹伸介与又吉直树 天才联动!) 》

售價:HK$ 99.7
传播的跃迁:人工智能如何革新人类的交流
《 传播的跃迁:人工智能如何革新人类的交流 》

售價:HK$ 110.9
纯粹·古代中国的历史与制度
《 纯粹·古代中国的历史与制度 》

售價:HK$ 62.7
生活来来往往  别等来日方长 新版(伍佰:“讲好了这一辈子,再度重相逢。”别等,别遗憾!珍惜当下才是最好的解药)
《 生活来来往往 别等来日方长 新版(伍佰:“讲好了这一辈子,再度重相逢。”别等,别遗憾!珍惜当下才是最好的解药) 》

售價:HK$ 58.2
一个英国军事顾问眼中的二战
《 一个英国军事顾问眼中的二战 》

售價:HK$ 277.8
就业、利息和货币通论(徐毓枬译本)(经济学名著译丛)
《 就业、利息和货币通论(徐毓枬译本)(经济学名著译丛) 》

售價:HK$ 67.2

 

建議一齊購買:

+

HK$ 98.8
《不等式的秘密(第二卷)》
+

HK$ 257.4
《矩阵计算(英文版·第4版)》
+

HK$ 182.9
《MSC.Nastran动力分析指南(赠1CD)(万水MSC技》
+

HK$ 191.8
《线性代数》
內容簡介:
关于说谎者及其相关真理论悖论的研究始于古希 腊时代,之后相关理论层出不穷,但至今仍无定论, 相关研究仍是当今逻辑研究的一大热点。《塔斯基定 理与真理论悖论》梳理了塔斯基、克里普克、赫茨伯 格、古普塔等人的真理论的基本内容,并通过分析其 理论对真谓词的处理概括出真谓词在可能世界上的一 种模式,进而给出了塔斯基定理的一系列的推广。主 要探讨在对真谓词进行定义时所可能产生的悖论问题 ,基本目标是应用符号逻辑理论对这些悖论进行刻画 ,从而明确定义真谓词所需的条件。
《塔斯基定理与真理论悖论》适合逻辑学、哲学 等及相关专业的读者参阅。本书由熊明著。
目錄
序张羿
前言
第一章 导论
§1.1 真理论悖论
§1.2 塔斯基定理非形式的表述
§1.3 框架与循环
第二章 塔斯基定理及其后续
§2.1 塔斯基定理
2.1.1 带T谓词的形式算术语言
2.1.2 塔斯基定理与语言层次理论
§2.2 归纳构造理论
2.2.1 真值空缺和跳跃算子
2.2.2 不动点定理
§2.3 修正理论
2.3.1 修正序列
2.3.2 巨环与稳定性
§2.4 相对化T-模式
2.4.1 T-模式的相对化
2.4.2 塔斯基定理的推广
第三章 真理论悖论的刻画和比较
§3.1 说谎者悖论的刻画
3.1.1 塔斯基定理与说谎者悖论
3.1.2 相对矛盾性
§3.2 说谎者悖论与佐丹卡片悖论的比较
3.2.1 矛盾程度的强弱
3.2.2 框架的N4-着色
§3.3 卡片悖论的刻画与比较
3.3.1 卡片序列的推广及其分类
3.3.2 框架的N2-着色
3.3.3 塔斯基定理与卡片序列
§3.4 亚布洛悖论的刻画
3.4.1 亚布洛序列及其自指性
3.4.2 亚布洛序列的循环性
第四章 悖论、自指与循环
§4.1 语句网与悖论
4.1.1 语句网
4.1.2 再论悖论
§4.2 悖论与自指
4.2.1 直接自指与间接自指
4.2.2 有穷悖论的自指性
§4.3 悖论与循环
4.3.1 循环依赖性
4.3.2 有穷悖论的循环性
§4.4 隐定义的悖论
4.4.1 跳跃说谎者悖论
4.4.2 悖论的可定义性
参考文献
符号
索引

 

 

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