Úvod do modální logiky

Recenze čtenářů

Kniha je dobře hodnoceným úvodem do modální logiky, oceňovaným pro svou srozumitelnost, filozofické postřehy a strukturovaný přístup. Mnozí recenzenti však zaznamenali významný nedostatek: nedostatek řešení cvičení, což ztížilo sebehodnocení. Kniha je přístupná, ale někdy nepřehledná, s občasnými chybami ve cvičeních. Přestože vyžaduje předchozí znalosti výrokové logiky, je považována za hodnotnou pro ty, kteří se zajímají o filozofické aspekty předmětu.

⬤ Přehledné a strukturované podání.
⬤ Poutavé filozofické diskuse týkající se modální logiky.
⬤ Vhodné pro ty, kdo mají určité základy symbolické logiky.
⬤ Ucelený přehled pojmů modální logiky.
⬤ Mnoho příkladů důkazů v celém textu.

⬤ Chybí odpovědi na cvičení, což ztěžuje sebehodnocení.
⬤ Některé problémy s přehledností a občasné chyby v důkazech/cvičeních.
⬤ Považováno za poněkud nepřehledné s nadbytečnými pravidly v deduktivních systémech.
⬤ Nemusí být vhodné pro úplné začátečníky bez předchozí znalosti výrokové logiky.

(na základě 13 hodnocení čtenářů)

Původní název:

Introductory Modal Logic

Obsah knihy:

Modální logika, která vznikla jako rozšíření klasické výrokové logiky a teorie kvantifikace prvního řádu, integruje pojmy možnosti a nutnosti a nutné implikace. Argumenty, jejichž pochopení závisí na určité základní znalosti modální logiky, byly vždy důležité ve filozofii náboženství, metafyzice a epistemologii.

Modální logika navíc v těchto oblastech nabývá na významu s používáním pojmu „možných světů“. Kniha Úvod do modální logiky naplňuje potřebu základního textu o modální logice, který by byl přístupný studentům elementární symbolické logiky.

Kenneth Konyndyk předkládá přirozenou dedukcí pojednání o výrokové modální logice a kvantifikované modální logice, historické informace o jejím vývoji a diskuse o filozofických otázkách, které modální logika vyvolává. Kniha Introductory Modal Logic, která se vyznačuje jasným a konkrétním výkladem, vhodnými příklady a pestrými a náročnými cvičeními, zpřístupňuje modální logiku i metafyziku možných světů studentům na úvodní úrovni.