- Б. Рассел и его время
- Сочинения
- Б. Рассел в России
- Б. Рассел: pro et contra
- Б. Рассел и математика
- Б. Рассел и философия
- Библиография
- Медиаматериалы
- Август Похлёбкин (1)
- Антонов В.И. (4)
- Асмус В.Ф. (1)
- Б. Рассел (2)
- Баннов Б.Г. (1)
- Бегиашвили А. Ф. (1)
- Богомолов А.С. (2)
- Борисов Е.В. (1)
- Браверман Л. А. (1)
- Быховский Б.Э. (1)
- В. К. (1)
- Векшин В. (1)
- Гаврилова Н. С. (1)
- Гетманова А.Д. (1)
- Головашина О. В. (1)
- Горлова Д.В. (1)
- Грязнов А.Ф. (1)
- Еникеев А. А. (2)
- Есмурзаева Жанбота Бауржановна (1)
- Заиченко Г.А. (1)
- Заславская Е.А. (1)
- Ивунина Е. Е. (1)
- Каменский А.В. (1)
- Канель В.Я. (1)
- Квитко Д.Ю. (1)
- Кедрова М. О. (2)
- Киссель М.А. (1)
- Козлова М.С. (1)
- Колесников А. С. (9)
- Корнеева А.И. (1)
- Куслий П. (1)
- Ладов В.А. (4)
- Ледников Е.Е. (1)
- Лобовиков В. О. (1)
- Луканов Д. М. (1)
- Магнус-Саминский В. С. (1)
- Малинин В.А. (1)
- Марков В.С. (1)
- Мееровский Б.В. (1)
- Мельник Д. И. (2)
- Нарский И.С. (2)
- Никоненко С. В. (4)
- Помогаева Е.Ф. (1)
- Похлёбкин А. (1)
- Рахманин А.Ю. (1)
- Рейнгард А. М. (1)
- Родин К.А. (1)
- Розанова М. С. (2)
- Светлов Р.В. (1)
- Соколов В.В. (1)
- Спешилова Е. И. (1)
- Столярова О.Е. (1)
- Суровцев В. А (7)
- Суханова Е. Н. (1)
- Томас Малькольм Маггеридж (1)
- Трофимов П.С. (1)
- Фофанова А.Д. (1)
- Целишев В. В. (3)
- Яблокова Н. И. (2)
- Яковлев А.А. (1)
Формальная онтология и номиналистическая семантика в философии математики Бертрана Рассела.
Учредители: Институт философии и права СО РАН, Сибирское отделение РАН (Новосибирск)
Статья посвящена исследованию формальной онтологии в системах, предложенных Б. Расселом в период между его Principles of Mathematics (1903) и Principia Mathematica (совместно с А.Н. Уайтхедом – 1911–1913). На основании рукописей, опубликованных в 1970-х из архива Б. Рассела, описана неизвестная система Подстановочной Теории, предложенной Расселом для решения теоретико-множественных парадоксов наряду с широко известными Зигзаг Теорией и Теорией Ограниченного Размера. Показано, что Подстановочная Теория есть вариант номиналистической элиминации онтологии пропозициональных функций, соответствующей элиминации онтологии классов в рамках его же Не-Класс Теории. Установлена возможность эмуляции Подстановочной Теорией Простой Теории Типов. Объяснена причина отказа от Подстановочной Теории в пользу Разветвленной Теории Типов в Principia Mathematica из-за открытия парадокса пропозициональных функций. Продемонстрированы преимущества Подстановочной Теории и средства устранения ее недостатков в качестве оснований математики.
Скачать
Начало | Пред. | 1 2 3 4 5 | След. | Конец