Luxemburger Zirkel
The Luxemburger Zirkel is a group of researchers with a common interest
in philosophical logic and philosophy of mathematics. In particular, we
are interested in the theory of truth and other modal notions.
Meetings
Weihnachtskolloquium · Göttingen · 20 December 2002
Salzburg · 13-15 May 2003
Bristol · 6-8 January 2005
New College · 4 June 2005
New College Logic Meeting 2006 · 25-26 September 2006
Day of Truth · Bristol · 6 June 2008
Mathematical Methods in Philosophy · Bristol · 19-21 September 2008
Structure, Identity, Abstraction workshop · Bristol · 10-11 December 2009
Computability, Provability and Structure workshop · Bristol · 19 March 2010
Joint Papers
So far the members have written the following joint papers:
- Volker Halbach and Leon Horsten: “Two proof-theoretic remarks
on EA+ECT” Mathematical Logic Quarterly 46 (2000), 461-466
- Leon Horsten and Hannes Leitgeb: “No future” Journal
of Philosophical Logic 30 (2001), 259-265
- Volker Halbach and Leon Horsten: “Recent Developments in the
Theory of Truth” in Principles of Truth, Volker Halbach
& Leon Horsten eds, Hänsel-Hohenhausen, Frankfurt a.M., 2002, 11–35
- Volker Halbach, Hannes Leitgeb and Philip Welch: “Possible Worlds
Semantics for Modal Notions Conceived as Predicates” Journal
of Philosophical Logic 32 (2003), 179-223
- Volker Halbach and Leon Horsten: “Computational Structuralism”, Philosophia Mathematica 13 (2005) pp.174-186
- Volker Halbach and Leon Horsten: “The Deflationist's Axioms
for Truth” in Deflationism and Paradox, JC Beall and Brad
Armour-Garb (eds.), Oxford University Press, 2005, 203-217
- Volker Halbach, Hannes Leitgeb and Philip Welch: “Possible Worlds
Semantics for Predicates” in Intensionality, Reinhard Kahle (ed.),
Lecture Notes in Logic 22, Association of Symbolic Logic, A K Peters,
Wellesley, 2005, 20-41
- Volker Halbach and Leon Horsten: “Axiomatizing Kripke's Theory
of Truth”, Journal of Symbolic Logic 71 (2006), 677-712
- Leon Horsten and Philip Welch: “The undecidability of propositional
adaptive logic”, Synthese 158(2007), p. 41-60
- Volker Halbach and Philip Welch: “Necessities and Necessary Truths:
A Prolegomenon to the Metaphysics of Modality”, Mind 118 (2009),
71-100
- Hannes Leitgeb und Leon Horsten: “How Abstraction Works”,
in Reduction and Elimination
in Philosophy and the Sciences, Alexander Hieke and Hannes Leitgeb eds., Ontos Verlag, 2009, 216-226
- Volker Halbach and Leon Horsten: “Truth and Paradox”, in Continuum Companion to Philosophical Logic, Leon Horsten and Richard Pettigrew eds, Continuum
Press, 2011
- Leon Horsten, Graham Leigh, Hannes Leitgeb and Philip Welch: “Revision revisited”, Review of Symbolic Logic 5 (2012), 642-664
- Volker Halbach and Leon Horsten: “Norms for reflexive theories of truth”, in Unifying the Philosophy of Truth, Dora Achourioti, José Martínez Fernández, Henri Galinon, Kentaro Fujimoto (eds), Logic, Epistemology, and the Unity of Science vol. 36, Springer, Dordrecht, 2015, 263-280
- Leon Horsten and Philip Welch: “Reflecting on absolute infinity”,Journal of Philosophy 113 (2016): 89-111
- Catrin Campbell-Moore, Leon Horsten and Hannes Leitgeb: “Probability for the Revision Theory of Truth”, Journal of Philosophical Logic 48 (2019), 87–112
