$\require{mediawiki-texvc}$

연합인증

연합인증 가입 기관의 연구자들은 소속기관의 인증정보(ID와 암호)를 이용해 다른 대학, 연구기관, 서비스 공급자의 다양한 온라인 자원과 연구 데이터를 이용할 수 있습니다.

이는 여행자가 자국에서 발행 받은 여권으로 세계 각국을 자유롭게 여행할 수 있는 것과 같습니다.

연합인증으로 이용이 가능한 서비스는 NTIS, DataON, Edison, Kafe, Webinar 등이 있습니다.

한번의 인증절차만으로 연합인증 가입 서비스에 추가 로그인 없이 이용이 가능합니다.

다만, 연합인증을 위해서는 최초 1회만 인증 절차가 필요합니다. (회원이 아닐 경우 회원 가입이 필요합니다.)

연합인증 절차는 다음과 같습니다.

최초이용시에는
ScienceON에 로그인 → 연합인증 서비스 접속 → 로그인 (본인 확인 또는 회원가입) → 서비스 이용

그 이후에는
ScienceON 로그인 → 연합인증 서비스 접속 → 서비스 이용

연합인증을 활용하시면 KISTI가 제공하는 다양한 서비스를 편리하게 이용하실 수 있습니다.

구문론으로서의 수학: 괴델의 비판과 카르납의 과학적 철학
Mathematics as Syntax: Gödel's Critique and Carnap's Scientific Philosophy 원문보기

논리연구= Korean journal of logic, v.21 no.1, 2018년, pp.97 - 133  

이정민 (서울대 철학과)

초록
AI-Helper 아이콘AI-Helper

괴델은 '수학은 언어의 구문론인가?'라는 미출간 논문에서 그가 '구문론적 해석'이라고 부르는 카르납의 관점을 비판한다. 박일호, 전영삼, 어워디와 캐러스, 리켓츠, 테넌트 등은 괴델의 논변을 여러 가지 방식으로 재구성하고, 카르납의 가능한 대응을 검토해 왔다. 이 논문은 수학의 성격에 대한 괴델과 카르납의 논쟁을 재현한 뒤 대부분의 기존 논의를 비판하고 다음과 같은 새로운 기여를 하려 한다. 먼저 여러 학자가 카르납의 견해로 지적한 '언어 상대성'이 과장되었다고 주장한다. 오히려 괴델 비판의 핵심은 수학의 적용 문제이며 '기대가능성'에 기초한 논변이다. 따라서 카르납이 수학의 적용, 특히 과학에의 적용을 어떻게 보았는지를 논의하여 괴델에 응답한다. 그 과정에서 기존 논의가 간과한 카르납의 '대응 원리'가 핵심적인 역할을 한다고 주장한다. 마지막으로 괴델 불완전성 정리의 진정한 함축인 수학의 소진불가능성은 카르납과 괴델 자신이 정확히 동의하는 부분이라고 주장한다.

Abstract ▼ AI-Helper 아이콘AI-Helper

In his unpublished article, "Is Mathematics Syntax of Language?," $G{\ddot{o}}del$ criticizes what he calls the 'syntactical interpretation' of mathematics by Carnap. Park, Chun, Awodey and Carus, Ricketts, and Tennant have all reconstructed $G{\ddot{o}}del^{\prime}s$ arguments...

주제어

#괴델   #카르납   #일관성   #불완전성 정리   #대응 원리  

참고문헌 (35)

  1. 박일호 (2007), "괴델과 카르납: 수학은 언어의 구문론인가?", 과학철학, 10-1, pp. 27-56. 

  2. 전영삼 (2009), "괴델 이후의 힐베르트와 카르납: 체계 상대성 문제를 중심으로", 과학철학, 12-2, pp. 111-150. 

  3. Awodey, S. and Carus, A. W. (2003), "Carnap vs. Godel on Syntax and Tolerance", in P. Parrini et. al. (eds.), Logical Empiricism: Historical and Contemporary Perspectives, Pittsburgh: Pittsburgh University Press, pp. 57-64. 

  4. Awodey, S. and Carus, A. W. (2004), "How Carnap Could Have Replied to Godel", in S. Awodey and C. Klein (eds.), Carnap Brought Home: The View from Jena, LaSalle, IL: Open Court, pp. 179-200. 

  5. Awodey, S. and Carus, A. W. (2010),"Godel and Carnap", in S. Feferman et. al. (eds.), Kurt Godel: Essays for his Centennial, Cambridge: Cambridge University Press, pp. 252-274. 

  6. Berto, F. (2009), There's Something About Godel: The Complete Guide to the Incompleteness Theorem, UK: Wiley-Blackwell. 

  7. Carnap, R. (1927), "Eigentliche und uneigentliche Begriffe", Symposion 1, pp. 355-374. 

  8. Carnap, R. (1934/1937), Logical Syntax of Language, London: Kegan Paul. 

  9. Carnap, R. (1937), "Testability and Meaning-Continued", Philosophy of Science, 4-1, pp. 1-40. 

    상세보기 crossref

  10. Carnap, R. (1939), Foundations of Logic and Mathematics, International Encyclopedia of Unified Science, vol. I, number 3, Chicago: The University of Chicago Press. 

  11. Carnap, R. (1950a), Logical Foundations of Probability. Chicago: The University of Chicago Press. 

  12. Carnap, R. (1950b), "Empiricism, Semantics, and Ontology", reprinted in his Meaning and Necessity: A Study in Semantics and Modal Logic, Chicago: The University of Chicago Press, pp. 205-21. 

  13. Carnap, R. (1952/1990), "Quine on Analyticity", unpublished manuscript in R. Creath ed., Dear Carnap, Dear Van: The Quine-Carnap Correspondence and Related Work, Berkeley, CA: University of California Press, pp. 427-432. 

  14. Carnap, R. (1956), "The Methodological Character of Theoretical Concepts", in Minnesota Studies in the Philosophy of Science 1, pp. 38-76. 

  15. Carnap, R. (1963), "Intellectual Autobiography", in P. A. Schilpp (ed.), The Philosophy of Rudolf Carnap, LaSalle, IL: Open Court, pp. 

  16. Carnap, R. (1966), Philosophical Foundations of Physics: An Introduction to the Philosophy of Science, New York: Basic Books. 

  17. Carus, A. W. (2007), Carnap and Twentieth-Century Thought: Explication as Enlightenment, Cambridge: Cambridge University Press. 

  18. Franzen, T. (2005), Godel's Theorem: An Imcomplete Guide to Its Use and Abuse, Wellesley, MA: A K Peters. 

  19. Friedman, M. (1988), "Logical Truth and Analyticity in Carnap's 'Logical Syntax of Language'", in W. Aspray and P. Kitcher (eds), History and Philosophy of Modern Mathematics, Minneapolis: University of Minnesota Press, pp. 82-94. 

  20. Friedman, M. (1999), "Tolerance and Analyticity in Carnap's Philosophy of Mathematics", in M. Friedman, Reconsidering Logical Positivism, Cambridge: Cambridge University Press, pp. 198-233. 

  21. Friedman, M. (2009), "Tolerance, Intuition, and Empiricism", in P. Wagner (ed.), Carnap's Logical Syntax of Language, UK: Palgrave-Macmillan, 236-249. 

  22. Demopoulos, W. (2007) "Carnap on the Rational Reconstruction of Scientific Theories", in M. Friedman and R. Creath (eds.) Cambridge Companion to Carnap, Cambridge: Cambridge University Press, pp. 248-272. 

  23. Godel, K. (1951) "Some Basic Theorems on the Foundations of Mathematics and their Implications", in S. Feferman et al. (eds.), Godel, Collected Works, vol. III: Unpublished Essays and Lectures, Oxford: Oxford University Press, pp. 304-323. 

  24. Godel, K. (1953/9), "Is Mathematics Syntax of Language?", version III and version V, in S. Feferman et al. (eds.) Godel, Collected Works, vol. III: Unpublished Essays and Lectures, Oxford: Oxford University Press, pp. 334-362. 

  25. Godel, K. (1975/2003), "Correspondence with Burke D. Grandjean", S. Feferman et al. (eds.), Godel, Collected Works, vol. IV: Correspondence A-G , Oxford: Oxford University Press, pp. 442-450. 

  26. Goldfarb, W. (1995), "Introductory Note to *1953/9", in S. Feferman et al. (eds.), Godel, Collected Works, vol. III: Unpublished Essays and Lectures, Oxford: Oxford University Press, pp. 324-34. 

  27. Goldfarb, W. (1996), "The Philosophy of Mathematics in Early Positivism", in R. Giere and A. Richardson (eds.), Origins of Logical Empiricism, Minneapolis: University of Minnesota Press, pp. 213-230. 

  28. Goldfarb, W. and Ricketts, T. (1992), "Carnap and the Philosophy of Mathematics", in D. Bell and W. Vossenkuhl (eds.), Science and Subjectivity: The Vienna Circle and Twentieth Century Philosophy, Berlin: Akademie-Verlag, pp. 61-78. 

  29. Kuhn, T. (1970), The Structure of Scientific Revolutions, 2nd Edition, Chicago: Chicago University Press. 

  30. Ricketts, T. (1994), "Carnap's Principle of Tolerance, Empiricism, and Conventionalism", in P. Clark and B. Hale (eds), Reading Putnam, Oxford: Blackwell, pp. 176-200. 

  31. Ricketts, T. (2007), "Tolerance and Logicism: Logical Syntax and the Philosophy of Mathematics", in M. Friedman and R. Creath (eds.), Cambridge Companion to Carnap, Cambridge: Cambridge University Press, pp. 200-225. 

  32. Sarkar, S. (1992), "'The Boundless Ocean of Unlimited Possibilities': Logic in Carnap's Logical Syntax of Language", Synthese, 93, pp. 191-237. 

    상세보기 crossref

  33. Stein, H. (1992), "Was Carnap Wrong After All?", Synthese, 93, pp. 275-295. 

    상세보기 crossref

  34. Tennant, N. (2008), "Carnap, Godel, and the Analyticity of Arithmetic", Philosophia Mathematica, III, 100-112. 

  35. Wagner, P. and Beaney, M. (2012), Carnap's Ideal of Explication and Naturalism, UK: Palgrave-Macmillan. 

관련 콘텐츠

저작권 관리 안내
섹션별 컨텐츠 바로가기

AI-Helper ※ AI-Helper는 오픈소스 모델을 사용합니다.

AI-Helper 아이콘
AI-Helper
안녕하세요, AI-Helper입니다. 좌측 "선택된 텍스트"에서 텍스트를 선택하여 요약, 번역, 용어설명을 실행하세요.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.

선택된 텍스트

맨위로