Reasoning and Formal Logic
Ta seria książek przedstawia podstawy logiki w stylu przystępnym zarówno dla studentów, jak i naukowców.
Tekst każdego eseju przedstawia historię, główną linię rozwoju idei, podczas gdy notatki i dodatki umieszczają badania w szerszym kontekście naukowym. Podstawowym tematem jest tu analiza logiki formalnej pod kątem tego, jakich założeń metafizycznych potrzebujemy, gdy rozwijamy systemy formalne, których używamy.
Eseje razem dają perspektywę logiki formalnej jako części sztuki dobrego rozumowania. Eseje te to: 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, oraz Postscriptum: Logic as the Art of Reasoning Well”.
