RUDN Journal of PhilosophyRUDN Journal of PhilosophyВестник Российского университета дружбы народов. Cерия: Философия2313-23022408-8900Peoples’ Friendship University of Russia named after Patrice Lumumba (RUDN University)1617610.22363/2313-2302-2017-21-2-166-178ArticlesСтатьиResearch ArticleFormal metaontologyФормальная метаонтологияAnisovA MАнисовАлександр Михайловичontology@iph.ras.ruInstitute of Philosophy RASИнститут философии РАН15122017212VOL 21, NO2 (2017)ТОМ 21, №2 (2017)16617802062017Copyright ©; 2017, Anisov A.M.Copyright ©; 2017, Анисов А.М.2017Anisov A.M.Анисов А.М.https://creativecommons.org/licenses/by-nc/4.0https://journals.rudn.ru/philosophy/article/view/16176

Ontologies scientific theories arise from the deeper principles, which also have an ontological nature. These principles and their justification form ontology ontology or metaontology. Metaontology lies in the foundations of logic and mathematics, and through them the whole of science as a demonstrative knowledge of reality. Metaontological basis of logical and mathematical structures has the perfect character, requiring for their adequate representation of the use of formal methods of reasoning.

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

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