| الوصف: |
Рассматривается источник логических парадоксов, выявленных Б. Расселом в системе обоснования математики, предложенной Г. Фреге. Самореферентность выражений, предложенная Б. Расселом как объяснение возникновения парадоксов, рассматривается с точки зрения разработанной им простой и разветвленной теории типов. Обосновывается, что теория типов, предложенная Б. Расселом, основана на онтологических предпосылках. Онтологические предпосылки зависят от предпочтения семантическому перед синтаксическим подходом, который принимается Б. Расселом. Рассмотрены синтаксические подходы к логическому символизму, которые позволяют устранить парадоксы с точки зрения языка современной символической логики. Анализируется подход к решению парадоксов Л. Витгенштейна, который основан на синтаксическом подходе. Показано, что этот подход отличается от способов построения языка, принятых в современной логике. |