Formal metaontology
- 作者: Anisov AM1
-
隶属关系:
- Institute of Philosophy RAS
- 期: 卷 21, 编号 2 (2017)
- 页面: 166-178
- 栏目: Articles
- URL: https://journals.rcsi.science/2313-2302/article/view/345106
- DOI: https://doi.org/10.22363/2313-2302-2017-21-2-166-178
- ID: 345106
如何引用文章
全文:
详细
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 Anisov
Institute of Philosophy RAS
编辑信件的主要联系方式.
Email: ontology@iph.ras.ru
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).
补充文件

