О понятии доказательства
Article Sidebar
Опубликован:
04.12.2007
Main Article Content
Аннотация
В статье мы сравниваем два хорошо известных определения доказательства в аксиоматических системах и демонстрируем, что эти определения нуждаются в разных метаязыках. Самое интересное, что они позволяют дать разные определения теории.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Шалак В. О понятии доказательства // Логические исследования / Logical Investigations. 2007. Т. 14. C. 301-305.
Выпуск
Раздел
Статьи
Литература
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.