SELF-REFERENCE, THEORY OF TYPES, AND CATEGORIZATION IN WITTGENSTEIN’S PICTURE THEORY OF STATEMENTS
DOI: 10.23951/2312-7899-2021-4-213-233
The article analyzes the source of logical paradoxes Bertrand Russell identified in the foundations of mathematics proposed by Gottlob Frege. Russell proposed self-reference of expressions as the source of paradoxes. To solve paradoxes, he developed the simple and ramified theory of types. Ontological presuppositions are well substantiated for his theory; they depend on semantic, but not syntactic, preference. Contemporary approaches in symbolical logic prefer syntactic methods. But Wittgenstein’s approach in his Tractatus Logico-Philosophicus is more interesting, especially from the perspective of his picture theory of statements.
Keywords: logical paradoxes, Bertrand Russell, simple and ramified theory of types, semantic and syntactic approach, Ludwig Wittgenstein’s picture theory of statements
References:
Andrews, P. B. (2002). An introduction to mathematical logic and type theory: to truth through proof. Kluwer Academic Publishers.
Bergman, M., Moor, J., & Nelson, J. (2009). The logic book. The McGraw-Hill Companies, Inc.
Bocharov, V. A., & Markin, V. A. (2008). Vvedenie v logiku [Introduction to logic]. ID “Forum”: INFRA-M.
Borisov, E. V. (2021). The russell–wittgenstein theory of symbolism. Vestnik Tomskogo gosudarstvennogo universiteta. Filosofiya, Sotsiologiya, Politologiya – Tomsk State University Journal of Philosophy, Sociology and Political Science, 62, 211–217. (In Russian).
Frege, G. (1893). Grundgesetze der Arithmetik, begriffsschriftlich abgeleitet (Bd. 1). Jena.
Frege, G. (2000). Logika i logicheskaya semantika [Logic and logical semantics] (pp. 65–147). Translated from German. Aspekt Press.
Ramsay, F. P. (2011). Filosofskie raboty [Philosophical works]. Translated from English. Kanon+.
Russell, B. (1974). Principles of mathematics. Allen & Unwin LTD.
Russell, B. (2007). Vvedenie v matematicheskuyu filosofiyu [Introduction to mathematical philosophy] (pp. 21–66). Translated from English. Sibirskoe universitetskoe izd-vo.
Russell, B. (2008). The principles of mathematics (Appendix B: The theory of types). Vestnik Tomskogo gosudarstvennogo universiteta. Filosofiya, Sotsiologiya, Politologiya – Tomsk State University Journal of Philosophy, Sociology and Political Science, 1(2), 123–129. (In Russian).
Sider, Th. (2010). Logic for Philosophy. Oxford University Press.
Surovtsev, V. A. (2008). On Russell’s simple theory of types. Vestnik Tomskogo gosudarstvennogo universiteta. Filosofiya, Sotsiologiya, Politologiya – Tomsk State University Journal of Philosophy, Sociology and Political Science, 1(2), 120–122. (In Russian).
Surovtsev, V. A. (2012). F. P. Ramsey i programma logitsizma [F. P. Ramsey and the program of logicism]. Tomsk State University.
Surovtsev, V. A. (2021). Is Wittgenstein’s theory of symbolism a radical version of the theory of types? Vestnik Tomskogo gosudarstvennogo universiteta. Filosofiya, Sotsiologiya, Politologiya – Tomsk State University Journal of Philosophy, Sociology and Political Science, 62, 228–236. (In Russian).
Whitehead, A. N., & Russell, B. (2005). Osnovaniya matematiki [Principia mathematica] (Vol. 1). Translated from English. Samara University.
Wittgenstein, L. (2008). Logiko-filosofskiy traktat [Tractatus logico-philosophicus]. Translated from German. Kanon+ ROOI Reabilitatsiya.
Wittgenstein, L. (2015a). Dnevniki 1914–1916 [Diaries of 1914–1916]. Translated from German. Kanon+ ROOI Reabilitatsiya.
Wittgenstein, L. (2015a). Iz pisem Vitgenshteyna k Rasselu (1912–1922) [From Wittgenstein’s letters to Russell (1912–1922)]. In Dnevniki 1914–1916 [Diaries of 1914–1916] (pp. 196–212). Translated from German. Kanon+ ROOI Reabilitatsiya.
( 375.23 kB ) 
( 369.61 kB )
Issue: 4, 2021
Series of issue: Issue 4
Rubric: ARTICLES
Pages: 213 — 233
Downloads: 754