Email this article 
Formal metaontology
- Authors: Anisov AM1
-
Affiliations:
- Institute of Philosophy RAS
- Issue: Vol 21, No 2 (2017)
- Pages: 166-178
- Section: Articles
- URL: https://journals.rudn.ru/philosophy/article/view/16176
- DOI: https://doi.org/10.22363/2313-2302-2017-21-2-166-178
Cite item
Full Text
Abstract
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.
About the authors
A M Anisov
Institute of Philosophy RAS
Author for correspondence.
Email: ontology@iph.ras.ru
12/1, Goncharnaya St., 109240, Moscow, Russian Federation
References
- 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).
