Raționament și logică formală

Titlul original:

Reasoning and Formal Logic

Conținutul cărții:

Această serie de cărți prezintă elementele fundamentale ale logicii într-un stil accesibil atât studenților, cât și cercetătorilor.

Textul fiecărui eseu prezintă o poveste, linia principală de dezvoltare a ideilor, în timp ce notele și anexele plasează cercetarea într-un context academic mai larg. Tema de bază aici este analiza logicii formale în ceea ce privește ipotezele metafizice de care avem nevoie atunci când dezvoltăm sistemele formale pe care le folosim.

Împreună, eseurile oferă o perspectivă a logicii formale ca parte a artei de a raționa bine. Eseurile sunt Possibilities and Valid Inferences, A General Framework for Semantics for Propositional Logics, Why Are There So Many Logics? Truth and Reasoning, On Translations, Reflections on Temporal and Modal Logic, The Timelessness of Classical Predicate Logic, Events in the Metaphysics of Predicate Logic, Categoricity with Minimal Metaphysics, Reflections on Godel's Theorems, On the Error in Frege's Proof that Names Denote, și Postscript: Logic as the Art of Reasoning Well.”.