PL EN


2013 | 20 | suppl. 2 | 117 – 139
Article title

ODKUD SE BEROU AXIOMY LOGIKY?

Content
Title variants
EN
Where do the axioms of logic come from?
Languages of publication
CS
Abstracts
EN
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.
Keywords
Contributors
  • Oddělení logiky, Filozofický ústav, Akademie věd České republiky, v.v.i., Jilská 1, 110 00 Praha 1, Czech Republic, jarda@peregrin.cz
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.cejsh-39311bb7-89ae-4384-a3d6-6b6ddcd8a120
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.