Michal Peliš Knihy

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í.

It is argued that the sequent calculus is more appropriate to model hypothetical reasoning than the calculus of natural deduction. Here "sequent calculus" is understood in a very general way which includes what might be called a "natural-deduction-style sequent calculus", that is, a natural deduction system with bidirectional rules

This volume of the Logica Yearbook series brings together articles presented at the annual international symposium Logica 2010, Hejnice, the Czech Republic. the articles range over mathematical and philosophical logic, history and philosophy of logic, and the analysis of natural language.