《直觉主义逻辑的语义基础》 - 柯华庆著 - 上海三联书店 - 香港大書城

	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台(0)　\|　在線留言板　 \|　付款方式　 \|　運費計算　 \|　聯絡我們　 \|　幫助中心　\|　加入書簽
		會員登入新用戶登記

HOME

新書上架

暢銷書架

好書推介

2024年度TOP

臺灣用戶

品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心

服務：香港／台灣／澳門／海外

送貨：速遞／郵局／服務站

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

『簡體書』直觉主义逻辑的语义基础

書城自編碼： 2355929
分類：簡體書→大陸圖書→哲學/宗教→哲學
作者：柯华庆著
國際書號(ISBN)： 9787542646132
出版社：上海三联书店
出版日期： 2014-04-01

頁數/字數： 138页
書度/開本： 16开

售價：HK$ 83.2

我要買件

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

新書推薦：

《泛逻辑理论--统一智能理论的逻辑基础》
售價：HK$ 327.8

《戏舞霓裳：中国传统戏曲服饰制作技艺研究》
售價：HK$ 184.8

《丹漆随梦：中国美术馆藏漆画艺术展作品集》
售價：HK$ 528.0

《中国非遗文化探寻绘本——舞狮男仔》
售價：HK$ 38.5

《大唐开国录——唐高祖与唐太宗历史杜文玉著揭秘李渊、李世民权谋征伐，再现大唐开国风云》
售價：HK$ 107.8

《无人机摄影与摄像从新手到高手》
售價：HK$ 54.8

《电力算力网络：技术、应用与发展》
售價：HK$ 162.8

《文明交流互鉴：原始儒家与早期基督教生命伦理比较研究》
售價：HK$ 96.8

建議一齊購買：

HK$ 42.0
《再塑意识形态》

HK$ 51.8
《胡适：人生有何意义（读胡适文集，解人生谜题。随书附赠胡适丹》

HK$ 1977.8
《南怀瑾选集（典藏版）（套装共12册）》

HK$ 55.7
《生活的哲学：寻找人生意义的12堂哲学课》

HK$ 145.4
《叔本华传》

編輯推薦：

《直觉主义逻辑的语义基础》由柯华庆著，从已建立的直觉主义数学观、HQC的完全语义解释和数学命题的真值性等多角度论证了直觉主义逻辑应该是可构造理论的逻辑，而并非是构造性理论的逻辑。本书证明了HQC中的构造概念是建立在Brouwer第二阶段的直觉、构造概念和无穷观基础上，是最广泛的构造概念，HQC仅仅是一种广义的认知逻辑，是科学家实际使用着的逻辑，由于对构造概念和有效证明可以有更严格的要求，在不同构造概念之下的逻辑系统是不同的，从而为其他几种所谓直觉主义逻辑的合理性作出了辩护。

內容簡介：

在Cantor和Posy的基础上提出实无穷与潜无穷在本体论和认识论上的分野，直觉主义将无穷问题从本体论转到认识论。
指出Brouwer思想发展的两个阶段对于理解直觉主义一系列概念至关重要。分析了这两个阶段里直觉、构造概念和无穷观所发生的重大变化。
详细分析了自然数概念的构造性、递归函数类及其与ω-规则的关系，指出Brouwer的基本观念是非有穷的序列只有在能构造、能直觉时才能成为数学的对象，从直觉主义角度解决了ω-规则等问题。
从直觉主义数学观、和数学命题的真值性等多角度证明了直觉主义逻辑应该是可构造理论的逻辑，而并非他们自己所宣称的是构造性理论的逻辑，从HQC的不完全语义和完全语义解释证明了HOC事实上是最弱的可构造理论的逻辑。

關於作者：

柯华庆，江西彭泽县人，现为中国政法大学法学院教授、博士生导师。1986年毕业于彭泽一中，1989年毕业于九江学院数学系，1997年入中山大学哲学系攻读科学哲学专业硕士研究生，1999年硕博连读逻辑学专业博士研究生.2002年获得博士学位，是中山大学逻辑与认知哲学研究所第一位博士。曾经在中国社会科学院法学研究所和康奈尔大学法学院从事博士后研究和访学于斯坦福大学法学院。创立并主持法律经济学网，传播科斯的法律经济学理念，提倡实效主义和改良主义。以“理性之思想，自主之精神”为座右铭，探索各种有趣的理论问题，偶有所得。著有《直觉主义逻辑的语义基础》、《第三次变革》、《实效主义》和《合同法基本原则的博弈分析》，译有《法律的经济分析》、《美国实用工具主义法学》和《博弈论导引及其应用》。即将出版专著《论共同自由》和《科斯方法论》。

摘要
答辩词
导论：竞争的直觉主义逻辑纲领
第1章直觉主义的数学观
1.1区分各种构造主义
1.2直觉主义为什么选择数学直觉作为数学的基础？
1.3直觉主义两个阶段的划分
1.4直觉主义第一阶段的直觉、构造和无穷
1.5直觉主义第二阶段的直觉、构造和无穷
1.6自然数序列、自然数的无穷序列与ω-规则
1.7直觉主义的无穷观重构
1.8直觉主义、排中律、真值性及决定论
第2章直觉主义逻辑的不完全语义
2.1直觉主义数学与逻辑的关系
2.2HQC的证明论语义
2.3Hoc中的构造性概念
第3章直觉主义逻辑的完全语义
3.1Dalen语义、Beth语义和Kripke语义
3.2拓扑和代数解释
第4章构造性理论与可构造的理论
4.1构造性理论与可构造的理论之分
4.2HQC与经典逻辑的关系
4.3HQC是认知逻辑
第5章否定词与五个直觉主义逻辑纲领
5.1直觉主义逻辑中的否定词存在的可能性
5.2从ELMQ看Hoc的否定词
5.3否定词规则：语法规则还是逻辑规则？
5.4HQC中两条公理的合理性问题
5.5排序的直觉主义逻辑纲领
结语：无穷的探索
注释
参考文献
附录1：HQC的基本特征
附录2：直觉主义连续统
附录3：非构造对象与非构造证明举例
附录4：递归函数
附录5：ELMQ
附录6：符号说明
附录7：译名对照
后记

書城介紹　 \|　合作申請　\|　索要書目　 \|　新手入門　\|　聯絡方式　 \|　幫助中心　\|　找書說明　 \|　送貨方式　\|　付款方式	香港用户　 \|　台灣用户　\|　海外用户

	megBook.com.hk
Copyright © 2013 - 2025 （香港）大書城有限公司　 All Rights Reserved.