直覺(jué)主義邏輯的語(yǔ)義基礎(chǔ)

定　價(jià)：￥32.00

作　者：	柯華慶著
出版社：	上海三聯(lián)書(shū)店
叢編項(xiàng)：
標(biāo)　簽：	邏輯學(xué) 哲學(xué)/宗教

購(gòu)買(mǎi)這本書(shū)可以去

ISBN：	9787542646132	出版時(shí)間：	2014-04-01	包裝：	平裝
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：	138	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　在Cantor和Posy的基礎(chǔ)上提出實(shí)無(wú)窮與潛無(wú)窮在本體論和認(rèn)識(shí)論上的分野，直覺(jué)主義將無(wú)窮問(wèn)題從本體論轉(zhuǎn)到認(rèn)識(shí)論。指出Brouwer思想發(fā)展的兩個(gè)階段對(duì)于理解直覺(jué)主義一系列概念至關(guān)重要。分析了這兩個(gè)階段里直覺(jué)、構(gòu)造概念和無(wú)窮觀所發(fā)生的重大變化。詳細(xì)分析了自然數(shù)概念的構(gòu)造性、遞歸函數(shù)類(lèi)及其與ω-規(guī)則的關(guān)系，指出Brouwer的基本觀念是非有窮的序列只有在能構(gòu)造、能直覺(jué)時(shí)才能成為數(shù)學(xué)的對(duì)象，從直覺(jué)主義角度解決了ω-規(guī)則等問(wèn)題。從直覺(jué)主義數(shù)學(xué)觀、和數(shù)學(xué)命題的真值性等多角度證明了直覺(jué)主義邏輯應(yīng)該是可構(gòu)造理論的邏輯，而并非他們自己所宣稱(chēng)的是構(gòu)造性理論的邏輯，從HQC的不完全語(yǔ)義和完全語(yǔ)義解釋證明了HOC事實(shí)上是最弱的可構(gòu)造理論的邏輯。

作者簡(jiǎn)介

　　柯華慶，江西彭澤縣人，現(xiàn)為中國(guó)政法大學(xué)法學(xué)院教授、博士生導(dǎo)師。1986年畢業(yè)于彭澤一中，1989年畢業(yè)于九江學(xué)院數(shù)學(xué)系，1997年入中山大學(xué)哲學(xué)系攻讀科學(xué)哲學(xué)專(zhuān)業(yè)碩士研究生，1999年碩博連讀邏輯學(xué)專(zhuān)業(yè)博士研究生.2002年獲得博士學(xué)位，是中山大學(xué)邏輯與認(rèn)知哲學(xué)研究所第一位博士。曾經(jīng)在中國(guó)社會(huì)科學(xué)院法學(xué)研究所和康奈爾大學(xué)法學(xué)院從事博士后研究和訪學(xué)于斯坦福大學(xué)法學(xué)院。創(chuàng)立并主持法律經(jīng)濟(jì)學(xué)網(wǎng)，傳播科斯的法律經(jīng)濟(jì)學(xué)理念，提倡實(shí)效主義和改良主義。以“理性之思想，自主之精神”為座右銘，探索各種有趣的理論問(wèn)題，偶有所得。著有《直覺(jué)主義邏輯的語(yǔ)義基礎(chǔ)》、《第三次變革》、《實(shí)效主義》和《合同法基本原則的博弈分析》，譯有《法律的經(jīng)濟(jì)分析》、《美國(guó)實(shí)用工具主義法學(xué)》和《博弈論導(dǎo)引及其應(yīng)用》。即將出版專(zhuān)著《論共同自由》和《科斯方法論》。

圖書(shū)目錄

摘要
答辯詞
導(dǎo)論：競(jìng)爭(zhēng)的直覺(jué)主義邏輯綱領(lǐng)
第1章直覺(jué)主義的數(shù)學(xué)觀
1.1 區(qū)分各種構(gòu)造主義
1.2 直覺(jué)主義為什么選擇數(shù)學(xué)直覺(jué)作為數(shù)學(xué)的基礎(chǔ)？
1.3 直覺(jué)主義兩個(gè)階段的劃分
1.4 直覺(jué)主義第一階段的直覺(jué)、構(gòu)造和無(wú)窮
1.5 直覺(jué)主義第二階段的直覺(jué)、構(gòu)造和無(wú)窮
1.6 自然數(shù)序列、自然數(shù)的無(wú)窮序列與ω-規(guī)則
1.7 直覺(jué)主義的無(wú)窮觀重構(gòu)
1.8 直覺(jué)主義、排中律、真值性及決定論
第2章直覺(jué)主義邏輯的不完全語(yǔ)義
2.1 直覺(jué)主義數(shù)學(xué)與邏輯的關(guān)系
2.2 HQC的證明論語(yǔ)義
2.3 Hoc中的構(gòu)造性概念
第3章直覺(jué)主義邏輯的完全語(yǔ)義
3.1 Dalen語(yǔ)義、Beth語(yǔ)義和Kripke語(yǔ)義
3.2 拓?fù)浜痛鷶?shù)解釋
第4章構(gòu)造性理論與可構(gòu)造的理論
4.1 構(gòu)造性理論與可構(gòu)造的理論之分
4.2 HQC與經(jīng)典邏輯的關(guān)系
4.3 HQC是認(rèn)知邏輯
第5章否定詞與五個(gè)直覺(jué)主義邏輯綱領(lǐng)
5.1 直覺(jué)主義邏輯中的否定詞存在的可能性
5.2 從ELMQ看Hoc的否定詞
5.3 否定詞規(guī)則：語(yǔ)法規(guī)則還是邏輯規(guī)則？
5.4 HQC中兩條公理的合理性問(wèn)題
5.5 排序的直覺(jué)主義邏輯綱領(lǐng)
結(jié)語(yǔ)：無(wú)窮的探索
注釋
參考文獻(xiàn)
附錄1：HQC的基本特征
附錄2：直覺(jué)主義連續(xù)統(tǒng)
附錄3：非構(gòu)造對(duì)象與非構(gòu)造證明舉例
附錄4：遞歸函數(shù)
附錄5：ELMQ
附錄6：符號(hào)說(shuō)明
附錄7：譯名對(duì)照
后記