Detail príspevku/publikácie

Odkud se berou axiomy logiky?

Organon F, 2013, vol. 20, Supplementary Issue 2, pp. 117-139.
Súbor na stiahnutie: PDF*

Štatistika dokumentu:

Počet prístupov: 1,031
Počet prístupov dnes: 0
Naposledy zobrazené: 11.08.2018 - 14:05
Počet stiahnutí PDF: 354

Abstrakt

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.

Kľúčové slová

Axioms, logic, Natural Deduction, negation

*Príspevok je chránený zákonom o autorskom práve a právach súvisiacich s autorským právom (autorský zákon).