重庆理工大学学报(社会科学版)
重慶理工大學學報(社會科學版)
중경리공대학학보(사회과학판)
JOURNAL OF CHONGQING INSTITUTE OF TECHNOLOGY
2013年
3期
9-14
,共6页
集合论结构主义%模态结构主义%范畴论结构主义
集閤論結構主義%模態結構主義%範疇論結構主義
집합론결구주의%모태결구주의%범주론결구주의
伴随结构主义的兴起,数学哲学的研究领域发生了范式转换,数学存在的语言建构取代了数学语言的逻辑分析,成为数学哲学发展壮大的基本动力与成长源泉.结构主义根据不同语言进行数学对象的存在建构,或者借用数理逻辑的集合论与模态逻辑作为语言,或者突破分析哲学的逻辑语言框架创造范畴论这种本体论语言,从而形成了集合论结构主义、模态结构主义与范畴论结构主义.集合论结构主义与模态结构主义成为沟通结构主义与数理逻辑的必要环节,范畴论结构主义成为结构主义数学哲学的发展方向.
伴隨結構主義的興起,數學哲學的研究領域髮生瞭範式轉換,數學存在的語言建構取代瞭數學語言的邏輯分析,成為數學哲學髮展壯大的基本動力與成長源泉.結構主義根據不同語言進行數學對象的存在建構,或者藉用數理邏輯的集閤論與模態邏輯作為語言,或者突破分析哲學的邏輯語言框架創造範疇論這種本體論語言,從而形成瞭集閤論結構主義、模態結構主義與範疇論結構主義.集閤論結構主義與模態結構主義成為溝通結構主義與數理邏輯的必要環節,範疇論結構主義成為結構主義數學哲學的髮展方嚮.
반수결구주의적흥기,수학철학적연구영역발생료범식전환,수학존재적어언건구취대료수학어언적라집분석,성위수학철학발전장대적기본동력여성장원천.결구주의근거불동어언진행수학대상적존재건구,혹자차용수리라집적집합론여모태라집작위어언,혹자돌파분석철학적라집어언광가창조범주론저충본체론어언,종이형성료집합론결구주의、모태결구주의여범주론결구주의.집합론결구주의여모태결구주의성위구통결구주의여수리라집적필요배절,범주론결구주의성위결구주의수학철학적발전방향.