Types of the Theory of Types in Wittgenstein's Tractatus
The article contains a critical analysis of Wittgenstein's theory of logical symbolism. According to an influential interpretation, Wittgenstein presented in the Tractatus a new method of solving paradoxes. This method seems a simple and effective alternative to Russell's type theory. Wittgenstein's theory of logical symbolism is based on the requirement of clear notation and the context principle: the type of a symbol only “shows” itself in the way we use the signs of our language. The function sign ф(фХ) does not express any paradox, because the syntactic rules for its use, written in clear notation, should “show” us that ф(фХ) = у(ф.х). Many researchers (Davant, Ishiguro, Mounce, Ruffino, Friedlander, Jolley, Livingston, Ladov, et al.) follow this interpretation. However, the difficulty of such a view on Wittgenstein's theory of logical symbolism is that there hides the fallacy of petitio principii. Indeed, in examples of a functional sign of the form ф(фл'), we are interested not only in the question of whether the functions ф are different symbols, but also in how this functional sign ф(фл') itself excludes the symbolization of the same object by different ways. This interpretation is contrasted with the idea that Wittgenstein's theory of logical symbolism is in fact a modified analogue of Russell’s simple theory of types. The reciprocality principle becomes the core of Wittgenstein’s theory: the combinatorial potential of the “prototype” of a functional sign is identical to the combinatorial potential of the “prototype” of an argument. According to Wittgenstein, only describing the combinatorial potential of linguistic expressions (symbols) can vanish the illusion of paradoxes. The function cannot be its argument, because the function sign ф(фл') already contains the “prototype” of its argument, “showing” us that ф(фл') = фл. The correctness of this interpretation does not exclude the possibility that the differences between Russell and Wittgenstein are in fact nothing more than facon de parler.
Keywords
paradox,
Russell's theory of types,
Wittgenstein's theory of logical symbolism,
logical syntax,
combinatorial rulesAuthors
| Nekhaev Andrei V. | Tomsk Scientific Center, Siberian Branch of the Russian Academy of Sciences; Tyumen State University; Omsk State Technical University | a.v.nekhaev@utmn.ru |
Всего: 1
References
Рассел Б. Математическая логика, основанная на теории типов / пер. с англ. В.А. Суровцев // Введение в математическую философию. Избранные работы. Новосибирск : Сиб. университетское изд-во, 2007. С. 21-65.
Уайтхед А., Рассел Б. Основания математики : в 3 т. Самара : Самар. ун-т, 2005. Т. 1. 722 с.
Ruffino M.A. The Context Principle and Wittgenstein's Criticism of Russell's Theory of Types // Synthese. 1994. Vol. 98, № 3. P. 401-414. DOI: 10.1007/BF01063927
Han D. Wittgenstein on Russell's Theory of Logical Types // Journal of Philosophical Research. 2013. Vol. 38. P. 115-146. DOI: 10.5840/jpr2013387
Ладов В.А. Критический анализ иерархического подхода Рассела-Тарского к решению проблемы парадоксов // Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 44. С. 11-24. DOI: 10.17223/1998863Х/44/2
Нехаев А.В. Машина Поста, самореференция и парадоксы // Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 46. С. 58-66. DOI: 10.17223/1998863Х/46/7
Ladov V.A. Wittgenstein's Tractatus Logico-Philosophicus and a Hierarchical Approach to Solving Logical Paradoxes // Filosofija. Sociologija. 2019. Vol. 30, № 1. P. 37-44. DOI: 10.6001/fil-soc.v30i1.3914
Ishiguro H. Wittgenstein and the Theory of Types // Perspectives on the Philosophy of Wittgenstein / ed. I. Block. Oxford : Basil Blackwell, 1981. P. 43-59.
Суровцев В.А. О простой теории типов Б. Рассела // Вестник Томского государственного университета. Философия. Социология. Политология. 2008. № 1 (2). С. 120-122.
Black M. A Companion to Wittgenstein's ‘Tractatus'. Ithaca : Cornell University Press, 1964. 451 p.
McGinn M. Elucidating the Tractatus: Wittgenstein's Early Philosophy of Logic and Language. Oxford : Clarendon Press, 2006. 316 p.
Витгенштейн Л. Из писем Витгенштейна к Расселу (1912-1922) / пер. с англ. В.А. Суровцева // Дневники 1914-1916. М. : Канон+ РООИ Реабилитация, 2015. С. 196-212.
Wittgenstein in Cambridge: Letters and Documents 1911-1951 / ed. B. McGuinness. Oxford : Blackwell, 2008. 498 p.
Livingston P. ‘Meaning Is Use' in the Tractatus // Philosophical Investigations. 2004. Vol. 27, № 1. P. 34-67. DOI: 10.1111/j.1467-9205.2004.00213.x
Витгенштейн Л. Заметки, продиктованные Дж.Э. Муру в Норвегии / пер. с англ. В. А. Суровцева // Дневники 1914-1916. М.: Канон+ РООИ Реабилитация, 2015. С. 177-195.
Davant J.B. Wittgenstein on Russell's Theory of Types // Notre Dame Journal of Formal Logic. 1975. Vol. 16, № 1. DOI: 10.1305/ndjfl/1093891616
White R.M. Wittgenstein's Tractatus Logico-Philosophicus. New York : Continuum, 2006. 163 p.
Jolley K.D. Logic's Caretaker-Wittgenstein, Logic, and the Vanishment of Russell's Paradox // The Philosophical Forum. 2004. Vol. 35, № 3. P. 281-309. DOI: 10.1111/j.1467-9191.2004.00175.x
Friedlander E. Signs of Sense: Reading Wittgenstein's Tractatus. Cambridge, MA : Harvard University Press, 2001. 227 p.
Суровцев В.А. Автономия логики: источники, генезис и система философии раннего Витгенштейна. Томск : Том. ун-т, 2001. 308 с.
Klement K.C. Putting Form Before Function: Logical Grammar in Frege, Russell, and Wittgenstein // Philosopher's Imprint. 2004. Vol. 4, № 2. P. 1-47.
Mounce H.O. Wittgenstein's Tractatus: An Introduction. Chicago : The University of Chicago Press, 1981. 136 p.
Caruthers P. Tractarian Semantics: Finding Sense in Wittgenstein's Tractatus. Oxford : Blackwell, 1989. 232 p.
Ostrow M. B. Wittgenstein's Tractatus: A Dialectical Interpretation. Cambridge : Cambridge University Press, 2001. 175 p.
Витгенштейн Л. Дневники 1914-1916 / пер. с англ. В.А. Суровцева. М. : Канон+ РООИ Реабилитация, 2015. 400 с.
Church A. A Formulation of the Simple Theory of Types // The Journal of Symbolic Logic. 1940. Vol. 5, № 2. P. 56-68. DOI: 10.2307/2266170
Anscombe G.E.M. An Introduction to Wittgenstein's Tractatus. New York : Harper Torchbooks, 1965. 177 p.
Витгенштейн Л. Логико-философский трактат / пер. с англ. И.С. Добронравова, Д.Г. Лахути. М. : Канон+ РООИ Реабилитация, 2008. 288 с.
Витгенштейн Л. Заметки по логике (1913) / пер. с англ. В.А. Суровцева // Дневники 1914-1916. М. : Канон+ РООИ Реабилитация, 2015. С. 151-176.
Park J. The Early Wittgenstein on the Theory of Types // Korean Journal of Logic. 2018. Vol. 21, № 1. P. 1-37.
Landini G. Wittgenstein's Apprenticeship with Russell. Cambridge : Cambridge University Press, 2007. 300 p.
Lando G. Russell's Relations, Wittgenstein's Objects, and the Theory of Types // Teorema: Revista International de Filosofia. 2012. Vol. 31, № 2. P. 21-35.
Li J. The Hidden Set-Theoretical Paradox of the Tractatus // Philosophia. 2018. Vol. 46, № 1. P. 159-164. DOI: 10.1007/s11406-017-9904-2
Рассел Б. Философия логического атомизма / пер. с англ. В.А. Суровцева // Избранные труды. Новосибирск : Сиб. университетское изд-во, 2007. С. 121-222.
