ODKUD SE BEROU AXIOMY LOGIKY?

• Authors: Jaroslav Peregrin

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

EN

AXIOMS; LOGIC; NATURAL DEDUCTION; NEGATION

• Publisher: Institute of Philosophy of the Slovak Academy of Sciences and Institute of Philosophy of Academy of Sciences of Czech Republic
• Journal: Organon F. medzinárodný časopis pre analytickú filozofiu
• Year: 2013
• Volume: 20
• Issue: suppl. 2
• Pages: 117 – 139

Contributors

author

Jaroslav Peregrin

• Oddělení logiky, Filozofický ústav, Akademie věd České republiky, v.v.i., Jilská 1, 110 00 Praha 1, Czech Republic