Karel Berka Knihy

Populárně vědecká práce, která představuje úvod do moderní formální logiky, se omezuje pouze na základní oblasti logiky, její pojmy, pravidla a zákony. Uvádí krátký historický nástin logiky, zabývá se výrokovou a predikátovou logikou, odvozováním, axiomatizací, základy teorie množin,přirozenou dedukcí a aplikací logiky v teorii rozhodování, v metodologii empirických věd a v teorii automatů.

Spravodlivosť ako férovosť rozvíja teóriu spravodlivosti vychádzajúc z myšlienky spoločenskej zmluvy. Princípy, ktoré formuluje, schvaľujú široko liberálnu koncepciu základných práv a slobôd a pripúšťajú nerovnosti iba v bohatstve a v príjme, ktoré by však mali byť na prospech tých, čo sú na tom najhoršie.

Aristotelova koncepce vědy si uchovala platnost až do pol. 19. stol., kdy ji upřesnily objevy a poučky neeuklidovské geometrie, teorie množin a moderní formální logiky. První kniha Druhých analytik vytvářela metodologii deduktivní výstavby každé vědy, druhá definici a učení o čtyřech příčinách. Neomezily se tedy na aplikaci sylogistiky v oblasti vědy. Charakterizují vědu, důkazové řetězce, předpoklady vědeckého důkazu a obecné i specifické axiómy.

Cílem vyučování logice je pěstovat především návyk kontrolovat správnost úsudků (podvědomě si klást otázku: "Je to správný úsudek? Vyplývá závěr z předpokladů?") a dále návyk objasňovat si význam výrazů (podvědomě se ptát: "Má tento výraz přesný význam? Co - přesně vzato -znamená?") /začátek předmluvy/