《數學、邏輯與哲學》是現代鄭毓信、林曾編著的一部哲學著作。
基本介紹
- 作品名稱:數學、邏輯與哲學
- 作者:鄭毓信、林曾
- 創作年代:現代
- 類別:哲學
- 出版社:湖北人民出版社
《數學、邏輯與哲學》是現代鄭毓信、林曾編著的一部哲學著作。
《數學、邏輯與哲學》是現代鄭毓信、林曾編著的一部哲學著作。內容簡介這是一部探討數學和邏輯與哲學關係的理論專著,作者認為,數學和邏輯學是與哲學有著密切聯繫的兩門學科,在歷史上,有不少哲學家曾以數學作為自己的論證工具或從數學...
三大數學流派是圍繞數學的哲學基礎問題進行的不同探討而形成的三大學派,主要指邏輯主義、形式主義和直覺主義三大學派。其形成主要是在1900年到1930年這三十年間。代表人物有羅素、希爾伯特、布勞威爾。簡介 十九世紀下半葉,康托爾創立了...
《當代數學哲學與邏輯哲學入門》是現代桂起權編著的一部哲學著作。內容簡介 本書是一本學習數學哲學和邏輯哲學的入門書《真善美叢書》之一。全書由數學哲學和邏輯哲學兩編組成。數學哲學由導論,幾何的起源、邏輯特徵和幾何知識的本性,幾何...
邏輯學有廣義和狹義之分。狹義的邏輯學指:研究推理的科學,即只研究如何從前提必然推出結論的科學。廣義的邏輯學指:研究思維形式,思維規律和思維的邏輯方法的科學。廣義邏輯學研究的範圍比較大,是一種傳統的認識,與哲學研究有很大關係...
邏輯學是一門普通高等學校本科專業,屬哲學類專業,基本修業年限為四年,授予哲學學士學位,是研究思維形式及思維規律的專業。該專業學生主要學習邏輯學、數學、計算機科學和哲學方面的基本理論和基礎知識,受到公理化方法、形式化方法和語義...
現代數學哲學的研究內容包括:數學基礎的研究,形成羅素的邏輯主義、布勞爾的直覺主義和希爾伯特的形式主義等流派;數學悖論的研究,探討悖論的排除及徹底解決的可能性;數學本體論的研究,探討數學的研究對象是否為客觀的真實的存在;數學真理...
傳統上,邏輯被作為哲學的一個分支來研究。自從19世紀中期,邏輯經常在數學和計算機科學中被研究。邏輯的範圍非常廣闊,從核心主題如對謬論和悖論的研究,到專門的推理分析如或然正確的推理和涉及因果關係的論證。在中國古代,邏輯學又被稱...
在結尾部分,羅素轉向關於數學哲學及其與邏輯和經驗知識的關係的一般問題。數學,以前定義為量的科學,不能再這樣定義了。許多幾何學的分支不處理量的問題,甚至算術,通常認為是研究數的,也致力於更基本的一對一的關係和類之間的相似關...
數理邏輯與數學哲學 《數理邏輯與數學哲學》是武漢大學出版社出版的圖書,作者是(瑞士)J.M.波亨斯基,(美)H.B柯里
19世紀以前,經驗主義數學哲學觀點十分盛行,這種觀點認為,數學的真理性是被說明的,而這種說明又是通過“歸納法”建築在“經驗”的基礎上。19世紀非歐幾何等純數學的發展使數學越來越遠離經驗主義的軌道。20世紀初,邏輯主義、形式主義和...
此後的數理邏輯越來越陷入高度的技術化與專業化,並漸漸淡出公眾、哲學家甚至其他領域數學家的視野。然而,無論是數學基礎問題還是一般的哲學問題都仍然呼喚著哲學與邏輯的再度攜手。本書試圖將經過演變與發展的數理邏輯與哲學重新介紹給對方...
”,“數學的基礎是什麼?”,“數學是否和諧?”等等一些數學上的根本問題的學科。對於直覺主義、邏輯主義和形式主義的異同,可以追溯到近代哲學家康德對數學本質的思考。康德認為算術來自先驗主體對時間純形式的直觀,幾何則是對空間純形式...
1903年,英國哲學家、邏輯學家、數學家羅素卻對集合論提出了以他名字命名的“羅素悖論”,這個悖論的提出幾乎動搖了整個數學基礎。羅素悖論中有許多例子,其中一個很通俗也很有名的例子就是“理髮師悖論”:某鄉村有一位理髮師,有一天...
邏輯主義邏輯學派是數理邏輯和數學基礎研究中的一種學派,主要代表是英國的哲學家、數學家羅素。他認為所有數學概念都可以歸結為算術的概念,而算術的概念可以由邏輯概念來定義。數理邏輯和數學基礎研究中的一種學派,主要代表是英國的羅素。
20世紀初, 在邏輯和數學中發現了許多悖論, 包括羅素本人所發現的悖論(後被稱為羅素悖論) 。這些悖論動搖了數學的基礎, 史稱第三次數學危機。為了解決悖論, 並實現邏輯主義論題, 羅素提出了邏輯類型論。羅素在1903年出版的《數學的原則...