Formal metaontology

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.


A M Anisov

Principal contact for editorial correspondence.
ontology@iph.ras.ru
Institute of Philosophy RAS 12/1, Goncharnaya St., 109240, Moscow, Russian Federation

  • 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).

Views

Abstract - 50

PDF (Russian) - 42

Comments on this article

View all comments

Copyright (c) 2017 Anisov A.M.

Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.