注冊 | 登錄讀書好，好讀書，讀好書！
讀書網(wǎng)-DuShu.com
當(dāng)前位置： 首頁出版圖書人文社科哲學(xué)邏輯學(xué)（論理學(xué)）直覺主義邏輯的語義基礎(chǔ)

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

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

定　價：￥32.00

作　者： 柯華慶 著
出版社： 上海三聯(lián)書店
叢編項：
標(biāo)　簽： 邏輯學(xué) 哲學(xué)/宗教
ISBN： 9787542646132 出版時間： 2014-04-01 包裝： 平裝
開本： 16開 頁數(shù)： 138 字數(shù)：  

內(nèi)容簡介

　　在Cantor和Posy的基礎(chǔ)上提出實無窮與潛無窮在本體論和認識論上的分野，直覺主義將無窮問題從本體論轉(zhuǎn)到認識論。指出Brouwer思想發(fā)展的兩個階段對于理解直覺主義一系列概念至關(guān)重要。分析了這兩個階段里直覺、構(gòu)造概念和無窮觀所發(fā)生的重大變化。詳細分析了自然數(shù)概念的構(gòu)造性、遞歸函數(shù)類及其與ω-規(guī)則的關(guān)系，指出Brouwer的基本觀念是非有窮的序列只有在能構(gòu)造、能直覺時才能成為數(shù)學(xué)的對象，從直覺主義角度解決了ω-規(guī)則等問題。從直覺主義數(shù)學(xué)觀、和數(shù)學(xué)命題的真值性等多角度證明了直覺主義邏輯應(yīng)該是可構(gòu)造理論的邏輯，而并非他們自己所宣稱的是構(gòu)造性理論的邏輯，從HQC的不完全語義和完全語義解釋證明了HOC事實上是最弱的可構(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é)邏輯與認知哲學(xué)研究所第一位博士。曾經(jīng)在中國社會科學(xué)院法學(xué)研究所和康奈爾大學(xué)法學(xué)院從事博士后研究和訪學(xué)于斯坦福大學(xué)法學(xué)院。創(chuàng)立并主持法律經(jīng)濟學(xué)網(wǎng)，傳播科斯的法律經(jīng)濟學(xué)理念，提倡實效主義和改良主義。以“理性之思想，自主之精神”為座右銘，探索各種有趣的理論問題，偶有所得。著有《直覺主義邏輯的語義基礎(chǔ)》、《第三次變革》、《實效主義》和《合同法基本原則的博弈分析》，譯有《法律的經(jīng)濟分析》、《美國實用工具主義法學(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 直覺主義兩個階段的劃分
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 拓撲和代數(shù)解釋
第4章 構(gòu)造性理論與可構(gòu)造的理論
4.1 構(gòu)造性理論與可構(gòu)造的理論之分
4.2 HQC與經(jīng)典邏輯的關(guān)系
4.3 HQC是認知邏輯
第5章 否定詞與五個直覺主義邏輯綱領(lǐng)
5.1 直覺主義邏輯中的否定詞存在的可能性
5.2 從ELMQ看Hoc的否定詞
5.3 否定詞規(guī)則：語法規(guī)則還是邏輯規(guī)則？
5.4 HQC中兩條公理的合理性問題
5.5 排序的直覺主義邏輯綱領(lǐng)
結(jié)語：無窮的探索
注釋
參考文獻
附錄1：HQC的基本特征
附錄2：直覺主義連續(xù)統(tǒng)
附錄3：非構(gòu)造對象與非構(gòu)造證明舉例
附錄4：遞歸函數(shù)
附錄5：ELMQ
附錄6：符號說明
附錄7：譯名對照
后記

本目錄推薦

掃描二維碼
Copyright ? 讀書網(wǎng) www.afriseller.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號 鄂公網(wǎng)安備 42010302001612號