Главная / Б. Рассел и философия / Формальная онтология и номиналистическая семантика в философии математики Бертрана Рассела.
Формальная онтология и номиналистическая семантика в философии математики Бертрана Рассела.
Журнал: Философия науки.
Учредители: Институт философии и права СО РАН, Сибирское отделение РАН (Новосибирск)
Статья посвящена исследованию формальной онтологии в системах, предложенных Б. Расселом в период между его Principles of Mathematics (1903) и Principia Mathematica (совместно с А.Н. Уайтхедом – 1911–1913). На основании рукописей, опубликованных в 1970-х из архива Б. Рассела, описана неизвестная система Подстановочной Теории, предложенной Расселом для решения теоретико-множественных парадоксов наряду с широко известными Зигзаг Теорией и Теорией Ограниченного Размера. Показано, что Подстановочная Теория есть вариант номиналистической элиминации онтологии пропозициональных функций, соответствующей элиминации онтологии классов в рамках его же Не-Класс Теории. Установлена возможность эмуляции Подстановочной Теорией Простой Теории Типов. Объяснена причина отказа от Подстановочной Теории в пользу Разветвленной Теории Типов в Principia Mathematica из-за открытия парадокса пропозициональных функций. Продемонстрированы преимущества Подстановочной Теории и средства устранения ее недостатков в качестве оснований математики.
Скачать
Что же желал знать Георг IV?

Что же желал знать Георг IV?

Суровцев В. А Россия Публикации
Ф. П. Рамсей и программа логицизма

Ф. П. Рамсей и программа логицизма

Суровцев В. А Россия Публикации
Рассел и «Трактат» Витгенштейна: забытый долг

Рассел и «Трактат» Витгенштейна: забытый долг

Целишев В. В. Россия Публикации
Критический анализ номиналистических и платонистских тенденций в современной логике <Фрагмент>

Критический анализ номиналистических и платонистских тенденций в современной логике <Фрагмент>

Ледников Е.Е. Россия Публикации
Новости 1 - 4 из 26
Начало | Пред. | 1 2 3 4 5 | След. | Конец Все