boloSelected Publications

Books
  • Kurt Gödel. Truth and provability, 2 vols (Kurt Gödel. Wahrheit und Beweisbarkeit. Bd. 1: Dokumente und historische Analysen; Bd. 2: Kompendium zum Werk), ed. by Bernd Buldt et al., Vienna: Hölder-Pichler-Tempsky (2002).
    Reviews in: Frankfurter Allgemeine Zeitung #233 (8. Oct. 2002), p. L41; Süddeutsche Zeitung (5. Oct. 2002), p. L14; History and Philosophy of Logic, 23/4 (2002), pp. 306–308 (I. Grattan-Guinness); Bulletin of Symbolic Logic, 10/2 (2004), pp. 228–232 (M. Wille).
Journal Issues
  • Towards a New Epistemology of Mathematics, guest-edited with Thomas Müller and Benedikt Löwe, Erkenntnis vol. 68, issue 3 (2008).
  • Reßections on Frege and Hilbert, guest-edited with Volker Halbach and Reinhard Kahle, Synthese vol. 147, issue 1 (2005).
Articles etc.
  • Towards a New Epistemology of Mathematics, jointly with Thomas Müller and Benedikt Löwe, Erkenntnis vol. 68, issue 3 (2008), pp. 309–329.
  • Rudolf Carnap, in: The New Dictionary of Scientific Biography, ed. by Noretta Koertge (editor-in-chief), Farmington Hills: Scribner's (2008), vol. 2, pp. 43–47.
  • On RC 102–43–14, in: Carnap: From Jena to L.A., ed. by S. Awodey & C. Klein, Chicago: Open Court (2004), pp. 225–246
    Reviews in: International Studies in the Philosophy of Science, 19/2 (2005), pp. 213–216 (J.Y. Tsou); Institute Vienna Circle Yearbook , 12 (2005), pp. 213–218 (Ch. Peacock).
  • Philosophical implications of the Gödel theorems? A critical report (Philosophische Implikationen der Gödelschen Sätze? Ein kritischer Bericht), in: Kurt Gödel. Wahrheit und Beweisbarkeit, vol. 2, pp. 395–438.
    Reviews in: see above (under books).
  • Finiteness and compactness in formal logic (Endlichkeit und Kompaktheit in der formalen Logik), in: ibid., vol. 2, pp. 31–49.
    Reviews in: see above (under books).
  • Logic (The history of the reception of Greek logic) (Logik, Rezeptionsgeschichte der antiken), in: Der Neue Pauly. Enzyklopädie der Antike, ed. by H. Cancik et al., Stuttgart & Weimar: Metzler, vol. 15/1 (2001), pp. 191–203.
  • Inductive logic and the growth of methodological knowledge. Comment on Mayo, in: Science at Century's End. Philosophical Questions on the Progress and Limits of Science, ed. by M. Carrier et al., Pittsburgh (Pittsburgh University Press) 2000, S. 345–354.
  • Supervalufuzzyvaguesoritalhistorical, or: A short report on the long history of how vagueness came under concepts and inside formulae (Supervaluvagefuzzysoritalhistorisch, oder: Ein kurzer Bericht der langen Geschichte, wie die Vagheit auf den Begriff und unter die Formel kam), in: Fuzzy Theorie und Stochastik. Modelle und Anwendungen in der Diskussion (= Computational Intelligence; 8), ed. by R. Seising, Wiesbaden: Vieweg (1999), pp. 41–85.
  • Infinitary logics, in: Routledge Encyclopedia of Philosophy, ed. by E. Craig, London & New York: Routledge (1998), vol. 4, pp. 769–772.
  • Remarks concerning the proof of Gödel's second theorem (Anmerkungen zum Beweis des Zweiten Gödelschen Satzes), in: Analyomen 2. Kongressbericht des zweiten Kongresses für analytische Philosophie (= Perspektiven der Analytischen Philosophie; 16), ed. by G. Meggle, Berlin: de Gruyter (1997), pp. 31–42.
  • Sorites (Sorites), in: Historisches Wörterbuch der Philosophie, ed. by J. Ritter(†) & K. Gründer(†), Basel: Schwabe, vol. 10 (1996), pp. 1090–1099 (partly co-authored by E. Schmidt).

A More Complete Listing
  • is downloadable here (in pdf-format, as of 12/04)

boloWork in Progress/Manuscripts

Books
  • –
Articles etc.
  • –

boloDownloads
  • –