Publications

German titles are given with their English translation rst. Only contracted
work or work with rm arrangements is mentioned as in preparation.

BOOKS

[B 1] Kurt Godel. Truth and provability, 2 vols. (Kurt Godel. Wahrheit

und Beweisbarkeit. Bd. 1: Dokumente und historische Analysen; Bd. 2:
Kompendium zum Werk), ed. by Bernd Buldt et al., Vienna: Holder
PichlerTempsky (2002).1
In preparation:
[Ba] The Godel theorems. Logical and philosophical perspectives (Die Satze
von Godel. Logische und philosophische Perspektiven), to appear as:
Philosophia Scientiae, special issue.2
[Bb] Paul Bernays: Essays in the Philosophy of Mathematics, 12, Chicago:
Open Court (2005).3
[Bc] The Godel theorems. Logic, history and philosophy.4
[Bd] Rudolf Carnap: Works.5

PAPERS

[P 7] On RC 1024314, in: Carnap: From Jena to L.A., ed. by S. Awodey

& C. Klein, Chicago: Open Court (2004), pp. 225246.

[P 6] Philosophical implications of the Godel theorems? A critical re-

port (Philosophische Implikationen der Godelschen Satze? Ein kritischer
Bericht), in: [B 1], vol. 2, pp. 395438.

[P 5] Finiteness and compactness in formal logic (Endlichkeit und Kom-

paktheit in der formalen Logik), in: [B 1], vol. 2, pp. 3149.
1 Joint work with Werner DePauliSchimanovich, Carsten Klein, Eckehart Kohler, Michael

Stoltzner, and Peter Weibel. My main sharebesides archival research, copy-editing, proof-
reading, etc.was to act as editor-in-chief during the crucial time and thereby shaping the
vols, e. g., by inviting contributions.
2 A revised version of my doctoral dissertation.
3 Originally, this volume was planned together with Gerhard Heinzmann, Nancy. But now

we are joining forces with a group around Wilfried Sieg, Charles Parsons & William Tait
(Pittsburgh/PA, Harvard/MA, Chicago/IL) to arrive at an edition done in co-operation; rst
two vols are due summer 2005.
4 Joint work with Michael Byrd, Madison/WI, an informal book proposal was accepted

by Open Court, Chicago/IL. A mixture between a textbook and research monograph, 2/3 is
drafted; the tentative deadline for the nal manuscript is fall 2005.
5 Within this edition, edited by (among others) Richard Creath, Michael Friedman, Alan

Richardson, and Steve Awodey, I shall edit Carnaps two volumes Studies in Semantics, 12.
B. Buldt: Publications (as of 12/04) 2

[P 4] Inductive logic and the growth of methodological knowledge.

Comment on Mayo, in: Science at Centurys End. Philosophical Ques-
tions on the Progress and Limits of Science, ed. by M. Carrier & J. Massey
& L. Ruetsche, Pittsburgh (Pittsburgh University Press) 2000, pp. 345
354.
[P 3] 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 Begri und unter die Formel
kam), in: Fuzzy Theorie und Stochastik. Modelle und Anwendungen in der
Diskussion (= Computational Intelligence; 8), ed. by R. Seising, Wies-
baden (Vieweg) 1999, pp. 4185.
[P 2] Remarks concerning the proof of Godels second theorem (An-
merkungen zum Beweis des Zweiten Godelschen Satzes), in: Analyomen
2. Kongressbericht des zweiten Kongresses fur analytische Philosophie (=
Persepektiven der Analytischen Philosophie; 16), ed. by G. Meggle, Berlin
(de Gruyter) 1997, pp. 3142.
[P 1] Re-extensionalizing Godels second theorem, in: Philosophie der
Mathematik. Akten des 15. Internationalen Wittgenstein Symposiums (=
Schriftenreihe der WittgensteinGesellschaft, Vol. 20/1), ed. by J. Czer-
mak, Vienna (HolderPichlerTempsky) 1993, pp. 221230.
In press:
[P a] Reections on Frege and Hilbert (Editorial), to appear in: Synthese (vol. 142
(2005)), 3 pages ms.6
In preparation:
[P b] Introductory note to Bernays [1928a,b], [1930b], [1937]7 , to appear in:
[Bb].

ABSTRACTS
[A 3] An epistemological dierence between G1 and G2
in: Bulletin of Symbolic Logic, Vol. 7 (2001), p. 102
[A 2] Computing modal formulas algebraically8
in: Interest Group on Propositional and Predicate Logics Newsletter, Vol. 1,
No. 2 (1992), p. 5.
[A 1] On Adequacy, Completeness, and Decidability9
in: ASL Logic Colloquium, Abstract-Volume, Berlin 1989.

6 Joint paper with Volker Halbach & Reinhard Kahle.

7 Joint work with Volker Peckhaus.
8 Joint work with KlausJurgen Schmidt; my share was the addition of some missing rules.
9 It was withdrawn from publication in the JSL, because afterwards I found the results to

be already known.
B. Buldt: Publications (as of 12/04) 3

ENTRIES IN DICTONARIES AND ENCYCLOPEDIAS

[E 1] Routledge Encyclopedia of Philosophy, ed. by E. Craig, London & New

York (Routledge) 1998:
[1:1] Innitary logics, in: Vol. 4 (1998) pp. 769772.
(An unapproved shortened version was reprinted in the Concise Rout-
ledge Encyclopedia of Philosophy, London & New York (Routledge) 2000,
p. 394.)

[E 2] Der Neue Pauly. Enzyklopadie der Antike, ed. by H. Cancik & H. Schnei-
der & M. Landfester, Stuttgart & Weimar (Metzler):
[2:1] Logic (The history of the reception of Greek logic) (Logik,
Rezeptionsgeschichte der antiken), in: Vol. 15/1 (2001), pp. 191203.

[E 3] Historisches Worterbuch zur Philosophie, ed. by J. Ritter() & K. Grunder,

from Vol. 12 onwards ed. by G. Gabriel, Basel (Schwabe):
[3:1] Sorites (Sorites)10 , in: Vol. 9 (1996), pp. 10901099.
[3:2] Subalternation/Subalternationsschlu (Subalternation), in:
Vol. 10 (1999), pp. 371373.
[3:3] Subordination (Subordination), ibid., pp. 481482.
[3:4] Subsumption (Subsumtion), ibid., pp. 560562.
[3:5] Tautology (Tautologie), ibid., pp. 931939.
[3:6] Vagueness (Vagheit), in: Vol. 11 (2001), pp. 531540.
[3:7] Lattice theory (Verband/Verbandstheorie), ibid., pp. 576579.
[3:8] Inference of reason (Vernunftschlu), ibid., pp. 867869.
[3:9] Inference of understanding (Verstandesschlu), ibid., pp. 910
914.
[3:10] Trial and error (Versuch und Irrtum), ibid., pp. 949951.
[3:11] Formal system (Vollformalismus), ibid., pp. 11131115.
[3:12] (In-)Completeness (Vollstandigkeit/Unvollstandigkeit), in: Vol. 11
(2001), pp. 11361141.
In press for Vol. 12 (2004 ?):
[3:a] Probability in mathematics and the sciences, 17th20th century11
(Wahrscheinlichkeit IV. Neuzeit bis zur Gegenwart. A. Mathe-
matik und Wissenschaften), to appear in: Vol. 12, 59 pages.
[3:b] Probability in philosophy, 17th20th century (Wahrscheinlichkeit
IV. Neuzeit bis zur Gegenwart. B. Philosophie.), ibid, 23 pages.
10 Part I was joint work with Erhardt Schmidt; approximately 90% were written by me.
11 Joint work with Helmut Pulte; 70% by me, Pulte expanded on physics.
B. Buldt: Publications (as of 12/04) 4

[E 4] Enzyklopadie Philosophie und Wissenschaftstheorie, ed. by J. Mittelstra

et al., Stuttgart & Weimar (Metzler), Vol. 4 (1996):
[127] Higher-order logic (Stufenlogik), pp. 116118 subthiel/Subthielitat,
pp. 138139 Supposition, doctrine of (Suppositionslehre), pp. 148
150 System, axiomatic (System, axiomatisches), pp. 185188 Induc-
tion, structural (Teilformelinduktion)12 , pp. 223224 Undeducibil-
ity theorem (Unableitbarkeitssatz), pp. 384385 Innity, denition
of (Unendlichkeitsdenition), pp. 396397 Undecidability theorem
(Unentscheidbarkeitssatz), pp. 397400 Universal language (Univer-
salsprache), pp. 416418 Impossibility theorem (Unmoglichkeitssatz),
pp. 422424 Incompleteness theorem (Unvollstandigkeitssatz), pp. 432
436 Variation (Variation), pp. 476479 Variational principles (Vari-
ationsprinzipien), pp. 479481 Variational calculus (Variationsrech-
nung), pp. 481484 Vicious-Circle Principle, pp. 540541 Hor-
izontal stroke, the (Waagerechter, der), p. 577 Choice sequence
(Wahlfolge), pp. 579580 Paradox of truth (Wahrheitsantinomie),
pp. 589592 Weyl, H., pp. 676678 Contradiction (Widerspruch),
pp. 687688 Number (Zahl), pp. 805808 Number lore (Zahlenmys-
tik), pp. 813815 Number system (Zahlensystem)13 , pp. 815819
Number theory (Zahlentheorie), pp. 819821 Number sign (Zahlze-
ichen), p. 821 Zenon from Elea, pp. 839840 Numeral (Zier),
p. 849.
In press for Vol. 1 (2nd edition 2004 ?):
[2856] Apelt, E. F., 3 pages ms. Arnauld, A., 6 pages ms. natural
kind (Art, naturliche), 5 pp. ms. automaton (Automat)14 , 6 pages
ms. automaton, cellular (Automat, zellularer), 8 pages ms. au-
tomata theory (Automatentheorie)14 , 7 pages ms. axiomatics (Ax-
iomatik), 2 pages ms. Babbage, C., 7 pages ms. provability logic
(Beweisbarkeitslogik), 7 pages ms. Broad, C. D., 4 pages ms.
Brucker, J. J., 2 pages ms. Buons needle problem (Buons Nadel-
problem), 3 pages ms. Byron, A., 2 pages ms. Chwistek, L.,
4 pages ms. denition, inductive (Denition, induktive), 7 pages
ms. denition, recursive (Denition, rekursive), 9 pages ms. dif-
ferentia specica, 2 pages ms. discrete (diskret)14 , 3 pages ms.
Du Bois-Reymond, P., 9 pages ms. decision denite (entscheidungs-
denit/Entscheidungsdenitheit), 3 pages ms. sophistry (Fangschluss),
2 pages ms. Fibonacci (Leonardo of Pisa), 7 pages ms. Finetti, B.
de, 9 pages ms. Fraenkel, A. A.14 , 3 pages ms. Fries, J. F.15 , 9
pages ms. Fries school (Friessche Schule), 6 pages ms. genus prox-
imum, 3 pages ms. Gettiers problem (Gettier-Problem), 5 pages
ms. Godel, K.14 , 5 pages ms. arithmetization (Godelisierung), 6
pages ms.

12 Joint work with Christian Thiel; approximately 50% were written by me.
13 Joint work with Christopher von Bulow; he helped editing and polishing the entry.
14 Joint work with Gerrit Haas; revision of articles as they appeared in the rst edition.

My share was roughly as follows: automaton: 60%, automata theory: 40%, discrete: 80%,
sophistry: 95%, Fraenkel, A. A.: 50%, Godel, K: 80%.
15 Joint work with Reiner Welter; revision of the article as it appeared in the rst edition,

95% by me.
B. Buldt: Publications (as of 12/04) 5

REVIEWS

[R:1] Essay Review on Kurt Godel: On formally undecidable propositions of

Principia Mathematica and related systems, New York (1992), in: Modern
Logic, Vol. 7 (1997), pp. 9099.
In preperation:
[R:a] Telling the story of a genius: Recent accounts of Kurt Godels life; being
an essay review of: John W. Dawson, Jr.: Logical Dilemmas. The life and
work of Kurt Godel, Wellesley (1997) same: Das logische Dilemma. Leben
und Werk von Kurt Godel, Wien (1999) Werner DePauli-Schimanovich
& Peter Weibel: Kurt Godel. Ein mathematischer Mythos, Wien (1997)
John L. Casti & Werner DePauli: Godel. A life of logic, Cambridge/MA
(2000), to appear in: Bulletin of Symbolic Logic (2005 ?), 40 pages ms.

BIBLIOGRAPHIES

[Bi 1:1-4] Bibliography/Zeitschriftenschau99 , in: Zeitschrift fur allgemeine

Wissenschaftstheorie / Journal for General Philosophy of Science, Vol. 20,
H. 1 (1989), pp. 170197;
and in: ibid., Vol. 22, No. 2 (1991), pp. 369400;
and in: ibid., Vol. 23, No. 2 (1992), pp. 363401;
and in: ibid., Vol. 24, No. 2 (1993), pp. 361396.

TRANSLATIONS

[T 1] The controversy between Godel . . . , by Gregory H. Moore;

EnglishGerman for: Kurt Godel. . . . , see [B 1], vol. 2, pp. 5564.
[T 2] Godels incompleteness theorems, by Craig Smorynski;
EnglishGerman for: Kurt Godel. . . . , see [B 1], vol. 2, pp. 147159.

In preparation:
[T a] On the Current Question of Method . . . , by Paul Bernays;
GermanEnglish; accepted for inclusion to: [B b], 20 pages ms.

EDITORSHIP
[Ed 1] Arbeitsberichte des Arbeitskreises Mathematische Logik
(Reports from the Study Group Mathematical Logic)15
Seven issues by various authors: four on Aristotelian modal logic, two on
the Godel theorems, one on abduction.
99 Joint workin various constellationswith Arno Bauermeister, Jutta Biedebach,

Kathrin Dahlhaus, Richard Dodel, Ralf Goeres, Arno Hoven, Larry Steindler. My work load
was approximately one third; in addition I was responsible for (nearly) all editorial decisions.
15 Joint work with KlausJurgen Schmidt.
B. Buldt: Publications (as of 12/04) 6

[Ed 2] Kurt Godel. . . . , see [B 1].

[Ed 3] Interviews 19781987, in: ibid., vol. 1, pp. 245263.

In press:
[Ed a] Reections on Frege and Hilbert, guest editor, special issue of Syn-
these (vol. 142 (2005)).16

16 Joint editorship with Volker Halbach & Reinhard Kahle.