Michal Peliš Books

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.

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