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

定　價(jià)：￥32.00

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

購買這本書可以去

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

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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