Самореферентность, логические типы и категоризация в изобразительной теории предложений Л. Витгенштейна
Рассматривается источник логических парадоксов, выявленных Б. Расселом в системе обоснования математики, предложенной Г. Фреге. Самореферентность выражений, предложенная Б. Расселом как объяснение возникновения парадоксов, рассматривается с точки зрения разработанной им простой и разветвленной...
| Published in: | Праксема. Проблемы визуальной семиотики № 4. С. 213-233 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000846913 Перейти в каталог НБ ТГУ |
| Summary: | Рассматривается источник логических парадоксов, выявленных Б. Расселом в системе обоснования математики, предложенной Г. Фреге. Самореферентность выражений, предложенная Б. Расселом как объяснение возникновения парадоксов, рассматривается с точки зрения разработанной им простой и разветвленной теории типов. Обосновывается, что теория типов, предложенная Б. Расселом, основана на онтологических предпосылках. Онтологические предпосылки зависят от предпочтения семантическому перед синтаксическим подходом, который принимается Б. Расселом. Рассмотрены синтаксические подходы к логическому символизму, которые позволяют устранить парадоксы с точки зрения языка современной символической логики. Анализируется подход к решению парадоксов Л. Витгенштейна, который основан на синтаксическом подходе. Показано, что этот подход отличается от способов построения языка, принятых в современной логике. |
|---|---|
| Bibliography: | Библиогр.: с. 232-233 |
| ISSN: | 2312-7899 |