Формальная метаонтология

Обложка

Аннотация


Онтологии научных теорий возникают из более глубоких принципов, которые также имеют онтологическую природу. Эти принципы и их обоснование образуют онтологию онтологии или метаонтологию . Метаонтология лежит в фундаменте логики и математики, а через них и всей науки как доказательного знания о реальности. Метаонтологический базис логико-математических структур имеет идеальный характер, требующий для своего адекватного представления применения формальных методов рассуждений.


Александр Михайлович Анисов

Лицо (автор) для связи с редакцией.
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.

Просмотры

Аннотация - 98

PDF (Russian) - 72


© Анисов А.М., 2017

Creative Commons License
Эта статья доступна по лицензии Creative Commons Attribution 4.0 International License.