The Early Wittgenstein on the Theory of Types

전기 비트겐슈타인과 유형 이론

  • Park, Jeong-il (Sookmyung Women's University, College of General Education)
  • 박정일 (숙명여자대학교 기초교양대학)
  • Received : 2017.09.29
  • Accepted : 2017.11.11
  • Published : 2018.02.28

Abstract

As is well known, Wittgenstein criticizes Russell's theory of types explicitly in the Tractatus. What, then, is the point of Wittgenstein's criticism of Russell's theory of types? In order to answer this question I will consider the theory of types on its philosophical aspect and its logical aspect. Roughly speaking, in the Tractatus Wittgenstein's logical syntax is the alternative of Russell's theory of types. Logical syntax is the sign rules, in particular, formation rules of notation of the Tractatus. Wittgenstein's distinction of saying-showing is the most fundamental ground of logical syntax. Wittgenstein makes a step forward with his criticism of Russell's theory of types to the view that logical grammar is arbitrary and a priori. His criticism of Russell's theory of types is after all the challenge against Frege-Russell's conception of logic. Logic is not concerned with general truth or features of the world. Tautologies which consist of logic say nothing.

잘 알려져 있듯이, 비트겐슈타인은 "논리-철학 논고"에서 러셀의 유형 이론을 명시적으로 비판한다. 그렇다면 러셀의 유형 이론에 대한 비트겐슈타인의 비판의 요점이란 무엇인가? 이 물음에 대답하기 위하여 나는 철학적인 측면과 논리학적인 측면에서 유형 이론을 살펴보고자 한다. "논리-철학 논고"에서 비트겐슈타인의 논리적 구문론은 말하자면 러셀의 유형 이론에 대한 대안이다. 논리적 구문론은 "논리-철학 논고"의 표기법의 기호 규칙들이며 특히 형성 규칙들이다. 비트겐슈타인의 말하기-보이기 구분은 논리적 구문론의 가장 근본적인 근거이다. 비트겐슈타인은 러셀의 유형 이론에 대한 비판과 함께 논리적 문법의 임의성(자의성)과 선험성으로 나아간다. 유형 이론에 대한 이러한 비트겐슈타인의 비판은 결국 프레게와 러셀의 논리학관에 대한 도전이다. 논리학은 세계에 속하는 일반적인 진리나 특성들을 다루지 않으며, 논리학을 이루는 동어반복은 아무것도 말하지 않는다.

Keywords

References

  1. 박정일 (2014), 논리-철학 논고의 일반성 개념에 관하여, 논리연구, 제17집 제1호, pp. 1-31.
  2. 박정일 (2015), 프레게와 전기 비트겐슈타인의 대상 개념, 논리연구, 제18집 제1호, pp. 1-38.
  3. 박정일 (2016), 논리-철학 논고의 동일성 개념에 관하여, 논리연구, 제19집 제2호, pp. 253-293.
  4. 박정일 (2017a), 비트겐슈타인과 환원 가능성 공리, 논리연구, 제20집 제1호, pp. 69-96.
  5. 박정일 (2017b), 전기 비트겐슈타인과 러셀의 역설, 논리연구, 제20집 제2호, pp. 163-196.
  6. 정인교 (1999), 유형론적 이론들과 표현력의 한계, 인문논총, 제29집, pp. 191-205.
  7. 비트겐슈타인 (2006), 이영철 옮김, 논리-철학 논고, 책세상.
  8. 비트겐슈타인 (2006), 이영철 옮김, 쪽지, 책세상.
  9. 비트겐슈타인 (2010), 박정일 옮김, 비트겐슈타인의 수학의 기초에 관한 강의, 올.
  10. 윌리엄 닐 & 마사 닐 (2015), 논리학의 역사 2, 박우석 외 옮김, 한길사.
  11. Davant, J. B. (1975). "Wittgenstein on Russell's Theory of Types," Notre Dame Journal of Formal Logic, volume XVI, No.1, pp. 102-108.
  12. Ishiguro, H. (1981), "Wittgenstein and the Theory of Types," in Ian Block (ed.), Perspectives on the Philosophy of Wittgenstein, Oxford: Basil Blackwell, pp. 43-59.
  13. Jolley, K. D. (2004), "Logic's Caretaker-Wittgenstein, Logic, and The Vanishment of Russell's Paradox,"The Philosophical Forum, volume XXXV, No.3, pp. 281-309.
  14. Frege, G. (1997), The Frege Reader, edited by M. Beaney, Blackwell Publishing.
  15. Ramsey, F. P. (1931), The Foundations of Mathematics and other Logical Essays, London: Routledge & Kegan Paul LTD.
  16. Ruffino, M. A. (1994), "The Context Principle and Wittgenstein's Criticism of Russell's Theory of Types," Synthese 98, pp. 401-414. https://doi.org/10.1007/BF01063927
  17. Russell, B. (1992), The Principles of Mathematics, London: Routledge.
  18. Russell, B. & Whitehead, A. N. (1910), Principia Mathematica, volume 1, Merchant Books.
  19. Russell, B. (2007), Introduction to Mathematical Philosophy, Cosimoclassics, New York.
  20. Wittgenstein, L. (1961), Notebooks 1914-1916, translated by G. E. M. Anscombe, New York and Evanston: Harper & Row, Publishers.
  21. Wittgenstein, L. (1922), Tactatus Logico-Philosophicus, translated by C. K. Ogden, London, Boson and Henley: Routledge & Kegan Paul LTD.
  22. Wittgenstein, L. (1980), Wittgenstein's Lectures, Cambridge, 1930-1932 , edited by Desmond Lee, The University of Chicago Press.
  23. Wittgenstein, L. (1975), Philosophical Remarks, edited by R. Rhees, translated by R. Hargreaves and R. White, Basil Blackwell.
  24. Wittgenstein, L. (2003), The Voices of Wittgenstein, translated by G. Baker, et al. Routledge, London and New York.