Формальная метаонтология
- Авторы: Анисов А.М.1
-
Учреждения:
- Институт философии РАН
- Выпуск: Том 21, № 2 (2017)
- Страницы: 166-178
- Раздел: Статьи
- URL: https://ogarev-online.ru/2313-2302/article/view/345106
- DOI: https://doi.org/10.22363/2313-2302-2017-21-2-166-178
- ID: 345106
Цитировать
Полный текст
Аннотация
Онтологии научных теорий возникают из более глубоких принципов, которые также имеют онтологическую природу. Эти принципы и их обоснование образуют онтологию онтологии или метаонтологию . Метаонтология лежит в фундаменте логики и математики, а через них и всей науки как доказательного знания о реальности. Метаонтологический базис логико-математических структур имеет идеальный характер, требующий для своего адекватного представления применения формальных методов рассуждений.
Об авторах
Александр Михайлович Анисов
Институт философии РАН
Автор, ответственный за переписку.
Email: ontology@iph.ras.ru
109240, Москва, Россия, Гончарная ул., д. 12/1
Список литературы
- Anisov AM. Tipy sushchestvovaniya. Voprosy filosofii. 2001; (7): 100—112. (In Russ).
- Anisov AM. Sovremennaya logika. Moscow: IF RAN; 2002. (In Russ).
- Barendregt X. Lambda-ischislenie. Ego sintaksis i semantika. Moscow: Mir; 1985. (In Russ).
- Vladimirov YuS. Metafizika. Moscow: BINOM. Laboratoriya znanij; 2009. (In Russ).
- Vopenka P. Matematika v al'ternativnoj teorii mnozhestv. Moscow: Mir; 1983. (In Russ).
- Vopenka P. Al'ternativnaya teoriya mnozhestv: Novyj vzglyad na beskonechnost'. Novosibirsk: Izdatel'stvo Instituta matematiki; 2004. (In Russ).
- Gladkih YuG. Logika bez ehkzistencial'nyh predposylok. Moscow: Izd-vo MGU; 2006. (In Russ).
- Devis M. Prikladnoj nestandartnyj analiz. Moscow: Mir; 1980. (In Russ).
- Dragalin AG. Konstruktivnaya teoriya dokazatel'stv i nestandartnyj analiz. Moscow: Editorial URSS; 2003. (In Russ).
- Pavlov SA. Logika s operatorami istinnosti i lozhnosti. Moscow, 2004. (In Russ).
- Seval'nikov AYu. Ontologiya kvantovoj mekhaniki ili ot fiziki k filosofii. Metafizika. 2014; (2). (In Russ).
- Spravochnaya kniga po matematicheskoj logike. CH.I. Teoriya modelej. Moscow: Nauka; 1982. (In Russ).
- Fejnman R., Lejton R., Sehnds M. Fejnmanovskie lekcii po fizike. Vyp. 8, 9. Kvantovaya mekhanika. Moscow: Mir; 1978. (In Russ).
- Fejnman R., Lejton R., Sehnds M. Fejnmanovskie lekcii po fizike. Zadachi i uprazhneniya s otvetami i resheniyami. Moscow: Mir; 1978. (In Russ).
- Frege G. Logika i logicheskaya semantika. Moscow: Aspekt Press; 2000. (In Russ).
Дополнительные файлы
