Logica propozițională ediția a treia

Titlul original:

Propositional Logics Third Edition

Conținutul cărții:

Logica propozițională prezintă istoria, filosofia și matematica principalelor sisteme de logică propozițională. Logica clasică, logica modală, logica multor valori, intuiționismul, logica paraconsistentă și implicația dependentă sunt examinate în capitole separate.

Fiecare începe cu o motivație în termenii proprii inițiatorilor, urmată de semantica formală standard, sintaxă și teorema de completitudine. Capitolele privind diferitele logici sunt în mare parte autonome, astfel încât cartea poate fi utilizată ca referință. Un apendice rezumă semantica formală și axiomatizările logicii.

Punctul de vedere care unifică expunerea este că logica propozițională cuprinde un spectru. Pe măsură ce aspectul propozițiilor luate în considerare variază, logica variază.

Se demonstrează că fiecare logică se încadrează în mod natural într-un cadru general pentru semantică. Este prezentată o teorie a traducerilor între logici, care permite comparații suplimentare, și sunt date condițiile necesare pentru ca o traducere să păstreze sensul.

Pentru această a treia ediție, materialul a fost reorganizat pentru a face textul mai ușor de studiat și a fost adăugată o nouă secțiune privind logicile paraconsistente cu semantică simplă, care contestă opiniile standard privind natura relațiilor de consecință. Textul include exemple lucrate și sute de exerciții, de la probleme de rutină la probleme deschise, ceea ce face ca această carte, cu expunerea sa clară și atentă, să fie ideală pentru cursuri sau studiu individual.