Výroková logika tretie vydanie

Pôvodný názov:

Propositional Logics Third Edition

Obsah knihy:

Výroková logika predstavuje históriu, filozofiu a matematiku hlavných systémov výrokovej logiky. V samostatných kapitolách sa skúma klasická logika, modálna logika, mnohohodnotová logika, intuicionizmus, parakonzistentná logika a závislá implikácia.

Každá z nich sa začína motiváciou v zmysle vlastných pôvodcov, po ktorej nasleduje štandardná formálna sémantika, syntax a veta o úplnosti. Kapitoly o jednotlivých logikách sú zväčša samostatné, takže knihu možno používať ako referenciu. V prílohe je zhrnutá formálna sémantika a axiomatizácie logík.

Názor, ktorý zjednocuje výklad, je, že výrokové logiky tvoria spektrum. Podľa toho, ako sa mení aspekt uvažovaných propozícií, mení sa aj logika.

Ukazuje sa, že každá logika prirodzene spadá do všeobecného rámca sémantiky. Predkladá sa teória prekladov medzi logikami, ktorá umožňuje ďalšie porovnania, a uvádzajú sa nevyhnutné podmienky, aby preklad zachoval význam.

V tomto treťom vydaní bol materiál reorganizovaný, aby sa text ľahšie študoval, a bola pridaná nová časť o parakonsistentných logikách s jednoduchou sémantikou, ktorá spochybňuje štandardné názory na povahu dôsledkových vzťahov. Text obsahuje riešené príklady a stovky cvičení, od rutinných až po otvorené problémy, vďaka čomu je kniha so svojím jasným a starostlivým výkladom ideálna na kurzy alebo individuálne štúdium.