International conference on "Carnap on Logic" (July 3 - 6, 2013)
Idea and Motivation
The conference is dedicated to a reevaluation of Carnap's work on logic and its philosophical applications. It will investigate different aspects of his contributions-from type theory and modal logic to inductive logic-and set them in context with his work in the philosophy of logic.
Program
Wednesday, 03 July
| Time | Topic |
| 17:00 - 18:30 | Michael Friedman (Stanford University). From Intuition to Tolerance in Carnap's Philosophy of Mathematics |
| 19:00 | Conference Dinner - Georgenhof |
Thursday, 04 July
| Time | Topic |
| 09:00 | Opening and Registration |
| 09:30 | Patricia Blanchette (University of Notre Dame). Applications and Content: Frege and Gödel on Mathematics as Syntax |
| 10:45 | Coffee Break |
| 11:15 | Steve Awodey (Carnegie-Mellon University). On the Invariance of Logical Truth |
| 12:30 | Diego L. Rosende (University of Buenos Aires). Carnap on Truth and Semantical Systems |
| 13:15 | Lunch Break |
| 14:45 | Richard Creath (Arizona State University). The Logical and the Analytic |
| 16:00 | Sean Morris (Metropolitan State University of Denver). Quine, Carnap and Russel on Truth by Convention |
| 16:45 | Coffee Break |
| 17:15 | Catarina Dutilh Noveas (University of Groningen). Two Conceptions of Formalization: Carnapian Explication and Formal Languages as Cognitive Artifacts |
| 19:30 | Editorial Board Meeting. Collected Works of Rudolf Carnap |
Friday, 05 July
| Time | Topic |
| 09:00 | Florian Steinberger (Ludwig-Maximilians-Universität). Limits of Tolerance? Carnap on the Normativity of Logic |
| 10:15 | Coffee Break |
| 10:45 | Erich Reck (UC Riverside). Logic in the 1930s: Model Theory and Type Theory |
| 12:00 | Iris Loeb (VU University Amsterdam). The Place of Carnap's Early Model Theory in the History of Logic |
| 12:45 | Lunch Break |
| 14:30 | Andre Carus (Hegeler Institute). Carnapian Rationality |
| 15:45 | Coffee Break |
| 16:15 | Wolfgang Kienzler (Universität Jena). Carnap and Kant on the Nature of Logic |
Saturday, 06 July
| Time | Topic |
| 09:00 | Richard Zach (University of Calgary). Carnap as a Logician |
| 10:15 | Coffee Break |
| 10:45 | Pierre Wagner (University Paris 1). Tarskian and Carnapian Semantics |
| 12:00 | Peter Olen (University of South Florida). Chasing Ghosts:Understanding Carnap's Pure Semantics |
| 12:45 | Lunch Break |
| 14:30 | Sebastian Lutz (Ludwig-Maximilians-Universität). On Carnap on Empirical Significance |
Acknowledgement
The conference is generously supported by the German Research Council (DFG), the Munich Center for Mathematical Philosophy (MCMP) and the Alexander von Humboldt Foundation through a Humboldt Professorship.