Logika pro všechny ochotné myslet

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.

Autor se čtenářem shodu hledá

Úvod

I. Výrokový počet
§1 Základy výrokového počtu
§2 Další logické operace výrokového počtu
§3 Dodatek k výrokovému počtu

II. Predikátový počet
§1 Sylogismy
§2 Základy predikátového počtu
§3 Dodatek k predikátovému počtu

III. Dokazatelnost a nedokazatelnost
§1 Dokazatelnost v aritmetice, modely aritmetiky
§2 Věty o neúplnosti
§3 Dodatek o teoriích

Závěr
§1 Jediná logika?
§2 Dodatek o kořenech logiky

Rozloučení

Řešení cvičení, hádanek a hlavolamů

Tabulky k úlohám §3 kap. I

Literatura

Rejstřík jmenný
Rejstřík věcný
Rejstřík symbolů