Рассматривается источник логических парадоксов, выявленных Б. Расселом в системе обоснования математики, предложенной Г. Фреге. Самореферентность выражений, предложенная Б. Расселом как объяснение возникновения парадоксов, рассматривается с точки зрения разработанной им простой и разветвленной теории типов. Обосновывается, что теория типов, предложенная Б. Расселом, основана на онтологических предпосылках. Онтологические предпосылки зависят от предпочтения семантическому перед синтаксическим подходом, который принимается Б. Расселом. Рассмотрены синтаксические подходы к логическому символизму, которые позволяют устранить парадоксы с точки зрения языка современной символической логики. Анализируется подход к решению парадоксов Л. Витгенштейна, который основан на синтаксическом подходе. Показано, что этот подход отличается от способов построения языка, принятых в современной логике.
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.