书目

直觉主义逻辑的语义基础

内容简介

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

作者简介

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

目录

—  END  —