柯華慶,1969年12月1日生,江西彭澤縣人,現為中國政法大學法學院教授、博士生導師。中山大學哲學博士,中國社會科學院法學研究所和康奈爾大學法學院博士後,斯坦福大學法學院訪問學者。以“理性之思想,自主之精神”為座右銘,探索有趣的理論問題,偶有所得。著有專著《論共同自由》、《第三次變革》、《實效主義》和《閤同法基本原則的博弈分析》,《直覺主義邏輯的語義基礎》;論文《中國學者:從經學到科學》,《理性之思想 自主之精神》等。譯有《法律的經濟分析》、《美國實用工具主義法學》和《博弈論導引及其應用》。
在Cantor和Posy的基礎上提齣實無窮與潛無窮在本體論和認識論上的分野,直覺主義將無窮問題從本體論轉到認識論。
指齣Brouwer思想發展的兩個階段對於理解直覺主義一係列概念至關重要。分析瞭這兩個階段裏直覺、構造概念和無窮觀所發生的重大變化。
詳細分析瞭自然數概念的構造性、遞歸函數類及其與ω-規則的關係,指齣Brouwer的基本觀念是非有窮的序列隻有在能構造、能直覺時纔能成為數學的對象,從直覺主義角度解決瞭ω-規則等問題。
從直覺主義數學觀、和數學命題的真值性等多角度證明瞭直覺主義邏輯應該是可構造理論的邏輯,而並非他們自己所宣稱的是構造性理論的邏輯,從HQC的不完全語義和完全語義解釋證明瞭HOC事實上是最弱的可構造理論的邏輯。
發表於2024-12-23
直覺主義邏輯的語義基礎 2024 pdf epub mobi 電子書 下載
圖書標籤: 拿來墊桌腳都嫌髒。 現代傻逼學研究原理材料 就是為瞭打一星,其實誰真的花錢買這玩意看啊 一星運動 精分
@2019-12-15 14:07:39
評分屮你媽的
評分他居然還是邏輯學博士,真讓我感到羞恥
評分隊形整齊
評分屮你媽的
直覺主義邏輯的語義基礎 2024 pdf epub mobi 電子書 下載