集合論
- 實在論視角下的大基數(shù)
= κ。是當代集合論研究中的一個重要領域。對大基數(shù)的研究開始于豪斯道夫（F.Hausdorff）對正則的極限基數(shù)的研究，他發(fā)現(xiàn)這樣的基數(shù)必須滿足κ=?κ，因此是直觀上相當“大”的基數(shù)；又因為“ZFC+存在這樣的基數(shù)”能證明ZFC一致，故而其一致性強度比ZFC 更強。2大基數(shù)有時并不指其為很“大”的一個基數(shù)，而單指它的一致性強度很強，例如0?。我們說大基數(shù)A 比B 強，若在ZFC+A 中能證明ZFC+B 一致。隨著大基數(shù)理論的發(fā)展，大基數(shù)根據(jù)一致性強度形成了
邏輯學研究 2023年2期2023-05-22
- 《開天辟地：宇宙演化理論》
來又有了康托的集合論，數(shù)學家們十分興奮激動，認為數(shù)學第一次有了“基礎牢靠”的理論。然而，當初康托的集合論對“集合”的定義太原始了，以為把任何一堆東西放在一起，只要它們具有某種簡單定義的相同性質，再加以數(shù)學抽象后，就可以叫作“集合”了。沒想到如此“樸素”的想法也會導致許多悖論，羅素悖論就是其中之一。因此，在這些悖論解決之后，人們便將康托原來的理論稱為“樸素集合論”。實際上，集合可以分為在邏輯上不相同的兩大類，一類（A）可以包括集合自身，另一類（B）不能包括自
全國新書目 2022年7期2022-09-21
- 解決集合論悖論的雷歇爾方案
——兼論解決集合論悖論的方法論
r）創(chuàng)立的樸素集合論作為數(shù)學的基礎，其在數(shù)學發(fā)展中作用重大。但在19 世紀末20 世紀初，一些悖論卻先后在其中被發(fā)現(xiàn)，主要包括布拉里-福蒂（C.Burali-Forti）的最大序數(shù)悖論、康托爾的最大基數(shù)悖論和羅素（B.Russell）提出的羅素悖論。學界一般將它們統(tǒng)稱為集合論悖論。由于集合論悖論的出現(xiàn)直接導致了人們對集合論作為數(shù)學基礎的可靠性質疑，進而引發(fā)了數(shù)學基礎危機。因此，解決悖論成為了集合論學家、數(shù)學哲學家以及邏輯學家的共同訴求?；羲诡D（L.Hors
邏輯學研究 2022年4期2022-04-06
- 哥德爾綱領的實現(xiàn)能支持數(shù)學實在論嗎？
統(tǒng)問題對通常的集合論公理系統(tǒng)ZFC的獨立性，并提出了一個解決它（以及其他類似的獨立性問題）的研究方略，即尋找新公理加強ZFC，從而確定連續(xù)統(tǒng)基數(shù)的大小，后人稱之為“哥德爾綱領”（G?del’s Program）[1]。這個綱領指引了20 世紀70 年代以來集合論中的一大批實踐，特別是以武?。℉ugh Woodin）、斯蒂爾（John Steel）等人為代表的集合論加州學派的一系列重要工作和成果。在這些成果的激勵下，今天有很多人甚至認為，“集合論已經(jīng)發(fā)展到了
科學經(jīng)濟社會 2021年2期2022-01-01
- 也論形式主義與多宇宙觀
等人關于公理化集合論的形式主義，形式主義在現(xiàn)代數(shù)學哲學的討論中一直在場。然而，自從哥德爾的兩個不完全性定理的發(fā)現(xiàn)揭示希爾伯特形式主義原版的研究綱領不可實現(xiàn)，形式主義在嚴肅的數(shù)學哲學討論中始終處于相對弱勢的地位。盡管如此，形式主義對數(shù)學工作者仍然有著強烈的吸引力，盡管這一吸引力主要來自可以回避進一步的追問。正如Reuben Hersh寫道：“典型的‘數(shù)學工作者’是工作日的柏拉圖主義者，又是星期日的形式主義者?！盵1]集合論多宇宙觀（set-theoretic
科學經(jīng)濟社會 2021年2期2021-07-13
- 集合論公理的選擇：兩種路徑
上個世紀公理化集合論發(fā)展起來后，集合論的ZFC系統(tǒng)已經(jīng)得到了普遍認可。與此同時，關于集合論新公理的討論也一直不曾停止①誠然，一些數(shù)學家認為數(shù)學不需要新公理，但這個問題不在本文討論的范圍內(nèi)。本文要討論的是，目前集合論新公理討論中的幾種選項與它們各自的理由。。哥德爾在其《什么是康托的連續(xù)統(tǒng)假設》一文中提到：“康托的猜想必然或者為真或者為假，從今日已知公理得到的不可判定性僅能表明，這些公理沒有包含對這一事實（this reality）的完全描述……集合論公理絕沒
科學經(jīng)濟社會 2021年2期2021-07-13
- 模糊集合論對羅素悖論的解決
現(xiàn)引起了人們對集合論作為數(shù)學基礎的懷疑，甚至導致了第三次數(shù)學危機。一切后續(xù)的集合論研究都不能回避這個悖論，于是出現(xiàn)了ZF集合論(Zermelo-Fraenkel set theory)和NBG集合論(von Neumann-Bernays-G?del set tehroy)等公理化集合論來解決悖論，它們都對樸素集合論作出了修正。ZF集合論給出的方案是將能夠導致悖論的概括原則限制為分離公理，即將“如果φ(x)是一個性質，那么就存在一個集合{x|φ(x)}”修
重慶理工大學學報(社會科學) 2021年6期2021-07-09
- 數(shù)學基礎文化素質課程教學探索
然[摘 要] 集合論知識在數(shù)學體系中具有基礎性地位，是整個數(shù)學的基礎。對各個專業(yè)的學生進行數(shù)學基礎方面的教學，對于提高學生的文化素質具有重要意義。通過設計相應的課程教學策略，培養(yǎng)學生應用集合論的基本原理思考和分析所從事專業(yè)當中涉及的問題，并能夠用集合論知識中所蘊含的邏輯思維方法提升工程實際中數(shù)學描述和表達的深度與廣度。[關鍵詞] 數(shù)學基礎;集合論;文化素質;邏輯思維;教學實踐[基金項目] 2020年度北京理工大學教改重點項目“新形勢下信息與通信工程研究生教
教育教學論壇 2021年17期2021-06-25
- 模態(tài)邏輯的集合論語義與互模擬不變性
介紹模態(tài)邏輯的集合論語義，我們在集合傳遞閉包上解釋模態(tài)語言。第二部分定義從模態(tài)語言到集合論語言的翻譯，引入集合傳遞閉包之間的互模擬的概念。第三部分討論集合論語言與一階關系語言之間的一些聯(lián)系，這是第四部分證明刻畫定理的基礎。第四部分，將證明集合論語義下的刻畫定理，即一個一階集合論公式等價于某個模態(tài)公式的集合論翻譯當且僅當它在集合互模擬關系下不變。也就是，模態(tài)語言是一階集合論語言的集合互模擬不變片段，它是對van Benthem 刻畫定理的推廣。1 模態(tài)邏輯的
邏輯學研究 2021年1期2021-04-22
- 羅素悖論與羅素定理
0)一個幽靈在集合論中徘徊，這個幽靈就是羅素悖論.羅素悖論可以用以下公式表示：?y?x(x∈y?x?x)從這個公式來看，羅素悖論來自于集合論的一個常用語句.這個常用語句就是用屬于符號∈構成的語句.由于集合論的所有表達式都離不開這個常用語句，所以集合論的所有表達式都會無一例外地受到羅素悖論的困擾.有人認為，子集公理能夠從集合論中排除羅素悖論.子集公理可以用以下公式表示：?x?y?z(x∈y?x∈z∧p(x))但是，即使有了子集公理，羅素悖論仍然無處不在.因為
數(shù)理化解題研究 2021年12期2021-01-31
- 結構主義是一種有效的數(shù)學哲學嗎？
構主義起源于對集合論基礎主義（set-theoretic foundationalist position）的批評。以一階邏輯為代表的現(xiàn)代謂詞邏輯起源于弗雷格（G.Frege）為數(shù)學尋找基礎的努力。而策梅洛-弗蘭克爾公理化集合論（Zermelo-Fraenkel set theory），在某種意義上，起源于弗雷格邏輯主義的災難——羅素悖論。自那以后，公理化集合論被廣泛接受為數(shù)學的基礎。人們是在下述意義上稱公理化集合論是數(shù)學的基礎的。首先，幾乎所有的數(shù)學概念
邏輯學研究 2020年4期2020-12-21
- 無窮小存在的證據(jù)與康托集合論的錯誤
們首先引述康托集合論的兩個集合間一一對應的定義如下：康托集合論的兩個集合間一一對應的定義：如果存在函數(shù)y=f(x)為集合A→B的雙射函數(shù)，則集合A和B為一一對應的關系?？低?span id="syggg00" class="hl">集合論的基本觀點是一個無窮集合可以和它的一個真子集一一對應，部分可以和全體相等。而這個觀點正是康托集合論的一個定理，本文稱它為康托集合論的基本定理，現(xiàn)在我們把這個定理及其證明引述如下：康托集合論的基本定理：令a，b為實數(shù)，且a＜b，則[a，b]的基數(shù)等于[0，1]的基數(shù)，即等于c。證明：
數(shù)學大世界 2020年4期2020-12-18
- 論“民族精神家園”與“人類命運共同體”文藝價值互約
，要么體現(xiàn)為“集合論”，但是在全球化時代，面對前所未有的機遇和挑戰(zhàn)，一種基于“文明正義”和“命運共同體”的“互約論”觀念“脫穎而出”。構造“人類命運共同體”作為全球治理的“中國方案”，必然要求精神建構作為庇護和支撐，進而必然要求文藝作為民族和人類生存的重要精神意識形式，在整個建構事態(tài)中最大限度地展現(xiàn)其社會進步驅動能量。問題的復雜性在于，傳統(tǒng)世界格局所顯形的垂直民族結構與文明形態(tài)的非平等關系，導致民族精神建構與人類精神建構諸多知識沖突與意義緊張，因而也就延及
文藝論壇 2020年1期2020-07-14
- 集合論多宇宙觀與形式主義
百多年前的公理集合論有著兩重身份（[22]）：其一，它是數(shù)理邏輯的四大分支之一1數(shù)理邏輯的另外三個主要分支是模型論、遞歸論以及證明論。，因此也是數(shù)學的一個專門領域；其二，常規(guī)數(shù)學所研究的對象可以被表示為各種集合，所使用到的方法以及預設也可以溯源到集合論公理，概言之，許多數(shù)學命題可以被視為各種集合論公理系統(tǒng)2最典型的集合論公理系統(tǒng)是ZFC，此外，在研究中還會涉及到ZFC 的各種子系統(tǒng)、擴張系統(tǒng)，甚至與ZFC 不一致的系統(tǒng)，比如ZF+AD。中的定理，因此主流的
邏輯學研究 2020年5期2020-04-13
- 康托和柯西究竟誰對
們首先引述康托集合論的兩個集合間一一對應的定義如下：定義 如果存在函數(shù)y=f(x)為集合A →B 的雙射函數(shù)，那么集合A 和B 為一一對應的關系。前面已經(jīng)指出，康托集合論的基本觀點是，一個無窮集合可以和它的一個真子集一一對應，部分可以和全體相等，而這正是康托集合論的一個定理，本文稱這個定理為康托集合論的基本定理?，F(xiàn)在，我們把這個定理及其證明引述如下：康托集合論基本定理 令a，b 為實數(shù)，且a＜b，則[a，b] 的基數(shù)等于[0，1]的基數(shù)，即等于c。證明：令
數(shù)學大世界 2020年2期2020-03-07
- 數(shù)學確定性的喪失的原因
思想性的到來。集合論中每一個超無限的元素都對應于有一個超無限的子集合的元素，它是無始無終的。數(shù)學元素從有限到無限，無可爭議。但是，到無限以外卻難以理解和想像，特別是延續(xù)的過程還是像從有限到無限一樣。從有限到無限的過程是自然的和連續(xù)的，無窮無盡的元素一點一點被歸納到其中，即使再多也無所謂。很難理解和想像同樣的過程在無限之上還能夠再繼續(xù)下去，并以超越無限的形式展現(xiàn)在我們的面前。我們相信能夠繼續(xù)這一過程的理由是存在子集合的元素不能夠和原集合元素建立一一對應的關系
科教導刊·電子版 2020年22期2020-01-10
- 論“無窮事物”的定量認知（Ⅷ）
——新、舊無窮集合論和數(shù)學分析基礎理論中的三個不同特征
析理論”和“新集合論”的產(chǎn)生——我們將以經(jīng)典無窮理論體系為基礎的“第一、二、三代數(shù)學分析理論”（標準分析前的數(shù)學分析、標準分析、非標準分析）稱之為“現(xiàn)有經(jīng)典數(shù)學分析理論（舊數(shù)學分析理論）”，將以新無窮理論體系為基礎的新數(shù)學分析理論稱之為“第四代數(shù)學分析理論”[1-6]，將以經(jīng)典無窮理論體系為基礎的現(xiàn)有經(jīng)典無窮集合論稱之為“第一代無窮集合論（舊無窮集合論）”，將以新無窮理論體系為基礎的新無窮集合論稱之為“第二代無窮集合論”[7-13].1 “半阿基米德性”研
喀什大學學報 2020年3期2020-01-09
- 無窮性的悖論與公理集合論思想述略
列著述，建立了集合論，他首次引進無窮集合的概念，并證明了實數(shù)集合的不可數(shù)性，創(chuàng)立“超窮數(shù)”理論，提出了自然數(shù)集的基數(shù)與實數(shù)集基數(shù)之間不存在中間基數(shù)的“連續(xù)統(tǒng)假設”；為了將有窮集合的元素個數(shù)的概念推廣到無窮集合，他以一一對應為原則，提出了集合等價的概念。證明了一般的N維空間可以與直線建立一一對應。這一結果連他自己也感到莫名驚詫，他說：“我發(fā)現(xiàn)了它，但簡直不敢相信”。康托爾深刻揭示了無窮的本質特性，從根本上改造了數(shù)學的結構，促進了數(shù)學新分支的建立和發(fā)展。康托爾
昭通學院學報 2019年5期2020-01-08
- 因為發(fā)現(xiàn)了不同種類的無窮大，他進了精神病院
的一個核心——集合論打下了基礎。不過，當時的數(shù)學家們各種不適應無窮大新品種的概念，他們各種嘲笑康托爾。同時期的數(shù)學家有多么不理解他的研究呢？比如，法國最偉大的數(shù)學家之一龐加萊這樣評價康托爾的集合論：“后世的人會把集合論看做一個人曾經(jīng)生過的一場病?！庇直热纾?881年哈勒·維騰貝格大學（Martin-Luther-University Halle-Wittenberg）的數(shù)學家愛德華·海涅（Eduard Heine）去世后，康托爾推薦了三個數(shù)學家頂替他的位子
視野 2019年19期2019-10-18
- 根據(jù)微積分理論來認識康托集合論的錯誤
會 張喜安康托集合論的基本觀點是：一個無窮集合可以和它的一個真子集一一對應，部分可以和全體相等。這個觀點正是康托集合論的一個定理，現(xiàn)在我們稱這個定理為康托集合論的基本定理，為了論述得方便，我們把這個定理及其證明引述如下：康托集合論的基本定理 令a，b為實數(shù)，并且a＜b，則[a，b]的基數(shù)等于[0，1]的基數(shù)。證明：令y=f(x)=a+(b-a)x，顯然y=f(x)為[0，1]→[a，b]的雙射函數(shù)，這就證明了[a，b]的基數(shù)等于[0，1]的基數(shù)。這個定理表
數(shù)學大世界 2019年23期2019-08-30
- 論集合論的模型
。1908年，集合論第一次被策梅洛（E.Zermelo）公理化，后經(jīng)過斯柯倫（T.Skolem）和弗蘭克爾（A.Fraenkel）的改進，形成了ZF，在ZF的基礎上添加AC，就得到ZFC。公理化集合論ZFC的誕生，使得元數(shù)學成為可能，因為所有的數(shù)學都能在ZFC中被形式化。元數(shù)學即對數(shù)學自身的研究。但是根據(jù)哥德爾（K.G?del）的不完全性定理，ZF或ZFC系統(tǒng)是不完全的，因此，對于我們抱有疑慮的公理AC或假設GCH，它們在形式系統(tǒng)ZF或ZFC中的證明或證偽
邏輯學研究 2019年1期2019-04-01
- 數(shù)學悖論發(fā)展概述
羅素發(fā)現(xiàn)的一個集合論悖論。羅素在解決集合論問題時將集合分為兩種：第一種是自身元素的集合，第二種集合為不是自身元素的集合。接下來，假設S是由一切不屬于自身的集合所組成，即“S={x∣x ∈S}”。則S是否包含于S？如果假設S包含于S，則不符合題中x ∈S，所以S包含于S不成立；假設S不包含于S，于是就符合x ∈S，可推出S包含于S，但因為假設中S不包含于S，與S包含于S矛盾，所以假設也不成立。在悖論提出后，人們紛紛尋找著解決的辦法，有些人希望對康托爾的集合論
中國校外教育 2019年5期2019-01-31
- 康托集合論的錯誤的證據(jù)
張喜安一、康托集合論的錯誤的直接證據(jù)康托集合論的基本觀點為一個無窮集合可以和它的一個真子集一一對應，部分可以和全體相等，這個觀點即為康托集合論的一個定理，為了指出康托集合論的錯誤的直接證據(jù)，現(xiàn)在將康托集合論的這個定理及其證明引述如下：定理 令a，b為實數(shù)，且a＜b，則[a，b]的基數(shù)等于[0，1]的基數(shù)，即等于c。證明 令 f（x）=a+（b-a）x，顯然 f為 [0，1]→[a，b]的一個雙射函數(shù)，這就證明了[a，b]的基數(shù)也是c?？低姓J為上述定理的證明
數(shù)學大世界 2018年20期2018-11-30
- 范疇論對集合論的超越
——“數(shù)學基礎”研究的比較分析
供了堅固保障。集合論對數(shù)學概念的統(tǒng)一解釋奠定了其在數(shù)學基礎研究中的核心地位，范疇論對數(shù)學結構的闡釋啟發(fā)了新的基礎研究思路，撼動了ZFC*策梅洛-弗蘭克爾的公理化集合論(Zermelo-Fraenkel Set Theory)，包含選擇公理(AC)時記為ZFC。長期以來的基礎定位。那么范疇論數(shù)學基礎的研究起點是什么？范疇論數(shù)學基礎具有怎樣的研究特點？根據(jù)研究性質，范疇論數(shù)學基礎能否充分地闡釋集合論？以這些問題為契機，我們可以分析范疇論數(shù)學基礎相對于集合論數(shù)學
山西大學學報（哲學社會科學版） 2018年2期2018-05-09
- 集合悖論再議
論文,標志著《集合論》的創(chuàng)立。1900年,希爾伯特在國際數(shù)學家大會上說,“集合論是人類純粹智力活動的最高成就之一”。然而,1903年，羅素(英國，1872-1970年)提出一個簡明的集合悖論，打破了人們的希望，引發(fā)了數(shù)學基礎新的爭論和研究。1908年,策梅洛提出了7條公理組成的集合論體系,稱為Z公理系統(tǒng);1922年,弗蘭克爾又加進一條公理,還把公理用符號邏輯表示出來,形成了集合論的ZF公理系統(tǒng);再后來還有伯奈斯和哥德爾改進的ZFC公理系統(tǒng)。這些系統(tǒng)由于嚴格
山西廣播電視大學學報 2018年3期2018-01-29
- 對充要條件教學的再認知
中學數(shù)學第一章集合論可以說是現(xiàn)代數(shù)學的基礎，有了集合論規(guī)范的表述，才有了后來各種數(shù)學知識的學習.集合論教學中，子集、交集、并集、全集、補集是集合中最基本的五大要點，形成了集合論的基礎.比如：子集關系是運用到各種知識銜接的重要知識.以命題為例：“若p，則q”指的是就是集合論中的子集關系，但是學生在學習中卻鮮有將知識串聯(lián)在一起思考.因此教師教學需要打通這些知識的單一性，形成教學的全方位處理，形成知識的綜合理解成為關鍵.一、概念的認識充要條件的概念在教材中僅僅是
中學數(shù)學雜志 2018年1期2018-01-23
- 一種模糊集合論的公理化方法
50)一種模糊集合論的公理化方法李 娜，楊 帆(南開大學 哲學院， 天津 300350)模糊集合論是模糊理論的數(shù)學基礎，其公理化可以從不同的邏輯語言出發(fā)。經(jīng)典邏輯是較為簡潔的一種方法。夏平基于扎德的模糊集概念創(chuàng)立了第一個公理化模糊集合論Za。這個公理化是ZF的。將它擴張為NBG是一種自然的考慮。這樣的擴張將作為從非經(jīng)典邏輯如模糊邏輯出發(fā)建立集合論的一個基礎。模糊集合論；公理化；NBGAbstract: Fuzzy set theory (FST) is t
重慶理工大學學報(社會科學) 2017年9期2017-10-11
- 對集合論的辯證思考
職業(yè)技術學院對集合論的辯證思考趙雁 樂山職業(yè)技術學院集合論被認為是20世紀偉大的數(shù)學創(chuàng)造，它在近代數(shù)學中有重要的地位。從集合的一些基本常識，認識一下初等數(shù)學“樸素集合論”的理論基礎是不夠嚴密的。從哲學高度來看，對集合論作歷史觀察，可以幫助我們有更多的思考。無限集 集合論 公理化1 無限集之謎什么是無限集：就是含有無限個元素的集合。無限與無限集不只是數(shù)學的課題，同時也是哲學的問題。并長期困擾著哲學家與數(shù)學家。它的定義十分簡單、明確。但對“無限”的認識哲學家走
數(shù)碼世界 2017年7期2017-07-25
- 論集合中的元素的確定性、互異性和無序性
基本概念，它是集合論的研究對象，集合論的基本理論直到19世紀才被創(chuàng)立。最簡單的說法，即是在最原始的集合論——樸素集合論中的定義，集合就是“一堆東西”。集合里的“東西”，叫作元素。若x是集合A的元素，則記作x∈A。一個集合中可以有很多個元素，而這些元素的構成都有一定的特性：確定性、互異性、無序性。1 集合中元素的性質1.1 元素的確定性每一個對象都能確定是不是某一集合的元素，沒有確定性就不能成為集合，例如“個子高的同學”“很小的數(shù)”都不能構成集合。這個性質主
數(shù)碼世界 2017年7期2017-07-25
- 康托集合論為什么是錯誤的理論
會 張喜安康托集合論為什么是錯誤的理論四川省攀枝花市老年科技工作者協(xié)會 張喜安康托集合論的基本觀點是，一個無窮集合可以和它的一個真子集一一對應，或者說部分可以和全體相等，而這個觀點正是康托集合論的一個定理的結論。因此，只要我們能夠證明康托集合論的上述定理是錯誤的，那么，我們也就證明了康托集合論是一個錯誤的理論。本文首先根據(jù)客觀事實對康托的上述定理提出質疑，然后詳細地證明上述康托集合論的定理的證明是錯誤的，最后我們得出結論，康托集合論是錯誤的理論。還有一點值
數(shù)學大世界 2017年13期2017-02-25
- 理發(fā)師悖論
呢？在數(shù)學中，集合論的嚴密性是數(shù)學得以“絕對嚴格”的基礎。可羅素悖論恰恰揭示了在集合論中存在著不可避免的矛盾，因此這個悖論動搖了數(shù)學 “絕對嚴格”的基礎，引發(fā)了數(shù)學史上的第三次危機。仿照理發(fā)師悖論，你可以設想出許許多多類似的悖論。如：有一個機器人，它只為一切不維修保養(yǎng)自己的機器人進行維修，那么，誰來維修它自己？有一個目錄，它只為一切不列入本身的目錄編目，那么，這個目錄應編入哪個目錄？
家教世界·創(chuàng)新閱讀 2016年11期2016-12-27
- 整體不一定大于部分
爾創(chuàng)立了著名的集合論。在集合論剛產(chǎn)生時，曾遭到許多人的猛烈攻擊，但不久這一開創(chuàng)性成果就被廣大數(shù)學家所接受，并且獲得廣泛而高度的贊譽。數(shù)學家們發(fā)現(xiàn)，從自然數(shù)與康托爾集合論出發(fā)可建立起整個數(shù)學大廈，因而集合論成為現(xiàn)代數(shù)學的基石。集合論產(chǎn)生后，數(shù)學家們以為數(shù)學的嚴格性終于實現(xiàn)了，人們把數(shù)學基礎理論的不矛盾性歸結為集合論的不矛盾性?？墒?，英國科學家羅素認為集合論是自相矛盾的，沒有相容性。這就是著名的羅素悖論，或者說是“集合論”悖論。通俗地講，我們知道整體大于部分，
初中生學習·低 2016年10期2016-11-25
- 連續(xù)統(tǒng)問題與薄實在論
學問題。但通行集合論公理在判定這個問題上的無力使得它衍生出一個相應的哲學問題，即連續(xù)統(tǒng)問題有沒有意義的問題。對于這后一個，哲學意義上的“連續(xù)統(tǒng)問題”，數(shù)學哲學家們給出了各種不同的回答，其中尤以哥德爾（Kurt G?del）所代表的柏拉圖主義立場最為有影響。事實上，與此立場密切相關的所謂“哥德爾綱領”（G?del's Program），在很大程度上塑造了當代集合論的實踐。然而不可否認的是，柏拉圖主義存在種種困難，最為人熟知的便是關于抽象對象的認識論問題，亦即
邏輯學研究 2016年2期2016-10-09
- 數(shù)理邏輯中一個撤消百年的悖論
悖論，igR是集合論中一個由錯誤前提導致的自相矛盾，它是數(shù)學推理中違反邏輯排中原則必然導致荒謬的典型。百年來，它在相關學科中仍在宣傳，其實這個所謂悖論百年前已經(jīng)被策梅洛撤消，這是一段值得反思的歷史。1908年，德國數(shù)學家策梅洛（E.Zermelo）為集合論基礎研究建立一組公理系統(tǒng)，以其中的“劃分公理”解釋了當時被稱為羅素悖論的矛盾的起因，將其排除出集合論研究范疇，從而解除了它給數(shù)學和邏輯基礎帶來的威脅。但此后，對那個所謂的悖論不合事實的宣傳在一個世紀中并沒
科學 2016年3期2016-05-30
- 數(shù)學集合論思想對集體觀念研究的借鑒價值
119)?數(shù)學集合論思想對集體觀念研究的借鑒價值蔣萬勝，劉璐(陜西師范大學 新聞與傳播學院，陜西 西安 710119)數(shù)學集合論主要利用集合之間的運算關系來說明物件與集合之間的關系。效仿數(shù)學集合論的研究方式，建立個人觀念與集體觀念的集合，是研究個人觀念與集體觀念之間關系的新途徑。運用集合論思想對集體觀念進行研究，有助于從數(shù)理的角度揭示集體觀念與個人觀念之間的關系。集體觀念并非個人觀念的簡單相加，集體觀念源于個人觀念的擴散與提升。將數(shù)學分析方法應用于人文社會
新鄉(xiāng)學院學報 2016年5期2016-03-02
- 基于哲學邏輯的集合論研究
基于哲學邏輯的集合論研究李 娜(南開大學哲學院,天津300350)20世紀60年代之后,涌現(xiàn)出了嘗試以非經(jīng)典邏輯為基礎邏輯來拯救集合論的熱潮。在這一時期,誕生了模態(tài)集合論、弗協(xié)調集合論、直覺主義集合論等一些基于哲學邏輯的集合理論。模態(tài)邏輯是在經(jīng)典邏輯的基礎上增加模態(tài)算子形成的一種二階邏輯,因此,它是一種比經(jīng)典邏輯強的邏輯。模態(tài)集合論相對于公理化集合論是一種加強了基礎邏輯的公理化集合論。與ZF公理化集合論用公理限制集合的方法不同,弗協(xié)調集合論也是一種改變了集
浙江大學學報(人文社會科學版)預印本 2016年7期2016-01-20
- 如何從集合論觀點看待數(shù)學教學
韓桂玲摘要：集合論在現(xiàn)代數(shù)學的發(fā)展中起到了基礎作用，也使幾個數(shù)學分支統(tǒng)一到一起。集合論貫穿于整個數(shù)學從基礎數(shù)學到高等數(shù)學的知識系統(tǒng)中，無論是概念還是方法，集合論都有著不可替代的作用。關鍵詞：集合論數(shù)學教學思想方法集合論在數(shù)學中有獨特的地位，它的基本概念已滲透到數(shù)學的所有領域，如各種數(shù)學理論是建立在集合論的基礎上的，（實數(shù)理論是奠定在集合論的基礎上），各種復雜的數(shù)學概念（比如自然數(shù)、實數(shù)、函數(shù)等）都是借助集合定義出來，從這個意義上來講，集合論可以說是現(xiàn)代數(shù)學
學周刊·中旬刊 2015年8期2015-08-15
- 如何從集合論觀點看待數(shù)學教學
075000）集合論在數(shù)學中有獨特的地位，它的基本概念已滲透到數(shù)學的所有領域，如各種數(shù)學理論是建立在集合論的基礎上的，（實數(shù)理論是奠定在集合論的基礎上），各種復雜的數(shù)學概念（比如自然數(shù)、實數(shù)、函數(shù)等）都是借助集合定義出來，從這個意義上來講，集合論可以說是現(xiàn)代數(shù)學的基礎。一、集合論的概念與數(shù)學教學中集合概念的關系1874年，康托爾越過“數(shù)集”的限制，開始提出“集合”的概念。他對“集合”給出了這樣的定義：把若干確定的有區(qū)別的（具體的或抽象的）事物合并起來，看作
學周刊 2015年23期2015-08-07
- 整體不一定大于部分
爾創(chuàng)立了著名的集合論。在集合論剛產(chǎn)生時，曾遭到許多人的猛烈攻擊。但不久這一開創(chuàng)性成果就為廣大數(shù)學家所接受，并且獲得廣泛而高度的贊譽。數(shù)學家們發(fā)現(xiàn)，從自然數(shù)與康托爾集合論出發(fā)可建立起整個數(shù)學大廈，因而集合論成為現(xiàn)代數(shù)學的基石。集合論產(chǎn)生后，數(shù)學家們以為數(shù)學的嚴格性終于實現(xiàn)了，人們把數(shù)學基礎理論的不矛盾性歸結為集合論的不矛盾性?？墒?，英國科學家羅素認為集合論是自相矛盾的，沒有相容性。這就是著名的羅素悖論，或者說是“集合論”悖論。通俗地講，我們知道整體大于部分，
初中生之友·中旬刊 2015年6期2015-06-10
- 基于類比與集合論的《金匱要略》篇章分析
基于類比與集合論的《金匱要略》篇章分析吳清榮，賈春華*(北京中醫(yī)藥大學基礎醫(yī)學院，北京 100029)摘要：《金匱要略》記載雜病，采用臟腑辨證法則，將搜集可見及潛在的癥狀體征，運用援物比類等法，經(jīng)過分析判斷尋求病因真相。條文編排上，系以整體系統(tǒng)性之邏輯類比形式，便利各項病證作異同比較；在治法上，有“同病異治”或“異病同治”之相對運用，俾益于學習指導及臨癥應用參考。各篇章內(nèi)容雖集雜病而成，然從其中結構分析，條文之間彼此具備相關從屬關系，經(jīng)過逐條比對之后，可見
吉林中醫(yī)藥 2015年7期2015-04-15
- “文化集合論”:內(nèi)在矛盾與可能之途
9)一、“文化集合論”的緣起“文化”這種說法在中國古已有之，如“觀乎天文，以察時變;觀乎人文，以化成天下”，以及“圣人之治天下也，先文德而后武力。凡武之興，為不服也，文化不改，然后加誅”等。但這里的“文化”指的是“文治教化”，與現(xiàn)代意義上的“文化”并非同一所指。今天所說的“文化”實際上轉譯自“culture”，其原形是拉丁語的“cultura”，意指“耕作或耕作方式;才能的培養(yǎng);古跡的維護;人際關系的經(jīng)營以及宗教儀式”［1］等。真正作為學術概念的“文化”最
文化學刊 2015年1期2015-03-20
- 對集合論公理化方法悖性的審思
41003）對集合論公理化方法悖性的審思王習勝（安徽師范大學政治學院，安徽 蕪湖 241003）公理化集合論理論的創(chuàng)立，解決了康托爾素樸集合論因其概括原則的前提預設而導致的一系列悖論。在公理化集合論中人們沒有發(fā)現(xiàn)新的悖論，學界因此而視其為成功的解悖方案。公理化的本質是重構集合論的演繹系統(tǒng)，演繹方法具有保真性，能夠導出可靠知識。公理化集合論的兩個準等價的系統(tǒng)卻是從相互矛盾的前提建構得來的。如果這兩個公理系統(tǒng)導出的結論是可靠的，就說明可靠知識可以由不可靠的公理
井岡山大學學報(社會科學版) 2014年1期2014-04-15
- 是誰把數(shù)學推向了深淵？
么康托爾樸素的集合論則幾乎把數(shù)學推向了深淵?？低袪柍錾诙韲氖ケ说帽?，猶太后裔，后來遷居到德國。在而立之年，他提出了令人高深莫測的無窮大概念，這個無窮大不是微積分里的無窮大，是表述集合元素多少的。集合的概念不需要我多做解釋，相信學過一點數(shù)學的人都知道。眾所周知，有限集存在有多少元素的問題，例如一個班級有多少人？班級的人數(shù)成為這個班級的“基數(shù)”或“勢”，任何有限集都可以數(shù)出它的元素來，可如果問自然數(shù)有多少？有理數(shù)有多少？實數(shù)有多少？誰能回答？康托爾的目的就
求知導刊 2014年1期2014-02-24
- 數(shù)學存在的語言建構——結構主義的研究范式
分的算術化導致集合論的建立，從而形成數(shù)學基礎三大學派:邏輯主義、形式主義與直覺主義，進而引發(fā)了更為普遍的哲學思潮。以邏輯實證主義為代表的分析哲學運動主張，邏輯是哲學的唯一合法的研究領域，形而上學問題源于語言的誤用，沒有任何意義而應當從哲學中清除出去，數(shù)學哲學成為數(shù)學語言的邏輯分析，成為關于數(shù)學語言的邏輯句法學與邏輯語義學。20世紀30年代哥德爾不完全性定理的提出，從邏輯上闡明了對于數(shù)學語言的邏輯分析無法完全封閉形成自我滿足的有限世界，數(shù)學語言除了具有邏輯的
重慶理工大學學報(社會科學) 2013年3期2013-08-15
- 單調類定理的一個集合論證明
調類定理的一個集合論證明王小特（陜西能源職業(yè)技術學院，咸陽 712000）本文利用集合論中的序數(shù)理論和超限歸納法，給出概率測度論中一個集族生成的最小σ代數(shù)，最小λ類和最小單調類的具體形式，并給出單調類定理一個直接的證明.單調類定理；集合論；最小σ代數(shù)；最小λ類；最小單調類1 引言與預備我們首先介紹概率測度論中的一些概念.定義1.1［1］設Ω為一個集合，C為Ω的一個子集族.①Ω∈C； ②A，B∈C，B?A得A－B?C； ③An∈C，n≥1，An↑A得A∈C.
大學數(shù)學 2012年4期2012-11-02
- 構造性數(shù)學與構造集合論
良基集合的經(jīng)典集合論基礎之上的，即公理系統(tǒng)ZFA(ZFC-+AFA)。Rathjen斷言 Barwise和 Moss的大部分工作都可以建立在包含非良基集合的構造性全域(constructive universe)的基礎上，而不是經(jīng)典集合全域。也就是說，Barwise和Moss的大部分工作都可以在構造集合論(constructive set theory)的意義下進行。正如公理系統(tǒng)ZFC對應著康托經(jīng)典數(shù)學的形式化一樣，構造集合論起源于Myhill的努力，他為
華北水利水電大學學報(社會科學版) 2012年5期2012-07-04
- 非良基公理的本質及其應用
形成新的非良基集合論。這樣形成的精確圖還是不太合理，考慮圖4：（圖4）一個嚴格的但不是同構外延的可達點圖（圖5）一個同構外延的但非外延的可達點圖這是嚴格的且外延的圖。底端的每個結點被一個等于自己的單元素集所裝飾，裝飾這兩個結點的集合似乎應該相等，需要更嚴格的精確圖概念。隨著中國城鎮(zhèn)住房金融制度的改革，改革開放40年中，住房金融市場逐步衍生、發(fā)展和繁榮。縱觀改革開放40年，我們不難發(fā)現(xiàn)，中國城鎮(zhèn)住房金融對開發(fā)商獲得土地、商品房開發(fā)、商品房購買和消費提供了金融
湖北大學學報（哲學社會科學版） 2012年5期2012-06-22
- 集合論觀點下的一類恒成立問題的辨析
318020)集合論觀點下的一類恒成立問題的辨析●祝敏芝(三門教育局教研室 浙江臺州 317100) ●洪秀滿(黃巖教育局教研室 浙江臺州 318020)集合論是19世紀德國數(shù)學家康托(Cantor)創(chuàng)立的，現(xiàn)在已發(fā)展為獨立的數(shù)學分支，其基本概念與方法已滲入到數(shù)學的各個領域，成為現(xiàn)代數(shù)學的基石.對于含有存在量詞的存在性問題與含有全稱量詞的恒成立問題，本文試用集合論的基本概念與方法對恒成立進行辨析，挖掘這類問題的數(shù)學本質，讓其思想更深刻，形式更簡約.1 問題
中學教研(數(shù)學) 2010年1期2010-12-01
- 底層集合論
“什么是集合？集合論的創(chuàng)始人Cantor曾作如下描述： ‘一個集合是我們直覺中或理智中，確定的，互不相同的事物的一個匯集，被設想為一個整體 （單位）’.這些事物叫做這個集合的元素，或者說這些元素屬于這個集合，也說這集合包含這些元素.Cantor的描述對人們直觀地理解集合概念是很有價值的.例如，它說一個集合的元素是 ‘確定的’，這意味著某個事物是否屬于某個集合的元素是 ‘確定的’，某個事物是否屬于某個集合是沒有絲毫含混余地的；又如，它說一個集合的元素是 ‘互
湖南農(nóng)業(yè)大學學報（自然科學版） 2010年1期2010-06-08
- 矩陣在離散數(shù)學中的應用
數(shù)的概念,然而集合論和圖論是離散數(shù)學的范疇,從表面上看沒有什么聯(lián)系,這篇文章把矩陣和關系、關系的復合、關系的冪、關系的性質、關系的閉包以及有向圖、圖的通路和回路數(shù)有機地結合起來,另辟蹊徑,打開了思路。矩陣;離散數(shù)學;集合論;圖論“宇宙間的萬物是相通的”,任何事物之間都存在著這樣或那樣的聯(lián)系,線性代數(shù)與離散數(shù)學之間同樣存在著相關性。特別是矩陣在集合論和圖論中的應用,使得集合論和圖論中的某些問題變得容易理解。一、矩陣在集合論中的應用1.關系矩陣設非空有限集A=
長沙民政職業(yè)技術學院學報 2010年3期2010-01-05
- 對阿蘭·巴迪歐“數(shù)學等于本體論”的思考
不但把康托爾的集合論引入哲學中,而且為當代哲學注入了新鮮活力。關鍵詞:本體論 康托爾 集合論 空集 無限中圖分類號:O1-0文獻標識碼:A文章編號:1006-8937(2009)03-0143-01巴迪歐提出一個著名的命題:“數(shù)學=本體論”,但是,巴迪歐在這里提及的數(shù)學并非一般意義上的數(shù)學,這與弗雷格開創(chuàng)的哲學的數(shù)學-邏輯學轉向并沒有太大關聯(lián)。更準確的說,巴迪歐在這里依靠的是一種特殊的數(shù)學范疇——集合論,尤其是康托爾之后的集合論發(fā)展的諸多成果。康托爾是德籍
企業(yè)技術開發(fā)·中旬刊 2009年3期2009-10-12
- 羅素悖論與第三次數(shù)學危機
代數(shù)學中被稱為集合論,其基本概念幾乎滲透到數(shù)學的所有領域,它的創(chuàng)始人康托爾也因此被譽為20世紀最偉大的數(shù)學家之一。既然同學們都學過集合知識,那有個問題要考考大家。假設有一個集合S,它由一切不是自身元素的集合所組成。那么請問,S是否屬于S?我們知道,一個元素或者屬于某個集合,或者不屬于某個集合。因此,如果S屬于S,那么根據(jù)S的定義,S就不屬于S;反之,如果S不屬于S,同樣根據(jù)定義,S就應該屬于S。這就是著名的“羅素悖論”,它非常淺顯易懂,而且涉及的都是集合論
中學生天地·高中學習版 2009年6期2009-06-02