Beschreibung:
Hans Halvorson is Stuart Professor of Philosophy at Princeton University, New Jersey. He has written extensively on philosophical issues in physics and the other sciences, on mathematical logic, and on the relationship between science and religion.
Reconsiders the role of formal logic in the analytic approach to philosophy, using cutting-edge mathematical techniques to elucidate twentieth-century debates.
Introduction: 1. Invitation to metatheory; 2. The category of sets; 3. The category of propositional theories; 4. Syntactic metalogic; 5. Syntactic metalogic redux; 6. Semantic metalogic; 7. Semantic metalogic redux; 8. From metatheory to philosophy.