Úvodná modálna logika

Recenzie čitateľov

Kniha je uznávaným úvodom do modálnej logiky, oceňovaným pre svoju zrozumiteľnosť, filozofické postrehy a štruktúrovaný prístup. Mnohí recenzenti však zaznamenali významný nedostatok: nedostatok riešení cvičení, čo sťažilo samohodnotenie. Kniha je prístupná, ale niekedy neprehľadná, s občasnými chybami v cvičeniach. Hoci si vyžaduje predchádzajúce znalosti výrokovej logiky, považuje sa za užitočnú pre tých, ktorí sa zaujímajú o filozofické aspekty predmetu.

⬤ Jasná a štruktúrovaná prezentácia.
⬤ Pútavé filozofické diskusie týkajúce sa modálnej logiky.
⬤ Vhodné pre tých, ktorí majú určité základy symbolickej logiky.
⬤ Komplexný prehľad pojmov modálnej logiky.
⬤ Mnoho príkladov dôkazov v celom texte.

⬤ Chýbajú odpovede na cvičenia, čo sťažuje sebahodnotenie.
⬤ Niektoré problémy s prehľadnosťou a občasné chyby v dôkazoch/cvičeniach.
⬤ Považuje sa za trochu neprehľadný s nadbytočnými pravidlami v deduktívnych systémoch.
⬤ Nemusí byť vhodný pre úplných začiatočníkov bez predchádzajúcich znalostí výrokovej logiky.

(na základe 13 čitateľských recenzií)

Pôvodný názov:

Introductory Modal Logic

Obsah knihy:

Modálna logika, ktorá vznikla ako rozšírenie klasickej výrokovej logiky a teórie kvantifikácie prvého rádu, integruje pojmy možnosti a nutnosti a nutnej implikácie. Argumenty, ktorých pochopenie závisí od určitej základnej znalosti modálnej logiky, boli vždy dôležité vo filozofii náboženstva, metafyzike a epistemológii.

Navyše modálna logika nadobudla v týchto oblastiach čoraz väčší význam s používaním pojmu „možných svetov“. Úvod do modálnej logiky napĺňa potrebu základného textu o modálnej logike, ktorý by bol prístupný študentom elementárnej symbolickej logiky.

Kenneth Konyndyk predstavuje prirodzenou dedukciou spracovanú výrokovú modálnu logiku a kvantifikovanú modálnu logiku, historické informácie o jej vývoji a diskusie o filozofických otázkach, ktoré modálna logika vyvoláva. Kniha Introductory Modal Logic, ktorá sa vyznačuje jasným a konkrétnym výkladom, vhodnými príkladmi a pestrými a náročnými cvičeniami, sprístupňuje modálnu logiku aj metafyziku možných svetov študentom na úvodnej úrovni.