Article/Publication Details

Where Do the Axioms of Logic Come from?

(Original title: Odkud se berou axiomy logiky? )
Organon F, 2013, vol. 20, Supplementary Issue 2, pp. 117-139.
File to download: PDF*
BibTex EndNote Tagged EndNote XML RIS

Document Statistics:

Number of visits: 1,579
Number of visits today: 2
Last visit: 25.05.2020 - 06:58
PDF downloads: 469


Systems of axioms for elementary logic we can find in textbooks are usually not very transparent; and the reader might well wonder how did precisely such a set of axioms come into being. In this paper we present a way of constituting one such non-transparent set of axioms, namely the one presented by E. Mendelson in his Introduction to Mathematical Logic, in a transparent way, with the aim of helping the reader to get an insight into the workings of the axioms.


Axioms, logic, Natural Deduction, negation

*The article is subject to copyright.