哲学思想与具体研究实践的相互影响以哥德尔相关工作为例的说明.pdf

摘 要 当今，一般认为哲学理论与逻辑、数学以及其他科学理论处于不同的层面。 哲学理论与其他具体学科理论之间并没有必然的逻辑联系。而本文的结论是哲 学思辨与逻辑、数学等具体学科领域的研究实践有现实的相互影响。 本文的基本论证策略是经验归纳的。作者将论题划分为两个方向：具体学科 领域的研究进展会对哲学思辨产生一定的影响；而不同的哲学立场也会对某领 域的研究实践造成不同的影响。作者分析了两个典型案例作为分别支持上述两 个方向的论据。第一章中，作者比较了哥德尔与康德的数学哲学思想，并认为是 康德之后数学基础领域的研究进展造成了两人观点具体细节的不同。第二章是 对分枝类型论与基于可构成集的一致性证明之间联系的分析。其结论是人们的 哲学立场可能帮助也可能阻碍人们发现某个具体问题的解答。第三章陈述了整 篇论文的结论。附录中罗列了一些论文中涉及到的事实。 本文的主要问题并不深奥，本文的结论也不令人意外。但是，作者相信这里 的工作能够对未来作者和读者在哲学和具体学科领域的研究实践有所启发。 本文的创新之处体现在作者对(康德，2004)和哥德尔若干哲学著作的解读以 及作者对分枝类型谱系的改造以使之与可构成集的谱系形成对应。一些具体证 明(例如定理2．17和2．23)由作者独立完成。 关键词：哲学逻辑学数学 中图分类号：B81 Abstract is that theoriesisinadifferent Nowadays，itwidelyacceptedphilosophical no theoriesof andothersciences．Thereis con— with logic，mathematics layer betweenthetwokindsof theconclusionof sequentrelationship theory．While thisthesisisthatthereisallactualinteractionbetween philosophicalthinking andthe of ormathematicalresearchtheformermentioned practicelogical despite COnSenSUS． Thebasic ofthisthesisis authordi- argumentativestrategy empirical．The videdthe intotwodirection．Thatis insome can subject progress particularfield the and have nudge ofphilosophydifferentstandpointso／philosophymay thinking Ontheresearchinsomeconcretearea．Foreither differenteffects direction，the authoroffereda oneisdevotedtoa between typicalcase．Chapter