逻辑学研究
邏輯學研究
라집학연구
SUN YATSEN UNIVERSITY FORUM
2014年
3期
12-29
,共18页
数学哲学%构造主义%实在论
數學哲學%構造主義%實在論
수학철학%구조주의%실재론
众所周知,哥德尔是一位实在论者.然而,他在构造主义数学方面也有着精深的研究和重要的工作.例如,哥德尔的否定性翻译和《辩证法》翻译.这些方法在现今的数理逻辑研究,尤其是证明论中有广泛的应用.而本文关心的是这些工作在数学基础和数学哲学方面的价值.我们将介绍、整理哥德尔的这些成果,并试图将它们编制成一幅围剿直觉主义的布阵图.我们也会讨论其中的薄弱之处,并由此碰触哥德尔哲学中一些挣扎而神秘的地方:绝对证明、概念理论和心物关系.
衆所週知,哥德爾是一位實在論者.然而,他在構造主義數學方麵也有著精深的研究和重要的工作.例如,哥德爾的否定性翻譯和《辯證法》翻譯.這些方法在現今的數理邏輯研究,尤其是證明論中有廣汎的應用.而本文關心的是這些工作在數學基礎和數學哲學方麵的價值.我們將介紹、整理哥德爾的這些成果,併試圖將它們編製成一幅圍勦直覺主義的佈陣圖.我們也會討論其中的薄弱之處,併由此踫觸哥德爾哲學中一些掙扎而神祕的地方:絕對證明、概唸理論和心物關繫.
음소주지,가덕이시일위실재론자.연이,타재구조주의수학방면야유착정심적연구화중요적공작.례여,가덕이적부정성번역화《변증법》번역.저사방법재현금적수리라집연구,우기시증명론중유엄범적응용.이본문관심적시저사공작재수학기출화수학철학방면적개치.아문장개소、정리가덕이적저사성과,병시도장타문편제성일폭위초직각주의적포진도.아문야회토론기중적박약지처,병유차팽촉가덕이철학중일사쟁찰이신비적지방:절대증명、개념이론화심물관계.
