2025最新国产精品一区,漂亮人妻洗澡被公强韩国

內容簡介

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

作者簡介

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

圖書目錄

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