Michal Peliš Pořadí knih

Inferences with Ignorance focuses on two formal logic systems that employ the type of inferences in which questions are used in addition to statements. Not merely capturing questions as part of a logical apparatus, Michal Peliš also emphasizes the role of question-asking in communication. The book presents options for formalizing questions using sets of “direct answers,” demonstrates where questions are used in inferences, and explores asking questions and seeking answers as important components of everyday communication, proposing ways of using questions within a formal system that can capture a change in knowledge during this simple communication.

Autor podává stručný přehled základů logiky, které by měl zvládnout uchazeč na PF (hlavně UK) a další humanitní fakulty. V první kapitole se zabývá výrokovou logikou - syntax, sémantika, úsudky. Klasické základy, se kterými se je možno setkat i v matematice na SŠ doplněné o pár speciálnějších poznatků. Druhá kapitola nastiňuje základy predikátové logiky prvního řádu - syntax, sémantika, teorie množin - na bázi matematiky SŠ, ale doplněná o logické úvahy. Ve třetí kapitole vysvětluje základná vztahy subjekt-predikátových výroků, které jsou potřebné hlavně pro čtvrtou kapitulu - negace - na bázi predikátové logiky. Trošku mi tu chybí negace výroků, kterou však obsahuje např. Z. Zastávka. Pokračuje pátou kapitolou, která je podstatnou součástí právnických testů - úsudky v predikátové logice - úvahy na základě zakreslení struktury premis do množin a snahy najít protipříklad pro závěr (kdy by neplatil). Trošku navazuje 6. kapitola, která nastiňuje některé problémy, které mohou nastat při logické analýze úsudků v přirozeném jazyce, nicméně jde o problémy značné obtížnosti (naštěstí je zmiňuje jen letmo). Dva dodatky obsahují příklady odvozování (dovozování) z textu a několik zajímavých (hravých) úloh. Samozřejmě obsahuje ještě 5 souborů úloh na procvičení.