Logika pro všechny ochotné myslet

This publication presenting the essentials of logic in its modern form is intended for all those interested in logic, both for students from the higher grades of secondary schools and the wider public. Starting with logical problems and syllogisms, it systematically proceeds to further presentation of logic as a scientific discipline. Particularly secondary school students considering further studies in mathematical fields can familiarize themselves with propositional and predicate logic as well as examining the properties of axiomatic theories or analysis of Gödel's incompleteness theorem.
RNDr. Antonín Sochor, DrSc., a leading Czech mathematician, focused on mathematical logic and set theory, and later co-operated on the development of Vopěnka's alternative set theory and related question of the non-standard analysis.
His monographs entitled Classical Mathematical Logic (2001) and Mathematics of Set Theories (2006) belong among essential textbooks of Czech modern university classes of mathematical logic.

We take it for granted that we can reason properly, yet we never explicitly ask ourselves questions such as: Can there be such a situation where reasoning itself will take us to unsolvable controversies? What dos it really mean to prove something? In what extent can (a mathematician's) intuition be replaced by mechanic calculation in proofs? Are there limits to our reasoning? Do we all agree in what is valid inference? Logic deals with these and many other similar questions. Logic is about the way we reason (how to form valid inferences) rather than how we get to inferences. Logic explicitly formulates those inference steps, which we intuitively consider valid, and thus examines the system arising from this.
From scholar's foreword