О понятии доказательства
##plugins.themes.bootstrap3.article.sidebar##
Published:
04.12.2007
##plugins.themes.bootstrap3.article.main##
Abstract
In the paper we compare two well known definitions of proof in axiomatic systems and demonstrate that these definitions need different metalanguages. It is most interesting that they allow give different definitions of theory.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Shalack V. О понятии доказательства // Logicheskie Issledovaniya / Logical Investigations. 2007. VOL. 14. C. 301-305.
Issue
Section
Papers
References
Batens D. Dynamic Semantics Applied to Inconsistency-Adaptive Logics // Логические исследования. Вып.5. M.: Наука, 1998.
Batens D. A Universally Abnormality-Adaptive Logic // Логические исследования. Вып.8. M.: Наука, 2001.
Batens D. Towards the Unification of Inconsistency Handling Mechanisms // Logic and Logical Philosophy, 2000. Appeared 2003.
Batens D. A General Characterisation of Adaptive Logics // Logique et Analyse, 2001. Appeared 2003.
Batens D. The Need for Adaptive Logics in Epistemology // D. Gabbay, S. Raham, J. Symons & J.P.V. Bendegem, eds. Logic, Epistemology and the Unity of Science. Dordreht: Kluwer, 2004.
Batens D., Haesaert L. On Classical Adaptive Logics of Induction // Logique et Analyse, 2001. Appeared 2003.
Batens D. A Universally Abnormality-Adaptive Logic // Логические исследования. Вып.8. M.: Наука, 2001.
Batens D. Towards the Unification of Inconsistency Handling Mechanisms // Logic and Logical Philosophy, 2000. Appeared 2003.
Batens D. A General Characterisation of Adaptive Logics // Logique et Analyse, 2001. Appeared 2003.
Batens D. The Need for Adaptive Logics in Epistemology // D. Gabbay, S. Raham, J. Symons & J.P.V. Bendegem, eds. Logic, Epistemology and the Unity of Science. Dordreht: Kluwer, 2004.
Batens D., Haesaert L. On Classical Adaptive Logics of Induction // Logique et Analyse, 2001. Appeared 2003.