
Reasoning and Formal Logic
Diese Buchreihe präsentiert die Grundlagen der Logik in einem Stil, der sowohl für Studenten als auch für Wissenschaftler zugänglich ist.
Der Text jedes Aufsatzes stellt eine Geschichte dar, die Hauptentwicklungslinie der Ideen, während die Anmerkungen und Anhänge die Forschung in einen größeren wissenschaftlichen Kontext stellen. Das Grundthema ist die Analyse der formalen Logik im Hinblick darauf, welche metaphysischen Annahmen wir brauchen, wenn wir die von uns verwendeten formalen Systeme entwickeln.
Die Aufsätze geben zusammen eine Perspektive der formalen Logik als Teil der Kunst des guten Denkens. Die Aufsätze sind Möglichkeiten und gültige Schlüsse, Ein allgemeiner Rahmen für die Semantik propositionaler Logiken, Warum gibt es so viele Logiken? 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, and Postscript: Logik als die Kunst, gut zu argumentieren.“.