TY  - SER
AU  - Суровцев,Валерий Александрович
TI  - Самореферентность, логические типы и категоризация в изобразительной теории предложений Л. Витгенштейна
KW  - Рассел, Бертран
KW  - логические парадоксы
KW  - Витгенштейна изобразительная теория предложений
KW  - самореферентность
KW  - теория типов
KW  - статьи в журналах
N1  - Библиогр.: с. 232-233
N2  - Рассматривается источник логических парадоксов, выявленных Б. Расселом в системе обоснования математики, предложенной Г. Фреге. Самореферентность выражений, предложенная Б. Расселом как объяснение возникновения парадоксов, рассматривается с точки зрения разработанной им простой и разветвленной теории типов. Обосновывается, что теория типов, предложенная Б. Расселом, основана на онтологических предпосылках. Онтологические предпосылки зависят от предпочтения семантическому перед синтаксическим подходом, который принимается Б. Расселом. Рассмотрены синтаксические подходы к логическому символизму, которые позволяют устранить парадоксы с точки зрения языка современной символической логики. Анализируется подход к решению парадоксов Л. Витгенштейна, который основан на синтаксическом подходе. Показано, что этот подход отличается от способов построения языка, принятых в современной логике
UR  - http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000846913
ER  -