Abstrakt
Zájemcům o logiku, ať už z řad studentů vyšších ročníků gymnázií, či širší veřejnosti, je určena publikace přibližující základy logického uvažování v jeho moderní podobě. Od logických hádanek a sylogismů směřuje systematicky k bližšímu seznámení s teorií logiky.
Zejména studenti gymnázií uvažující o vysokoškolském studiu matematického zaměření se zde mohou setkat nejen s výrokovou a predikátovou logikou, ale také s náročnějším dokazováním v axiomatické teorii či rozborem Gödelových vět o neúplnosti aritmetiky. Právě podrobný popis Gödelových myšlenek v intuitivní rovině je v české odborné literatuře ojedinělým počinem.
Přední český matematik Antonín Sochor se zabýval matematickou logikou a teorií množin, později také studiem Vopěnkovy alternativní teorie množin a souvisejícími otázkami z tzv. nestandardní analýzy. Svými monografiemi Klasická matematická logika a Metamatematika teori í množin položil u nás základy moderní univerzitní výuky matematické logiky.