본문 바로가기
KERD
논문KCI 등재

힐버트와 형식주의

Hilbert and Formalism

최원배
한국수학사학회 (The Korean Society For History Of Mathematics)|2011.11|한국수학사학회지 (Journal for History of Mathematics)|제24권 제4호|pp. 33-43

1

조회

0

다운로드

1

인용

0

참고문헌

키워드

형식주의formalism도구주의instrumentalism힐버트Hilbert이념적 명제ideal proposition
주제분류수학

초록

이 글은 힐버트 프로그램 시기의 힐버트의 사상을 과연 도구주의로 볼 수 있는가 하는 문제를 다룬다. 이를 위해 먼저 힐버트를 도구주의자로 보는 논거들을 살펴보고, 이 견해에 대한 최근의 비판을 세 가지로 나누어 차례대로 검토한다. 이런 논의를 통해 힐버트를 도구주의자로 보는 견해는 여전히 유지될 수 있음을 보인다.

Abstract

In this paper I discuss if we can regard Hilbert at the time of Hilbert’s program as an instrumentalist. For this I first provide some textual evidences for the instrumentalist interpretation, then examine the three recent criticisms in turn. I argue that the reading Hilbert as an instrumentalist is still tenable in spite of these criticisms.

참고문헌 (21)

  1. 박정일, "힐베르트의 프로그램에 관하여 (I)", 철학, 59, pp.249~278 (1999)
  2. 박정일, "유한주의와 철학적 해석", 논리연구, 4, pp.37~62 (2000)
  3. 박준용, "힐버트 형식주의와 이념적 방법", 철학연구, (43), pp.157~202 (2011), 철학연구소
  4. 박창균, "20세기 수학의 패러다임", 수학사학회지, 9(2), pp.22~29 (1996)
  5. 이종권, "수학적 형식주의의 전개 과정 (I)", 철학탐구, 11, pp.167~201 (1999)
  6. M. Detlefson, "Hilbert’s Program" (1986), Reidel
  7. W. Ewald, "From Kant to Hilbert" (1996), Oxford Univ. Press
  8. M. Giaquinto, "Hilbert’s Philosophy of Mathematics", British Journal for Philosophy of Science, 34, pp.119~132 (1983)
  9. M. Hallett, "Physicalism, Reductionism and Hilbert, in Physicalism in Mathematics", pp.183~257 (1990), Kluwer
  10. D. Hilbert, "The New Grounding of Mathematics", pp.1115~1134 (1922), Ewald
  11. D. Hilbert, "The Logical Foundations of Mathematics", pp.1134~1148 (1923), Ewald
  12. D. Hilbert, "On the Infinite", pp.367~392 (1925), van Heijenoort
  13. D. Hilbert, "The Foundations of Mathematics", pp.464~479 (1927), van Heijenoort
  14. D. Hilbert, "The Grounding of Elementary Number Theory", pp.1148~1157 (1931), Ewald
  15. P. Kitcher, "Hilbert’s Epistemology", Philosophy of Science, 43, pp.99~115 (1976)
  16. M. Potter, "Reason’s Nearest Kin" (2000), Oxford Univ. Press
  17. M. Resnik, "Frege and the Philosophy of Mathematics" (1980), Cornell Univ. Press
  18. S. Shapiro, "Thinking about Mathematics" (2000), Oxford Univ. Press
  19. W. Sieg, "Reflections on Hilbert’s Program, in Acting and Reflecting", pp.171~182 (1990), Kluwer
  20. van Heijenoort, "From Frege to Godel" (1967), Harvard Univ. Press
  21. "Hilbert’s Program"[URL]

관련 논문AI추천

비트겐슈타인과 힐베르트 프로그램박정일한국논리학회 · 논리연구2012 · 제15권 제1호프레게와 힐버트 – 메타이론적 증명박준용한국동서철학회 · 동서철학연구2017 · 제86호베르나이스와 공리적 방법박우석한국논리학회 · 논리연구2011 · 제14권 제2호제르멜로와 공리적 방법박우석한국논리학회 · 논리연구2008 · 제11권 제2호연구 프로그램으로서의 힐버트 계획정계섭한국수학사학회 · 한국수학사학회지2011 · 제24권 제3호전형식적 증명의 교수학적 의미에 관한 고찰권석일, 홍진곤한국수학교육학회 · 수학교육2004 · 제43권 제4호

이 간행물의 다른 논문 (11건)

洪正夏의 數論김창일, 홍영희, 홍성사pp. 1-6朝鮮의 勾股術과 방정식론윤혜순pp. 7-20로바체프스키의 수학철학과 비유클리드기하박창균pp. 21-31배중률을 둘러싼 구성주의의 두 입장 비교오채환, 이상욱, 강옥기pp. 45-59힐베르트의 저서‘기하학의 기초’에 관하여조경희, 양성덕pp. 61-86
원문 보기