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.


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

  1. Anisov AM. Tipy sushchestvovaniya. Voprosy filosofii. 2001; (7): 100—112. (In Russ).
  2. Anisov AM. Sovremennaya logika. Moscow: IF RAN; 2002. (In Russ).
  3. Barendregt X. Lambda-ischislenie. Ego sintaksis i semantika. Moscow: Mir; 1985. (In Russ).
  4. Vladimirov YuS. Metafizika. Moscow: BINOM. Laboratoriya znanij; 2009. (In Russ).
  5. Vopenka P. Matematika v al'ternativnoj teorii mnozhestv. Moscow: Mir; 1983. (In Russ).
  6. Vopenka P. Al'ternativnaya teoriya mnozhestv: Novyj vzglyad na beskonechnost'. Novosibirsk: Izdatel'stvo Instituta matematiki; 2004. (In Russ).
  7. Gladkih YuG. Logika bez ehkzistencial'nyh predposylok. Moscow: Izd-vo MGU; 2006. (In Russ).
  8. Devis M. Prikladnoj nestandartnyj analiz. Moscow: Mir; 1980. (In Russ).
  9. Dragalin AG. Konstruktivnaya teoriya dokazatel'stv i nestandartnyj analiz. Moscow: Editorial URSS; 2003. (In Russ).
  10. Pavlov SA. Logika s operatorami istinnosti i lozhnosti. Moscow, 2004. (In Russ).
  11. Seval'nikov AYu. Ontologiya kvantovoj mekhaniki ili ot fiziki k filosofii. Metafizika. 2014; (2). (In Russ).
  12. Spravochnaya kniga po matematicheskoj logike. CH.I. Teoriya modelej. Moscow: Nauka; 1982. (In Russ).
  13. Fejnman R., Lejton R., Sehnds M. Fejnmanovskie lekcii po fizike. Vyp. 8, 9. Kvantovaya mekhanika. Moscow: Mir; 1978. (In Russ).
  14. Fejnman R., Lejton R., Sehnds M. Fejnmanovskie lekcii po fizike. Zadachi i uprazhneniya s otvetami i resheniyami. Moscow: Mir; 1978. (In Russ).
  15. Frege G. Logika i logicheskaya semantika. Moscow: Aspekt Press; 2000. (In Russ).

Statistics

Views

Abstract - 1068

PDF (Russian) - 319

Cited-By


PlumX

Dimensions


Copyright (c) 2017 Anisov A.M.

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

This website uses cookies

You consent to our cookies if you continue to use our website.

About Cookies