-
题名数学中的证据:哥德尔与胡塞尔
- 1
-
-
作者
李晽(译)
刘靖贤(译)
-
机构
挪威奥斯陆大学哲学系
辽宁大学哲学与公共管理学院
-
出处
《哲学分析》
CSSCI
2019年第4期149-160,199,共13页
-
基金
国家社科基金重大项目“当代逻辑哲学重大前沿问题研究”(项目编号:17ZDA024)
-
文摘
哥德尔的数学哲学从胡塞尔现象学中汲取了重要的洞见。胡塞尔的本质直观方法直接激发了哥德尔对非物质对象的思考。哥德尔将非物质对象把握为经验所与中的结构性因素,但与感性直观类似,这些因素也是被直接给予的,并且是数学证据的来源。哥德尔与胡塞尔都坚持数学证据的可错性,并提出数学中所应有的假设性维度。最后,反思均衡是哥德尔与胡塞尔数学证成观的共同点。
-
关键词
本质直观
证据
数学证成
反思均衡
-
Keywords
Wesensschau
evidence
mathematical justification
reflective equilibrium
-
分类号
B80
[哲学宗教—思维科学]
-
-
题名《算术基本规律》序言
- 2
-
-
作者
G.弗雷格
刘靖贤(译)
李啉(校)
薄谋(校)
-
机构
不详
辽宁大学哲学与公共管理学院
科隆大学胡塞尔档案馆
兰州大学哲学系
-
出处
《世界哲学》
CSSCI
北大核心
2014年第3期5-17,共13页
-
文摘
弗雷格在两卷本的《算术基本规律》中以严格形式化的方式完成了逻辑主义的任务,即用逻辑符号定义算术符号,然后从逻辑公理推出算术公理。在该书的序言中,弗雷格首先重申了逻辑主义的目标及其哲学意蕴;其次,他介绍了《算术基本规律》一书的主要内容和阅读方法,并且说明了他的形式系统从《概念文字》到《算术基本规律》的转变过程;最后,他以埃德曼的《逻辑学》一书为靶子,激烈地批判了逻辑学中的心理主义思潮。
-
关键词
弗雷格
逻辑主义
概念文字
心理主义
-
分类号
B81-051
[哲学宗教—逻辑学]
-
