Отправить статью по E-mail 
Формальная метаонтология
- Авторы: Анисов А.М.1
-
Учреждения:
- Институт философии РАН
- Выпуск: Том 21, № 2 (2017)
- Страницы: 166-178
- Раздел: Статьи
- URL: https://journals.rudn.ru/philosophy/article/view/16176
- DOI: https://doi.org/10.22363/2313-2302-2017-21-2-166-178
Цитировать
Полный текст
Аннотация
Онтологии научных теорий возникают из более глубоких принципов, которые также имеют онтологическую природу. Эти принципы и их обоснование образуют онтологию онтологии или метаонтологию . Метаонтология лежит в фундаменте логики и математики, а через них и всей науки как доказательного знания о реальности. Метаонтологический базис логико-математических структур имеет идеальный характер, требующий для своего адекватного представления применения формальных методов рассуждений.
Об авторах
Александр Михайлович Анисов
Институт философии РАН
Автор, ответственный за переписку.
Email: ontology@iph.ras.ru
109240, Москва, Россия, Гончарная ул., д. 12/1
Список литературы
- Анисов А.М. Типы существования // Вопросы философии. 2001. № 7. С. 100-112.
- Анисов А.М. Современная логика. М.: ИФ РАН, 2002.
- Барендрегт X. Ламбда-исчисление. Его синтаксис и семантика. М.: Мир, 1985.
- Владимиров Ю.С. Метафизика. М.: БИНОМ. Лаборатория знаний, 2009.
- Вопенка П. Математика в альтернативной теории множеств. М.: Мир, 1983.
- Вопенка П. Альтернативная теория множеств: Новый взгляд на бесконечность. Новосибирск: Издательство Института математики, 2004.
- Гладких Ю.Г. Логика без экзистенциальных предпосылок. М.: Изд-во МГУ, 2006.
- Девис М. Прикладной нестандартный анализ. М.: Мир, 1980.
- Драгалин А.Г. Конструктивная теория доказательств и нестандартный анализ. М.: Едиториал УРСС, 2003.
- Павлов С.А. Логика с операторами истинности и ложности. М., 2004.
- Севальников А.Ю. Онтология квантовой механики или От физики к философии // Метафизика. 2014. № 2.
- Справочная книга по математической логике. Ч. I: Теория моделей. М.: Наука, 1982.
- Фейнман Р., Лейтон Р., Сэндс М. Фейнмановские лекции по физике. Вып. 8, 9: Квантовая механика. М.: Мир, 1978.
- Фейнман Р., Лейтон Р., Сэндс М. Фейнмановские лекции по физике. Задачи и упражнения с ответами и решениями. М.: Мир, 1978.
- Фреге Г. Логика и логическая семантика. М.: Аспект Пресс, 2000.
