Beruflich Dokumente
Kultur Dokumente
The Vienna Circle in Hungary/Der Wiener Kreis in Ungarn
The Vienna Circle in Hungary/Der Wiener Kreis in Ungarn
Veröffentlichungen des
Instituts Wiener Kreis
Band 16
Hrsg. Friedrich Stadler
András Máté
Miklós Rédei
Friedrich Stadler (Hrsg.)
SpringerWienNewYork
András Máté, Department of Logic, Eötvös Loránd University,
Budapest, Ungarn
Miklós Rédei, London School of Economics, London,
United Kingdom
Friedrich Stadler, Universität Wien, Institut Wiener Kreis,
Wien, Österreich
© 2011 Springer-Verlag/Wien
Printed in Germany
Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
History of Philosophy
Károly Kókai
Anton Fischers philosophische Grundlagen
der wissenschaftlichen Erkenntnis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
Wolfgang L. Reiter
Wer war Béla Juhos? Eine biographische Annäherung . . . . . . . . . . . . . . . . 65
Gergely Ambrus
Juhos’ Antiphysicalism and his Views on the
Psychophysical Problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
Physics
Ladislav Kvasz
Classical Mechanics between History and Philosophy . . . . . . . . . . . . . . . . 129
László E. Szabó
Lorentzian Theories vs. Einsteinian Special Relativity –
A Logico-empiricist Reconstruction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 191
Logic
András Máté
Die Rezeption der neuen Logik in Ungarn . . . . . . . . . . . . . . . . . . . . . . . . . . . 229
László Kalmár
The Development of Mathematical Rigor from Intuition to
Axiomatic Method . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 269
Miklós Rédei
(London School of Economics)
Friedrich Stadler
(University of Vienna and Institute Vienna Circle)
Miklós Rédei and Friedrich Stadler
II
Von Neumann, perhaps the most prominent member of the group of bril-
liant scientist that emerged and then left Hungary in the first part of the
20th century, was not a philosopher but a mathematician and mathemat-
ical physicist but his relation to the philosophers of the Vienna Circle has
both historical and theoretical significance.
After finishing his formal education in 1926 in Zurich and Budapest,
von Neumann went to Göttingen to work as Hilbert’s assistant. He was
working on the Hilbert program, he published a paper on it (von Neu-
mann 1927) and he was hoping that the program can be carried through.
But his participation in the famous Second Conference for Epistemology
of the Exact Sciences organized in 1930 jointly by the “Gesellschaft für
Empirische Philosophie” and by the Vienna Circle, a similar group of
philosophers based in Vienna. Participants of the Königsberg meeting
included R. Carnap, A. Heyting, J. von Neumann and K. Gödel. Carnap
gave a talk on the foundations of logicism, Heyting on the intuitionistic
foundations of mathematics and von Neumann on the formalist founda-
tions of mathematics. (For a detailed account of the events related to this
conference see (B. Gyenis and M. Rédei 2004, 135, 137) and (Gödel 1986,
327-330.) It was in the discussion session on September 7 of this con-
ference that Gödel announced the first version of what became known as
Gödel’s first incompleteness theorem. Von Neumann grasped immediately
the significance of Gödel’s result for the axiomatic foundation of mathe-
matics and, as his letter to Gödel (November 20, 1930) (Rédei (ed.) 2005,
123-124) shows, shortly after the Königsberg conference, he obtained what
is known as Gödel’s second incompleteness theorem, which he communi-
cated to Gödel in that letter. As can be inferred from their correspondence
Gödel told von Neumann that he had already established the second in-
14 Miklós Rédei and Friedrich Stadler
The claim may be made with perfect justification that Gödel is unreplaceable
for our educational program. Indeed Gödel is absolutely irreplaceable; he is the
only mathematician alive about whom I would dare to make this statement.
[. . . ] I am convinced that salvaging him from the wreck of Europe is one of the
great single contributions anyone could make to science at this moment. (von
Neumann to Flexner, September 27, 1939) (Rédei 2005, 117)
III
After the Second World War the status in Hungary of the philosophical
position represented by logical empirism (and by the members of the Vi-
enna Circle in particular) became very weak. This was mainly due to the
fact that the characteristic feature of logical positivist’s attitude towards
science, philosophy and philosophy of science, a position which empha-
sized the value-freeness of science, its independence of ideology and the
sharp distinction between history and philosophy of science was not in line
with the ideology based on Marxism. But logical positivism was present
to some extent in the philosophical life as subject of research in history
of philosophy. Prominent philosophers also made accessible some of the
works of members of the Vienna Circle in Hungarian translation: Gen-
erations of students of philosophy learned about logical empirism from
16 Miklós Rédei and Friedrich Stadler
the collection edited by Ferenc Altrichter (Altrichter 1972) and form his
accompanying historical essay on the topic.
The impact of the Vienna Circle is still to be felt in some current
trends in philosophy of science in Hungary. Not in the sense that philoso-
phers of science would subscribe uncritically to the doctrines of this tra-
dition. But the choice of problems to deal with and the methods of ana-
lyzing them are obviously influenced by the spirit of logical empirism in
the works of some scholars: the problems the philosophical analysis fo-
cuses on are raised by the sciences, and the analysis is technically explicit,
rigorous, involving both the concepts of sciences and relying heavily on
the techniques of modern logic – the tradition of scientific philosophy is
clearly alive.
This is shown by some of the papers in the current volume:
The logical analysis of the theory of relativity undertaken by the group
of algebraic logicians in the Rényi Institute of Mathematics of the Hungar-
ian Academy of Sciences exemplified by their contribution to this volume
refers back explicitly and consciously to Reichenbach’s work as forerun-
ner. (Members of the group include I. Németi, H. Andréka, G. Székely,
J. Madarász). This logical analysis of the theory of relativity is carried
out in first order logic, using the full power and machinery of this formal
framework, including advanced results (such as definability theorems).
The motivation of this logical reconstruction of the theory of relativity
is to have a clear understanding of which assumptions of the theory are
necessary to derive the well-known novel predictions of the theory (such
as the twin paradox) – the results obtained advance our understanding of
the logical structure of the theory of relativity greatly, allowing us to see
very intricate, fine logical relations.
The investigation in his paper in this volume by L. E. Szabó also
concerns the theory of relativity. Szabo focuses on some conceptual is-
sues in the theory of relativity, which he approaches in the spirit of strict
physicalism. Szabó’s physicalism, while differing from the physicalism
as interpreted by the members of the Vienna Circle as the claim that
every meaningful sentence is translatable into one in physics, is never-
theless sharing the logical empiricists’ strong empiricism and denial of
the possibility of any contentual a priori knowledge. Szabo extended the
physicalism into the philosophy of mathematics (Szabó 2003), claiming
that the axiomatic systems also can and should be interpreted as physical
Austria-Hungary in Philosophy and Science: A Search for the Evidence 17
IV
A remarkable follow-on story can be found in the life and work of the
Hungarian émigré and Nobel Prize-winner John Harsany (János Harsányi,
1920–2000), who in 1994 received the Nobel Prize for Economics together
with John Nash and Reinhard Selten for their work on non-cooperative
game theory: in Budapest he attended a German-speaking gymnasium
with John von Neumann and Eugene P. Wigner and, facing the threat of
forced labour in Austria as well as deportation and murder because of his
Jewish descent, he was compelled to go underground from 1944 on. In
1947 he gained a Ph.D. in Budapest before illegally escaping to Austria in
1950 because of his anti-Communist stance, in order to go on to Sydney to
complete a masters in economic science and game theory. He subsequently
emigrated again, this time to the United States (Detroit and Berkeley),
where he continued the work of Morgenstern and von Neumann and came
to appreciate the works of Rudolf Carnap. During a symposium of the
Vienna Circle Institute held in his honour he delivered a paper very much
18 Miklós Rédei and Friedrich Stadler
formulate the following theses, which are more or less thematized in the
individual essays in this volume:
• After 1945, following the ‘Third Vienna Circle’, and the ‘Kraft Cir-
cle’ featuring, among others, Béla Juhos, Paul Feyerabend, Arthur
Pap, and Ludwig Wittgenstein, scientific interchanges with Imre
Lakatos and Karl Popper were continued and strengthened in Eng-
land; this too had its roots in the Austrian-Hungarian tradition in
the philosophy of science (beginning with Mach). In Hungary itself
the outsider Anton Fischer constitutes a remarkable exception as a
proponent of scientific philosophy already after World War II (cf.
the contribution by Károly Kókai in this volume).
In all, however, one must take account of the fact that, compared
to Prague or Warsaw, there was a much more moderate degree of inter-
action, despite the notable individual contacts with John von Neumann,
John Harsany, Imre Lakatos etc. We have here, surely, to distinguish two
different levels, namely the (natural) sciences and the pilosophy of science.
So, for example, Vladimir Zeman’s “The Philosophy of Science in Eastern
Europe” (1970) only refers to Kalmár’s school of logic due to the ideolog-
ical limitations after 1945. The restrictive conditions of the time are asso-
ciated with language barriers and nationality, and with the Shoah and the
exodus of Jewish scientists – originating in an intensification of monarchist
dualism. What deserves mentioning here is Horthy’s Hungary, with its
Austria-Hungary in Philosophy and Science: A Search for the Evidence 21
collaboration with the Nazis from 1928 and the Pfeilkreuzler in 1944, and,
beginning in 1948, the communist regime with the failed uprising of 1956,
which would entail the only political-cultural mass emigration to Austria
with positive consequences for the cultural environment of the Second
Republic, e.g., with Paul Lendvai, György Sebestyén etc. (For a general
account of bilateral relations after 1945 see Majoros/Maruzsa/Rathkolb
2010)
The Cold War formed the context for the cutting of direct relations,
which could now only be maintained by the exiled scientists of both na-
tions. The few exceptions, such as the Alpbach Forum or the Institute
for Advanced Studies (IHS) in Vienna, prove the rule that both countries
must be viewed rather as countries of emigration – we have Austria as a
place of transit until 1933/34, 1938 at the latest, and subsequently the
wave of emigration of intellectuals and researchers that ensued.
Correspondingly, we can share the conclusion (G. Palló, “Wo ist das
Zentrum?” in Habitus, Identität und die exilierten Dispositionen, eds.
Anna Wessely, Károly Kókai and Zoltán Péter 2008) that most Hungar-
ian scientists did not emigrate to Austria for good because there was no
ideally suitable milieu to be found there (in comparison to the Weimar
Republic). Science and research in the First Republic were in fact threat-
ened by marginalisation, impoverishment, and anti-Semitism, even though
a creative two-sided culture Beyond Art (Weibel 1996) came into existence
time and again. All the more, then, are the contributions in this volume to
be understood as contributions to further research which will force us to
pay attention to themes and people as yet little studied – especially from
a Hungarian perspective – and to illustrate a common scientific culture
buried by the past or forgotten. Indeed in the new Europe this oppor-
tunity to take stock of the past should be cause for new, strengthened
partnerships also within the sciences.
References
1 Ich möchte János Fischer, dem Sohn von Anton Fischer, für Informationen
beim Verfassen dieses Textes danken. Für wichtige Ergänzungen und Kri-
tik bin ich außerdem Friedrich Stadler, Christoph Limbeck-Lilienau, Edwin
Glassner, Eckehart Köhler und András Máté zu Dank verpflichtet.
26 Károly Kókai
Grundlagen
Die durchgehende Struktur der Grundlagen ist, dass Fischer erkenntnis-
theoretische Themenbereiche systematisch abhandelt, indem er die we-
sentlichsten Probleme dieser einzelnen Themenbereiche vorstellt und die
wichtigsten Lösungsvorschläge diskutiert. Zum Abschluss jedes dieser ein-
zelnen Teile verzeichnet er die relevante Literatur. Fischer zitiert oft; in
manchen Teilen besteht sein Text aus einem Aneinanderreihen von Zita-
ten. Er gibt dazu immer die Person an, die die betreffende Ansicht vertrat,
oft auch das Werk, aus dem die zitierten Sätze stammen, nicht jedoch die
genaue Stelle. Das Buch hat dadurch einen ausgeprägten Einführungs-
2 ,,Dr. Fischer Antal (1901–1979)“, in: Orvosi Hetilap 120 Jg. Nr. 36, 1979
S. 2159, Übersetzung Károly Kókai.
3 Um die philosophische Leistung von Anton Fischer als Ganzes zu würdigen,
sollte man auch seine anderen diesbezüglichen Texte berücksichtigen, so
die 1999 publizierten ,,Fünf Dialoge über Ethik“ (1944/45), in: Existentia,
Szeged 1999, S. 136-169 und die als Manuskript im Nachlass befindliche
Sozialethik.
Anton Fischers philosophische Grundlagen der wissenschaftlichen Erkenntnis 27
charakter, auch in dem Sinne, dass es das gesamte Gebiet der Erkennt-
nistheorie abdeckt.
Das Buch besteht aus sieben Teilen: (1) Einführung über das Wesen
wissenschaftlicher Erkenntnis, (2) psychologische und (3) logische Grund-
lagen der Erkenntnis, (4) wissenschaftliche Arbeitsmethoden. Dem fol-
gen zwei Kapitel über (5) Grundprobleme der Erkenntnistheorie und (6)
Grenzfragen“ der Naturphilosophie. Den Abschluss bildet ein Kapitel
”
über die (7) Geisteswissenschaften.
Fischers Zugang führt auffallend oft über die Biologie und die Medizin,
wie das z. B. folgende Passage zeigt:
Die Welt ist ihrem Wesen nach biologistisch indifferent – sie wäre im Großen
und Ganzen ohne jedes Leben so, wie sie ist –, unsere Sinne sind biologisch
bedingt, sie haben sich an die speziellen Lebensumstände des Menschen ange-
passt, sie zeigen in erster Reihe biologisch Wichtiges an. Nicht als ob irgendein
Postulat bestünde, wonach der Mensch das Wirkliche nicht erkennen darf –
für diese Annahme fehlt jeder vernünftiger Grund –, aber die Sinnesorgane des
Menschen sind nun einmal nicht für die Erkenntnis der Wirklichkeit an sich, son-
dern nur für die relative Wirklichkeit der menschlichen Lebenssphäre geschaffen.
Von den Möglichkeiten der Erkenntniswege stehen uns direkt nur diejenigen
offen, welche für die Lebenserhaltung nützlich sind – und diese Auswahl hat
auf die Bedürfnisse der transzendenten Erkenntnis keine Rücksicht genommen.
Wir betonen nochmals: Die Beschränkung ist vom biologischen Standpunkt aus
zweckmäßig, vom Erkenntnisstandpunkt aus rein zufällig. Kein metaphysisches
Postulat hat die Sehempfindung auf einen schmalen Abschnitt des elektroma-
gnetischen Spektrums beschränkt, sondern die biologische Zweckmäßigkeit –
wiewohl es für die physikalische Erkenntnis sehr wertvoll wäre, wenn unser Au-
ge auch kurzwelligere Strahlungen empfinden könnte, da wir in diesem Fall sehr
vieles direkt sehen könnten, was wir heute durch mühevolle Versuche indirekt
erschließen müssen. Andererseits ist es zweifellos, dass unsere Sinnesempfindun-
gen die Wirklichkeit wiedergeben – wenn auch nur einen kleinen Teil der Wirk-
lichkeit und wenn das Bild auch stellenweise durch Sinnestäuschungen verzerrt
ist.4
Vom Wiener Kreis wurde die Logistik mit einem extremen Positivismus verket-
tet, der von Carnap zu einer Theorie der Relationserkenntnis ausgebaut worden
ist, die uns später beschäftigen wird. (. . . ) Bereits Wittgenstein hat die tautolo-
gische, daher unwiderlegbare Natur der logischen Sätze behauptet: Die Logik
”
besteht nur aus konventionellen Festsetzungen über Gebrauch von Zeichen und
aus Tautologien auf Grund dieser Festsetzungen.“ Diese Ansicht, welche auch
von H. Hahn vertreten wurde, betrachtet daher nicht mehr allein die Worte,
sondern auch die logische Form ihrer Verkettung als Konventionen: Der Satz
der Identität und des Widerspruches sind darnach willkürliche Annahmen, die
auch durch andere Sätze ersetzt werden könnten.6
Fischer referiert also nicht bloß die Position des Wiener Kreises, sondern
differenziert zwischen den einzelnen Vertretern, hier Carnap und Schlick.
Daran schließt er seine erwähnte Positivismuskritik an. Der Positi-
vismus habe seine Berechtigung als Reaktion auf die irreale Naturphi-
”
losophie des nachkantischen Idealismus“12 , er schoss aber über das Ziel
”
hinaus“ und erklärte das Wesen der Dinge für prinzipiell unerkennbar.“13
”
Wie Fischer allerdings ausführt:
Zur Kritik am Positivismus fügt Fischer seine eigene Position hinzu und
zeigt damit, wie zentral die vorherige Diskussion des Positivismus für ihn
ist. Wir stünden
(. . . ) auf dem Standpunkt, dass unsere Erkenntnis das Wissen um die reale Welt
ist und dass der Mensch im Prinzip wohl fähig ist, das Innerste der Dinge zu
erkennen – allerdings unter unendlichen Schwierigkeiten, oft auf beschwerlichen
Umwegen und ständig behindert durch die biologisch bedingte Unvollkommen-
heit seiner Sinne und seines Denkapparates.15
Die Wissenschaft ist keine bloße Beschreibung, keine Erforschung von ,Erschei-
nungen‘, hinter welchen ein ewig und prinzipiell unerforschbares Ding an sich
verborgen ist – sie ist die unendlich mühevolle, schrittweise Erfassung des Sei-
enden, ein ständiges Fortschreiten in der Richtung des Dinges an sich.17
Die zweite Auflage des Buches ist als die philosophisch reifere zu be-
zeichnen – man sieht, dass der Autor nicht mehr in einer existenziellen
Notsituation schreibt wie während des Zweiten Weltkrieges und auch dass
er die Gelegenheit hatte, seine philosophischen Ansichten aufgrund der
Ergebnisse der wissenschaftlichen Entwicklung nochmals zu überprüfen –
und stellt auch in Hinsicht auf die Darstellung des Wiener Kreises einen
Fortschritt dar. Fischer 1967 berücksichtigt nicht nur den Positivismus
und den logischen Empirismus, nicht nur Schlick und Carnap, sondern
auch eine philosophische Diskussion u. a. mit Victor Kraft, Karl Popper,
Béla Juhos, Robert Reininger und Autoren der Encyclopedia of Unified
Science wie Philipp Frank und Charles Morris. Er ergänzt seinen Text
von 1947 mit einzelnen Argumenten – ohne jedoch an der Argumentation
seines Buches selbst etwas zu verändern. Aufmerksamkeit verdient, dass
er sich im Vorwort der Neuauflage als kritischer Realist“ deklariert.
”
So ein ergänzendes Argument ist beispielsweise das folgende in einer
Auseinandersetzung mit Béla Juhos’ Die Erkenntnis und ihre Leistung
1950:
Juhos meint, dass es auch Sätze gibt, wo ein Irrtum logisch ausgeschlossen ist
und die nicht verifizierbar, sondern entweder wahr oder Lüge sind, so ist zu-
mindest das von ihm angeführte Beispiel ( Ich fühle Schmerz“) meist leicht
”
verifizierbar. Auch ist es kein glückliches Beispiel dafür, dass solche Konstatie-
”
rungen“ keine Voraussagen zulassen: Der typische Schmerz des Herzinfarktes,
der Gallen- oder Nierenkolik oder der Schmerz einer Bandscheibenhernie las-
sen sehr wohl Voraussagen zu. Es wäre sehr riskant, die Wissenschaft auf einem
Fundament unverzichtbarer Konstatierungen“ zu errichten, umso mehr, als der
”
Übergang von der Konstatierung zu hypothetischen Sätzen, wie Juhos meint,
ein außerlogischer, irrationaler Schritt ist.18
19 Vgl. dazu die Beiträge in Richardson 2007, z. B.: “there was no homoge-
nous Vienna Circle with an undisputed program and verificationism at its
center”, Friedrich Stadler in Richardson 2007 S. 34; nachdem Thomas Mor-
mann den Standpunkt Carnaps bezüglich der Struktur von wissenschaftli-
chen Theorien vorstellt und auf jene von einigen anderen aus Platzgründen
verzichtet, schreibt er: “it should have become clear that speaking of the
logical empiricist view of theories is seriously misleading in so far as such an
expression suggests that there was a unique logical empiricist answer to the
T[eory]-question”, die lautet: “What is the structure of scientific theories?”
Und er setzt fort: “Postpositivist philosophers of science such as Feyerabend,
Putnam and others (. . . ) [reduced] the plurality of logical empiricist ans-
wers to the T[heory]-question to what the postpositivists ominously dubbed
the ‘received’ or the ‘orthodox view”’, Mormann in Richardson 2007 S. 161;
wie George Reisch in Richardson 2007 S. 58-90 zeigt, wurde die Vielfalt des
Wiener Kreises im Kalten Krieg der 1940er- und 1950er-Jahre auf apoliti-
sche Methoden (auf die Analyse) reduziert; “When taken in its extended
breadth [Uebel erwähnt insbesondere Menger, Kaufmann und Zilsel], early
logical empiricism exhibited a remarkable plurality of philosophies of social
science”, Thomas Uebel in Richardson et al. 2007 S. 252.
20 siehe Fn. 11.
21 siehe Fn. 12 und 13.
34 Károly Kókai
In den 1930er- und 1940er-Jahren spielte sich die Entwicklung des lo-
gischen Empirismus fast ausschließlich im englischsprachigen Raum ab,
vor allem in den USA. In Wien waren 1945–47 Victor Kraft und Béla
Juhos tätig. Beide gehörten zur sogenannten Peripherie des Wiener Krei-
ses. Obwohl Victor Kraft bereits in der sogenannten Vorgängergruppe“,
”
die dann zum eigentlichen Wiener Kreis“ führte, tätig war und obwohl
”
er dann auch derjenige war, der nach dem Zweiten Weltkrieg (bis 1952)
eine philosophische Professur in Wien innehatte – er also als derjenige
anzusehen ist, der die Wiederetablierung des logischen Empirismus in der
österreichischen akademischen Institutionen (wenn auch für wenige Jah-
re, aber immerhin) gewährleistete –, wird seiner Wiener Wirkung nach
dem Zweiten Weltkrieg – er starb 1975 – wenig Beachtung geschenkt.22
Kraft konnte auch einen seiner Kollegen, nämlich Juhos, an der Wiener
Universität habilitieren.
Auch konnte Kraft beim Wiener Springer Verlag in dieser Zeit einige
Bücher herausbringen, in denen er u. a. über die Geschichte des Wiener
”
Kreises“ berichtete23 sowie seine Einführung in die Philosophie 24 und sei-
ne Mathematik, Logik und Erfahrung.25 Und genau in diesem Verlag und
sozusagen in der selben Reihe erschienen auch Fischers Grundlagen.26
Weltkongresses der Philosophie wieder eine Reise nach Wien.29 Das heißt
aber nicht bloß, dass hier eine Reihe von zufälligen Gemeinsamkeiten vor-
liegt, sondern dass Fischers Bemühungen mit denen des Wiener Kreises“
”
parallel laufen, dass er auf die Möglichkeiten der Zeit“ sensibel reagier-
”
te. Es heißt aber auch noch etwas Weiteres, was im Zusammenhang der
Fragestellung der Tagung Die Neubewertung des Einflusses des Wiener
”
Kreises in Ungarn“, auf der eine erste Version dieses Aufsatzes präsentiert
wurde, wesentlich ist: Dass er mit dem Wiener Kreis nicht zusammentraf,
ist kein bloßer Zufall. Die beiden trennte eine Wand.
Für die Zeit bezeichnend ist eine ausführliche Rezension von Chris-
tiane Hein aus Leipzig:
Der Autor [also Fischer] lebt in einem sozialistischen Land, man hätte von ihm
erwarten können, dass er sich informiert. Dieser Mangel an Information über
den Marxismus fällt (. . . ) auf.32
Bzw.:
Von der anderen Seite des Ozeans wurde das Buch ebenfalls bewertet,
Agehananda Bharati aus Syracuse stellt fest,
Fischer ist, wie man wohl erwarten könnte, dem Wiener Kreis und seinen eng-
lisch sprechenden Freunden nicht sehr gewogen. Zwar richtet er keine eigentli-
che Polemik gegen diese – oder auch gegen eine andere – Philosophierichtung,
er bedauert aber z. B. dass die Logistik‘ die Tendenz hat, sich von ontologi-
’
schen Erwägungen zu absolvieren, und zwar, wie der Autor es fasst, wegen ihrer
’
Überschätzung des formalen Denkens‘ (S. 52).
Es ist für die westlichen Philosophen erquicklich zu wissen, dass hinter dem
Eisernen Vorhang sehr subtile, hochwissenschaftliche und vor allem hochinfor-
mierte Philosophie betrieben wird. Hoffentlich ist Anton Fischer typisch für das,
was heute dort philosophisch vorgeht.34
32 Hein in: Deutsche Zeitschrift für Philosophie 1969 (Jg. 17), H. 12, S. 1522.
33 Hein, S. 1523.
34 Zeitschrift für philosophische Forschung 1970 (Bd 24), H 3.
35 Vgl. Fn. 9.
38 Károly Kókai
schen Manifestation, der sich kein Autor entziehen konnte und die für das
jeweilige Werk bestimmend wurde. Fischers Insistieren auf ein fortschrei-
tendes Erkennen der Wahrheit ist dementsprechend ebenfalls in diesem
Zusammenhang zu sehen.
Das Buch wurde in Budapest geschrieben und ist in Wien erschienen;
so gesehen ist es auch ein Beispiel dafür, dass die wissenschaftliche Kom-
munikation nicht nur in eine Richtung lief, sondern dass eine Diskussion
stattfand. Die erste Auflage des Buches ist 1947 erschienen. Dieses Datum
ist in der ungarischen Geschichte äußerst signifikant, weil kurz darauf das
gesamte kulturelle, gesellschaftliche und politische Leben durch die Kom-
munistische Partei Ungarns gewaltsam gleichgeschaltet wurde. Bezeich-
nenderweise wurde die (1892 gegründete und unter der Ägide ihres ersten
Herausgebers, Imre Pauer, eine positivistische Auffassung vertretende)
Zeitschrift Athenaeum 1948 eingestellt. Diese war die bis dahin wichtigste
philosophische Zeitschrift Ungarns, in der auch einige Berichte über die
Tätigkeit des Wiener Kreises bzw. dem Wiener Kreis nahestehende Au-
toren abgedruckt wurden. Etwa über Moritz Schlicks Naturphilosophie36
und ab 1934 vermehrt37 von den Autoren József Somogyi, Ferenc Lehner,
Frigyes Pozsonyi und László Faragó. Die Periodisierungen, die wir in der
österreichischen Kulturgeschichte kennen, gelten in Ungarn nicht. In Un-
garn wurde 1948 eine Zäsur gesetzt. Und deshalb ist es interessant, die
Rezensionen in Athenaeum und Fischer zusammenzunehmen. Die Zwi-
schenkriegsperiode und die drei Jahre nach 1945 bilden eine Einheit, wie
es diese Personen (nämlich Somogyi, Lehner, Pozsonyi sowie Fischer) ver-
deutlichen. Und für diese Periodisierung erscheint es auch interessant, dass
39 Er konnte seinen Beruf nicht ausüben, wie in: Orvosi Hetilap 1979, S. 2159
formuliert wurde: Inmitten der erbarmungslosen und tragisch werdenden
”
Ereignisse des Zweiten Weltkrieges und mit den immer seltener werdenden
Möglichkeiten der experimentellen Arbeit begann auch für ihn die Epoche
des Ausgeschlossenseins, des Nachdenkens über das Schicksal des Menschen,
über die Wissenschaften. Er flüchtete aus dem Laboratorium zum Schreib-
tisch und schrieb seine Gedanken über den beschwerlichen Gang des wis-
senschaftlichen Fortschritts und der wissenschaftlichen Erkenntnis nieder.“
Übersetzung Károly Kókai.
Anton Fischers philosophische Grundlagen der wissenschaftlichen Erkenntnis 41
Unabhängigkeit wahren – was, wie wir sehen, produktiv war und zu einem
singulären Ergebnis, nämlich seinen Grundlagen, führte.
Kritischer Realismus
Fischers philosophische Position zu bestimmen ist nicht schwer, gibt es
doch seine Grundlagen. Fischers Position in der Philosophie zu bestim-
men, ist desto schwerer. Er bemühte sich ja, ein objektives Bild der Lage
der Wissenschaftsphilosophie zu liefern und dabei so weit wie möglich
neutral“ zu bleiben. In diesem Fall ist es aber natürlich auch trotzdem
”
klar, dass er eine Position haben musste.
Er schreibt im Vorwort zur zweiten Auflage im Juli 1967, die Grund-
”
haltung des Buches [hat sich] nicht geändert, sie beruht nach wie vor auf
dem kritischen Realismus“.40 In einem Brief aus dem nächsten Jahr heißt
es:
Bzw.:
Moritz Schlick und Rudolf Carnap [standen] in ihrer Behandlung des Leib-
Seele-Problems ganz in der Tradition des Psychophysischen Parallelismus (. . . ).
In seiner Allgemeinen Erkenntnislehre von 1925 bezeichnete Schlick sich selbst
ausdrücklich als Anhänger dieser Doktrin (Schlick 1979, 336). Er betonte (. . . ),
sein Parallelismus [sei] nicht metaphysischer, sondern rein erkenntnistheoreti-
scher Natur (Schlick 1979, 336).45
Die von mir zu Fischers Darstellung der Position des Wiener Kreises, zur
Kritik des Positivismus und zur Wiedergabe seiner eigenen Position zitier-
ten Stellen zeigen, dass Fischer das Konzept des Dinges an sich genau in
diesem Sinne, also im Sinne des kritischen Realismus von Moritz Schlick,
auslegte. Ebenfalls Beachtung verdient, dass diese Ausführungen Heidel-
bergers in einem Text stehen, in dem er die Wurzeln von Herbert Feigls
Ende der 1950er-Jahre vertretenen Ansichten46 nachweist:
Herbert Feigl war lange Zeit ein Anhänger von Schlicks kritischem Realismus
(. . . ). Spätestens in seinem Essay von 1958 kehrt Feigl (. . . ) zu den Ansichten
Schlicks und seinen eigenen von vor 1934 zurück. (Im Vorwort zu seinem Essay
bemerkt er übrigens, er sei mit dem philosophischen Monismus“ erstmals durch
”
Lektüre Alois Riehls bekannt geworden, dessen Position er im Wesentlichen bei
”
Moritz Schlick wiederfand“. (Feigl 1967, V; vgl. auch 79f., Fn.).47
Fischer bekannte sich also zu einer Position, die von Schlick 1918/25 ver-
treten wurde. Ob er Feigls Arbeiten vom Ende der 1950er-Jahre kannte
und somit auf ihn reagierte, geht aus den zur Verfügung stehenden Doku-
menten nicht hervor: In den Grundlagen kommt Feigls Essay 195848 nicht
vor, die in Fischers Brief von 1968 erwähnte Darstellung seines kritischen
Realismus scheint nicht ausgearbeitet worden zu sein und Feigl kannte
Fischer mit einer an Sicherheit grenzenden Wahrscheinlichkeit nicht. So
muss ich diesen Aufsatz mit einem negativen Bild schließen: mit dem Man-
gel an einer echten Auseinandersetzung, mit dem Bild von zwei Philoso-
phen, die zeitlich parallel an zwei weit entfernten Orten des Globus – Min-
neapolis und Budapest –, aus den selben Wurzeln entspringend, nämlich
aus Moritz Schlicks kritischem Realismus 1925, und zugleich voneinander
überhaupt nichts wissend an vergleichbaren Ideen arbeiteten. Was für die
Rezeption des Wiener Kreises in Ungarn ein realistisches Ergebnis sein
dürfte.
Introduction
At the end of the 19th century an unprecedented number of scientists
– mostly physicists but also many mathematicians – wrote essays, pam-
phlets and books on the scientific method, on the foundations of modern
science, on the status of hypotheses, and theories. This paper presents
the views of one such writer, Győző Zemplén (1879–1916). The rather
well-known physicist of the Austro-Hungarian Monarchy has almost only
been dealt with from the point of view of physics, and his essays that are
significant from a philosophical perspective are still unknown. This short
survey investigates his originality in the Hungarian context – and his con-
formity to a stronger European-based conventionalism that in the early
years of the 20th century only began to emerge in Hungary. The paper
also looks at some of the factors that explain why Zemplén’s work fell into
oblivion for a century in the Hungarian intellectual scene and contrasts it
to the flourishing philosophical endeavours of the Vienna Circle that grew
out of a similar philosophical background.
1 The work was supported by the OTKA K72598 grant, and the Bólyai post-
doctoral scholarship.
46 Gábor Á. Zemplén
2 Emil du Bois-Reymond, Reden, 2 vols. (Leipzig: Veit 1912), pp. 441-473. For
a modern reader the 19th century’s emphasis on conventions could easily be
seen as a plea for increased attention to the history of science. Similarly, as
from a contemporary perspective, admitting the significance of conventions
automatically begs the questions of why these conventions were accepted,
whether these choices can be considered rational, etc. This does not appear
to be the case for du Bois-Reymond (unlike for Mach, or even more so
for Neurath a few decades later), yet the famous 1872 talk given on the
14th of August was preceded by much shorter and less known talk with the
title “Über Geschichte der Wissenschaft” (On the History of Science) on
the 4th of July the same year (ibid. pp. 431-440). In this paper, however,
history is mainly discussed as an educational entry-point that offers a more
interesting insight into the world of science than does a dogmatic teaching
method.
3 Examples include Ernst Mach, Die Mechanik in Ihrer Entwickelung:
Historisch-Kritisch Dargestellt (Leipzig: F.A. Brockhaus 1883). As he wri-
tes: ,,Die historische Untersuchung fördert nicht nur das Verständniss des
Vorhandenen, sondern legt auch die Möglichkeit des Neuen nahe, indem
sich das Vorhandene eben theilweise als conventionell und zufällig erweist.
Von einem höhern Standpunkt aus, zu dem man auf verschiedenen Wegen
gelangt ist, kann man mit freierm Blicke ausschauen, und noch neue Wege
erkennen“. p. 238. The early optical lectures by Neurath later discussed
in more detail also offer similar perspectives for history of science. For the
connections see Michael Stöltzner, “The Auxiliary Motive in the Forest and
in Optics”, in: Elisabeth Nemeth and Friedrich Stadler (Eds.), Encyclopedia
and Utopia. Vienna Circle Institute Yearbook 4. Dordrecht: Kluwer 1996,
pp. 113-26. , Id., “Otto Neurath 1913–1915”, in: J. Blackmore, R. Itagaki,
and S. Tanaka (Eds.), Ernst Mach’s Vienna 1895–1930. On Phenomenalism
as Philosophy of Science. Dordrecht: Kluwer 2001, pp. 105-22.
Early 20th Century Conventionalism in Hungary 47
future development of theories, have both been common topoi of the turn
of the century.4
In the philosophical discourse, however, the term “conventionalism”
is used to describe a much narrower set of ideas. As opposed to the rat-
her vague and many-faceted use of the term in the second half of the
nineteenth century, “conventionalism” for historians of philosophy is the
conventionalism attributed first and foremost to Poincaré.5 This, of cour-
se, has many reasons, like the favourable reception of Poincaré’s work
by – among others – the members of the Vienna Circle, or the depth
and detail to which Poincaré developed his ideas. As opposed to the ma-
ny passing remarks about “conventional” aspects of science in the period,
Poincaré attempted to systematically understand the consequences of this
position.6 His conventionalism was developed as primarily based on for-
mal considerations in mathematics, but later applied to physics, and it
was a theoretical attempt to give an account of the growth of scientific
knowledge in a period where abrupt changes in that knowledge emerged
and were to be accounted for.7
It is well-known that the early Vienna Circle has taken up and further
discussed many of Poincaré’s works. In a later recollection Philipp Frank
cites Poincaré as one of the major influences on the Circle, only to be
matched by that of Mach:
4 In his recent book Rheinberger surveys many of the examples, and finds the
sources of a historical epistemology in this fertile conventionalist soil: Hans-
Jörg Rheinberger, Historische Epistemologie, Zur Einführung; 336 (Ham-
burg: Junius 2007).
5 For a definition of the narrower (geometrical) conventionalism of Poincaré,
see Gerhard Heinzmann, “Convention and Observability – Poincaré Once
Again,” in: Between Leibniz, Newton, and Kant: philosophy and science in
the eighteenth century, 2001. p. 138.
6 See his books: Henri Poincaré, Science and Hypothesis, trans. William John
Greenstreet, foreword by, and Joseph Larmor (London, New York: Scott
1905), Ibid., Science and Method, trans. Francis Maitland (London, New
York [etc.]: T. Nelson and sons 1914). Poincaré’s views clearly influenced
many of the members of the later Vienna Circle, like Rudolf Carnap or Otto
Neurath.
7 For a detailed discussion from the origin to the recpetion of Poincaré’s
views see Jerzy Giedymin, Science and Convention: Essays on Henri Poin-
caré’s Philosophy of Science and the Conventionalist Tradition (Oxford;
New York: Pergamon Press 1982).
48 Gábor Á. Zemplén
Philosophy in Hungary
Hungarian Philosophy contributed little to the development of European
Philosophy in the 19th century, probably only to be matched by the
amount of academic attention it received until the few decades. As Perecz
observed “Historians of an unfortunate philosophical culture . . . have to
be positivists and historians of ideas at the same time. In Hungarian
history of philosophy the basic sources are unstudied, and the formative
canons are undetermined, so a Historian of Philosophy has to explore pri-
mary sources as well as determine canons.”9 The present article also aims
at the following: to recover sources and place them on an intellectual map
that still has large uncharted territories.
Due to the late institutionalisation of philosophy, sources are scarce
in this first period, but after some early attempts to form a philosophical
circle (1876–78, Filozófiai társaskör), the first journal was established (Ma-
gyar Philosophiai Szemle, 1882–91). The early philosophical scene appears
to have been strongly influenced by positivist views and Kant. As in the
8 Philipp Frank, Modern Science and Its Philosophy (Cambridge, MA: Har-
vard University Press 1949). pp. 11-12.
9 László Perecz, A pozitivizmustól a szellemtörténetig. Athenaeum, 1892–
1947, Horror Metaphysicae (Budapest: Osiris 1998). pp. 15-16.
Early 20th Century Conventionalism in Hungary 49
The realists are correct, as acquiring knowledge is the process whereby reality
is imprinted in our spirits. . . . The idealists are also correct, as acquiring know-
ledge is enriched by the concept- and hypothesis-creation of our spirit. . . . The
empiricists are also correct, as acquiring knowledge does stem from experience.
17 See the work of the first clear eclectic, András Ádány, Philosophiae Naturalis
Pars Prima Physica Generalis in Usum Disciplorum a R. P. Andreas Adani
E Soc. Jesu (Tyrnaviae 1755).
18 Ibid. p. 20
52 Gábor Á. Zemplén
Zemplén’s Conventionalism
But who decides on the laws of logic, who guarantees their correctness? It might
be not a little disappointing that the answer to even this question is that nobody
does; even the laws of logic are assumptions, hypotheses, or if you like it, axioms.
The gist of the matter remains: these are laws which cannot be proven, rules,
the correctness of which we cannot be ascertained.31
When arguing for his views, Zemplén states that the correctness of
laws of logic cannot be ascertained by either reasoning, as this process
would use the same laws, or by experience, which could only result in
inductive generalizations that have predictive power, but cannot provi-
de conclusive proof: “We therefore have to admit that even logic, which
governs all the sciences and our whole life, is nothing more than a few
assumptions”32 .
Towards the end of his paper, Zemplén clearly sides with Poincaré
when discussing the non-arbitrary nature of conventions. To my knowledge
this is the first Hungarian appearance of full-blown, Poincaré-
influenced Conventionalism by an accepted scientist, and is rather un-
typical for the time. Even the role of the social factors appears in the con-
clusion: “Taking a look at the sciences, we have shown that all of them –
including logic and mathematics – are built on hypothetical foundations,
pers of Zemplén. These were cursorily discussed in: Gábor Á. Zemplén,
“A Hundred Years Make No Small Difference: Popularization of Science in
Hungary at the Turn of Two Centuries”, in: László Kovács (Ed.) Zemplén.
The Scientist and the Teacher. Szombathely: Berzsenyi College 2004, pp.
40-49.
30 Zemplén, “A tudomány értéke,” in. p. 17.
31 Ibid. p. 20.
32 Ibid. p.21.
Early 20th Century Conventionalism in Hungary 57
33 Ibid. p.23.
34 Henri Poincaré, Tudomány és föltevés, trans. Béla Szilárd (Budapest:
Királyi Magyar Természettudományi Társulat 1908).
35 Ibid. pp. 251-2. See also István Gazda (Ed.) Einstein és a magyarok.
Budapest: Akadémiai Kiadó 2004. pp. 36-51. Zemplén later developed a
theoretical alternative to the solutions of Einstein and Lorentz, a third,
“(light)speed-dilatational” view that received little attention outside of
Hungary.
58 Gábor Á. Zemplén
be a sought-after reading”. Yet the work was known and circulated – but
received little critical appraisal.
In the same years, Mach’s influence also increased among Hungarian
scientists, again, to a large extent due to peregrination. Tódor Kármán
(1881–1963), a few years after Zemplén, also visited Göttingen. As a stu-
dent he worked on a similar problem (shock waves) as Zemplén, by this
time with Klein’s student, Prandtl, and this work clearly touched on topics
also researched by Mach. Even more significant is probably Georg Heve-
sy’s admiration towards Mach’s ideas (including philosophical ones).36
There is, however, very little data about anyone being influenced by
both of these traditions. Machian economy of thought and French Conven-
tionalism seems not to have influenced the same groups and individuals
in Hungary. For Philipp Frank, cited earlier, the joining of these two ap-
proaches created the intellectual cradle of logical empiricism.37 Although
it is probably wise not to take Frank’s account at face value, it is nevert-
heless worth noting that by the first decade of the twentieth century both
of these traditions were present in Hungary. The ingredients existed, yet
nothing like the lively society of the “Verein Ernst Mach”, nor the ambi-
tious project of the “Vienna Circle” could take its roots in the intellectual
soil of Hungary.
36 Hevesy wrote a devotional letter to Mach on 9th of July, 1904. See more in
e.g. the works of John Blackmore, esp. John Blackmore, “Mach hatása hat
nagy magyar tudósra”, in: Peter Weibel (Ed.) A Művészeten Túl / Jenseits
Von Kunst. Budapest: Kortárs Művészeti Múzeum - Ludwig Múzeum Bu-
dapest; Soros Alapı́tvány C3 Kultúrális és Kommunikációs Központ n.d.,
pp. 511-20. See also Péter Szegedi, “Ernst Mach’s Influence on Hungari-
an Physicists – an Outline,” in The reception of Austrian Philosophy in
Hungary around 1900. Conference in Budapest, October 8-9, 1998.
37 See also F. Stadler’s reconstruction of this period in Friedrich Stadler, “Vi-
enna Circle: Context, Profile, and Development”, in: Thomas Ernst Uebel
and Alan W. Richardson (Eds.), The Cambridge Companion to Logical Em-
piricism. Cambridge: Cambridge University Press 2007, pp. 13-40. When
discussing the intellectual sources of the Vienna Circle, one could add Ein-
stein’s theory of relativity, but even here Hungarians (first among these
Gyula Farkas and Győző Zemplén) were quickly responding, and – at least
for Zemplén – clearly grasping the significance of conventionalist insights
when appreciating Einstein’s work.
Early 20th Century Conventionalism in Hungary 59
philosophers (if one can legitimately use this term) were schooled in con-
temporary philosophies of science. Though some of the eminent scientists,
like Győző Zemplén dabbled in philosophy, their primary interests, in line
with the national(istic) agenda, remained the popularization of science,
and not of philosophy.
Contingent individual life-histories also clearly influenced the deve-
lopment of philosophies of science in Hungary. Some key figures of the
national scene were lost in The Great War, among them the young and
talented philosopher Béla Zalai41 (1882–1915) and the physicist Győző
Zemplén. In an intellectual community made up of relatively few active
members, these losses had great significance for the development of whole
areas. As Géza Laczkó remembered Zemplén in his obituary in the journal
Nyugat (1916/15):
The figure of Zemplén, Gőző, whose death is an irrevocable loss not only to the
Hungarian but to the European scientific community, is inseparable from the
institution where I met him for the very first time, from the Eötvös Collegium,
which has already given so many great minds to this country. . . . The Eötvös
Collegium was opened in 1896 and Zemplén was among the first generation of
its students. . . . Zemplén was a man of driving ambition bubbling over with
vitality, a genuinely talented man with all the superb qualities Jókai made up
for his heroes.42
Apart from all the admiration and praise, the ideas and movements
purported by these individuals were not taken up or followed in many
cases. To make matters worse, the tone used by contemporaries often in-
fluenced the evaluations of later generations as well. Comparing scientists
to heroes fits obituaries and the genus demonstrativum, when the aim
is to eulogize. Much of the Hungarian historiography, however, has used
the grande/sublime style typical of obituaries instead of the critical ap-
Bibliography
Abonyi, Iván, “Zemplén Győző.ı̈n: István Pénzes (Ed.) Műszaki Nagy-
jaink, IV. Budapest: Gépipari Tudományos Egyesület 1981, pp. 305-
23.
Ádány, András, Philosophiae Naturalis Pars Prima Physica Generalis in
Usum Disciplorum a R. P. Andreas Adani E Soc. Jesu. Tyrnaviae
1755.
“Az első magyar fizika műszavai Molnár János 1777-es kötetében” [The
Technical Terms in the First Hungarian Physics Book, Molnár’s 1777
volume], in: Magyar Nyelvőr 1897, pp. 252–55.
Balogh, László, Gyula Grédics, and László Kovács, “Scientist and Teacher
Zemplén, Győző.” in: László Kovács (Ed.) Zemplén. The Scientist and
the Teacher. Szombathely: Berzsenyi College 2004, pp. 7-20.
———, “Zemplén Győző a Tudós és Tanár”, [Scientist and Teacher Zem-
plén, Győző] in: Fizikai Szemle 1979, pp. 321.
Bendl, Júlia, Lukács György élete a századfordulótól 1918-ig. [The Life
of Georg Lukács from the Turn of the Century to 1918] Budapest:
Scientia Humana Társulás 1994.
Blackmore, John, “Mach hatása hat nagy magyar tudósra.” [Mach’s Influ-
ence on Six Hungarian Scientists] in: Peter Weibel (Ed.) A Művészeten
62 Gábor Á. Zemplén
Krüger, Johann Gottlob, Die Ersten Gründe Der Naturlehre. Halle 1740-
49.
M. Zemplén, Jolán, and László Egyed, Eötvös Loránd, A múlt magyar
tudósai. Budapest: Akadémiai Kiadó 1970.
Mach, Ernst, Die Mechanik in ihrer Entwickelung: Historisch-Kritisch
Dargestellt. Leipzig: F.A. Brockhaus 1883.
Mikola, Sándor, A fizika gondolatvilága. [The Worldview of Physics] Bu-
dapest: Szerző kiadása 1933.
Molnár, János, A természetiekről, Newton tanitványinak nyomdoka sze-
rént hat könyv. [Six Books On the Nature of Things, Following New-
ton’s Disciples] Pozsony–Kassa: Landerer 1777.
Nemes, Tibor, “A Kollégium és az École Normale Supérieure kapcsolatai
(1897–1947).” [The Connections of the Eötvös College and the École
Normale Supérieure] in: József Zsigmond Nagy and István Szı́jártó
(Eds.), Tanulmányok az Eötvös Kollégium történetéből. Budapest: Eötvös
József Kollégium 1989, pp.
Nyı́ri, János Kristóf, A Monarchia szellemi életéről. Filozófiatörténeti ta-
nulmányok. [On the Intellectual Life of the Monarchy: Studies in the
History of Philosophy] Budapest: Gondolat 1980.
Palló, Gábor, “Boltzmann Magyarországon: Egy meg nem történt eset”,
[Boltzmann in Hungary: a Case that has Never Been] in: Világosság
36, no. 11, 1995, pp. 68-80.
———, “Tudományos intézmények, konzervativizmus, kreativitás. A Bu-
dapesti Műszaki Egyetem modernizáló szerepe.” [Scientific Instituti-
ons, Conservativism, Creativity; The Modernising Role of the Tech-
nical University in Budapest] in: Gábor Palló (Ed.) A honi Koperni-
kusz-Recepciótól a magyar Nobel-dı́jakig. Budapest: Áron Kiadó 2004,
pp. 269-90.
Pauler, Ákos, “Az ismerés viszonylagossága és a matematikai fogalom-
alkotás”, [The Relativity of Our Cognizing and Mathematical Concept
Formation] in: Athenaeum no. 1-2, 1902, pp. 17-32, 129-42.
Perecz, László, A pozitivizmustól a szellemtörténetig. Athenaeum, 1892-
1947, [From Positivism to “Geisteswissenschaften” Athenaeum, 1892-
1947 ] Horror Metaphysicae. Budapest: Osiris 1998.
Pléh, Csaba, History and Theories of the Mind. Budapest: Akadémiai
Kiadó 2008.
64 Gábor Á. Zemplén
1920 mit Auszeichnung maturierte. Daran schloss sich das Studium der
Philosophie bei Moritz Schlick (1882–1936) und Robert Reininger (1869–
1955) an der Universität Wien an; nebenher belegte Juhos die Fächer
Physik und Kunstgeschichte.
Das Studium schloss Juhos 1926 mit der Dissertation zum Thema In-
”
wieweit ist Schopenhauer der Kantschen Ethik gerecht geworden?“ ab und
wurde 1927 zum Dr. phil. promoviert. Zuvor musste Juhos 1925 noch die
Ergänzungsprüfung aus Griechisch vor der Prüfungskommission für Real-
schulabsolventen ablegen.3 Die Beurteilung der Dissertation mit Datum
vom 22. März 1926 verfasste Reininger, Schlick stimmte der Approbation
der Arbeit am 9. Mai 1926 zu. Da die Beurteilung von Reininger verfasst
wurde, ist zu vermuten, dass Reininger Betreuer der Dissertation war und
Schlick lediglich als Zweitgutachter auftrat; dies legt auch das Thema der
Dissertation nahe. In einer kurzen biographischen Skizze aus dem Jahre
1966 verwendet Juhos die folgende Formulierung: Er [Juhos] promovierte
”
1926 an der Universität Wien unter Moritz Schlick und Robert Reininger
zum Doktor phil . . . “4
Reiningers Beurteilung ist durchgehend kritisch:
Der V. [Verfasser] bearbeitet sein Thema in der Weise, dass er die Äußerungen
Schopenhauers und Kants Schritt für Schritt folgt & seine Zustimmung oder
Ablehnung durch immanente Kritik zu würdigen unternimmt. Eine allgemei-
ne Bemerkung über die grundverschiedene Einstellung der beiden Denker zum
ethischen Problem wäre da vorauszuschicken gewesen. Der V. kommt zu dem
Ergebnis, dass zwischen beiden Ethiken trotz vieler Verschiedenheiten im einzel-
nen ein Verhältnis innerer Verwandtschaft besteht, welches den gleichgerichteten
metaphysischen Anschauungen beider Philosophen entspringt. Diese Ansicht ist
überhaupt nur dann erörterungsfähig, wenn man, wie es der V. tut, vor allem die
transzendentalen“ Zuspitzungen der beiden Ethiken in Betracht zieht, welche
”
eigentlich nicht das Wichtigste daran sind. [. . . ] Auch mit seiner sonstigen Auf-
fassung der Kantischen Ethik kann ich mich nicht einverstanden erklären, wie er
sich denn überhaupt durch Schopenhauers voreingenommenen Standpunkt dar-
in allzu sehr beeinflussen lässt. Immerhin zeigt der V., dass er auch selbstständig
zu denken vermag & bringt auch im einzelnen manches Richtig bei. Die Arbeit
3 Im Curriculum Vitae vom 5. März 1926 bezeichnet er sich als Adalbert von
”
Juhos, [. . . ] evang. A. C., zuständig nach Ungarn“. Archiv der Universität
Wien, Personalakt Béla Juhos.
4 Institut Wiener Kreis, Brief Juhos an Mulder vom 4. November 1966, Kopie
im Besitz des Verf.
Wer war Béla Juhos? 67
verblieben und nach 1945 auch weiter hier wirkten.10 Die Situation an
der Universität Wien nach 1945 war von einer ausgeprägten Feindseligkeit
gegenüber jeglicher Nähe zur Philosophie des Wiener Kreises“ geprägt.
”
Drastische Worte für das intellektuelle Klima eines Kulturkampfes an den
österreichischen Universitäten nach 1945 findet der Kraft-Schüler Ernst
Topitsch (1919–2003):
Nun hatte ich unter den nationalsozialistischen Terror von eher Wiederherstel-
lung der Geistesfreiheit im Zeichen eines christlichen Humanismus geträumt,
doch was dann wirklich kam, war eine erstickende provinzielle Restauration,
und ein kläglicher Klerikalismus verbreitete in den Hallen der Alma Mater eine
fast mit Händen greifbare Atmosphäre intellektueller Unredlichkeit, ohne auf
entschiedenen Widerstand zu stoßen.11
Es ist wohl vor allem der Position von Kraft als Universitätsprofessor
und dessen Förderung eines philosophischen Mitstreiters zuzuschreiben,
dass Juhos überhaupt auf akademischem Boden Fuß fassen konnte. Zur
Situation der Philosophie an der Universität Wien nach 1945 schreibt
Juhos:
Gleich nach dem Kriege kam es zu einem Wiederaufleben einer von theologisch,
klerikaler Seite gelenkten reaktionären Kulturpolitik, des traditionellen klerika-
len Geistes, der in der logischfundierten wissenschaftlichen Philosophie des ehe-
maligen Wiener Kreises für sich eine Gefahr erblickte. Sämtliche Lehrkanzeln
für Philosophie an den österreichischen Universitäten wurden mit spekulativen
Philosophen besetzt (mit Ausnahme von Viktor Kraft, dem seine frühere Stelle
an der Universität Wien zurückgegeben wurde).12
10 Als weiteres Mitglied des Wiener Kreises, der während des Zweiten Welt-
kriegs in Wien lebte, sei Heinrich Neider genannt, der jedoch keine univer-
sitäre Position bekleidete.
11 Ernst Topitsch, Naturrecht im Wandel des Jahrhunderts, S. 2, in Aufklärung
und Kritik 1/1994.
12 Bela Juhos, Formen des Positivismus“, in Zeitschrift für allgemeine Wis-
”
senschaftstheorie Bd. 2 (1971) 27-62.
70 Wolfgang L. Reiter
Mit seiner letzten Bemerkung zur Situation der Philosophie des Wiener
”
Kreises“ spielt Kraft wohl auf jene Bestrebungen an, die 1947 zu sei-
ner Berufung als a.o. Professor für Philosophie an der Universität Wien
führten, nachdem er in seiner Position als Bibliothekar an der Univer-
sitätsbibliothek Wien 1945 rehabilitiert und 1947 zum Generalstaatsbi-
bliothekar ernannt worden war. Durchaus überraschend ist die von Kar-
lik mitgeteilte Bereitschaft Schrödingers, nach Österreich zurückzukehren.
(Leider fehlt dazu derzeit der dokumentarische Beleg, in dem diese Absicht
Schrödingers zum Ausdruck kommt.) Wie ernst seine Absicht war, lässt
sich dem Brief Krafts an Thirring nicht entnehmen. Jedenfalls stünde eine
solche belegbare Absicht im Gegensatz zu den bisherigen biographischen
Darstellungen, die davon ausgehen, dass Schrödinger keinesfalls in ein
unter den vier Besatzungsmächten aufgeteiltes Wien zurückkehren woll-
te. Schrödinger kehrte erst 1956, ein Jahr nach Abschluß des Staatsver-
trags von Wien nach Österreich zurück. Neben der Frage einer allfälligen
Rückkehr Schrödingers nach Österreich ist für unseren Zusammenhang
hier vor allem die Bestrebung von Kraft von Interesse die Philosophie
des Wiener Kreises“ wieder zu beleben. Dies führt uns wieder zu Juhos
”
zurück.
Eine erste Betrachtung seiner Person mag nahe legen, Juhos als Pri-
vatgelehrten zu charakterisieren. Dies trifft zumindest auf seine sozia-
le Verankerung an der Universität zu. Denn seine spätere universitäre
Tätigkeit als Privatdozent und tit. a.o. Professor an der Universität Wi-
en kann nicht als Erwerbsberufs“ charakterisiert werden, da damit kei-
”
ne regelmäßigen Einkünfte verbunden waren. Aufgrund seiner finanziellen
Unabhängigkeit konnte Juhos seinen intellektuellen und akademischen In-
teressen ohne die Beschränkungen einer Berufsausübung im engeren Sinne
nachgehen. Juhos’ finanzielle Unabhängigkeit gewährleisteten Einkünfte
aus dem 1/4-Mitbesitz an der von seinem Vater begründeten Eisengroß-
handlung Jul. Juhos & Sohn, die später von einem seiner drei Brüder
geführt wurde und die unter anderem auch im Brückenbau tätig war.15
Weiters besaß die Familie eine Großtankstelle im 2. Wiener Gemeinde-
bezirk und eine Tiefgarage. Neben seiner Stadtwohnung (Wien I., Franz-
Josefs-Kai 65) bewohnte Juhos eine Villa in Döbling und war mit zwei
15 Archiv der Republik, Personalakt Béla Juhos, Curriculum Vitae vom 12.
VI. 1947. Juhos führt hier u. a. aus: Ich war weder Pg [Parteigenosse,
”
Anm. d. Verf.], noch Pa [Parteianwärter, Anm. d. Verf.], habe keinem der
der Partei angeschlossenen Verbände angehört und mich auch sonst jeder
politischen Betätigung enthalten.“
72 Wolfgang L. Reiter
Wenn auch an der Arbeit nicht die Originalität hervorgehoben werden kann,
so hat sie doch den großen Vorzug der Solidität und Gründlichkeit und Reife.
Sie zeigt ein hohes Niveau und eingehende Vertrautheit mit der Physik in er-
Wie lässt sich die Position von Juhos in Wien in der Tradition des
Wiener Kreises“ stehend und insbesondere nach der Emeritierung von
”
Kraft im Jahre 1952 charakterisieren? Nun, zum einen bestand Juhos’
Rolle an der Universität Wien darin, die Ideen des Wiener Kreises“ wei-
”
ter zu tragen und weiter zu entwickeln. Neben der profunden Kenntnis
der Schlick’schen Philosophie befähigte ihn dazu vor allem seine intensive
Beschäftigung mit den Problemen der modernen Logik und seine auf ei-
nem technisch ausreichend differenzierten Niveau stehende Kenntnis der
modernen Physik, der speziellen und allgemeinen Relativitätstheorie und
der Quantentheorie, um die Diskussion auf einem dem geforderten tech-
nischen Anspruch entsprechenden Niveau aufzunehmen und fortzuführen.
Die Tragödie“ von Juhos bestand darin, dass er auf dem ihm entspre-
”
chenden Stand der akademischen Diskussion in Wien als eine singuläre
Erscheinung zu sehen ist, eine Position, die der Sichtbarkeit und Durchset-
zungsfähigkeit seiner Ideen nur eingeschränkte positive Impulse zu geben
vermochte und die sich weitgehend auf den unmittelbaren Kreis seiner
Schüler beschränkte. In diesem Kreis allerdings fand Juhos intellektu-
elle Resonanz, ja menschliche Bewunderung. In diesem Zusammenhang
der Wirksamkeit und Sichtbarkeit seiner Person und seines Werkes ist es
doch bemerkenswert, dass Juhos am Institut für Wissenschaft und Kunst
mit der damaligen Abteilung für Wissenschaftstheorie und Psychologie“
”
unter der Leitung von Walter Hollitscher oder der Abteilung für Mathe-
”
matik und Logik“, an der u. a. auch Kraft und der Mathematiker Edmund
Hlawka mitwirkten, nur einmal als Referent hervortrat, obschon dies seine
Wirkungsmöglichkeit über die universitäre Sphäre hinaus hätte erweitern
können. Im Januar 1950 hielt Juhos eine Vortrag zum Thema Neuere
”
logisch-semantische Untersuchungen“, zu dem er möglicherweise von Hol-
litscher eingeladen wurde, in dessen Abteilung unter anderen auch Kraft,
Paul Feyerabend, Franz Austeda Hans Novotny und Friedrich Waismann
referierten.29 Für eine weitere Mitwirkung Juhos’ am Institut für Wissen-
schaft und Kunst gibt es keine Hinweise. Zu ergänzen ist hier, dass Feyer-
abend über eine Einladung von Juhos in den Kraft-Kreis“, einen um 1950
”
30 Ibid.
31 Archiv der Republik, Personalakt Erich Heintel, BMU, Gz. 34246/I-2/52.
32 Archiv der Republik, Personalakt Erich Heintel, BMU, Gz. 80209/I-2/51.
33 Archiv der Universität Wien, Gz. Ph 31.35, Phil. Sitzungsprotokolle
1950/51, Prot. Professorenkollegium der Philosophischen Fakultät, 30. Juni
1951.
78 Wolfgang L. Reiter
Was die primo loco genannten Kandidaten betrifft, so ist, abgesehen von den be-
kannten Schwierigkeiten, Gelehrte aus dem Auslande nach Österreich zu berufen
zu bemerken, daß sich Prof. Dr. Waismann in erster Linie mit mathematischen
Problemen befasst und lediglich Grenzgebiete der Philosophie vertritt, während
Prof. Dr. Weizsäcker sich mit allgemeinen Fragen der Philosophie beschäftigt
und es zweifelhaft ist, ob er einer Beschränkung seiner Lehrtätigkeit auf die
Erkenntnistheorie und Logik zustimmen würde.34
Der an zweiter Stelle gereihte Pd. für theoretische Philosophie Dr. Bela Ju-
hos besitzt wohl eingehende Kenntnisse der Physik in erkenntnistheoretischer
Hinsicht und eine genaue Kenntnis der mathematischen Logik. Er hat bisher
2 größere Abhandlungen und etwa 20 Zeitschriftenaufsätze veröffentlicht, sei-
ne Vorlesungen über Grundlagenprobleme wissenschaftlicher Methoden sind je-
doch im Gegensatz zu denen des Priv. Doz. Dr. Heintel schwach besucht. Es
wäre sohin im Hinblick auf vorstehende Ausführungen die Ernennung des Pd.
Dr. Heintel zum ao. Prof. für Philosophie zu erwirken. Er kommt vor allem in
Betracht, daß [?] die mathematische Logistik ein Teilgebiet der Philos. (natur-
wissenschaftl. Richtung] ist, während Heintels biologische Richtung die gesamte
Naturwissenschaft umfasst. [Der letzte Satz ist handschriftlich eingefügt. Anm
d. Verf.]35
35 Ibid.
80 Wolfgang L. Reiter
36 Ibid.
37 Ibid.
38 Ibid.; BKA Zl. 508-PrS/52. In der Note des BKA wird ausgeführt: Er
”
hat sich um die Parteimitgliedschaft im Sommer 1938 aus Rücksicht um
die Existenz seiner Familie und im Hinblick auf seine bevorstehende Ha-
bilitierung an der Universität beworben.“ Im Zusammenhang mit Heintels
Habilitation 1940 gibt dieser im Fragebogen zu Gz. 6305/40 (Archiv der
Republik, Personalakt Erich Heintel) an: VF [Vaterländische Front] Mit-
glied seit 5. 12. 1934; weiters: Ich war SA-Anwärter.“ Heintel war vom
”
Juli 1938 bis zu seinem Austritt 1944 im Nationalsozialistischen Kraftfahr-
korps (Kraftbootstaffel Wien) organisiert. Der NS-Dozentenbundführer Ar-
thur Marchet führt mit Datum vom 14. 12. 1939 im Zusammenhang mit
dem Habilitationsansuchen aus, Erich Heintel bietet die Gewähr, dass er je-
”
derzeit rückhaltlos für den nationalsozialistischen Staat eintritt.“ E. Heintel
1959: Ich war nicht beim NS-Dozentenbund.“ (AdR, Personalakt Heintel,
”
Gz. 38.260-4/59)
Wer war Béla Juhos? 81
des Titels eines a.o. Professors“. Der Kommission zur Verleihung dieses
”
Titels gehörten Gabriel, Heintel, Hopmann, Leitmaier, Meister, Rohra-
cher und Kainz (als Berichterstatter) an. Die Verleihung war von den
Vorständen des Philosophischen Instituts, Friedrich Kainz und Leo Ga-
briel, im Mai 1952 angeregt worden. In der Sitzung der Kommission vom
17. Juni 1952, bestehend aus Kainz, Gabriel, Heintel, Kraft, Hlawka, Hop-
mann, Thirring, Leitmeier, Meister und Gottschalk, wurde der Antrag ein-
stimmig angenommen, worauf das Professorenkollegium in seiner Sitzung
vom 21. Juni 1952 den Antrag zur Abstimmung brachte, mit folgendem
Ergebnis: 46 JA, 0 NEIN, 2 Enthaltungen. Hiervon wurde das Bundesmi-
nisterium für Unterricht mit Schreiben des Dekans Johann Radon vom 6.
August 1952 in Kenntnis gesetzt. Dieser Antrag wird jedoch vom Ministe-
rium nicht weiter behandelt, eine Tatsache, die zu Interpretationen Anlass
gibt. Hat das Ministerium aus eigenem Gutdünken gehandelt? Wurde von
außen her Einfluss ausgeübt Juhos nicht zu ernennen? Die vorliegenden
Akten geben darüber keine Auskunft und eröffnen so zugleich Raum für
Spekulationen, welchen strategischen Stellenwert im Kontext personal-
politischer und forschungspolitischer“ (i. e. ideologischer) Überlegungen
”
eine Ernennung von Juhos auf den für die philosophische Fakultät unbe-
deutenden Posten eines tit. a.o. Professors hatte. Hinweisen möchte ich
an dieser Stelle lediglich auf die schon oben referierte Tatsache, dass die
Initiative zur Verleihung des Titels formal von Kainz und Gabriel aus-
ging, wobei einer – Gabriel – in dezidierter Ablehnung zu der von Juhos
vertretenen philosophischen Richtung stand. Hatte man sich mit Juhos
auf eine Art von Minimallösung verständigt, die als Argument dafür die-
nen konnte, die verfemte Philosophie des Wiener Kreises sei mit Juhos
ausreichend repräsentiert, um jeden weiteren Vorstoß in Richtung einer
erkenntiskritischen Philosophie“ zu verhindern?
”
Kainz und Gabriel werden in dieser Angelegenheit im Dezember 1954
neuerlich aktiv und beantragen die Erstellung einer Kommission zur Be-
”
ratung der Verleihung des Titels eines a.o. Univ.-Professors an den Privat-
dozenten Dr. Bela Juhos.“39 Nunmehr wurde in der Sitzung des Profes-
sorenkollegiums vom 11. Dezember 1954 eine Kommission, bestehend aus
den Professoren Kainz, Gabriel, Heintel, Kraft, Hlawka, Hopmann, Thir-
ring, Leitmeier, Meister, Gottschalk und Rohracher zur weiteren Beratung
eingesetz.40 Der Antrag, zu dem sich Gabriel und Meister ausdrücklich zu-
stimmend äußerten wurde in der Sitzung der Kommission vom 14. Jänner
1955 einstimmig angenommen.
Ein zweiseitiges Gutachten legte dazu Kainz vor, in welchem er sich
vorbehaltlos positiv zu den bisherigen akademischen Leistungen Juhos’
äußert. Kainz hebt drei Hauptrichtungen der Tätigkeiten hervor: (1) die
akademische Lehre (Juhos hält jedes Semester mehrstündige Vorlesungen,
die bei den Studierenden viel Anklang und Beifall finden“), (2) seine An-
”
teilnahme am internationalen wissenschaftlichen Leben“ durch Referate
”
bei Kongressen und (3) seine sehr intensive Forschungsarbeit vorab auf
”
erkenntnislogischem Gebiet“. Kainz hebt insbesondere das 1954 im Hum-
boldt Verlag, Berlin erschienene Werk Elemente der neuen Logik hervor.
Es gibt – ohne die Brücke zur logischen Tradition völlig abzubrechen –
”
eine vollständige und gründliche Darstellung der modernen Logik, wofür
man bislang auf amerikanische Darstellungen angewiesen war. Dadurch
unterscheidet sich das Werk von den rein logistisch orientierten Darstel-
lungen Carnaps, dem Juhos im übrigen nicht fern steht.“ Kainz betont
weiters, dass sich Herr Juhos kritische Zurückhaltung auch mit bezug auf
”
Schulanschlüsse auferlegt und sich keinem ,Kreis‘ mit Haut und Haaren
verschrieben hat“.41 Diese Feststellung Kainz’ ist wohl als Entschärfung“
”
der Nähe von Juhos zum Wiener Kreis“ zu lesen, so, als ob er damit
”
seine Professorenkollegen zu beruhigen versuchte. Der zentrale Stellen-
wert der neuen Logik (Frege, Russell/Whitehead) für die philosophischen
Untersuchungen des Wiener Kreises“ ist in Juhos’ Terminologie der er-
”
kenntniskritischen (nicht erkenntnistheoretischen!) Untersuchungen deut-
lich spürbar. Von ähnlicher Funktion bezüglich der damaligen Rezepti-
on der analytischen Philosophie in Wien lassen sich die abschließenden
Ausführungen im Gutachten von Kainz verstehen:
Höchst anerkennenswert ist es, dass er ständig den Zusammenhang mit der
Erkenntnistheorie wahrt, also Erkenntnislogik betreibt und seiner Logik nach
wie vor die Aufgabe eines Organons zur Bearbeitung philosophischer Probleme
zuweist. Dadurch entfernt er sich zu seinem Vorteil von den Autonomie- und
Autarkieansprüchen der modernen Logistiker und analytischen Philosophen, für
welche die Bearbeitung logischer Darstellungsprobleme reiner Selbstzweck ge-
worden ist und in zunehmendem Maß und völlig bewusst jede Verbindung mit
der logischen Tradition einer-, der gesamtphilosophischen Problematik anderer-
seits negiert.
44 Victor Kraft, Nachruf auf Béla Juhos“, op. cit., S. 163-173, auf S. 164.
”
45 Erich Heintel, Leserbrief“ in: Österreichische Hochschulzeitung XIII/12,
”
Wien, 15. Juni 1961 (Erwiderung auf den Leserbrief von Béla Juhos in der
Österreichischen Hochschulzeitung XIII/10, Wien, 15. Mai 1961, S. 2 - 3.).
4 Sp.
Wer war Béla Juhos? 85
ner Hörer berichtet.46 Wenn Juhos auch engen Kontakt zu seinen Hörern
pflegte, so war er doch insgesamt in einer sehr isolierten Position, insbe-
sondere nach der Emeritierung von Kraft 1952 und auch zu den Physikern
– so naheliegend dies aufgrund von Juhos’ fachlichen Interessen scheinen
mag – bestand kein nachweisbarer Kontakt.
Anzumerken ist das in seinen späteren Jahren erneut aufkeimende In-
teresse an ethischen und moralischen Fragen, die an das Thema seiner
Dissertation anknüpfen, jedoch von Juhos in seinen Vorlesungen nicht be-
handelt wurden (siehe Anhang). Dies ist insofern bemerkenswert, da der
Wiener Kreis und der logische Empirismus (abgesehen von Otto Neurath
und vor allem Victor Kraft47 ) diesen Fragestellungen einer praktischen
Philosophie kein systematisches Interesse entgegenbrachte. Andererseits
lag es ganz außerhalb der Aufmerksamkeit von Juhos zu sehen, dass die
radikal aufklärerische Philosophie des Wiener Kreises diesen politisch ten-
denziell auf der Seite der Linken“ ansiedelte, wie Schleichert betont und
”
in diesem Zusammenhang Juhos als ganz apolitisch“ charakterisiert.48
”
Auch in dieser Hinsicht steht Juhos seinem Mentor Schlick nahe.
Als Schüler von Béla Juhos seien hier genannt: Werner Leinfellner,
Hubert Schleichert, Franz Oppacher, Wolfgang Katzenberger, Torsten
Kronfellner49 und Veit Pittioni.50 Schleichert nennt weiters den späteren
Schulpsychologen Gregor Pecko als Schüler von Juhos. Leinfellner und
Schleichert konnten sich an der Universität Wien nicht habilitieren, ein
deutlicher Hinweis auf die feindselige Haltung der Ordinarien für Phi-
losophie gegenüber der von Juhos vertretenen Richtung einer antimeta-
51 Interview mit Hubert Schleichert 2008, aufgenommen von Károly Kókai und
Christoph Limbeck-Lilienau, Institut Wiener Kreis.
52 Béla Juhos und Hubert Schleichert, Die erkenntnislogische Grundlagen der
klassischen Physik, Berlin: Duncker & Humblot 1963. Schleichert promo-
vierte 1957 an der Universität Wien bei Juhos und habilitierte sich 1968 an
der Universität Konstanz.
53 Persönliche Mitteilung von Hubert Schleichert an den Verfasser, email, 25.
Mai 2008.
54 Heintel zu Leinfellner: Solange ich hier bin, werden Sie nie hier Professor.“
”
Leinfellner zu Heintel: Wenn nicht hier, dann sicher woanders“. Werner
”
Leinfellner, persönliche Mitteilung an den Verfasser, Januar 2009.
55 Interview mit Hubert Schleichert und Wolfgang Katzenberger 2008, aufge-
nommen von Károly Kókai und Christoph Limbeck-Lilienau, Institut Wie-
ner Kreis.
Wer war Béla Juhos? 87
56 Victor Kraft, Nachruf auf Béla Juhos“. Zeitschrift für allgemeine Wissen-
”
schaftstheorie Bd. 2 (1971), S. 163-173.
88 Wolfgang L. Reiter
Die Analyse der Sprache richtet sich (1) auf die logischen Elemente in
der sprachlichen Darstellung, (2) auf die Bedeutungen (Beziehungen der
sprachlichen Zeichen zu Inhalten). Juhos unterscheidet hier zwei Untersu-
chungsverfahren als formale und inhaltliche Analyse.
che Gesichtspunkt für die Analyse der Bedeutung verhilft somit zu einer
wesentlichen Klärung von Grundbegriffen der Wissenschaft.“58 Juhos kri-
tisiert mit seinem Ansatz Carnaps induktive Logik“ und deren Wahr-
”
scheinlichkeitsmetrik, stellt Kraft fest.59
Mit seinen logischen Untersuchungen des Aufbaus der Erkenntnis hat
Juhos sich Fragen der Induktion gewidmet und hier eine induktive Lo-
”
gik“ auf deduktiver Grundlage entwickelt, wobei er ,,induktive Schlüsse“
als Schlüsse aus disjunktiven Prämissen p1 oder p2 oder ...pn darstellt,
d. h. als nicht-tautologische Folgebeziehungen zwischen Prämissen und
Schlusssätzen. Da die Ableitung von Schlusssätzen aus disjunktiven Prä-
missen nicht eindeutig ist, d. h. auf verschiedene Weise möglich ist, muss
eine Festsetzung über die Auswahl getroffen werden, wodurch induktive
Schlüsse Wahrscheinlichkeiten verschiedener Art erhalten, die rein logi-
scher Natur (also nicht empirisch) sind. Diese induktiven Schlüsse lassen
sich zur Beschreibung der Wirklichkeit verwenden, wenn zwei Bedingun-
gen erfüllt sind: (1) diskrete unterscheidbare Fälle in einem empirischen
Bereich und (2) dürfen diese nicht in einer eindeutigen Ordnung abfol-
gen. So werden die logisch-mathematischen Wahrscheinlichkeitsformen zu
nachprüfbaren empirischen Wahrscheinlichkeitsaussagen, beschreiben rea-
le Zustände und deren Abfolge.
Damit ist der Schritt von der formalen Analyse der Erkenntnis zur
Analyse der empirischen Erkenntnis vollzogen. Durch die Anwendung von
Wahrscheinlichkeitsaussagen erhält man nun zweierlei Arten von Beschrei-
bungen von Vorgängen in der Natur: (1) Kausalgesetze und (2) Wahr-
scheinlichkeitsgesetze, die beide selbständig und gleichberechtigt sind,
nicht aus einander abgeleitet werden können. Diese Analyse dient nun
dem Verstehen der Nichtreduzierbarkeit von Wahrscheinlichkeitsaussa-
gen in der Quantentheorie. Diese Wahrscheinlichkeit [von quantenme-
”
chanischen Zuständen, Anm. d. Verf.] ist eine neue Erkenntnisform, die
nicht subjektive Ungewissheit bedeutet, sondern objektive Verhältnisse
darstellt. Juhos hat ihr mehrfache Abhandlungen gewidmet, die er in ei-
nem Buch Wahrscheinlichkeit als Erkenntnisform 1970 zusammengefasst
und ergänzt hat.“60
In zwei Büchern, die der Untersuchung der klassischen und der moder-
nen Physik gewidmet sind, hat sich Juhos ausführlich mit der erkenntnis-
logischen Analyse der physikalischen Wissenschaft auseinandergesetzt.61
Juhos untersucht die Grundlagen der klassischen Physik, die Begrif-
fe von Raum und Zeit, sowie Fernwirkungen und Nahwirkungen. Me-
chanik und Elektrodynamik lassen sich in der klassischen Physik nicht
vereinen (Fernwirkung/Nahwirkung). Die Geometrie des (empirischen)
Raums muss aufgrund der Erfahrung ermittelt werden. Die spezielle Rela-
tivitätstheorie hat die Unhaltbarkeit der Voraussetzungen der klassischen
Physik erwiesen.
Allgemeine Relativitätstheorie und Quantenmechanik werden als mo-
derne Physik verstanden. Die allgemeine Relativitätstheorie basiert auf
der Invarianz der grundlegenden Gleichungen (Gesetze) gegenüber Trans-
formationen. Zur Begründung der Grundsätze der allgemeine Relativitäts-
theorie wird festgestellt, dass die relativistische Raum-Zeit-Metrik das
Prinzip der konstanten Lichtgeschwindigkeit als gültig voraussetzt und
darum die empirische Nachprüfung dieses Prinzips innerhalb der Rela-
tivitätstheorie nicht möglich ist. Die Relativität der Bewegung ist eine
”
Annahme in Bezug auf das gesamte System aller Maße und deshalb einer
Verifikation unzugänglich.“62
Die historische Entwicklung der Quantentheorie wird von Juhos aus-
führlich erläutert und auf die Energiequantelung und den Welle-Teilchen-
Dualismus eingegangen, der als ungeklärt beschrieben wird. Im Gegensatz
zur älteren (Bohr’schen) Quantentheorie
Erst die kritischen Fälle, die in neuester Zeit zur Aufstellung der Quanten- und
Relativitätstheorie Anlaß gaben, erforderten zu ihrer Bewältigung die Aufstel-
lung von Naturgesetzen von so extremer Entartung, daß zu ihrem Verständnis
die Besinnung auf die gesonderten Regeln des physikalischen Sprachgebrauchs
und damit auf die einzelnen Erkenntnismethoden der Physik nötig wurde.65
Bei der Analyse der Grundlagen der klassischen und modernen Physik
bezeichnet Juhos als Grundbegriffe“ alle jene, welche die inhaltliche Deu-
”
tung der formalen Ausdrücke festlegen (absolute/r Raum, Zeit, Bewegung
in der klassischen Physik; Fernwirkung). Die Fernwirkung wird so zum
Schlüsselbegriff“ der klassischen Physik, da mit der Problematisierung
”
der Fernwirkung ein Aufgeben der Grundbegriffe“ verbunden ist. Für die
”
Theorie des Elektromagnetismus ist die Nahwirkung der Schlüsselbegriff“.
”
Dies gilt auch für die Relativitätstheorie und ihren Nahewirkungsbegriff,
der die ,,Schlüsselbegriffe“ der klassischen Physik relativiert, allerdings er-
folgen Zustandsänderungen stetig und Stetigkeit wird hier zum Schlüssel-
”
begriff“ der allgemeinen Relativitätstheorie.
Stetigkeit gilt allerdings nicht mehr in der Mikrophysik, da eine Mes-
sung von stetigen Zustandänderungen nicht möglich ist. Hier wird eine
neue Form der Beschreibung eingeführt, nämlich Wahrscheinlichkeitsge-
setze. Diese absoluten“ (nicht subjektiven) Wahrscheinlichkeitsgesetze
”
sind objektive Beziehungen zwischen Anfangs- und Endzuständen, die von
der subjektiven Kenntnis unabhängig sind. Diese Wahrscheinlichkeitsge-
setze sind nun die Schlüsselbegriffe“ der atomaren Physik. Juhos gelangt
”
hier zu einer Dualität von Schlüsselbegriffen in der modernen Physik: Ma-
Die beiden verschiedenen Bereiche der Makro- und der Mikrophänomene wer-
den dadurch miteinander verknüpft, dass ein Kollektiv diskreter Mikrovorgänge,
wenn entsprechend empirische Bedingungen vorliegen, ein beobachtbares, even-
tuell messbares Makrophänomen zugeordnet wird. Damit wird eine Vielzahl von
diskreten Mikrovorgängen mit einem relativ stetigen Makrophänomen gleichge-
setzt. Diese Gleichsetzung kann nicht logisch abgeleitet werden, sondern erfolgt
durch Zuordnung.67
69 Über die Grundlagen der Gewissheit des reinen Denkens, Wien: Gerold
1928; Erkenntnisformen in Natur- und Gesisteswissenschaften, Leipzig: Pan
Verlag 1940; Die Erkenntnis und ihre Leistung, Wien: Springer Verlag 1950;
Elemente der neuen Logik, Frankfurt und Wien: Humboldt Verlag 1954; Das
Wertgeschehen und seine Erfassung, Meisenheim am Glan: Verlag Anton
Hain 1956; Die erkenntnislogische Grundlagen der klassischen Physik (zu-
sammen mit Hubert Schleichert), Berlin: Duncker & Humblot 1963; Die er-
kenntnislogische Grundlagen der modernen Physik, Berlin: Duncker & Hum-
blot 1967; Wahrscheinlichkeit als Erkenntnisform (zusammen mit Wolfgang
Katzenberger), Berlin: Duncker & Humblot 1970.
70 Eine Bibliographie der Arbeiten von Juhos enthält der Band Béla
Juhos, Selected Papers on Epistemology and Physics. Gerhard Frey (ed.),
Dordrecht/Boston: D. Reidel Publishing Company 1976.
71 Gerhard Schurz, Wissenschafts- und Erkenntnistheorie, Logik und Spra-
”
che: Positivismus und Neopositivismus und das Umfeld“, in K. Acham
(Hg.), Cognitio Humana. Der Beitrag Österreichs zu den Wissenschaften
vom Menschen im 19. Und 20. Jahrhundert. Akademie-Verlag 1998.
94 Wolfgang L. Reiter
schreiben, mit der man mit großer Sicherheit in akademischen oder überhaupt
in gebildeten“ Kreisen ignoriert wird.72
”
Vielleicht kann die hier vorgetragene Skizze des Lebens und Wirkens
eines unbeirrt geradlinigen und allen akademischen Eitelkeiten abholden
Forschers einen Beitrag dazu leisten, den engen Zirkel der Rezeption von
Juhos’ Arbeiten zu erweitern.
Danksagung
Eckehart Köhler, Wien, Werner Leinfellner, Wien, Franz Oppacher, Mont-
real, Veit Pittioni, Innsbruck, Hubert Schleichert, Konstanz uhnd Micha-
el Schorner, Innsbruck haben mir wertvolle Hinweise und Anregungen
für diese Arbeit gegeben. Károly Kókai und Christoph Limbeck-Lilienau
danke ich für die Zurverfügungstellung von Interviews mit Wolfgang Kat-
zenberger und Hubert Schleichert. Friedrich Stadler gilt mein Dank für
die Anregung dieser Arbeit.
Anhang
Béla Juhos
Verzeichnis der Vorlesungen und Seminare,
gehalten an der Universität Wien 1948 bis 1971
Introduction
In this paper my primary aim is to discuss Bela Juhos’ views on the mind-
body problem (or the psychophysical problem, as the logical positivists
preferred to call it). In order to achieve this, I find it necessary to provide
some background against which his ideas can be located: I shall outline
Juhos’ metaphilosophical views on the nature and goal of philosophical
inquiry, and the diverse accounts of the psychophysical problem in and
around the Vienna Circle.
Juhos, the only member of the Vienna Circle of Hungarian origin,1 stu-
died mathematics, physics, and philosophy at the University of Vienna.
In philosophy, he was a student of Schlick, and his views on most issues
followed his teacher’s rather closely. Juhos’ philosophical method was a
certain sort of linguistic analysis (“die sprachlogische Methode”), accor-
ding to which one has to deal with philosophical problems the following
way. First, one has to clarify the meaning of the concepts used in for-
mulating the philosophical problem and provide them with a new, scien-
tifically acceptable (i.e., verifiable) meaning. Then the original problem
was to be reformulated with these new concepts. As a result, the old pro-
blem (often) dissolves, but new empirical and logical-linguistic problems
1 He came from a (possibly Transsylvanian) gentry family, who had a steel
business at the turn of the 20th century both in Budapest and Vienna.
Bela Juhos himself was born in Budapest and moved to Vienna in 1909,
at the age of 8. Besides Juhos, the psychologist Egon Brunswik, who was
associated with the Vienna Circle, also came from a (historical) Hungarian
family. However, the branch of Brunswiks he belonged to, had lived in
Vienna for long, so his relations to Hungary may have been rather weak.
(This information is credited to Csaba Pléh.)
100 Gergely Ambrus
also arise.2 This approach fits well with the general logical positivist me-
thodology of the 1930s, represented especially by Carnap. According to
his dictum, “philosophy is the logic of science”, i.e., the task of philoso-
phy is the linguistic-logical analysis of those philosophical concepts, which
are important for the sciences (e.g., reality, mind, body, causation, laws,
etc.), and also the unfolding of the logical connections between scientific
statements.
As for Juhos’ main philosophical interests: he took part in the protocol
sentence debate in the first part of the 1930s, siding with Schlick and
attacking the physicalist wing. He published several papers on this topic3
in the 1930s; his views from this period are summarized in his book, Die
Erkenntnis und ihre Leistung, which appeared much later.4 Later in his
career, from the end of the 1940s until 1970, his interests lay mainly in
issues of philosophy of science and epistemology, and in philosophy of
physics in particular. He discussed the nature of laws and causation;5 he
wrote many papers and two books on the philosophical interpretation of
physics;6 several papers on general epistemological issues. He criticized
Popper, claiming that verification and falsification are symmetrical;7 he
2 Cf. e.g. Bela Juhos, Die Erkenntnis und ihre Leistung. Wien: Springer 1950,
pp. 1-2.
3 “Kritische Bemerkungen zur Wissenschaftstheorie des Physikalismus”, in:
Erkenntnis 4, 1934, pp. 397-418., “Empiricism and Physicalism”, in: Analy-
sis 2/6, 1935, pp. 81-92., “Some Modes of Speech of Empirical Science”, in
Analysis 3/5, 1936, pp. 41-55. All reprinted in Bela Juhos, Selected Papers
on Epistemology and Physics. Dordrecht–Boston: D. Reidel 1976.
4 This book was Juhos’ Habilitationsschrift, which he submitted to the Uni-
versity of Vienna in 1948.
5 Already early in his career, as e.g. in “Stufen der Kausalität”, in: Jahresbe-
richt der Philosophischen Gesellschaft zu Wien 1931/32, pp. 1-19., and also
later, e.g. in “Wie gewinnen wir Naturgesetze?” in: Zeitschrift für philoso-
phische Forschung 22/4, 1968, pp. 534-548.
6 (together with Hubert Schleichert) Die erkenntnislogischen Grundlagen
der Klassischen Physik. Berlin: Duncker und Humblot 1963, Die erkennt-
nislogischen Grundlagen der Modernen Physik. Berlin: Duncker und Hum-
blot 1967.
7 “Die methodologische Symmetrie von Verifikation und Falsifikation” in:
Journal for General Theory of Science 1/2, 1970, pp. 41-70.
Juhos’ Antiphysicalism 101
Now let’s have a look at the main views about the psycho-physical pro-
blem in the Vienna Circle. In modern philosophy, the problem of how the
mind relates to the body originates from Descartes. In the original Car-
tesian discourse the most perplexing question seemed to be the issue of
interaction: how a causal connection is possible between two such radically
different substances as the body and the soul?
Later, however, the importance of this problem diminished, at least
for those with empiricist leanings; for according to the Humean-empiricist
approach to causation, the nature of the relata of causal relations is irre-
levant.
example). Or (2) the parallel mental and the physical phenomena are dif-
ferent types of appearances of one and the same underlying reality (the
Kantian and neo-Kantian approaches).
The traditional metaphysical views can be discarded, according to
Juhos, for their main motivation was to by-pass the question concerning
the nature of the causal nexus between mind and body, which, for them,
seemed utterly problematic. For Juhos and for all logical positivists, ho-
wever, this was hardly a problem, for they adopted a broadly Humean
conception of causation14 – hence, for them, the metaphysical parallelist
solutions to the problem of psychophysical interaction were otiose.
The empirical-cum-logical approach holds that whenever there is a
“mental” event, there is also an adjoining “physical” event, and these two
are independent from each other, in the following sense. It is an empirical
fact, that certain types of “mental” events are co-instantiated with certain
types of “physical” events: it could be otherwise, and it is the task of
empirical science to discover the correlations between the “mental” and
the “physical” events.
According to the purely logico-linguistic view, when it seems that
there are two independent “mental” and “physical” processes paralleling
each other, there is, in fact, only one process, which may be described in
two languages, either in “physical”, space-time language, or in “mental”,
phenomenal language. The sentences describing “mental” and “physical”
phenomena may be translatable into each other; if a mental sentence is
translatable into a physical sentence (or a set of physical sentences), then
the content of the mental and the physical sentence(s) is identical.
According to the empirical-cum-logico-linguistic view, the issue whe-
ther certain mental phenomena are related to certain physical (i.e., brain
or behavioral) phenomena has both empirical and logico-linguistic aspects.
The empirical task is to find out whether for an observed series of mental
events (i.e., a series of Konstatierungen), there exist another parallel se-
ries of events – which may turn out to be “physical”. The logico-linguistic
issue is to find out whether the series parallel with the observed “mental”
series is “physical”, or not.
According to the purely logico-linguistic view, there is no empirical
issue concerning the relation between the mental and the physical, as
the meaning of mental sentences is identical with the meaning of certain
physical sentences. For example, according to the logical behaviorist ver-
sion of the purely logico-linguistic view, the content of “Mr. N. has a red
sensation” is that Mr. N.’s body is in a red sensing state. Hence no empi-
rical issue could arise whether N’s having red sensations, i.e., a “mental”
state, is conjoined with a “physical” state, namely N’s body being in a
red-sensing state. For N.’s having a red sensation means that N’s body is
in a red-sensing state; thus there is no logical possibility such that N has
a red sensation but N’s body is not in a red-sensing state.
The main difference between the empirical-cum-logico-linguistic and
the purely logico-linguistic view is that the former accounts for parallelism
as there being two independent series of observed events between which
certain empirical relations may hold (or may not), while according to the
latter, the issue whether such an empirical relation exists or not, cannot
arise. This question cannot even be formulated meaningfully, since the
meaning15 of a mental sentence is identical with the meaning of the phy-
sical sentences into which it can be translated; hence one cannot formulate
the question of how the mental and the physical series are related.
In the first part of the 1930s, there was an ongoing debate about a series
of interrelated issues in the Vienna Circle, including the correct account
of protocol sentences, whether they should be physical or phenomenal,
whether they are incorrigible, etc.; the related issues concerning the cor-
rect notion of truth; the criteria of empirical meaningfulness; and so on.
For my purposes, i.e., to illuminate Juhos’ view on the psychophysical
problem, it is revealing to treat the protocol sentence debate as a part, or
an aspect of the physicalism debate. It is clear why: the doctrine of physi-
calism is fundamental for the interpretation of the protocol sentences and
the interpretation of the psychophysical relation as well; they both turn
15 The cognitive or empirical meaning, the emotive and the pictorial meaning
is another issue.
106 Gergely Ambrus
What is of interest for us now, and that is fairly uncontroversial, that one
of the major objections against the Aufbau was that its constructional
system cannot provide for the intersubjectivity of the meaning of scien-
tific concepts.20 It is also clear that choosing a physicalist base eo ipso
solves this problem, physical concepts being intersubjective by definition.
To see the connections between Carnap’s and Neurath’s physicalism
and the debate on the psychophysical problem, I shall characterize phy-
sicalism somewhat more extensively. It is well-known that the physicalist
doctrine, from its inception in 1929 or 193021 underwent several chan-
ges. Here I present what may be seen as the full-blown radical physica-
list/logical behaviorist view of Carnap.22
20 Put forward by Neurath and also by Neider. Cf. e.g., Uebel, op. cit. pp.
93-96.
21 See e.g., Uebel, op. cit.
22 See Rudolf Carnap, “Psychologie in physikalischer Sprache”, in: Erkenntnis
3, 1932/33, pp. 107-142.
23 Rudolf Carnap, “Die physikalische Sprache als Universalsprache der Wis-
senschaft”, in: Erkenntnis 2, 1932, pp. 432-465.
24 See Karl Duncker, “Behaviorismus und Gestaltpsychologie. Kritische Be-
merkungen zu Carnap’s ‘Psychologie in physikalischer Sprache’”, in:
108 Gergely Ambrus
was also criticized “from the left”, by Neurath. Carnap accepted Neurath’s
criticism, and radicalized his physicalism: he claimed that protocol sen-
tences are also physical sentences, and that there were no incorrigible
observational sentences at all.25
In reply to the radical physicalist doctrine, Schlick published his “Über
das Fundament der Erkenntnis” (in 1934), in which he attacked prima-
rily the coherentist theory of truth suggested by Neurath. In the same
issue of the Erkenntis appeared Juhos’ first contribution to the debate,
his “Kritische Bemerkungen zur Wissenschaftstheorie des Physikalismus”.
The next important move was the publication of Neurath’s “Radikaler
Physikalismus und ‘wirkliche Welt’” in the end of 1934, in which he at-
tacked Schlick’s ideas put forward in the “Fundament” article. Schlick
found Neurath’s paper absurd, and did not intend to reply directly to
Neurath at all. In early 1935, however, also Hempel published a paper, “On
the Logical Positivists Theory of Truth”, in which he supported Carnap’s
and Neurath’s physicalism, and criticized Schlick’s “Fundament” article,
as well as Juhos’ “Kritische Bemerkungen”. To this paper both Schlick
and Juhos answered, with “Facts and Propositions” and ,,Empiricism and
Physicalism” respectively (both in 1935). Hempel replied to Schlick with
“Some Remarks on ‘Facts and Propositions’” (June, 1935), and to Juhos
with “Some Remarks on Empiricism” (January, 1936). Schlick’s counter-
reply was “Sur les ‘Constatations’” (at the end of 1935), Juhos’ “Some
Modes of Speech of Empirical Science” (June, 1936).26
27 Along with the other physicalist views some Vienna Circle members put
forward, e.g., the consciousness-brain identity theory of Feigl. I shall discuss
this later.
28 Cf. Schlick 1934, Schlick 1935a, Schlick 1935b, and “De la relation entre les
notions psychologiques et les notions physiques”, in: Revue de la Synthese
10, 1935, pp. 5-26. English transl.: “On the Relation between Psychological
and Physical Concepts”, in: Herbert Feigl and Wilfrid Sellars (eds.), Rea-
dings in the Philosophical Analysis. New York: Appleton-Century-Crofts
1949.
110 Gergely Ambrus
29 Ibid.
30 See “Psychologie in physikalischer Sprache”.
Juhos’ Antiphysicalism 111
reference of certain mental terms and physical terms, if they are by stipu-
lation the same. (And, it is also senseless to claim that they are identical
in the metaphysical sense, i.e., that a metaphysical identity relation holds
between them.)
Juhos argued both against (i) and (ii). Let’s examine them in turn.
whether the state they are in is a pain state, or not.34 Now, this sounds
rather counterintuitive.
There may be several counter-strategies. First, one might bite the
bullet, and say that it is true that we never know what mental state
we are in, it is only an illusion that we do. For the real psychological
state types are behavioral or brain state types, which are not accessable
to introspection. (This does not mean to deny that there are sensations,
only that they are not types which can be identified solely by having them,
or introspecting them.) There are many ways to spell out such a view, but
Schlick and Juhos surely did not accept it anyway: their account of the
Konstatierungen embraces the idea that we can identify our sensations
(or at least the simple ones) just by having them, (we cannot even be
mistaken about them, when having them). So here we are at a dialectic
stalemate.
It might seem that there is a plausible strategy to counter the argu-
ment from ignorance, which can be reconciled with physicalism - though
it fits the mind-brain identity theory version of physicalism better than
logical behaviorism. Among the logical positivists, Schlick advocated an
identity-thesis e.g. in his “De la relation entre les notions psychologi-
ques et les notions physiques”, and also Feigl proposed a similar view
in his “The ‘Mental’ and the ‘Physical’” (1958), and in “Mind-Body not
a Pseudo-Problem”(1960).35 Smart in his “Sensations and Brain Proces-
ses” (1959),36 the manifesto of consciousness-brain identity theory (aka
central state materialism), replied to the argument from ignorance re-
lying on Frege’s sense/reference distinction. According to this proposal,
certain mental and physical terms have different senses, but nevertheless
refer to the same entity, as e.g., “pain” and “c-fiber firing” (similarly as
34 Ibid.
35 An important difference being that Feigl’s view was emphatically a meta-
physical view. See Schlick, “De la relation entre les notions psychologiques
et les notions physiques”; Herbert Feigl, “The ’Mental’ and the ’Physical’”,
in: Herbert Feigl, Michael Scriven and Grover Maxwell (eds.), Minneso-
ta Studies in the Philosophy of Science, Vol. II. Minneapolis: University
of Minnesota Press 1958, pp. 370-497., and “Mind-Body, not a Pseudo-
Problem”, in: Sydney Hook (ed.), Dimensions of Mind. New York: New
York University Press 1960, pp. 24-36.
36 Jack J. C. Smart, “Sensations and Brain Processes”, in: The Philosophical
Review, 1959/2, pp. 141-156.
114 Gergely Ambrus
bodily states and behavior. Even if someone claims that he has no pains
when putting his hand into the flames, the observation of his bodily states
and behavior may speak against him, and such evidence is surely legiti-
mate grounds to correct someone’s reports. (ii) He also put forward cases
of corrigible judgements about one’s own mental states. For example: I
may honestly believe that “I change my political party out of conviction”,
or that “I have not got the least desire for material advantages”. But, in
fact, I am mistaken: unbeknownst to me, I had some other motivations
for changing my party, e.g., to please a person who is important for me,
or something else; or I do desire material advantages, I just suppress or
conceal this desire so successfully that I do not realize it.41
Juhos’ answers were the following.42 As for (i): lying is irrelevant. Of
course, dishonest reports can be falsified by contrary behavioral evidence.
But the relevant issue is whether someone could err about his own mental
states in his honest reports. The cases mentioned in (ii) are honest re-
ports. However, as Juhos claims, the logic of simple sensation statements
differs from the logic of the statements Hempel cites. The latter are about
unconscious motives, which are not directly given. First person sensation
reports, as e.g., “I feel pain”, are such that understanding them by the
subject simply allows him to know whether they are true or not. This is
not the case, however, in Hempel’s examples: the fact that someone un-
derstands what it means that one has a certain unconscious motive, e.g.,
understands the statement “I desire material advantages unconsciously”,
does not imply that he knows whether the statement is true or not.
Now, we shall elaborate the argument somewhat further. It is note-
worthy that Kurt Baier put forward basically the same argument (as his
original) against Smart’s consciousness-brain identity theory in 1962 (in
his “Pains” and “Smart on Sensations”).43 I shall present Baier’s argu-
ment, and examine Smart’s answers to it as well. This is interesting for us,
because these answers can be targeted against Juhos’ original argument
as well; hence seeing how they fare is important for adjudicating Juhos’
position.
identical with a bodily state of his, then he is also incorrigible about his
being in that bodily state. Hence it is impossible that A judges honestly
that he is in pain, but A is not in the bodily state characteristic of being
in pain.
(5) So if it is possible that (1) and (2) are true together, then
either
(C1) A’s bodily state characteristic of being in pain is not identical with
pain,
or
(C2) A is not incorrigible about his being in pain.
Hence, it is irrelevant whether (1) and (2) are ever actually true together,
for (C1) or (C2) follows solely from the possibility of (1) and (2) being
true together.
Smart’s other reply was that we are corrigible about our own sensa-
tions. His rather sketchy argument was the following. It is arbitrary or
artificial to make the sincerity of someone’s reports of his own states the
criterion of its correctness. For such a move, Smart claims, “would ensure
that a man who sincerely reported a bruised toe nail had a bruised toe
nail” (and, of course, this is false). However, it is clear what Juhos could
have answered: “I have a bruised toe nail” is a hypothetic-empirical state-
ment, not a non-hypothetic-empirical one. Hence the sincere assertion of
the statement “I have a bruised toe nail” need not and does not imply
that the statement is true – in line with Juhos’ theory.
Against Incorrigibility
Now, the question of the corrigibility or incorrigibility of first-person sen-
sation reports is a many-facetted issue, with many arguments and aspects
Juhos was in no position to consider in the mid-1930s. As an illustration,
here are some argument-types or argumentative directions indicating that
we have no incorrigible knowledge about any sort of sensations of ours.
(a) An experience cannot justify a proposition or a belief, propositions or
beliefs can only be justified by other propositions or beliefs (Neurath, Sel-
lars, Bonjour, Davidson, McDowell). Hence the idea of having incorrigible
knowledge about our sensations is untenable, it rests on conceptual con-
fusion. As we may put it: there cannot be incorrigible beliefs about our
Juhos’ Antiphysicalism 119
48 See Wilfrid Sellars, “Empiricism and the Philosophy of Mind”, in: Herbert
Feigl and Michael Scriven, (eds.), Minnesota Studies in the Philosophy of
Science, Volume I: The Foundations of Science and the Concepts of Psycho-
logy and Psychoanalysis. Minneapolis: University of Minnesota Press 1956,
pp. 253-329.
49 Here I follow Chalmers’ brief reconstruction of Sellars’ argument, see Da-
vid Chalmers, “The Content and Epistemology of Phenomenal Belief”, in:
Quentin Smith and Aleksandar Jokić (eds.), Consciousness: New Philoso-
phical Perspectives. Oxford: Oxford University Press 2003, pp. 220-272.
50 Chalmers ibid.
120 Gergely Ambrus
ferring to a painful state), then the statement cannot be false. Hence the
correct making of an honest Konstatierung-statement justifies its content.
In somewhat more detail: the meaning of empirical statements are their
truth conditions. In the case of empirical-hypothetical statements (“The-
re’s a table in the next room”), the truth conditions coincide with the
verification conditions (If you go to the next room you will have a table-
formed such and such coloured visual experience.). In contrast, empirical-
nonhypothetical statements, i.e., Konstatierung-statements (“There is
pain”) refer directly to their truth condititions. There is no verificati-
on procedure. Having the experience directly justifies the Konstatierung-
statement. In other words: asserting sincerely and correctly a Konstatie-
rung-statement implies that it is true.
The argument from externalism against being incorrigible about our own
sensations runs as follows. The identification of any sensations relies on
external factors, either external objects, or the linguistic communities’
use of the sensation term. Since we may have no access to these external
factors from our first-person perspective, we are not incorrigible about
our own sensations.
54 Richard Rorty, “Mind-Body Identity, Privacy and Categories”, in: The Re-
view of Metaphysics 19, 1965, pp. 24-54.
Juhos’ Antiphysicalism 123
Now, we may counter this objection by noting that Juhos was clearly
not an externalist in the sense given here, and also that externalism about
phenomenal content is an open issue even today. And, if externalism is
not true, i.e., the content of an experience is exhausted by what is given
to the experiencer in the first-person perspective, then one could only
err about one’s own sensations either by referring with a wrong name to
the sensation, or by remembering falsely that the actual sensation is the
same type as another one experienced earlier: one could not err about
what sensation he has (i.e., what his sensation is like) now. Hence the
objection from externalism may be put aside.
55 It must be noted, however, that this argument was principally taken over
from Schlick. See Schlick, “De la relation entre les notions psychologiques
et les notions physiques”, and “Meaning and Verification”, in: The Philo-
sophical Review 44, 1936, pp. 339-369. Kraft, in his official evaluation of
Juhos’ Habilitationsschrift (which appeared later as Die Erkenntnis und ih-
re Leistung) even criticized Juhos for not mentioning that this argument
is credited to Schlick. In the book version, however, Juhos does refer to
Schlick, saying that he provided a very similar argument.
56 According to Schlick’s and Juhos’ usage, a sentence expresses a logically
possible case, if it is consistent with the meaning of the terms forming the
sentence, i.e., if it is not self-contradictory. On Schlick’s and Juhos’ phe-
nomenalist reading, sensation terms refer solely to the phenomenal states,
i.e., their meaning does not involve reference to any bodily state. Hence it is
logically possible, i.e., it is not ruled out by the meaning of sensation terms,
124 Gergely Ambrus
query right at the outset why it ought to be logically possible to verify it.
Why not empirically possible? Schlick’s answer is briefly the following.57
We do not and will not ever have indubitable knowledge of what is em-
pirically possible, since empirical law-statements which constrain what is
empirically possible are only hypothetic. If the meaningfulness of a term
depended on the empirical possibility of a certain state of affairs, we would
never know for sure whether the term is meaningful or not – and this
would be unacceptable. Hence we have to rely on the logical-conceptual
possibility in demarcating the meaningful from the meaningless.
We may accept this answer for the sake of argument, and turn to the
master argument of Juhos and Schlick. The master argument starts with
a discussion of the possible interpretations of “my pain” in the sentence
“I can only feel my pain”. Accordingly, we have two options, which we
may call the solipsistic (S) and the non-solipsistic (NonS) interpretation.
(S) Any experienced pain-sensation is necessarily my pain: pains are logi-
cally private.
or
(NonS) An experience of a pain-sensation is my pain, if it is co-instantiated
with (the experience of) certain states of my body M.
According to (S), necessarily, I can only feel my pain. If I feel pain co-
instantiated with certain characteristic (pain-)states of another person’s,
O’s body, then I feel my pain in O’s body, not O’s pain. (NonS) al-
lows for the logical possibility that an experience of pain-sensation is co-
instantiated with (the experience of) certain states of O’s body. This is
to be understood as “I feel O’s pain”. (Similarly, it is logically possible
that O feels my pain.) Hence, according to (NonS), “I feel my pain” is
intersubjectively verifiable, since it is logically possible, that someone else
also feels my pain.
Schlick and Juhos argue for the non-solipsistic reading, claiming that
the solipistic reading is meaningless. Here is the core of their argument.
that sensations occur without a body, or that they are correlated not with
the body of the subject of sensations, but with someone else’s body.
57 See section III of Schlick’s “Meaning and Verification”.
Juhos’ Antiphysicalism 125
My objection
58 Cf. Schlick “De la relation entre les notions psychologiques et les notions
physiques” and also Virgil C. Aldrich, “Messrs. Schlick and Ayer on Im-
mortality”, in: The Philosophical Review 47, 1938, pp. 209-213.
Juhos’ Antiphysicalism 127
I argued that both the argument from ignorance and the argument
from corrigibility is much harder to tackle than it might first seem. The
argument from ignorance cannot be answered simply by appealing to a
Fregean sense/reference distinction, as most famously Smart proposed
(among others, e.g. Feigl). The argument from corrigibility cannot be
countered by Smart’s replies, and I tried to show, that other strategies to
dispel it, as e.g. Sellars’, Bonjour’s, Davidson’s, or McDowell’s arguments,
may be rejected as well, relying on a conception of sensation terms and
phenomenal judgements similar to Juhos’ and Schlick’s theory of Konsta-
tierungen.
I think, both arguments had an effect in rejecting central state mate-
rialism, which stated the identity of conscious states with brain states: the
inability to answer them persuasively led to the proposal of other sorts of
physicalist views, as e.g., eliminative materialism, and later non-reductive
materialism. Thus Juhos’ views on the psychophysical problem, at least
his criticism of the physicalist language thesis, did effectively contribute
to the debate on the mind-body problem.
Ladislav Kvasz
Abstract
In a series of papers (Kvasz 1998, 2005 and 2006) I proposed an interpre-
tation of the development of scientific theories as changes of the pictorial
form in the sense of the Tractatus. In the development of geometry and
of algebra it was possible to identify six different forms, each of which
determines the way how linguistic representations are coordinated with
each other as well as with the particular subject matter, represented by
the language of the theory. The aim of the present paper is to use this
approach in the epistemological interpretation of the development of clas-
sical mechanics.
changes of the (pictorial) form of language and led from the perspectivis-
tic form through the projective, coordinative, compositive, interpretative
right to the integrative and constitutive forms.
Absolute, true and mathematical time, of itself, and from its own nature, flows
equably without relation to anything external, and by another name is called
duration; relative, apparent, and common time, is some sensible and external
. . . measure of duration by the means of motion, which is commonly used instead
of true time; such as an hour, a day, a month, a year. . . . the natural days are
truly unequal, though they are commonly considered as equal and used for a
measure of time; astronomers correct this inequality for their more accurate
deducing of the celestial motions. It may be that there is no such thing as an
equable motion, whereby time may be accurately measured. All motions may
be accelerated and retarded, but the true, or equable, progress of absolute time
is liable to no change. The duration or perseverance of the existence of things
remains the same, whether the motions are swift or slow, or none at all; and
therefore, it ought to be distinguished from what are only sensible measures
thereof. (Newton 1687)
Then Mach presents his criticism of these views: “This absolute time can
be measured by comparison with no motion; it has therefore neither a
practical nor a scientific value; and no one is justified in saying that he
knows aught about it. It is an idle metaphysical conception.” (Mach 1893)
Mach subjects to a similar criticism also the notions of absolute space
and absolute motion, the notion of mass and Newton’s laws. According
to Mach’s criticism some definitions of Newton’s physics are illusory defi-
nitions (Scheindefinition) because they are circular. For instance Newton
defines mass as the product of volume and density. But according to Mach
density is nothing else than mass divided by volume and so Newton’s def-
inition of mass is circular. Similarly according to Mach Newton’s first law
is a tautology because force is the measure of acceleration and therefore
to a zero force corresponds zero acceleration, i.e. uniform motion in a
straight line. This criticism was the most original analysis to which a sci-
entific theory was ever subjected. Mach demonstrated a new method of
analyzing theories which makes it possible to discover metaphysical con-
cepts, illusory definitions, and tautologies. The aim of such analysis was
to discard these metaphysical concepts, illusory definitions, and tautolo-
gies and replace them by empirical concepts, non-circular definitions, and
non-tautological propositions. In this respect Mach was a forerunner of
the theory of relativity, which achieved what Mach wanted. The meta-
physical notion of absolute time was replaced by the empirical notion of
local time; Newton’s notion of mass was split into gravitational and in-
ertial masses; and Newton’s first law was turned into the definition of an
inertial frame.
Classical Mechanics Between History and Philosophy 133
way that the language can function in very complex ways (it can perform
complex calculations and proofs, the results of which fit together).
The form of language of Newtonian mechanics was discovered by
Mach. It is sufficient to reinterpret his criticism of Newtonian mechanics
and read this criticism as a description of the form of Newtonian language.
This form is constituted by elements such as absolute space and absolute
time which correspond to the fixed viewpoint of a unique external epis-
temic subject. This subject is not represented in the language and thus
it is analogous to the subject of perspective representation in geometry.
Therefore we will describe this form as the perspectivistic form of lan-
guage which represents the universe of discourse from a unique external
viewpoint.
Although the reader has no doubts about the correctness of the presented propo-
sitions, he does not understand them clearly and precisely enough and if the
same problems would be even slightly changed, he would be hardly able to solve
them independently. (Euler 1736)
dt
dc = np , (1)
A
where c is the velocity, p is the force, A is the mass of the body, t is
time and n is a coefficient that is determined by the choice of units (Euler
1736, p. 124). This change was of fundamental importance for the whole
Classical Mechanics Between History and Philosophy 135
2 For the sake of completeness let me quote here Newton’s original formula-
tion of his second law: “The change of momentum of a body is proportional
to the impulse impressed on the body, and happens along the straight line
on which the impulse is impressed.” (Newton 1687) In 1765 Euler gave
Newton’s law a new form:
d2 x λp d2 y λq d2 z λr
= , = , = ,
dt2 A dt2 A dt2 A
here p, q, r are projections of the resulting force into the directions of the
coordinate axes and λ is a coefficient of proportionality by which Euler
replaced the coefficient n from the equation (1) (Euler 1765, p. 328). I
mention these formulas only in a footnote, because they belong already to
the coordinative form of language. Comparing Newton’s original formula-
tion from 1687 with Euler’s formulations from 1736 and 1765 we can get a
feeling of the differences which exist in the formulation of the same propo-
sition in three different forms of language: perspectivistic, projective, and
coordinative.
136 Ladislav Kvasz
first formulation of this law was still rather cumbersome and so he simpli-
fied his equations step by step and in 1758 he discovered the idea to use
the main axis of the body as a referential frame. This move simplified the
equations to a great extent:
P = A.dp/dt + (C - B ).q.r,
Q = B.dq/dt + (A - C ).r.p,
R = C.dr /dt + (B - A).p.q.
This system of equations bears Euler’s name. Here P , Q, R are the com-
ponents of the vector of momentum of force; A, B, C are the components
of the vector of momentum of inertia of the rotating body, and p, q, r are
the components of the vector of angular velocity. We see that the first
equation contains the x-component of the vector of momentum of force
(represented by P ), the y-component and the z-component of the vector of
angular velocity (represented by q and r), the x-component of the vector
of angular acceleration (represented by dp/dt), and all three components
of the vector of momentum of inertia (represented by A, B, C). These
three equations show clearly the importance of Maclaurin’s innovation
which I interpret as the transition to the coordinative form of language.
Similarly as in algebra Michael Stifel united (coordinated) into a single
polynomial all the different kinds of equations of the same degree (which
until then were studied separately), Maclaurin unified (coordinated) all
elements of a mechanical system into a scheme which makes it possible
to represent rather complex dependencies among quantities, as illustrated
by the above equations.
3 The fact that the fragmentary variant of the compositive form of language
appeared almost sixty years earlier than the previous (coordinative) form
reached its climax is a proof of a peculiar feature of the interpretation of the
history as the development of the form of language. The consecutiveness
of the particular stages appears only at the fully developed variants of the
particular forms. Thus for instance the explicit variant of the compositive
form is linked to the explicit variant of the coordinative form. On the other
hand, in the fragmentary variant most forms of language have a rather
long prehistory. Various fragments that later give rise to a united form of
language can have a long history. It is even possible that in the same text
several fragments that will later belong to different forms coexist.
Classical Mechanics Between History and Philosophy 139
balls would fall by free fall. But since they are joined by the weightless
rod, this kind of motion is impossible. The rod will decelerate the fall of
the ball m1 and accelerate the fall of the ball m2 . In this way the ball
m1 will lose and the ball m2 will gain acceleration. Bernoulli’s main idea
was that this loss and gain must be in balance. In their motion from the
horizontal position the balls m1 and m2 fall with accelerations
l1 l2
b1 = g b2 = g
l l
where l is an unknown value laying somewhere between l1 and l2 . It is
the value which should be inserted into Galileo’s formula for the period of
the swings. As l1 < l < l2 , it is obvious that b1 < g < b2 . This is what we
would expect, the first ball loses, the second wins in comparison with the
free fall. During a short period of time dt the first ball loses the momentum
m1 (g − b1 ).dt, which corresponds to the “lost force” m1 (g − b1 ). On the
other hand the second ball moves with an acceleration that is greater
than its acceleration in the free fall. Its “gained force” is thus m2 (b2 − g).
These two forces must be in equilibrium, which Bernoulli described using
the law of Archimedes for the equilibrium of the lever
The universal task: Let us have a system of bodies which are positioned in an
arbitrary way; suppose that each body possesses a particular motion, which it
nevertheless cannot realize due to the action of the other bodies: we have to
determine the motion that each body has to take. Solution: Let A, B, C etc.
be bodies forming a system and let us suppose that they have natural motions
a, b, c which they are, nevertheless, forced to change to motions a, b, c due to
their mutual interactions. It is obvious that the motion a which is natural to the
body A can be composed from the motion a which the body really performs and
some other motion α; and that similarly can be represented also the motions b,
c as represented from the motions b, β; c, γ etc; . . . From this follows that the
motions of the bodies A, B, C would be the same if they would be bestowed
instead of the motions a, b, c etc. simultaneously the pairs of motions a, α; b, β;
c, γ etc. But now, according the assumption the bodies A, B, C etc. would by
themselves take the motions a, b, c etc. Therefore the motions α, β, γ etc. must
be such that they would change nothing on the motions a, b, c etc., that means
that if the bodies would take only the motions α, β, γ etc. they would cancel
each other and the system would remain in the state of a rest. (d’Alembert
1743, p. 108).
n
n
n
Pk .δxk + Rk .δyk + Sk .δz = 0 (4)
k=1 k=1 k=1
This is one single equation that contains the contributions from all bonds.
The only problem is that we do not know the forces Pk , Rk and Sk . These
forces occur as a result of the bonds and are analogous to the forces by
which the two balls acted on the weightless rod in the problem solved by
Bernoulli.
The first step of Lagrange was to express the forces of the bonds from
the equations (3) as
Then he substituted these expressions into the equation (4). This step
can be seen as an illustration of Wittgenstein’s proposition 7 from the
Tractatus: “Whereof one cannot speak, thereof one must be silent.”5 As
we do not know the forces of the bonds, they should not appear in the
description of the system. The equation (4) thus obtains the form:
n
n
n
(mk ẍk − Xk ).δxk + (mk ÿk − Yk ).δyk + (mk z̈k − Zk ).δzk = 0 (5)
k=1 k=1 k=1
n
∂Fi ∂Fi ∂Fi
δF1 = δxk + δyk + δzk =0 i = 1, 2, . . . , r
∂xk ∂yk ∂zk
k=1
r
∂F1
mk z̈k = Zk + λi
i=1
∂zk
Classical Mechanics Between History and Philosophy 145
coordinates for the description of the system. Had we chosen at the very
beginning only as many coordinates for the description of the mechanical
system as many degrees of freedom the system has, then we would not
have needed to introduce any additional parameters to restore indepen-
dence. All coordinates would automatically have been independent and
the decomposition of the problem into independent components would
have been automatically granted.
The main idea of the change to the interpretative form of language
consisted in the transition from the representational to the configuration
space, i.e. the transition from the 3n-dimensional space in which three
coordinates corresponded to every body of the system representing its
position in space to a (3n − r)-dimensional space, every point of which
represents a unique configuration of the system as a whole, without any
special reference to the particular bodies forming the system. The transi-
tion from the representational to the configuration space can be illustrated
on the pendulum analyzed by Bernoulli, consisting of two material balls
fastened to a weightless rod. The position of the pendulum is uniquely
determined by the angle ϕ that indicates the deflection of the weightless
rod from the vertical direction. The positions of the particular balls are
then given by the formulas
d2 xi ∂V (x1 , . . . , xn )
m = (7)
dt2 ∂xi
Lagrange’s decision to describe mechanical problems by means of the con-
figuration space leads to a difficulty. A motion that corresponds to uni-
form increase of the coordinates is not necessarily an inertial one. It is
sufficient to look at the pendulum. To a uniform increase of the angle φ
corresponds in reality the circular motion of the two balls. Nevertheless,
circular motion is an accelerated one and thus it is the result of the action
of a force. Thus a force is needed not only for accelerating a motion, but
it is required already for a uniform motion in the direction of ϕ. So a
simplification of the representation of a mechanical system (the omission
of the superfluous parameters) leads to a complication of the equations
describing its motion. If we let the coordinates be curvilinear, we must
insert into the equations some additional terms compensating for the cur-
vature of the coordinate axes. Therefore the inertial nature of a motion is
no more equivalent to the uniform increase of coordinates. In curvilinear
coordinates we must change Newton’s first law. Lagrange succeeded in
finding the equations describing motion in curvilinear coordinates.
This situation resembles in many respects the idea of Gauss to in-
troduce internal coordinates on a surface. Before Gauss, it was usual to
describe surfaces as submerged in three-dimensional space. Therefore in
the calculation of the length of a curve situated on a surface, mathemati-
cians used all three spatial coordinates (x, y, z). However, one of them
was superfluous. Gauss introduced onto the surface the so-called induced
metric that uses only two coordinates (u, v). In this way he reduced the
number of parameters but on the other hand he had to use more compli-
cated formulas for the metric. In the three-dimensional Euclidean space
the square of the distance ds is given by the formula:
−
→
r = r.er ,
which means that the point is at a distance r in the direction er . If we
want to determine the velocity of this point, we have to differentiate this
expression using the rule for the differentiation of a product:
−
→
v = ṙ.er + rϕ̇.eϕ .
Classical Mechanics Between History and Philosophy 149
We see that the point’s velocity has two components. The first is called
radial velocity. It represents the escape of the point from the origin in
the direction of the radius vector er , and it consists in the growth of
the parameter r. The second is called tangential velocity. It represents
the rotation of the point around the origin and consists in the growth
of the parameter ϕ. The total velocity is the vector sum of these two
components. By another differentiation we obtain the acceleration:
−
→
a = (r̈ − rϕ̇2 ).er + (2ṙ ϕ̇ + rϕ̈).eϕ (9)
The meaning of the particular terms is the following:
r̈.er – acceleration of the radial motion, consisting in the increase of the
radial velocity
rϕ̈.eϕ – acceleration of the rotation, consisting in the increase of the an-
gular velocity
−rϕ̇2 .er – centripetal acceleration of the circular motion with a constant
angular velocity
2ṙ ϕ̇.eϕ – Coriolis acceleration of the motion in a spiral with constant
radial and angular velocities
The interpretation of the terms was made from the point of view of the
external language, i.e. from the point of view of the rectilinear coordinates.
From the internal point of view of the curvilinear coordinates the third
term does not correspond to circular motion – it is the motion along the
coordinate axes ϕ. Similarly, the fourth term is by no means a motion
along a spiral but along a straight line that lies across the axes r and ϕ.
These two motions are curved only from the point of view of the rectilinear
coordinates. From the internal point of view they are rectilinear because
they are described by linear equations of the coordinates. Thus we have
to interpret the last two terms from the point of view of the curvilinear
coordinates. Let us therefore write down Newton’s second law in the
external language:
∂V
mr̈ − mrϕ̇2 = − (10)
∂r
∂V 1
2mṙϕ̇ + mrϕ̈ = − . . (11)
∂ϕ r
150 Ladislav Kvasz
The first equation says that if we want to impart to a body some radial
acceleration (the first term in (10)) or if we want to keep it on a circular
trajectory (the second term in (10)), we need a radial force. Similarly the
second equation says that if we want to increase the tangential velocity
of the body or we want to keep it on a spiral trajectory, we need a tan-
gential force. This is not yet a translation but simply a transcription of
the formula of the external language (9) by means of the parameters of
the internal language r and ϕ. The kinematical aspect of the motion is
thus expressed by means of the new parameters but the dynamical one,
i.e. the connection of the forces and accelerations, is made in the external
language. That is for instance clear from the term mrϕ̇2 being on the left
side of the equation, i.e. it is viewed as an acceleration. From the internal
point of view the term mrϕ̇2 corresponds to the uniform rectilinear mo-
tion along the ϕ axes and therefore it has no place at the left hand side of
the equation. Here we have a similar possibility of double interpretation
as we encounter in Beltrami’s model of the non-Euclidean geometry. In
that model, a particular line is from the external (Euclidean) viewpoint
a chord of a Euclidean circle, while from the internal (non-Euclidean)
viewpoint the same line is an infinite straight line of the non-Euclidean
plane. Similarly to a line in geometry, also a motion in mechanics can be
from the external viewpoint a uniform circular motion (i.e. a curvilinear
motion in the plane x, y) and as such it is an accelerated motion which
must be a result of the action of a force. But the same motion is from the
internal point of view a uniform motion along the coordinate axes ϕ, and
as such its acceleration is zero. Therefore if we want to rewrite the equa-
tions describing motion from the point of view of the internal language,
we must first of all transfer the term with the centripetal acceleration to
the right hand side of the first equation:
∂V
mr̈ = mrϕ̇2 − . (12)
∂r
This means that from the point of view of the internal language a new
force appears which can be called centrifugal force. A body that moves in
a “straight line parallel with the ϕ-axes” (from the external perspective
we know that it in reality moved in a circle), “feels” the action of a force.
But in this way an asymmetry occurs. A “real” Newtonian force is
given through the potential energy V , while the centrifugal force is given
Classical Mechanics Between History and Philosophy 151
∂ 1 2 2 ∂ 1 2 2 1 2 ∂T
mrϕ̇2 = ( mr ϕ̇ ) = ( mr ϕ̇ + mṙ ) = . (13)
∂r 2 ∂r 2 2 ∂r
If we label kinetic energy 12 mr2 ϕ̇2 + 12 mṙ2 with letter T , then we can write
the equation (12) as:
∂V ∂ 1 2 2 1 2 ∂V ∂
mr̈ = mrϕ̇2 − = ( mr ϕ̇ + mṙ ) − = (T − V ) , (14)
∂r ∂r 2 2 ∂r ∂r
which means that the acceleration of the motion (viewed from the internal
point of view) is the result of the action of a force the potential of which
is the difference (T − V ) of the kinetic energy T and the potential V .
Now we could try to introduce a similar correction also for the Coriolis
acceleration. We could try to transfer this acceleration existing from the
point of view of the external language of the rectilinear coordinates into
the internal language as a Coriolis force and then look for the potential
of this new force. But there is no need for this, because we obtain the
Coriolis force automatically from the kinetic energy T . To see this we
must first express the radial component of the acceleration by means of
the kinetic energy. We have
d d ∂ 1 2
mr̈ = (mṙ) = mṙ =
dt dt ∂ ṙ 2
(15)
d ∂ 1 2 1 2 2 d ∂T
= mṙ + mr ϕ̇ = .
dt ∂ ṙ 2 2 dt ∂ ṙ
Thus the term mr̈ that corresponds to the radial component of accelera-
tion can be obtained from the kinetic energy. When we now apply similar
steps, but instead of ṙ take ϕ̇, we will get
d ∂T d ∂ 1 2 1 2 2
= mṙ + mr ϕ̇ =
dt dϕ̇ dt∂ ϕ̇ 2 2
(16)
d
= (mr2 ϕ̇) = 2mrṙ ϕ̇ + mr2 ϕ̈ .
dt
152 Ladislav Kvasz
6. Conclusions
We could follow the development of classical mechanics further and inter-
pret in a similar way the works of Hamilton and Poincaré, the representa-
tives of the two further developmental stages. Nevertheless, it seems to be
better to stop here and look shortly back on what we have achieved. First
of all the above reconstruction indicates that the method of reconstruction
developed originally in geometry and algebra can be used also for the re-
construction of the development of classical mechanics. The other point,
which is perhaps even more important, is the close connection between
our method of reconstruction and the reconstruction of the Newtonian
mechanics by Ernst Mach.
References
Introduction
In this paper we introduce and compare Newtonian and relativistic dy-
namics as two theories of first-order logic (FOL). To illustrate the similar-
ities between Newtonian and relativistic dynamics, we axiomatize them
such that they differ in one axiom only. This one axiom difference, how-
ever, leads to radical differences in the predictions of the two theories.
One of their major differences manifests itself in the relation between
relativistic and rest masses, see Thms. 5 and 6.
The statement that the center-lines of a system of point masses viewed
from two different reference frames are related exactly by the coordinate
transformation between them seems to be a natural and harmless assump-
tion; and it is natural and harmless in Newtonian dynamics, see Cor. 11.
However, in relativistic dynamics it leads to a contradiction, see Thm.
4. Showing this surprising fact, which also illustrates the great difference
between the two theories, is the main result of this paper.
Our work is directly related to Hilbert’s 6th problem on axiomatiza-
tion of physics. Moreover, it goes beyond this program since our general
aim is not only to axiomatize physical theories but to investigate the re-
lationship between the basic assumptions (axioms) and the predictions
(theorems) of the theories and to compare the axiom systems of related
theories. Our another general aim is to provide a foundation of physics
similar to that of mathematics.
For good reasons, the foundation of mathematics was performed strictly
within FOL. One of these reasons is that staying within FOL helps to avoid
tacit assumptions. Another reason is that FOL has a complete inference
system while second-order logic (and thus any higher-order logic) cannot
have one, see, e.g., (11, §IX. 1.6). For further reasons for staying within
FOL, see, e.g., (5, §Why FOL?), (1), (35, §11), (19), (20).
156 Judit X. Madarász and Gergely Székely
1 Replacing the field of real numbers by an ordered field not just increases the
flexibility of our theories but makes it possible to keep them within FOL,
which is crucial in axiomatic foundations, see, e.g., (5, Appendix: Why
first-order logic?).
Relativistic and Newtonian Dynamics in FOL 157
For the FOL definition of linearly √ ordered field, see, e.g., (9). We use
the usual field operations 0, 1, −, /, definable within FOL. We also use
the vector-space structure of Qn , i.e., if p, q ∈ Qn and λ ∈ Q, then
−p, λp ∈ Qn . The Euclidean length of p ∈ Qn is defined as
p + q,
|p| := p21 + . . . + p2n , for any n ≥ 1. The Euclidean distance of p, q ∈
Qn is defined as |pq| := |p − q|. As usual,
is called a line iff there are
p, q ∈ Qd such that q = 0, . . . , 0 and
= {p + λq : λ ∈ Q}. And
Q+ := { λ ∈ Q : 0 < λ} denotes the set of positive elements of Q.
Set Qd is called coordinate system and its elements are referred to as
coordinate points. We use the notations
pσ := p2 , . . . , pd and pτ := p1
Kinematics
In this section we formulate our axioms on kinematics. Our first axiom
on observers states that they see the same events.
2 That is, a linearly ordered field in which positive elements have square roots.
Relativistic and Newtonian Dynamics in FOL 159
AxThEx below states that each observer can make thought experi-
ments in which it assumes the existence of “slowly moving” inertial bodies
(see, e.g., (4, p. 622)):
AxThEx For each observer there is a positive speed limit such that in each
spacetime location, in each direction, with any speed less than this
limit it is possible to “send out” an inertial body:
∀k ∈ IOb ∃λ ∈ Q+ ∀p, q ∈ Qd ∃b ∈ IB
The following axiom system will be the common core of our axiom
systems for relativistic and Newtonian kinematics:
AxPh The world-lines of photons are of slope 1, and for every observer,
there is a photon through two coordinate points if their slope is 1:
∀k ∈ IOb ∀p, q ∈ Qd |pσ − qσ | = |pτ − qτ | ↔
Let us note that SpecRelKin and NewtKin differ in one axiom only.
But we will see in Prop. below that these two axiom systems are very
different, e.g., they are inconsistent together if we assume that there are
observers moving relative to each other. To formulate this statement we
need the following definition.
The speed vk (b) of body b according to observer k is defined as:
|pσ − qσ |
vk (b) := , for p, q ∈ wlk (b) with pτ = qτ
|pτ − qτ |
Relativistic and Newtonian Dynamics in FOL 161
if wlk (b) is a subset of a line and contains coordinate points p and q with
pτ = qτ , otherwise vk (b) is undefined.
Ax∃IOb There are observers moving relative to each other.
(p1 − p1 )(q1 − q1 ) + (p2 − p2 )(q2 − q2 ) + . . . + (pd − pd )(qd − qd ) = 0.
μ(p, q) = μ(r, s) → μ(wkh (p), wkh (q)) = μ(wkh (r), wkh (s)) .
Dynamics
In this section we formulate our axioms on dynamics. For convenience
we use the notation mk (b) := M (k, b) for the relativistic mass of body b
according to observer k.
The spacetime location lock (b, t) of body b at time instance t ∈ Q
according to observer k is defined to be the coordinate point p for which
p ∈ wlk (b) and pτ = t if there is such a unique p, otherwise lock (b, t) is
undefined, see Fig. 1.
The center of the masses cenk (b, c, t) of bodies b and c at time
instance t according to observer k is defined to be the coordinate point q
such that qτ = t and q is the point on the line-segment between lock (b, t)
and lock (c, t) whose distances from these two end-points have the same
proportion as that of the relativistic masses of b and c; and it is closer to
the “more massive” body, i.e.:
mk (b) lock (b, t) − cenk (b, c, t) = mk (c) cenk (b, c, t) − lock (c, t)
Relativistic and Newtonian Dynamics in FOL 163
k
cenk (b, c, t)
c
b
cenk (b, c)
Figure 1: Illustration of lock (b, t), cenk (b, c, t) and cenk (b, c).
if lock (b, t) and lock (c, t) are defined, and otherwise cenk (b, c, t) is unde-
fined, see Fig. 1. We note that an explicit definition for cenk (b, c, t) is the
following:
mk (b) mk (c)
cenk (b, c, t) = lock (b, t) + lock (c, t),
mk (b) + mk (c) mk (b) + mk (c)
if lock (b, t) and lock (c, t) are defined, otherwise cenk (b, c, t) is undefined.
The center-line of the masses of bodies b and c according to observer
k is defined as
∀k, h ∈ IOb ∀b, c ∈ IB wkh [cenk (b, c)] = cenh (b, c).
164 Judit X. Madarász and Gergely Székely
However intuitive and natural AxCen is, it does not hold in the “standard
model” of special relativity. Moreover, it is inconsistent with SpecRelKin
if we assume that there are observers moving relative to each other.
wlk (b) ∩ wlk (c) = ∅ → wkh [cenk (b, c)] = cenh (b, c) .
AxSpeed The relativistic masses of two inertial bodies are the same if both
of their rest masses and speeds are equal:
∀k ∈ IOb ∀b, c ∈ IB
Our next axiom on dynamics states that each observer can make ex-
periments by putting stationary inertial bodies with arbitrary rest mass
to any coordinate point.
Let IB0 denote the set of inertial bodies having rest mass.
AxMedian For every two inertial bodies having rest mass, there is an ob-
server for which they have the same speed:
Let us note that Dyn is the common dynamical core of the two axiom
systems, which also differ in one axiom only.
Thms. 5 and 6 below give the connection between the rest mass and
the relativistic mass of an inertial body. Their conclusions are well known
results of relativistic and Newtonian dynamics. However, in the usual
literature, the assumptions are stronger and not stated explicitly.
166 Judit X. Madarász and Gergely Székely
m0 (b) = mk (b).
such that p, q, r ∈
. A map f : Qd −→ Qd is called an affine trans-
formation, if it preserves collinearity and the ratios of distances, i.e., for
every distinct and collinear coordinate points p, q and r coordinate points
f (p), f (q) and f (r) are collinear and |pq| · |f (q)f (r)| = |f (p)f (q)| · |qr|.
By Prop. , it follows that the world-view transformations are affine
transformations composed by filed-automorphism induced mappings in
models of Kin. It can be proved that, in models of SpecRelKin and
NewtKin, the world-view transformations are not necessarily affine trans-
formations, i.e., there are models in which field-automorphism induced
mappings occur in the world-view transformations. By Thm. 7, this is
not the case in models of NewtDyn and SpecRelDyn.
Theorem 7. The world-view transformations are bijective affine trans-
formations in models of NewtDyn and SpecRelDyn.
The proof of Thm. 7 is in the next section.
By Thm. 5, SpecRelDyn implies that for every inertial body b the
quantity mk (b) 1 − vk (b)2 is independent of observer k if b has rest mass.
By Thm. 8, the same holds for every inertial body b moving slower than
light.
Theorem 8. Assume SpecRelDyn. Let b be an inertial body such that
vk (b) < 1 for an observer k. Then vk (b) < 1 for every observer k and
∀k, h ∈ IOb mk (b) 1 − vk (b)2 = mh (b) 1 − vh (b)2 .
Relativistic and Newtonian Dynamics in FOL 167
Proofs
Idea of proof of Thm. 3. Assume first that d > 2. One can prove,
by Alexandrov-Zeeman theorem, that every world-view transformation
is a composition of a Poincaré transformation, a dilation and a field-
automorphism-induced mapping, cf. (3, Thm. 1.2). All of these mappings
preserve the Minkowski equidistance. Thus the world-view transforma-
tions also preserve the Minkowski equidistance.
We note that a similar proof can be obtained for d = 2, cf. (3, Thm.
1.4).
168 Judit X. Madarász and Gergely Székely
μ(p, q) = μ(p, q ) ↔
r τ = sτ
s r whk (r)
whk (q)
whk (q)τ = whk (r)τ
p b cenk (b, c) c
q pτ = qτ
b cenh (b, c) c
|BD|
m0 (b) = mk (b). (2)
|DC|
170 Judit X. Madarász and Gergely Székely
wkh
A
A whk
√
√ 1 − v2
μ(A, B) = 1 − v 2
G 1 B E
E
F
b c
F
B
D C μ(A , B ) = μ(A , E )
b
v c
coordinate system of k coordinate system of h
Triangles BDF and EGF are congruent and triangles AGE and ADC
are similar. Thus
|BD| |GE| |AE|
= = = 1 − v2 .
|DC| |DC| |AC|
√
By that and (2), we get m0 (b) = mk (b) 1 − v 2 . That completes the
proof.
wkh
w := whk
B C
B C D
D
b b c
c
coordinate system of k coordinate system of h
q w
w(q)
w
p+q
2 w(p)+w(q)
2
w
w(p)
D w D
D
w
a bx v = vh (bx )
a bx a bx
Fx Gx
A E
A Cx C B A
Cx B Cx
NewtDyn SpecRelDyn
1
λ := . (3)
mk (a)
Then
|ACx |
∀x ∈ Q+ = λx. (4)
|Cx B|
Let A , B , D and Cx be the w-images of A, B, D and Cx , respectively.
Now assume NewtDyn. Then mh (bx ) = m0 (bx ) = x by Thm. 6.
Furthermore, Aτ = Bτ = (Cx )τ by AxAbsSim, see the middle of Fig. 6.
174 Judit X. Madarász and Gergely Székely
Then D Cx = cenh (a, bx ) by AxCen− . Thus Cx is the center of masses of
a and bx at time instance Aτ according to h, i.e., Cx = cenh (a, bx , Aτ ).
Thus |A Cx |/|Cx B | = mh (bx )/mh (a) = x/mh (a). Let
1
λ := . (5)
mh (a)
Then
|A Cx |
∀x ∈ Q+ = λ x. (6)
|Cx B |
Let us now consider the case x = mk (a). Then Cmk (a) is the midpoint
of the segment [AB], i.e., |ACmk (a) | = |Cmk (a) B| by (3) and (4). Then
Cm k (a)
is the midpoint of the segment [A B ], since w takes the midpoint
of a segment to the midpoint of the w-image of the segment. But then,
by (4) and (6), λmk (a) = λ mk (a) = 1. Hence
λ = λ . (7)
Thus, by (4) and (6), ∀x ∈ Q+ |ACx |/|Cx B| = |A Cx |/|Cx B |. Clearly,
there is an x such that Cx = C. Then |AC|/|CB| = |A C |/|C B |, which
completes the proof for the case of NewtDyn.
Now assume SpecRelDyn. See the right-hand side of Fig. 6. Let
us note, that the speed vh (bx ) is independent√of the choice√of x. Let
v denote this speed. Then mh (bx ) = m0 (bx )/ 1 − v 2 = x/ 1 − v 2 by
Thm. 5. Clearly, D Cx = cenh (a, bx ) by AxCen− . Thus Aτ = Dτ = Bτ .
Let E ∈ D B be such that Eτ = Aτ . Let Fx be the intersection of D Cx
and A E . Clearly, Fx = cenh (a, bx , Aτ ). Thus
Let
|D E |
λ := √ . (8)
mh (a) 1 − v 2 |D B |
Relativistic and Newtonian Dynamics in FOL 175
Then
|A Cx |
∀x ∈ Q+ = λ x. (9)
|Cx B |
Now,
λ = λ (10)
can be proved by (3), (4) and (9) exactly the same way as λ = λ was
proved for the case of NewtDyn. The rest of the proof is analogous to the
proof for the case of NewtDyn.
μ(D , A ) μ(D, A)
= = 1 − vk (a)2
μ(D , B ) μ(D, B)
Hence C ∈ cenh (a, b). Thus wkh [cenk (a, b)] ⊆ cenh (a, b). Analogously,
whk [cenh (a, b)] ⊆ cenk (a, b) holds. Since wkh and whk are bijections and
inverses of each other, we conclude that (13) holds.
Concluding remarks
We have shown that Newtonian and relativistic dynamics can be axiom-
atized (within FOL) such that they differ in one axiom only. However,
in the level of consequences, they have radical differences. The most sur-
prising difference is that AxCen, an apparently harmless consequence of
Newtonian dynamics, is inconsistent with relativistic dynamics.
Acknowledgments: Research supported by Hungarian National Foun-
dation for Scientific Research grant No T73601 as well as by Bolyai Grant
for Judit X. Madarász.
Bibliography
[13] J. X. Madarász. Logic and Relativity (in the light of definability the-
ory). PhD thesis, Eötvös Loránd Univ., Budapest, 2002.
On Why-Questions in Physics
Introduction
In the natural sciences, the most interesting and relevant questions are
the so-called why-questions. What is a why-question? A why-question
is nothing else than a question in the form “Why P ?” (or “Why is P
true?”) where P is an arbitrary statement.
There are several different approaches to why-questions and explana-
tions in the literature; see, e.g., (13), (7), (8), (18). However, most of the
literature deals with why-questions about particular events, such as “Why
did Adam eat the apple?”. Even the best known theory of explanation,
Hempel’s covering law model, is designed for explaining particular events.
Here we will only deal with purely theoretical why-questions about gen-
eral phenomena of physics, for instance “Why can no observer move faster
than light?” or “Why are Kepler’s laws valid?”.
Here we are not going to develop a whole new theory of why-questions
in physics. We will just touch upon some ideas and examples relevant to
our subject.
Answering Why-Questions
How to answer a why-question? For example, let NoFTL be the statement
“No observer can move faster than light,” which is one of the several
astonishing predictions of relativity. As it is a statement that is hard to
believe, it is natural to ask why we think it is true. The standard answers
to the question “Why NoFTL?” are
can move faster than light. Moreover, we can prove the following:
SpecRel |= ∀o, o , p IOb(o) ∧ IOb(o ) ∧ Ph(p) =⇒ speedo (o ) < speedo (p),
AxEv: Every inertial observer coordinatizes the very same set of events.
AxSymd: Inertial observers agree as for the spatial distance between events
if these events are simultaneous for both of them.
For the formulation of these concepts and axioms, see, e.g., (5). So SpecRel
is an acceptable answer to the question “Why NoFTL?”, see (5, Thm.1).
1. Both concepts above are preorders on sets of formulas, that is, they
are transitive and reflexive relations.
SpecRel0 |= ∀o, o , p IOb(o) ∧ IOb(o ) ∧ Ph(p) =⇒ speedo (o ) < speedo (p),
where SpecRel0 consists of the following four axioms only: AxField, AxSelf,
AxPh and AxEv. Hence SpecRel0 is a piecewise better answer to the ques-
tion “Why NoFTL?” than SpecRel. Further answers to this question,
which are not comparable to SpecRel0 according to the preorders above,
can be found in (13, Thms. 3 and 5).
Let us note that, according to the definition above, a theory consisting
of two (nonequivalent) axioms is a piecewise better answer than a theory
consisting of their conjunction. That is a nice property as it makes the
introduction of the following concept possible. Let us say that a possible
answer to the question “Why P ?” is pointless if there is a piecewise better
answer which contains P as an axiom. Accordingly, the conjunction of
Kepler’s laws and Boyle’s law is a pointless answer to the question “Why
Kepler’s laws are valid?”. So it eliminates a problem that motivated
Hempel to introduce his covering law model only for the explanation of
particular events, see (7).
General Answers
In the previous section, we dealt with answers to one particular question.
However, in physics it is a general desire to search for unified theories,
that is, theories answering more questions. So a good answer in physics
is characterized by assuming little, but implying a lot.3
3 Of course there are other desired requirements of a physical theory, such as
simplicity and comprehensibility of the axioms or experimental testability.
On Why-Questions in Physics 185
For precise formulation of this axiom, see (23), (35). Let AccRel be the
axiom system consisting of AxCmv and all the five axioms of SpecRel.
Surprisingly, AccRel does not answer the question “Why TwP?”. More-
over, the following can be proved:
where Th(R) is the whole first-order theory of real numbers, see (23). At
first sight this result suggests that the question “Why TwP?” cannot be
answered within first-order logic, which would be depressing as there are
weighty methodological reasons for staying within first-order logic, see,
e.g., (5), (35). However, there is a first-order axiom scheme (IND) in the
above language such that AccRel together with this scheme answers the
question “Why TwP?”, see (23), (35).
On Why-Questions in Physics 187
The why-question “Why does gravity slow time down?”, can be an-
swered by the theory AccRel ∪ IND and Einstein’s equivalence principle,
see (24), (35).
For further examples, let us consider the question of “Why does rela-
tivistic mass increase?” or “Why is the sum of the rest masses of inelas-
tically colliding inertial bodies smaller than the rest mass of the original
inertial body?”. Theories SpecRelDyn and SpecRelDyn+ are possible an-
swers to these questions, respectively; see (6), (14), (35).
Concluding Remarks
In the spirit of reverse mathematics, we have introduced a precise defi-
nition of acceptable answers to why-questions in physics and some ideas
about how to compare these answers. We also presented several exam-
ples taken mainly from axiomatic relativity. Finally let us note that the
work done by the research group of Logic and Relativity led by Hajnal
Andréka and István Németi can be considered as providing explanations
to why-questions of relativity, see the bibliography.
Bibliography
[1] Hajnal Andréka, Judit X. Madarász, and István Németi. “Logical ax-
iomatizations of space-time. Samples from the literature”, in: Non-
Euclidean geometries, volume 581 of Mathematics and Its Applica-
tions. New York: Springer, 2006, pp.155-185.
[7] Carl G. Hempel and Paul Oppenheim, “Studies in the Logic of Ex-
planation”, in: Philosophy of Science 15, 2, 1948, pp.135-175.
[8] Jaakko Hintikka and Ilpo Halonen, “Semantics and Pragmatics for
Why-Questions”, in: The Journal of Philosophy 92, 12, 1995, pp.636-
657.
[9] Judit X. Madarász. Logic and Relativity (in the light of definability
theory). PhD thesis, Eötvös Loránd Univ., Budapest, 2002.
[11] Judit X. Madarász, István Németi, and Gergely Székely, “Twin para-
dox and the logical foundation of relativity theory”, in: Foundations
of Physics 36, 5, 2006, pp.681-714.
[13] Judit X. Madarász, István Németi, and Csaba Tőke, “On generaliz-
ing the logic-approach to space-time towards general relativity: first
steps”, in: Vincent F. Hendricks, Fabian Neuhaus, Stig Andur Ped-
ersen, Uwe Scheffler and Heinrich Wansing (Eds.), First-Order Logic
Revisited. Berlin: Logos Verlag 2004, pp.225-268.
Introduction
1. It is widely believed that the principal difference between Einstein’s spe-
cial relativity and its contemporary rival Lorentz-type theories was that
while the Lorentz-type theories were also capable of “explaining away” the
null result of the Michelson–Morley experiment and other experimental
findings by means of the distortions of moving measuring-rods and mov-
ing clocks, special relativity revealed more fundamental new facts about
the geometry of space-time behind these phenomena. For the sake of
brevity, I shall use the term “Lorentz theory” as classification to refer to
the similar approaches of Lorentz, FitzGerald, and Poincaré, that save the
classical Galilei covariant conceptions of space and time by explaining the
experimental findings through the physical distortions of moving objects
– of moving measuring equipments included – no matter whether these
physical distortions are simply hypothesized in the theory, or prescribed
by some “principle” like Lorentz’s principle, or they are constructively
derived from the behavior of the molecular forces. From the point of view
of my recent concerns what is important is the logical possibility of such
an alternative theory. Although, Lorentz’s 1904 paper or Chapter V. of
his The theory of electrons (1909) are good historic examples.
According to this widespread view, special relativity was, first of all, a
radically new theory about space and time. A theory about space and time
describes a certain group of objective features of physical reality, which
we call (the structure of) space-time. Consider the claims like these:
The two statements are usually understood as telling different things about
the same objective features of physical reality. One can express this rev-
olutionary
change by the following logical schema: Earlier we believed in
G1 M̂ , where M̂ stands for (the objective features of physical reality
(like “of type-E ×E ”).
3 1
called) space-time and G1 denotes
some
predicate
Then we discovered that ¬G1 M̂ but G2 M̂ , where G2 denotes a
predicate different from G1 (something like “of type-M4 ”).
This is however not the case. Our logico-empiricist style analysis
willshow
that the correct logical schema is this: Earlier we believed in
G1 M̂ . Then we discovered for some other features of physical reality
= M̂ that ¬G1 M
M but G2 M . Consequently, it still may (and
actually does) hold that G1 M̂ . In other words, in comparison with
the pre-relativistic Galileo-invariant conceptions, special relativity tells us
nothing new about the geometry of space-time. It simply calls something
else “space-time”, and this something else has different properties. We
will also show that all statements of special relativity about those features
of reality that correspond to the original meaning of the terms “space”
and “time” are identical with the corresponding traditional pre-relativistic
statements. Thus the only new factor in the special relativistic account
of space-time is the terminological decision to designate something else
“space-time”.
2. So the real novelty in special relativity is some G2 M . It will be also
argued, however, that G2 M does not contradict to what the Lorentz
theory
claims. Both,
the Lorentz theory and special relativity claim that
G1 M̂ & G2 M . In other words: Special relativity and the Lorentz
theory are identical theories about space and time in all sense of the words.
Moreover, I shall show that the two theories provide identical descrip-
tion of the behavior of moving physical objects. Thus, we will arrive at
the following final conclusion: Special relativity and the Lorentz theory are
completely identical in both senses, as theories about space and time and
as theories about the behavior of moving physical objects.
Lorentzian Theories vs. Einsteinian Special Relativity 193
Preliminary facts
5. In order to explain the intuitions behind the definitions below, let us
recall a few well known facts, to the detailed discussion of which we will
return later.
(a) Both the Lorentz theory and Einstein’s special relativity “know”
about the distortions of measuring-rods and clocks when they are
in motion relative to the “stationary” reference frame (of the BIPM,
say). Einstein writes:
A rigid body which, measured in a state of rest, has the form of a sphere,
therefore has in a state of motion – viewed from the stationary system –
the form of an ellipsoid of revolution with the axes.
v2
R 1 − 2 , R, R.
c
Therefore,
v2
τ =t 1−
c2
[. . .] whence it follows that the time marked by the clock (viewed in the
stationary system) is slow [. . .]
From this there ensues the following peculiar consequence. If at the points
A and B of K there are stationary clocks which, viewed in the stationary
system, are synchronous; and if the clock at A is moved with the velocity
v along the line AB to B, then on its arrival at B the two clocks no longer
synchronize, but the clock moved from A to B lags behind the other which
Lorentzian Theories vs. Einsteinian Special Relativity 195
2
tv
has remained at B by 2c 2 (up to magnitudes of fourth and higher order),
t being the time occupied in the journey from A to B. (Einstein 1905)
(b) However, the loss of phase accumulated by a clock during its trans-
portation tends to zero if the transportation is very slow relative to
the stationary reference frame:
tv 2 xv
lim 2
= lim =0
v→0 2c v→0 2c2
where x is the distance of the transportation. Therefore, in the
stationary frame of reference, the synchronization by means of slow
transportation of clocks is equivalent with Einstein’s synchronization
by means of light signals.
A Priori it is quite clear that we must be able to learn something about the
physical behavior of measuring-rods and clocks from the equations of transfor-
mation, for the magnitudes z, y, x, t are nothing more nor less than the results
of measurements obtainable by means of measuring-rods and clocks. (Einstein
1920, p. 35)
Third, the “one clock + light signals” method is actually much more
complex than suggested in the textbook literature (see Szabó 2009).
Definitions
7. For the sake of simplicity consider only one space dimension and assume
that the origin of both K and K is at the BIPM at the initial moment
of time.
There will be no difference between the Einsteinian and Lorentzian
definitions in case of space and time tags in the stationary frame of refer-
ence, that is, in the frame of the etalons.
1 By “slowly” is usually meant that we move the clock from one place to the
other over a long period of time, according to the reading of the clock itself.
The reason is to avoid the loss of phase accumulated by the clock during
its journey.
Lorentzian Theories vs. Einsteinian Special Relativity 197
The space tag xK (A) of event A is the distance from the origin
of K of the locus of A along the x-axis2 measured by superpos-
ing the standard measuring-rod, being always at rest relative
to K.
T + X cv2
2
1 − vc2
Accordingly,
T + X cv2
t̂K (A) := (1)
2
1 − vc2
9. Yet one might raise the historical question whether our reconstruction
is correct. We will, however, not go into these philological details. Con-
cerning definitions (D1)–(D2) and (D5)–(D6) I only refer to the following
passage from Einstein’s 1905 paper:
Let there be given a stationary rigid rod; and let its length be l as measured
by a measuring-rod which is also stationary. We now imagine the axis of the
rod lying along the axis of x of the stationary system of co-ordinates, and that
a uniform motion of parallel translation with velocity v along the axis of x in
the direction of increasing x is then imparted to the rod. We now inquire as to
the length of the moving rod, and imagine its length to be ascertained by the
following two operations:
(a) The observer moves together with the given measuring-rod and the rod to
be measured, and measures the length of the rod directly by superposing
the measuring-rod, in just the same way as if all three were at rest.
(b) By means of stationary clocks set up in the stationary system and synchro-
nizing in accordance with [the light-signal synchronization], the observer
ascertains at what points of the stationary system the two ends of the rod
to be measured are located at a definite time. The distance between these
two points, measured by the measuring-rod already employed, which in
this case is at rest, is also a length which may be designated “the length
of the rod.”
for any other inertial frame of reference. (≡ denotes the identical empirical
definition.)
In spite of the different empirical definitions, it could be a contingent
K (A) and/or t̂K (A) =
fact of nature that x̂K (A) = x tK (A) for every
event A. Let me illustrate this with an example. Inertial mass mi and
gravitational mass mg are two quantities having different experimental
definitions. But, it is a contingent fact of nature (experimentally proved
by Eötvös around 1900) that, for any object, the two masses are equal,
mi = mg . However, that is obviously not the case here.
Thus, our first partial conclusion is that different physical quanti-
ties are called “space” tag, and similarly, different physical quantities are
called “time” tag in special relativity and in the Lorentz theory.4 In order
to avoid further confusion, from now on s tags will refer to
pace and time
the physical quantities defined in (D3), (D4), (D7), and (D8) – according
to the usage of the terms in classical physics; and “space” and “time” in
the sense of the relativistic definitions (D1), (D2), (D5) and (D6) will be
called
space and time.
Special relativity theory makes different assertions about somethings
which are different from In our symbolic notations of
space and time.
Point 1, classical physics claims G1 M̂ about M̂ and relativity theory
claims G2 M about some other features of reality, M . As we will see,
both the Lorentz theory and Einstein’s special relativity are sufficiently
complete accounts of physical reality to describe M̂ as well as M̃ . The
question is: What do the two theories say when they are making assertions
about the same things?
4 This was first recognized by Bridgman (1927, p. 12), although he did not
investigate the further consequences of this fact.
Lorentzian Theories vs. Einsteinian Special Relativity 201
Special relativity does not tell us anything new about space and
time
11. Classical physics – from this point of view, Lorentz-type theories in-
cluded – calls “space” and “time” what we denoted by
space and time.
Let A be an arbitrary event and let K be an arbitrary inertial frame of
reference. Denote x̂K (A) relativity and t̂K (A) relativity the s pace and
K
time tags of A predicted by relativity theory and denote x̂ (A) classical
K
and t̂ (A) classical the similar tags predicted by classical physics. Rel-
ativity theory would tell us something new if it accounted for physical
quantities x̂ and t̂ differently. If there were any event A and any inertial
frame of reference K such that x̂K (A) relativity and t̂K (A) relativity
were different from x̂K (A) classical and t̂K (A) classical . If, for exam-
ple, there were any two events simultaneous in relativity theory which
were not simultaneous according to classical physics, or vice versa – to
touch on a sore point. But a little reflection shows that this is not the
case. Taking into account empirical identities (3)–(4), one can calculate
the relativity theoretic prediction for the outcomes of the measurements
described in (D3), (D4), (D7), and (D8). The relativity theoretic predic-
tion for x̂K (A):
x̂K (A) =x K (A) − vK (K )
tK (A) (7)
relativity
Similarly,
t̂K (A) =
tK (A) = t̂K (A) = t̂K (A) (9)
relativity classical
This completes the proof of our first thesis that special relativity does not
tell us anything new about those features of reality that correspond to the
original meaning of the terms “space” and “time”.
202 László E. Szabó
(L2b) a physical
process in a physical system slows down by
2
factor 1 − vc2
when they are gently accelerated from the reference frame of the
etalons, K, to the frame K moving at velocity v relative to K.
This amounts to what Grünbaum (1974, p. 723) calls the “double amended
variant of the aether theory”, with the only difference, of course, that we
have not even mentioned the aether yet. Note that it is sometimes mistak-
enly claimed that we cannot derive the Lorentz transformation equations
from the doubly amended theory alone. As we will see it below, the truth
is what Grünbaum correctly asserts that the “theory permits the deduc-
tion of the Lorentz transformation equations no less than does Einstein’s
special theory of relativity” (p. 723).
13. Since the Lorentz theory adopts the classical conceptions of space
it does not differ from special relativity in its assertions about
and time,
s What about the other claim – G2 M̃ – about
pace and time. space
In order to prove that the Lorentz theory and special relativity
and time?
are identical theories about space and time in all sense of the words, we
also have to show that the two theories have identical assertions about x
and t, that is,
K (A)
x = x K (A)
relativity LT
Lorentzian Theories vs. Einsteinian Special Relativity 203
tK (A) =
tK (A)
relativity LT
K
t̂K (A) − v x̂ c2(A)
tK (A) = (10)
relativity 2
1 − vc2
x̂K (A) − v t̂K (A)
K (A)
x = (11)
relativity 2
1 − vc2
14. On the other hand, taking the immediate consequences of (L2a) and
2
(L2b) that the measuring-rod suffers a contraction by factor 1 − vc2 and
the standard clock slows
2
down by factor 1 − vc2 when they are gently
accelerated from K to K , one can directly calculate the K (A)
space tag x
K
and the time tag t (A), following the descriptions of operations in (D5)
and (D6).
First, let us calculate the reading of the clock slowly transported in
K from the origin to the locus of an event A. For the sake of simplic-
ity we continue to restrict our calculation to one space dimension. (For
the general calculation of the phase shift suffered by moving clocks, see
Jánossy 1971, pp. 142–147.) The clock is moving with a varying velocity
K K
v̂C (t̂ ) = v + ŵK (t̂K )
clock shows 0 when the origins of K and K coincide) and ŵK (t̂K 1 ) = 0
when the clock arrives at the place of A. The reading of the clock at the
time t̂K
1 will be
ˆ t̂K
2
1 v + ŵK (t̂)
T = 1− dt̂ (12)
0 c2
204 László E. Szabó
Since ŵK is small we may develop in powers of ŵK , and we find from (12)
when neglecting terms of second and higher order
´ t̂K
t̂K
1 v+ 0
1 ŵ K (t̂) dt̂ v
K
1 −
t̂K 2 t̂K (A) − x̂ c(A)v
2
T = c
= (13)
2 v2
1 − vc2 1 − c2
tK (A) = (14)
LT 2
1 − vc2
which is equal to
tK (A) in (10).
relativity
of the co-moving meter stick
Now,taking into account that the length
v2 of event A from the origin of K is the
is only 1 − c2 , the distance
following:
K v2
K K
x̂ (A) = t̂ (A)v + x (A) 1 − 2 (15)
c
and thus
x̂K (A) − v t̂K (A) K
K (A)
x = (A)
= x
LT 2 relativity
1 − vc2
This completes the proof. The two theories make completely identical
assertions not only about tags x̂, t̂ but also about
space and time space
and time tags x̃, t̃. and widehattextrmtime tags@
space and time tags and
widetildetextrmtime tags@ tags
space and time
15. Consequently, there is full agreement between the Lorentz theory and
special relativity theory in the following statements:
(b) The x 3 ,
2 , x
1 , x t -map of the world can be conveniently described
through a Minkowski geometry, such that the t-simultaneity can be
described through the orthogonality with respect to the 4-metric of
the Minkowski space, etc.
(c) The x̂1 , x̂2 , x̂3 , t̂ -map of the world, can be conveniently described
through a traditional “space-time geometry” like E3 × E1 .
..
.
16. Finally, note that in an arbitrary inertial frame K for every event
K K K
A the tags x̂K 1 (A), x̂2 (A), x̂3 (A), t̂ (A) can be expressed in terms of
K
x 1 (A), x K 2 (A), x K K
3 (A), t (A) and vice versa. Consequently, we can
express the laws of physics – as is done in special relativity – equally well
in terms of the variables x 2 , x
1 , x 3 ,
t instead of the s pace and time tags
x̂1 , x̂2 , x̂3 , t̂. On the other hand, we should emphasize that the one-to-
one correspondence between x 2 , x
1 , x 3 ,
t and x̂1 , x̂2 , x̂3 , t̂ also entails that
the laws of physics (so called “relativistic” laws included) can be equally
well expressed in terms of the traditional space and time tags x̂1 , x̂2 , x̂3 , t̂
instead of the variables x 2 , x
1 , x
3 , t. In brief, physics could manage equally
well with the classical Galileo-invariant conceptions of
space and time.
(RP) For any two inertial frames of reference K and K , the laws
of physics in K are such5 that the laws of physics empiri-
cally ascertained by an observer in K , describing the behav-
ior of physical objects co-moving with K , expressed in vari-
ables xK
1 ,x K2 ,xK3 ,t
K , have the same forms as the similar
empirically ascertained laws of physics in K , describing the sim-
ilar physical objects co-moving with K , expressed in variables
K
x 1 ,xK
2 ,x K K
3 , t , if the observer in K performs the same mea-
surement operations as the observer in K with the same measur-
ing equipments transferred from K to K , ignoring the fact that
the equipments undergo deformations during the transmission.
Lorentz theory, too, reduces to (RP). The two theories are identical in all
sense. For, (RP) not only implies the classical rules of kinematics and the
relativistic rules of kinematics, but also implies some uniform laws gov-
erning the behavior of physical objects when accelerated from one inertial
frame to the other.
18. Let E be a set of differential equations describing the behavior of the
system in question in an arbitrary reference frame K . Let ψ0 denote a
set of (initial) conditions, such that the solution [ψ0 ] determined by ψ0
describes the behavior of the system when it is, as a whole, at rest relative
to K . Let ψv be a set of conditions which corresponds to the solution
describing the same system in uniform motion at velocity v relative to K .
To be more exact, [ψv ] is a solution of E that describes the same behavior
of the system as [ψ0 ] but in superposition with a collective translation at
velocity v. Denote E and ψ0 the equations and conditions obtained from
E and ψ0 by substituting the variables x K , tK , . . . with the variables
K ,
x tK , . . . of K . Denote Λv (E ) , Λv (ψv ) the set of equations E and
conditions ψv expressed in terms of the double-primed variables, applying
the Lorentz transformations. Now, the following two conditions guarantee
the satisfaction of the relativity principle:
To make more explicit how this provides a useful method in the de-
scription of the deformations of physical systems when they are acceler-
ated from one inertial frame K into some other K , consider the following
situation: Assume we know the relevant physical equations and know the
solution of the equations describing the physical properties of the object in
question when it is at rest in K : E , [ψ0 ]. We now inquire as to the same
description of the object when it is moving at a given constant velocity
relative to K . If (16)–(17) is true, then we can solve the problem in the
following way. Simply take E , [ψ0 ] – by putting one more prime on each
variable – and express [ψv ] from (17) by means of the inverse Lorentz
transformation.
Now, according to the standard views, the solution belonging to con-
dition ψv describes the same object when it is moving at a given constant
relative to K . The situation is, in fact, much more complex.
velocity
Lorentzian Theories vs. Einsteinian Special Relativity 209
from dilatation,
ory. We must differentiate dilatation
contraction from
contraction, and so on. For example, consider the reference frame of the
etalons, K, and another frame K moving relative to K, and a rod accel-
erated from the sate of rest in reference frame K – state1 – to the state
of
of rest in reference frame K – state2 . Denote l̂K (state1 ) the length
˜K of the rod in state1
the rod in state1 relative to K, l (state1 ) the length
relative to K, etc. Now, the following statements are true about the rod :
And there is no difference between relativity theory and the Lorentz the-
ory: all of the four statements (18)–(21) are true in both theories. If,
in the Lorentz theory, facts (18)–(19) provide enough reason to say that
there is a real physical change, then the same facts provide enough reason
to say the same thing in relativity theory. And vice versa, if (20)–(21)
contradicted to the existence of real physical change of the rod in relativity
theory, then the same holds for the Lorentz theory.
20. It should be mentioned, however, that there is no contradiction be-
tween (20)–(21) and the existence of real physical change of the rod. Rel-
ativity theory and the Lorentz theory unanimously claim that length is a
relative physical quantity. It is entirely possible that one and the same
objective physical change is traced in the increase of the value of a relative
quantity relative to one reference frame, while it is traced in the decrease
of the same quantity relative to another reference frame (see the example
in Fig. 7). (What is more, both, the value relative to one frame and the
value relative to the other frame, reflect objective features of the objective
physical process in question.)
21. According to the other widespread argument, relativistic deformations
cannot be real physical effects since they can be observed by an observer
also if the object is at rest but the observer is in motion at constant
velocity. And these relativistic deformations cannot be explained as real
physical deformations of the object being continuously at rest.
However, there is a triple misunderstanding behind such an argument:
Lorentzian Theories vs. Einsteinian Special Relativity 211
K K
K K
Ekin = 12 mV 2 K
Ekin is decreasing Ekin =0
K K K
Ekin =0 Ekin is increasing Ekin = 12 mV 2
Figure 7: One and the same objective physical process is traced in the
increase of kinetic energy of the spaceship relative to frame K , while it is
traced in the decrease of kinetic energy relative to frame K
x 1
x 3
K
B moving
in K
K K
E at rest E moving
in K in K
This fact, however, does not express a contraction of the rod – nei-
ther a real nor an apparent contraction.
1K
E =
q1
(23)
at rest
K
2 K
2 32
2
1
xK 2
+ x 3
+ x
in K
Lorentzian Theories vs. Einsteinian Special Relativity 213
xK
K
E =
q 2
(24)
2 at rest
K
2 32
2 K 2 + x
K
x +
x 3
in K 1 2
xK
K
E =
q 3
(25)
3 at rest
2 K
2 32
2
K
x + xK 3
+ x
in K 1 2
1K
B = 0 (26)
at rest
in K
2K
B = 0 (27)
at rest
in K
K
B = 0 (28)
3 at rest
in K
How does this field change if we set the charge in motion with con-
v along the x
stant velocity 3 -axis? Maxwell’s equations can also answer
this question. First we solve the Maxwell equations for arbitrary time-
depending sources. Then, from the retarded potentials thus obtained, we
derive the Lienart-Wiechert potentials, from which we can determine the
field. (See, for example, Feynman, Leighton and Sands 1963, Vol. 2.)
Here is the result (long after the acceleration; see Szabó 2004):
− 12
2
xK
q 1− v
K c2
1
E = 32 (29)
1 moving
2
2
K
x + K
x + B2
in K 1 2
− 12
2
xK
q 1− v
K c2
2
E = 32 (30)
2 moving
2
2
K
x + K
x + B2
in K 1 2
3K
E =
qB
(31)
moving
3
K
x
2
+
xK 2 + B2 2
in K 1 2
v K
1K
B = − E (32)
moving c 2
in K
214 László E. Szabó
v K
2K
B = E (33)
moving c 1
in K
K
B = 0 (34)
3 moving
in K
where
K
K
x3 − X3 t
B=
2
1 − c2
v
A ray of light requires a perfectly definite time T to pass from one mirror to
the other and back again, if the whole system be at rest with respect to the
aether. It is found by calculation, however, that a slightly different time T 1
is required for this process, if the body, together with the mirrors, be moving
relatively to the aether. And yet another point: it is shown by calculation that
for a given velocity v with reference to the aether, this time T 1 is different
when the body is moving perpendicularly to the planes of the mirrors from that
resulting when the motion is parallel to these planes. Although the estimated
difference between these two times is exceedingly small, Michelson and Morley
performed an experiment involving interference in which this difference should
have been clearly detectable. But the experiment gave a negative result – a fact
very perplexing to physicists. (Einstein 1920, p. 49)
Lorentz and FitzGerald rescued the theory from this difficulty by assuming
that the motion of the body relative to the aether produces a contraction of
the body in the direction of motion, the amount of contraction being just suf-
ficient to compensate for the difference in time mentioned above. Comparison
with the discussion in Section 11 shows that also from the standpoint of the
theory of relativity this solution of the difficulty was the right one. But on
the basis of the theory of relativity the method of interpretation is incompa-
rably more satisfactory. According to this theory there is no such thing as a
“specially favoured” (unique) co-ordinate system to occasion the introduction
of the aether-idea, and hence there can be no aether-drift, nor any experiment
with which to demonstrate it. Here the contraction of moving bodies follows
from the two fundamental principles of the theory, without the introduction of
216 László E. Szabó
⎫
[deformations] ⎪
⎪
⎪
⎪
& ⎪
⎡ ⎤ ⎪
⎪
⎪
⎡ ⎤
Galilean kinematics ⎪
⎪ the result of the
⎬ ⎢ Michelson-Morley ⎥
⎢ ⎥
⎢ for x̂, t̂ (the speed ⎥ ⇒ ⎢
⎣ experiment must ⎦
⎥
⎢
⎢ of light is NOT ⎥ ⎪
⎥ ⎪
⎪
⎣ ⎦ ⎪
⎪ be the null effect
the same in all ⎪
⎪
⎪
⎪
inertial frame) ⎪
⎭
# $% &
% &# ⎫
⎡ ⎤$ ⎪
⎪
Lorentz kinematics ⎪
⎪ ⎡ ⎤
⎢ ⎥ ⎪⎪
⎢ ⎥ ⎪⎪ the result of the
⎢ for x̃, t̃ (the speed ⎥ ⎬ ⎢ Michelson-Morley ⎥
⎣ of light IS the same ⎦ ⇒ ⎢
⎣ experiment must
⎥
⎦
⎪
⎪
in all inertial frame) ⎪
⎪
⎪
⎪ be the null effect
& ⎪
⎪
⎭
[deformations]
Schema 1: The null result of the Michelson–Morley experiment simulta-
for x̂ and
neously confirms both, the classical rules of Galilean kinematics
t̂, and the violation of these rules (Lorentzian kinematics)
for the space
tags x
and time ,
t.
What “rescued” means here is that Lorentz and FitzGerald proved, within
the framework of the classical theory and Galilean kinematics,
space-time
that if the assumed deformations of moving bodies exist then the expected
result of the Michelson–Morley experiment is the null effect. But we have
already clarified, what Einstein also confirms in the above quoted passage,
that these deformations also derive from the two basic postulates of special
relativity.
Putting all these facts together (see Schema 1), we must say that
the null result of the Michelson–Morley experiment simultaneously con-
Lorentzian Theories vs. Einsteinian Special Relativity 217
firms both, the classical rules of Galilean kinematics for x̂ and t̂, and the
Lorentzian kinematics for the
space and time tags x,
t. It confirms the
classical addition rule of velocities, on the one hand, and, on the other
of light is the same in all frames of
hand, it also confirms that velocity
reference.
This actually holds for all other experimental confirmations of special
relativity. That is why the only difference Einstein can mention in the
quoted passage is that special relativity does not refers to the aether.
(As a historical fact, this difference is true. Although, as we will see in
Points 30–34, the concept of aether can be entirely removed from the
recent logical reconstruction of the Lorentz theory.)
27. However, it is clear from the previous sections that the terms “space”
and “time” have different
meanings in the two theories. The Lorentz
theory claims G1 M̂ about M̂ and relativity theory claims G2 M
+ ,
+ P1 Ẑ & P2 Z
empirical
G1 M̂ & G2 M =
facts
+ ,
+ P1 Ẑ & P2 Z
empirical
G1 M̂ & G2 M =
facts
Methodological remarks
28. It is to be noted that my argument is based on the following very
weak operationalist/verificationist premise: physical terms, assigned to
measurable physical quantities, have different meanings if they have dif-
ferent empirical definitions. This premise is one of the fundamental
pre-assumptions of Einstein’s 1905 paper and is widely accepted among
physicists. Without clear empirical definition of the measurable physical
quantities a physical theory cannot be empirically confirmable or discon-
firmable. In itself, this premise is not yet equivalent to operationalism or
verificationism. It does not generally imply that a statement is necessarily
meaningless if it is neither analytic nor empirically verifiable. However,
when the physicist assigns time and space tags to an event, relative to
a reference frame, (s)he is already after all kinds of metaphysical consid-
erations about “What is space and what is time?” and means definite
physical quantities with already settled empirical meanings.
29. In saying that the meanings of the words “space” and “time” are
different in relativity theory and in classical physics, it is necessary to
be careful of a possible misunderstanding. I am talking about something
entirely different from the incommensurability thesis of the relativist phi-
losophy of science (Kuhn 1970, Chapter X; Feyerabend 1970). How is it
that relativity makes any assertion about classical and
space and time,
vice versa, how can the Lorentz theory make assertions about quantities
which are not even defined in the theory? As we have seen, each of the
two theories is a sufficiently complete account of physical reality to make
predictions about those features of reality that correspond – according to
220 László E. Szabó
the empirical definitions – to the variables used by the other theory, and
it is no problem to compare these predictions. For example, within the
Lorentz theory, we can legitimately query the reading of a clock slowly
transported in K from one place to another. That exactly is what we
calculated in Point 14. Similarly, in special relativity theory, we can le-
gitimately apply formulas (1)–(2) to the tags of an event.
space and time
This is a fair calculation, in spite of the fact that the result thus obtained
is not explicitly mentioned and named in the theory. This is what we
actually did. And the conclusion was that not only are the two theories
commensurable, but they provide completely identical accounts of the
same physical reality; they are identical theories.
It cannot be too strongly emphasized that there is no getting away from pre-
ferred operations and unique standpoint in physics; the unique physical opera-
tions in terms of which interval has its meaning afford one example, and there
are many others also. (Bridgman 1936, p. 83)
31. Many believe that one can avoid a reference to the etalons sitting
in a privileged reference frame by defining, for example, the unit of time
for an arbitrary (moving) frame of reference K through a cesium clock,
or the like, co-moving with K . In this way, it is claimed, one needs not
to refer to a standard clock accelerated from the reference frame of the
etalons into reference frame K .
Lorentzian Theories vs. Einsteinian Special Relativity 221
The aether
32. Many of those, like Einstein himself (see Point 25), who admit the
“empirical equivalence” of the Lorentz theory and special relativity argue
that the latter is “incomparably more satisfactory” (Einstein) because it
has no reference to the aether. As it is obvious from the previous sections,
we did not make any reference to the aether in the reconstruction of the
Lorentz theory. It is however a historic fact that, for example, Lorentz did.
In this section, I want to show that Lorentz’s aether hypothesis is logically
independent from the actual physical content of the Lorentz theory. In
other words, the concept of aether is merely a verbal ornament in Lorentz’s
theory, which can be interesting for the historians, but negligible from the
point of view of the recent logical reconstructions. (Actually the same
holds for the “denial of aether” by Einstein’s special relativity.)
Consider, for example, Lorentz’s aether-theoretic formulation of the
relativity principle – to touch on a sore point.
33. Let us introduce the following notation:
Acknowledgments
The research was partly supported by the OTKA Foundation, No. K
68043. I am grateful to the Netherlands Institute for Advanced Study
(NIAS) for providing me with the opportunity, as a Fellow-in-Residence,
to work on this project.
References
J. S. Bell, Speakable and unspeakable in quantum mechanics. Cambridge:
Cambridge University Press 1987.
J. S. Bell, “George Francis FitzGerald”, in: Physics World, 5, 1992, pp.
31–35.
P. Bridgman, The Logic of Modern Physics. New York: MacMillan 1927.
H. R. Brown and O. Pooley, “The origin of space-time metric: Bell’s
‘Lorentzian pedagogy’ and its significance in general relativity”, in:
C. Calleander and N. Huggett (eds.), Physics meets philosophy at the
Planck scale. Contemporary theories in quantum gravity. Cambridge:
Cambridge University Press 2001.
H. R. Brown, “The origins of length contraction: I. The FitzGerald-
Lorentz deformation”, http://philsci-archive.pitt.edu/archive/
00000218 (2001)
H. R. Brown, “Michelson, FitzGerald and Lorentz: the origins of
relativity revisited”, http://philsci-archive.pitt.edu/archive/00000987
(2003)
226 László E. Szabó
1 Dieser Artikel wurde durch die Stiftung OTKA, Projekt No. 68043
gefördert.
2 Gyula Kõnig (in seinen deutschen Publikationen: Julius König, 1849–1913),
Professor der Technischen Universität in Budapest, weltweit anerkannte
Funktionentheoretiker. Er hat im Jahre 1905 eine Widerlegung von Cantors
Kontinuum-Hypothese veröffentlicht, sein Beweis war aber fehlerhaft. Siehe
darüber die MacTutor History of Mathematics, http://www-groups.dcs.st-
and.ac.uk/∼history/Biographies/Konig Julius.html.
3 Die Formalisierung des Wahrheitsbegriffs in der synthetischen Lo-
”
gik“(ung.), A Magyar Filozófiai Társaság Közleményei, 34 (1910),
S. 98-106; Neue Grundlagen der Logik, Arithmetik und Mengenlehre.
230 András Máté
dem Gebiet der Logik. John von Neumann, der in der zwanziger Jahren
grundlegende Arbeiten zur Mengenlehre publiziert hatte, schaltete sich in
die Forschung über die Grundlagen der Mathematik im Hilbert-Kreis in
Göttingen ein. László Kalmár hörte auch zum ersten Mal von Neumann
über die moderne Logik und wurde während seines Studienaufenthaltes in
Göttingen im Jahre 1929 zum Experten und Forscher auf diesem Gebiet.4
Er und seine lebenslange Mitarbeiterin Rózsa Péter5 haben die mathema-
tische Logik als Disziplin in die ungarische Mathematik eingeführt und
schon in den dreißiger Jahren internationales Ansehen erreicht.
Kalmár und Péter waren philosophisch sehr interessierte Mathemati-
ker; bei Kalmár kann man sogar von einer eigenen Philosophie der Ma-
thematik sprechen.6 Es wird sich lohnen, einige seiner Ansichten hier an-
Leipzig: Veit und Co. 1914. Auf diese heute schon ganz vergesse-
nen Schriften hat mich die Arbeit von Lilla Ignácz ( Die Rezep-
”
tion der symbolischen Logik in Ungarn“(ung.), http://www.geocities.
com/elianaszabo/AszimblogMon.htm# ftnref32) aufmerksam gemacht.
4 László Kalmár (1905–1976), Professor an der Universität von Szeged. Ne-
ben der mathematischen Logik war er auch in der Computerwissenschaft
tätig und hat die Universitätslehre in Informatik in Ungarn begründet; er
war auch ein besonders aktiver Befürworter der Modernisierung des Ma-
thematikunterrichts in Grund- und Mittelschulen. Wichtigste Ergebnisse in
Logik: On the Reduction of the Decision Problem I.“Journal of Symbolic
”
Logic 4 (1939). (Fortsetzungen mit János Surányi, dieselbe Journal of Sym-
bolic Logic 1947, 1950); Der Kalmársche Widerspruchsfreiheitbeweis“[der
”
Arithmetik], publiziert von Paul Bernays in: David Hilbert – Paul Bernays,
Grundlagen der Mathematik, Bd. II, 2. Aufl., Berlin: Springer 1970, S. 513-
536. Diesen Beweis hat Kalmár selber nie publiziert. Bernays hörte darüber
am von Imre Lakatos organisierten Londoner Symposium über die Philo-
sophie der Mathematik in 1965, (siehe unten, Angaben der Proceedings in
Fn. 8.) und Kalmár hat sein Manuskript von 1938 nach langer Überredung
seitens Bernays und Lakatos Bernays zur Verfügung gestellt. Quellen: das
Manuskript und die Korrespondenz zwischen Kalmár, Lakatos und Bernays
im Kalmár-Archiv der Universität von Szeged und im Lakatos-Archiv der
London School of Economics.
5 Rózsa Péter (1905–1977), Professorin der Pädagogischen Hochschule, später
der Eötvös Universität in Budapest, board member des Journal of Symbolic
Logic von seiner Gründung (1936) an. Péters Hauptwerk: Rekursive Funk-
tionen, Budapest: Akadémiai, 1951. In den sechziger und siebziger Jahren
nahm sie führend an der Reform des Mathematikunterrichts teil.
6 Wichtigste philosophische Schriften: Die Entwicklung der mathematischen
”
Exaktheit von der Anschauung bis zur axiomatischen Methode“(ung., Vor-
Die Rezeption der neuen Logik in Ungarn 231
lesung, 1941 – englische Übersetzung in diesem Band unter dem Titel The
”
Development of Mathematical Rigor from Intuition to Axiomatic Method“.)
und die unten (Fn. 8., 9.) zitierten Konferenzvorlesungen.
7 The Development of Mathematical Rigor . . .“, S. ???.
”
232 András Máté
dern auch, dass die Behauptungen, die den Sinn, den Inhalt der Theo-
reme sichern, ebensogut zur Mathematik gehören. Seine Argumentation
bezüglich der Church-These9 gibt ein Beispiel davon, wie solche Behaup-
tungen durch mathematische Mittel untersucht – wenn auch nicht ent-
schieden – werden können. Er will die These nicht widerlegen; er sagt
aber, dass Churchs These, ebenso wie andere empirische Verallgemeine-
rungen in der Wissenschaft, ständig überprüft und die Pros und Kontras
erwogen werden sollen.
Kalmárs Philosophie der Mathematik zieht radikale aber wohlbegrün-
dete Folgerungen aus Gödels Theoremen, insbesondere aus der Unbeweis-
barkeit der Konsistenz. Den Traum von den endgültigen und absolut siche-
ren Grundlagen der Mathematik muss man aufgeben. Die mathematische
Grundlagenforschung kann aber zu neuen, mehr und mehr sicheren und
zuverlässigen Grundlagen führen. In diesem Sinne ist Gentzens Beweis der
Konsistenz der Arithmetik ein Schritt vorwärts, wenn er auch kein streng
finitistischer Beweis ist. Kalmár wurde in der Diskussion seines Londoner
Vortrags gefragt, was sich in der Grundlagenforschung ändern sollte, wenn
man seinen mathematischen Empirismus akzeptiert. Seine Antwort war,
dass wir dasselbe tun werden wie bis jetzt, aber mit besserem Gewissen.10
Wir werden nie in der Lage sein, uns gänzlich von deduktiv unbewiesenen,
nur durch Erfahrung und mittelbare Argumente unterstüzten Prämissen
befreien zu können; es ist aber kein Fehler, sondern gehört zur wahren
Natur der Mathematik.
Rózsa Péters philosophische Gedanken kann man am besten aus ih-
rem populärwissenschaftlichen Buch Das Spiel mit dem Unendlichen 11
kennenlernen. Sie bespricht die mathematische Logik Hilbert’scher Auf-
fassung und konzentriert sich auf die Beweistheorie, auf die Selbstkritik
”
der reinen Vernunft“, wie sie sie apostrophiert. Sie nimmt auch Stellung
in der Diskussion, ob nach Gödels zweitem Unvollständigkeitstheorem das
Hilbert-Programm aufgegeben werden muss. Ihr Standpunkt ist dem von
Neumanns entgegengesetzt und verwandt mit Kalmárs Meinung: Die ur-
eigentlich unabhängig von der nicht nur antimetaphysischen, sondern sogar an-
tiphilosophischen Philosophie des wiener (sic!) Kreises [sind]. Der Leser, der
das vollkommene Unverständnis der Geisteswissenschaften und der geisteswis-
senschaftlichen Philosophie mit den Mitgliedern des wiener Kreises nicht teilen
will, kann diese Untersuchungen als die Methodologie der Mathematik und der
Naturwissenschaften ansehen. Carnaps Wissenschaftslogik“, mit der er die tra-
”
ditionelle Philosophie supplieren will, ist in der Tat nicht mehr als dies. Alles,
was er sagt, hat einen Sinn nur auf dem Gebiet der Mathematik und der Natur-
wissenchaften, in der Philosophie auf dem Gebiet der Erkenntnistheorie und der
naturwissenschaftlich begründeten Naturphilosophie. Sein Werk hat aber dort
auch einen unbestreitbar großen Wert.16
Ich habe aus dieser Rezension so viel zitiert, weil dieses doppelte
Verhältnis zu den Ideen Carnaps und des Wiener Kreises nicht nur für
Pozsonyi und die anderen erwähnten Schüler von Pauler charakteristisch
ist. Ganz verschiedene Bewertungen des Wiener Kreises und der modernen
Logik haben auch ähnliche Züge. Die Logik und die formale Methodolo-
gie der Naturwissenschaften sind akzeptiert und sogar hoch bewertet, das
Programm des Wiener Kreises, die traditionelle Philosophie durch logi-
sche Analyse abzulösen, wird aber scharf abgelehnt. Am 12. Dezember
1939 hielt die Ungarische Philosophische Gesellschaft eine Diskussionssit-
. . . bei der Untersuchung der Frage von der Untersuchung der Logik der wissen-
schaftlichen Theorien ausgehen sollen. Die moderne Logik konnte eben deshalb
so große Ergebnisse innerhalb einiger Jahrzehnten erreichen, weil sie mit den sich
ausschließlich auf der prinzipiellen Ebene bewegenden philosophischen Analy-
sen der klassischen Logik . . . brach und für sich Mittel schuf, durch welche sie
konkrete, für die theoretischen Wissenschaften wichtige Probleme zu lösen fähig
wurde.
Der einzige zulässige Relativismus der Logik ist jener, welcher uns von den
Paradoxien der Mengenlehre und den Sätzen von Gödel und Tarski auf-
gezwungen wird, nämlich dass wir unsere Logik nur in einer unendlichen
Reihe von Sprachen und Theorien und nicht innerhalb einen einzigen Sys-
tems darlegen können. Er lehnt aber den Standpunkt von Antal Schütz20
ab, nach welcher die paradoxen Aussagen nicht von der objektiven Logik
handeln und daher etwas Objektives nicht zu fassen vermögen. Pozsonyi
bringt erneut seine frühere Argumentation vor; den Mathematiker beru-
higt diese Ansicht gar nicht, denn er hat keine Kriterien, um zu entschei-
den, welche Definitionen etwas Objektives fassen und welche nicht. Als
Konklusion behandelt er bejahend das Toleranzprinzip von Carnap.
Die akademische Antrittsrede von Antal Schütz trägt den Titel Lo-
”
giken und Logik“.21 Schütz argumentiert hier für den Monologismus“,
”
nämlich für die Ansicht, dass es nur eine einzige wahre Logik gibt, die
klassische, aristotelische, und widerlegt die polilogistischen“Ansichten.
”
Er bringt viele und meistens korrekte mathematische Beispiele zur Un-
terstützung seiner Meinung, beruft sich oft auf Hilbert, zitiert Russell,
L
ukasiewicz, Reichenbach, Schlick, den Letzteren sogar eindeutig zustim-
mend. Die ganze Schrift aber, die Autoren, welche bezüglich der Grund-
frage am meisten und umfangreichsten zitiert werden, die Auffassung des
Verfassers von einer logischen Theorie, all dies erweckt den Eindruck, dass
es keine symbolische Logik gebe. Schütz ist gar nicht uninformiert, be-
trachtet aber alle Entwicklungen seit Frege als unwesentlich für sein The-
ma. Logik ist für ihn eben nur die Fülle von sich ausschließlich auf der
”
prinzipiellen Ebene bewegenden philosophischen Analysen“, wie Pozsonyi
es apostrophiert hat.
Im Jahre 1938 publizierte der junge Kulturphilosoph der geistesge-
schichtlichen Richtung László Mátrai ein kleines populärwissenschaftliches
Buch mit dem Titel Modernes Denken“.22 Er gibt einen Überblick der
”
modernen Theorien vom Menschen, Geschichte, Kultur, physischen und
biologischen Welt. Er verteidigt die Idee des Fortschritts und kritisiert die
irrationalistischen, kulturpessimistischen Denker; er gibt auch eine korrek-
te Darstellung einiger Grundgedanken der Relativitätstheorie. Im Kapitel
über die moderne Logik“spricht er von der gefährlichen Entwicklung,
”
dass die Kluft zwischen Geistes- und Naturwissenschaften immer weiter
wird und behauptet, dass das logische Denken der gemeinsamen Grund
sein sollte, auf dem die beiden sich wieder treffen könnten. Unter mo-
derner Logik ist aber bei Mátrai die Logik von Pauler und Husserl zu
verstehen, die Logistik ist nach ihm nur eine Abzweigung. In der logi-
schen Formelsprache von Russell sieht er nur eine Erneuerung der Utopie
der Universalsprache. Über Carnap schreibt er:
Ein Kommentar erübrigt sich; man muss aber bemerken, dass die An-
sichten des größten Anhängers der modernen Logik, Pozsonyi, und des
schärfsten Gegners, Mátrai, wichtige gemeinsame Züge haben. Erstens
lehnen beide die Zuständigkeit der symbolischen Logik auf dem Gebiet der
Human- und Sozialwissenschaften ab. Zweitens will Pozsonyi ebensowenig
wie Mátrai die Logik, wie sie im 20. Jh. besteht, also die moderne Logik,
mit der symbolischen Logik und ihrer Metatheorie identifizieren. Drittens
erkennt Mátrai die Leistungen der symbolischen Logik oder Logistik auf
dem Gebiet der Mathematik ebenso an wie Pozsonyi. Die Unterschiede
zwischen den beiden Autoren liegen vor allem in der Beurteilung der Be-
deutung dieser Leistungen für die Philosophie, und dabei zieht Pozsonyi
die Grenzen der relevanten Anwendung der symbolischen Logik freilich
wesentlich weiter als Mátrai.
Der Standpunkt der marxistisch-leninistischen dialektischen Logiker
ist eigentlich nicht so weit entfernt von dem des Geisteshistorikers Mátrai.
Der Initiator der dialektischen Logik in Ungarn war Béla Fogarasi24 – ein
Mitglied des Galileo-Kreises und im Jahr 1919 kompetenter Übersetzer
von Russells Problems of Philosophy. Von seiner sowjetischen Emigrati-
on kehrte er aber als dogmatischer Marxist-Leninist zurück und wurde
dann zum Machthaber des philosophischen Lebens. Er kritisiert in sei-
nem Logik-Lehrbuch Carnaps logische Semantik, weil sie . . . das Denken
”
mit der Sprache identifiziert, die Logik mit der Grammatik bzw. mit ei-
nem Zweig der Grammatik, der Syntax.“25 Über die symbolische Logik
im Allgemeinen sagt er:
. . . die Unzulänglichkeiten der Sprache kann man nicht auf eine grobe mecha-
”
nistische Weise dadurch eliminieren, dass wir die allgemeine Sprache durch eine
Symbolik substituieren. . . . Die symbolische Logik ist, indem sie nicht auf das
mathematische Denken bezogen ist, wo sie ihre Berechtigung hat, nichts ande-
res als eine Abkürzung der Ausdrücke der allgemeinen Sprache . . . Es ist ein
schwerer und gefährlicher Irrtum zu glauben, dass die symbolische Logik die
Sprache substituieren kann.“26
Man kann in diesen Worten die üblichen Argumente der Gegner der philo-
sophischen Anwendung der symbolischen Logik wiedererkennen. Der Un-
terschied zur Situation in den dreißiger Jahren ist, dass diese Ansichten
in den fünfziger Jahren als durch die Staatsmacht vorgeschriebene Mei-
nung galten. In den sechziger Jahren ändert sich aber die Lage allmählich.
Zwar setzt Fogarasis wesentlich weniger gebildeter Schüler László Erdei
den Kampf gegen den Einbruch der mathematischen Logik in die Philoso-
phie fort und hat auch mächtige Befürworter – unter anderen den schon
marxistisch-leninistischen Mátrai –, sein Standpunkt wird aber nicht mehr
die verordnetee, in der Öffentlichkeit allein mögliche Ansicht. Es kommt
zu zwei Entwicklungen im philosophischen Leben, die sich bis heute ent-
scheidend ausgewirkt haben.
Erstens gewinnt im akademischen Philosophieunterricht neben dem
offiziellen Sowjetmarxismus der Neomarxismus des Kreises von Georg
Lukács gewissen Raum. Das dauert zwar nicht lange; 1973 werden die
politisch unbotmäßigen Lukács-Schüler aus allen akademischen Positio-
nen entlassen und die meisten zur Emigration gezwungen. Diese kurze
Blütezeit hatte aber weitgehende Konsequenzen für die ungarische Phi-
losophie. Einerseits war es nicht einmal nach der Entlassung und Berufs-
verbot vieler Mitglieder des Lukács-Kreises möglich, die monolithische
Einheit des philosophischen Lebens und des Philosophieunterrichts wie-
der herzustellen, andererseits brachten die Lukács-Schüler ein neues Ni-
veau der Kenntnis und des Verständnisses des zeitgenössischen philoso-
phischen Denkens. Von den Mitgliedern des Lukács-Kreises ist für uns die
Introduction
In this paper we will present some of our school’s results in the area of
building up relativity theory (RT) as a hierarchy of theories in the sense
of logic. We use plain first-order logic (FOL) as in the foundation of
mathematics (FOM) and we build on experience gained in FOM. The
main aims of our school are the following: We want to base the theory on
simple, unambiguous axioms with clear meanings. It should be absolutely
understandable for any reader what the axioms say and the reader can
decide about each axiom whether he likes it. The theory should be built
up from these axioms in a straightforward, logical manner. We want to
provide an analysis of the logical structure of the theory. We investigate
which axioms are needed for which predictions of RT. We want to make
RT more transparent logically, easier to understand, easier to change,
modular, and easier to teach. We want to obtain a deeper understanding
of RT.
Our work can be considered as a case study showing that the Vienna
Circle’s (VC) approach to doing science is workable and fruitful when
using the insights and tools of mathematical logic acquired since its for-
mative years at the very time of the VC activity. We think that logical
positivism was based on the insight and anticipation of what mathemati-
cal logic is capable of when elaborated to some depth. Logical positivism,
in great part represented by VC, influenced and took part in the birth of
modern mathematical logic. The members of VC were brave forerunners
and pioneers.
Let’s see what was available before or during the period the VC was
active, and what was not available for the members of VC but available for
us now. The VC activities in the strict sense fall into the period of 1922–
1936. The beginning of intensive development of FOL coincides with this
248 H. Andréka et al.
light signals or centers of mass.1 To talk about spatial locations and time
we will use quantities arranged in a (space-time) coordinate system, and
we will have a basic relation, the so-called world-view relation, which tells
us which test-particles are present in which locations at which instants.
We will think of the quantities as the real numbers (i.e., the number-
line), so we will use a “less than” relation and two operations, addition
and multiplication, on them. In this paper to axiomatize special relativity
theory, we will use two more primitive notions, namely that of “inertial
test-particles” and “light-signals” which we will simply call photons.2
To illustrate what we said so far, let us consider the following two-
sorted first-order language:
letters x, y, z, t and their variants for variables of sort Q . For easier read-
ability, we will use x̄, ȳ for sequences of four variables x1 , x2 , x3 , x4 and
y1 , y2 , y3 , y4 .
We have not introduced the concept of observers as a basic one because
it can be defined as follows: an observer is nothing else than a body who
“observes” (coordinatizes) some other bodies somewhere, this property
can be captured by the following first-order formula of our language:
def
Ob(o) ⇐⇒ ∃bx̄ W(o, b, x̄);
and inertial observers can be defined as inertial bodies which are ob-
servers, formally:
def
IOb(o) ⇐⇒ IB(o) ∧ Ob(o).
To abbreviate formulas of FOL we often omit parentheses according
to the following convention. Quantifiers bind as long as they can, and
∧ binds stronger than →. For example, we write ∀x ϕ ∧ ψ → ∃y δ ∧ η
instead of ∀x (ϕ ∧ ψ) → ∃y(δ ∧ η) .
For the FOL definition of a linearly ordered field see, e.g., (9, p.41); this
is a formulation of some of the most basic properties of addition and
multiplication of real numbers. One of these properties is that there is a
unique neutral element for addition (∃z∀x z + x = x), we call this element
z zero and we denote it with 0.
The next axiom simply states that each inertial observer assumes that
it rests at the origin of the space part of its coordinate system. It also
can be thought of as expressing that we identify a coordinate system (or
reference frame) with a test-particle “sitting” at the origin.
Our next axiom is on the constancy of the speed of light. For convenience,
we choose 1 for this speed. This choice physically means using units of
distance compatible with units of time, such as light-year, light-second,
etc.
This is the most important axiom of SR, it is its “physical” axiom. Ax-
iom AxPh is very well confirmed by experiments, such as the Michaelson–
Morley experiment and its variants. The next axiom establishes connec-
tions between different coordinate systems. It expresses the idea that all
observers “observe” the same outside reality.
Let us now introduce our axiom system of SR as the set of the axioms
above:
The reader is invited to check that all the axioms of SpecRel are sim-
ple, comprehensible and observationally oriented. In setting up an axiom
system, we want the axioms be streamlined, economical, transparent and
few in number. On the other hand, we want to have all the surprising,
shocking, paradoxical predictions of RT as theorems (and not as axioms).
We want the price-value ratio to be good, where the axioms are on the
“cost”-side, and the theorems are on the “gain”-side.
Let us see what theorems we can prove from SpecRel. We will see that
we can prove everything from our five axioms that “usual” SR can, but
let us proceed more slowly. In the axioms we did not require explicitly,
but it can be proved from SpecRel with the rigorous methods of FOL
that inertial observers see each other move on a straight line, uniformly
(covering the same amount of distance in the same amount of time). For a
“fancy theorem” from “plain axioms,” let us prove from SpecRel that “no
inertial observer can move faster than light.” Below, denotes derivability
in one of FOL’s standard proof systems.
Theorem 12. (NoFTL) In an inertial observer m’s world view, any in-
ertial observer k moves slower than any light-signal p, i.e., if both k and
p move from spatial locations x1 , x2 , x3 to y1 , y2 , y3 , then for the ob-
server k this trip took more time than for the photon p. Formally:
For proof see, e.g., (22, Thm.3.2.13). What the average layperson usu-
ally knows about the predictions of relativity is that “moving clocks slow
down, moving spaceships shrink, and moving clocks get out of synchro-
nism, i.e., the clock in the nose of a fast moving spaceship is late (shows
less time) when compared with the clock in the rear.” See Figure 9. Let’s
call these three predictions the “paradigmatic effects” of SR. Now, SpecRel
254 H. Andréka et al.
implies all the paradigmatic effects quantitatively, too.3 From this it fol-
lows that the so-called worldview transformations are Poincaré-functions,
thus everything follows from our SpecRel what follows from “usual” special
relativity theory.
Different observers may observe different spatial distance between the
same two events. This is so in Newtonian Kinematics (NK), too. (For
example, if I ate a sandwich and later drank a coffee on a train, these
two events were at the same place according to me, but according to a
coordinate system attached to Earth I ate the sandwich in Budapest and
drank the coffee in Vienna.) However, in NK the time-difference between
two events is the same for all observers, it is “absolute”. According to the
paradigmatic effects, in RT even the time-difference between two events
depends on the state of motion of the observer! (The observer moving
relative to m will observe less time passed between e and e because his
clock “slowed down”.) In this respect, space and time in RT are “more
alike” than in NK. Our next theorem states that a certain combination of
spatial distance and time-difference is “absolute” in RT, too. The proof
of this theorem can be found in, e.g., (4, p.650). Let us define
3 They follow from our next theorem. However, in our works we usually
prefer proving the paradigmatic effects one-by-one, directly from the ax-
ioms of SpecRel because this illuminates or illustrates how we perform our
conceptual analysis. These proofs can be found, e.g., in (4, sec.2.4).
Vienna Circle and Logical Analysis of Relativity Theory 255
1 km = 1 light-second
my spaceship
is 1km long (in this picture)
√ √
0 −v 1 − v2 −v + 1 − v2
√
it’s only 1 − v 2
km long
0
m
1
11111111111111111111111111111111111111
00000000000000000000000000000000000000
00000000000000000000000000000000000000
11111111111111111111111111111111111111
now (m) 1 second later (m)
√
Figure 9: According to m, the length of the spaceship is 1 − v 2 km, it is
1 km wide and tall, and the clocks in the nose show v less time than those
in the rear, where v is the relative velocity of m and k. According to k,
the length of the ship is 1 km, it is 1 km wide and tall, and the clocks in
the nose and the ones in the rear all show the same time.
256 H. Andréka et al.
this new theory T h on its own merits. The new theory T h usually is
simple, streamlined, elegant - built in such a way that we satisfy our aes-
thetic desires. This is the case with Minkowski geometry. The original
theory T h contains its own interpretation, because we tried to use ob-
servational concepts. The physical interpretation of the new streamlined
theory T h is its connection with T h. The strongest relationship between
two theories in different first-order languages is called definitional equiv-
alence. When two theories are definitionally equivalent, in the rigorous
sense of definability theory of FOL, the observational oriented theory T h
can be recaptured completely from the theoretical-oriented streamlined
theory T h (and vice versa).
As examples, we can take our SpecRel for T h, and we can take
Minkowski Geometry for T h . Goldblatt (16, App. A) gave a com-
plete FOL axiom system MG for Minkowski geometry. His theory is
based on and is nicely analogous to Tarski’s FOL axiomatization for Eu-
clidean geometry (see, e.g., (37)). The definitional equivalence of our
present “observationally-oriented” theory SpecRel and the FOL theory of
Minkowski geometry MG given by Goldblatt is proved by Madarász (22,
Chap. 6.2).5 It is noteworthy to mention that in this application, relativ-
ity theory contributed to definability theory once again: for the precise
formulation of the equivalence of the two theories we had to elaborate a
methodology for how to define new “entities” (such as “events”) in ad-
dition to the old methods which are about how to define new relations
on already existing entities (such as “observer”). This definitional equiv-
alence of the two theories can also be expressed by saying that SpecRel is
complete with respect to the Minkowskian model of SR generalized over
ordered fields. Hence everything which can be formulated in our language
and true in these Minkowskian models can be proved from our axiom sys-
tem SpecRel. This is a kind of completeness theorem for the streamlined
theory SpecRel with respect to Minkowskian Geometry as the intended
model for SR.
Less tight relationships than definitional equivalence between theories
are also very useful, these kinds of relationships are called interpretability
and duality connections. For an illustration, let us turn to the question
5 For proving this equivalence, one has to add extensionality axioms for ob-
servers and light-signals to SpecRel, and one has to enrich MG with a “meter-
rod”.
258 H. Andréka et al.
of where quantities and coordinate systems come from. The axiom sys-
tem AxSR of James Ax (1) for SR is based on a first-order language that
contains only two unary relation symbols P,S for “particles” and “signals”
(corresponding to our “bodies” and “photons”), and two binary relation
symbols T,R for “transmitting a signal” and “receiving a signal”. One
can give an interpretation of our FOL theory SpecRel in Ax’s FOL theory
AxSR (see (3, proof-outline of Thm.2.1)). This amounts to defining the
primitive relations of the language of our SpecRel in terms of the primi-
tives of Ax’s AxSR, and then proving from AxSR the translated axioms of
SpecRel as theorems. This is an interpretation in the sense of definability
theory. Now, this interpretation also can be thought of as giving a kind of
operational “definition” for how to set up “operationally” the coordinate
systems appearing in SpecRel as primitives. The question of how to give
algorithms for setting up coordinate systems in this context is treated in
more detail and depth in Szabó (33).
Theories form a rich structure when we investigate their interconnec-
tions. Gödel’s incompleteness theorem pointed already in the direction of
investigating hierarchies of theories rather than single theories. (There is
no “strongest” theory for the interesting subjects, there are only stronger
and stronger theories.) Answering “why-questions”, “reverse mathemat-
ics”, modularizing our knowledge all point to the study of weaker and
weaker theories, and also to studying the interpretations between theories
(see (35)). Algebraic logic, developed by Tarski and his followers, is a
branch of definability theory which establishes a duality between hierar-
chies of theories and between classes of algebras (cf., e.g., (18, Chap. 4.3),
(19), (25)). In modern approaches to logic, theories are considered as dy-
namic objects as opposed to the more traditional “eternally frozen” idea
of theories. For approaches to the dynamic trend in mathematical logic
cf., e.g., van Benthem (38), Gabbay (15), and (26). This new “plurality of
theories” or “hierarchy of small theories (as opposed to a single monolithic
one)” approach can help realize the central or essential VC-aims without
the old stumble blocks of the original VC attempts. This is a wisdom
gained from FOM; see (12).
In the rest of the paper we briefly indicate how to arrive at a transpar-
ent FOL axiomatization of general relativity from our SpecRel. By this
we realize Einstein’s original program formally and literally.
Vienna Circle and Logical Analysis of Relativity Theory 259
For precise formulation of this axiom in the spirit we formulated the ax-
ioms of SpecRel see (4), (23), (35). Let AccRel− be the axiom system
consisting of AxCmv and all the axioms of SpecRel.
Let us see how strong our theory AccRel− is. To test its strength
we are going to investigate whether the Twin Paradox (TwP) and the
gravitational time dilation (“gravity causing slow time”) are provable from
it.
According to TwP, if a twin makes a journey into space (accelerates),
he will return to find that he has aged less than his twin brother who
stayed at home (did not accelerate). However surprising TwP is, it is not
a contradiction. It is only a fact showing that the concept of time is not
as simple as it seems at first.
A more optimistic consequence of Twp is the following. Suppose you
would like to visit a distant galaxy 200 light years away. You are told it
is impossible because even light travels there for 200 years. But you do
not despair, you accelerate your spaceship nearly to the speed of light.
Then you travel there in 1 year subjective time. When you arrive back,
you aged only 2 years. So you are happy, but of course you cannot tell
the story to your brother, who stayed on Earth. Alas, you can tell it to
your grand-. . . -grand-children only.
In the FOL language introduced in this paper we can formulate TwP,
see (23), (35). Let us denote the formulated version of TwP as TwP.
260 H. Andréka et al.
AccRel− is not yet strong enough to imply TwP. One would think that
this is so because we did not state enough properties of the real numbers
for speaking about curved lines. However, even assuming Th(R), i.e., all
the FOL formulas valid in the real numbers, together with AccRel− is not
sufficient to prove TwP, see (23), (35):
We note that the above theorem is a theorem stating that one cannot
prove TwP from AccRel− ∪ Th(R), it is not only the case that we are not
“clever enough” to find a proof but there is none. Its proof goes via using
the completeness theorem of FOL, namely we find a model in which all
the formulas in AccRel− ∪ Th(R) are true, but in which TwP is not true.
This theorem states that even assuming every first-order formula
which is true in R is not enough for our purposes. At first sight this
result suggests that our programme of FOL axiomatization of GR breaks
down at the level of TwP. It would be depressing if we were not able to
keep our axiomatization within FOL, because there are weighty method-
ological reasons for staying within it; see, e.g., (5, Appendix), (35, sec.
11). However, we are saved: in our language there is a FOL axiom scheme
(nice set of axioms) called IND which is sufficient for our purposes. Axiom
scheme IND expresses that every non-empty and bounded subset of the
quantities which is parametrically definable in our language has a least
upper bound (i.e., supremum). IND is a first-order logic approximation of
the second-order logic continuity axiom of the real numbers, and it belongs
to the methodology developed in FOM and in reverse mathematics that
AxField strengthened with IND are strong enough for a FOL treatment of
areas involving the real numbers.
Together with this scheme AccRel− implies TwP, i.e., the following
theorem can be proved, see (23), (35):
How can a FOL axiom scheme be stronger than all the FOL formulas
valid in R? The answer is that IND is formulated in a richer language than
that of the reals, hence it can state more than the whole FOL theory of R.
If we assume IND only for formulas in the language of ordered fields, we
Vienna Circle and Logical Analysis of Relativity Theory 261
get an axiom schema equivalent to Th(R), see (35).6 Let us now introduce
our axiom system for accelerated observers as:
6 Actually, the restriction of IND to fields Q, +, ∗, < coincides with Tarski’s
FOL version of Hilbert’s continuity axiom for geometry, cf. (16, p.71, axiom
B5).
262 H. Andréka et al.
∀oxzyt W(o, o, x, y, z, t) → x = y = z = 0.
The modified version AxEv− of AxEv contains the following two state-
ments: (1) any observer coordinatizes the events in which it was observed
by some other observer, and (2) if observer o coordinatizes an event which
is coordinatized by observer o , then o also coordinatizes the events which
are near this event according to o . This can be summarized as follows:
AxEv− : Any observer coordinatizes the events in which it was observed;
and the domains of worldview transformations are open.
The modified versions of AxPh and AxSymd are achieved by localizing
and generalizing them, i.e., we get the modified versions by restating
these axioms only in infinitesimally small neighborhoods, but for every
observer. The idea that “GR is locally SR” also goes back to Einstein.
Our symmetry axiom AxSymd has many equivalent versions, see (5, sec.s
2.8, 3.9, 4.2). We can localize any of these versions and use it in a FOL
axiom system for GR. For aesthetic reasons here we localize AxSymt, the
version stating that inertial observers see each others’ clocks behave the
same way. So AxPh− and AxSymt− are the formalized versions of the
following statements:
AxPh− : The instantaneous velocity of photons is 1 in the moment when
they “meet” the observer who coordinatizes them, and any observer
can send out photons in any direction with this instantaneous ve-
locity.
AxSymt− : Meeting observers see each other’s clocks behaving the same
way, at the event of meeting.
Let us introduce the following simple axiom systems for general relativity:
GenReln := AxField, AxSelf − , AxPh− , AxEv− , AxSymt− , AxDiffn ∪ IND .
The following theorem illustrates that our axiom system GenReln captures
the n-times differentiable standard models of usual GR well.
Lorentzian manifolds are the intended models of GR, much the same
way as Minkowski geometry was the intended model of SR. Roughly, a
Lorentzian manifold is a geometry which at every of its points locally
looks like the Minkowski geometry, cf., e.g., (39, p.23).
Concluding Remarks
As it was the case with SpecRel, cf., (2)-(6), having obtained the stream-
lined axiomatization GenRel and its completeness for “usual” GR is only a
first step towards a logic based conceptual analysis of GR, its predictions,
alternatives or variants, answering the why-questions in a spirit which is
a natural continuation of the VC programme.
Bibliography
[2] Andai, A., Andréka, H., Madarász, J. X. and Németi, I., Visualizing some
ideas about Gödel-type rotating universes, in: M. Scherfner and M. Plaue,
eds., Gödel-type spacetimes: history and new developments, Springer, to
appear. arXiv:0811.2910v1.
[4] Andréka, H., Madarász, J. X. and Németi, I., Logic of space-time and
relativity theory, in: M. Aiello, I. Pratt-Hartmann and J. van Benthem,
eds., Handbook of Spatial Logics. Springer, 2007, pp.607-711.
[5] Andréka, H., Madarász, J. X. and Németi, I., On the logical structure of rel-
ativity theories. E-book, Alfréd Rényi Institute of Mathematics, Budapest,
2002. With contributions from Andai, A., Sági, G., Sain, I. and Tőke, Cs.
http://www.math-inst.hu/pub/algebraic-logic/Contents.html. 1312 pp.
Vienna Circle and Logical Analysis of Relativity Theory 265
[6] Andréka, H., Madarász, J. X., Németi, I. and Székely, G., Axiomatizing
relativistic dynamics without conservation postulates, Studia Logica 89, 2
(2008), pp.163-186.
[7] Andréka, H., Németi, I. and Wüthrich, C., A twist in the geometry of
rotating black holes: seeking the cause of acausality, General Relativity
and Gravitation 40, 9 (2008), pp.1809-1823.
[8] Carnap, R., Frank, P., Hahn, H., Neurath, O., Joergensen, J. and Morris,
C. (eds)., Unified Science. These works are translated in Unified Science:
The Vienna Circle Monograph Series Originally Edited by Otto Neurath,
Kluwer, 1987.
[9] Chang, C. C. and H. Keisler, J., Model theory. North-Holland 1973, 1977,
1990.
[10] Einstein, A., Über den Einfluss der Schwercraft auf die Ausbreitung des
Lichtes, Annalen der Physik 35, 10 (1911), pp.898-908.
[11] Einstein, A., Über die Spezielle und die Allgemeine Relativitätstheorie,
Verlag von F. Vieweg and Son, Braunschweig, 1921.
[18] Henkin, L., Monk, J. D., and Tarski, A., Cylindric Algebras Part II, North-
Holland, 1985.
[19] Henkin, L., Monk, J. D., Tarski, A., Andréka, H., and Németi, I., Cylindric
Set Algebras, Lecture Notes in Mathematics Vol 883, Springer Verlag, 1981.
266 H. Andréka et al.
[20] Hirsch, R., Einstein: Logic, Philosophy, Politics. Abstract for talk in “Logic
in Hungary, 2005”, Budapest, Hungary August 5-10, 2005. http://atlas-
conferences.com/cgi-bin/abstract/caqb-48
[22] Madarász, J. X., Logic and Relativity (in the light of definability theory).
PhD thesis, Eötvös Loránd Univ., Budapest, 2002. http://www.math-
inst.hu/pub/algebraic-logic/diszi0226.pdf.gz
[23] Madarász, J. X., Németi, I. and Székely, G., Twin paradox and the log-
ical foundation of relativity theory, Foundations of Physics 36, 5 (2006),
pp.681-714.
[24] Madarász, J. X., Németi, I. and Székely, G., First-order logic foundation of
relativity theories, in: D. M. Gabbay, S. Goncharov and M. Zakharyaschev,
eds., Mathematical problems from applied logic II. Springer, 2007, pp.217-
252.
[25] Makkai, M., Duality and definability in first order logic, Memoirs of the
American Mathematical Society No 503, Providence, Rhode Island, 1993.
[26] Mikulás, Sz., Németi, I. and Sain, I., Decidable Logics of the Dynamic
Trend, and Relativized Relation Algebras. In: L. Csirmaz, D. M. Gabbay
and M. de Rijke, eds., Logic Colloquium’92, Studies in Logic, Language
and Computation, CSLI Publications, 1995. pp.165-175.
[28] Németi, I. and Dávid, Gy., “Relativistic computers and the Turing bar-
rier”, in: Applied Mathematics and Computation 178, 1 (2006), pp.118-142.
[29] Neurath, O., Carnap, R. and Morris, C. (eds), Foundations of the Unity of
Science. The university of Chicago Press, Series: Foundations of the Unity
of Science: Toward an International Encyclopedia of Unified Science. Vol.s
1 and 2. 1971.
[32] Robb, A. A., A Theory of Time and Space. Cambridge University Press,
1914.
[33] Szabó, L. E., Empirical foundation of space and time. In: M. Suárez, M.
Dorato and M. Rédei, eds., EPSA; Epistemology and Methodology: Launch
of the European Philosophy of Science Association Proceedings of the First
Conference of the European Philosophy of Science Association, Madrid,
Spain, November 14-17, 2007, Springer, 2009.
[36] Tarski, A., What is elementary geometry?, In: L. Henkin, P. Suppes and
A. Tarski, eds., The axiomatic method with special reference to geometry
and physics, North-Holland, 1959, pp.16-29.
[37] Tarski, A., and Givant, S. R., Tarski’s system of geometry, Bulletin of
Symbolic Logic, 5, 2 (1999), pp.175-214.
[39] Wald, R. M., General Relativity, The University of Chicago Press, 1984.
László Kalmár1
1 Kalmár’s lecture was first published in the 1942 yearbook of the Exodus
Working Group (a group of young Calvinist intellectuals influenced by the
ideas of Sándor Karácsony a professor of pedagogy). It was reprinted in a
volume of Kalmár’s popular and philosophical writings entitled Integrállevél
[Letter on Integral] (ed. Antal Varga, Budapest: Gondolat, 1986). The
present translation is based on the 1986 edition and is published here with
the kind permission of Éva and Zoltán Kalmár. One of Kalmár’s remarks,
concerning Hungarian mathematical terminology, has been omitted and
marked with . . . Note by the editor.
270 László Kalmár
1.
The point of departure for our journey is the intuition. Everyone accepts
that our geometrical concepts – like point, line, surface, direction, angle,
length, area, volume, etc. – derive from the contents of intuition. If we
The Development of Mathematical Rigor 271
consider things closely, we realize that the same holds for the concepts
of arithmetic, too: five chalks, half an apple – these denote clear con-
tents of intuition. But there is general agreement among experts that
certain rather abstract concepts of mathematics have nothing whatsoever
to do with intuition. Set theory is perhaps the most abstract branch of
mathematics; it deals with collections, sets of arbitrary objects, elements;
nonetheless, at the most rudimentary level of concept formation, we imag-
ine sets intuitively, as though they were like sacks into which someone has
put their elements. Those who still remain unconvinced that every math-
ematical concept arises out of intuition – who else could these doubters
be but mathematicians dealing with a very abstract subject matter, like
mine? – should recall when they understood a concept that had been con-
strued abstractly, or when they created a new concept: they must have
caught themselves – at least temporarily – considering the concepts intu-
itively, “heuristically”, only later dressing them up again in their abstract
form.
The intuitive level consists in concepts’ being associated with a vivid,
transparent picture; various properties of the concepts can be read off
this picture. The “laypeople” content themselves with recognizing only
the properties that are directly evident; mathematicians are different –
they want to explore even those properties that have greater complexity,
that are not directly transparent. To this end, they employ their logic:
via logical steps, they strive to trace back the more complex aspects to
directly transparent facts. At this stage, mathematical proof consists
precisely in this process of tracing back the concepts.
Through employing logic in this way, mathematicians come to realize
that the concepts that provide an exact match for the intuitive picture
lack sufficient logical manageability; through abstraction, they therefore
construct new, logically simpler concepts. Laypeople also accept that
the concept of a point without dimensions is far more manageable than
the ever-different chalk mark that the point had originally meant at the
intuitive level They likewise opt for the number five itself (that is, the
picture of five arbitrary objects, objects whose nature is of no interest
to us) over five apples or my five fingers. For the concept we arrived
at through abstraction, we still retain an associated picture, even if it is
less colorful than the original, many properties of which we have since
disregarded. But at this stage, we are still careful not to break away
272 László Kalmár
2.
The major incentive that prompts us to break away from the intuition
is, I think, the fact that humans, including mathematicians, are social
creatures. They like to communicate to others what strikes them as in-
teresting and notable. This is when they are in for the first round of
disappointments. It turns out that what is obvious to me based on my
intuition might inspire a puzzled look from others. This is perhaps due to
the fact that their intuition is not as developed, or is more developed in a
different direction than mine; perhaps it is because they are more acutely
critical with respect to logical reasoning. This is how I come to realize
that my intuition is filled with subjective elements.
The easiest way to handle this is by listing, before presenting a cer-
tain idea, the concepts and the properties of those concepts to which I will
refer as evidently given by my intuition. Those to whom I am presenting
my proof can examine these one by one, check them against their own
intuition, to see whether they likewise find clear what these “basic con-
cepts” mean, and whether they likewise find these “basic truths” evident.
Only after they have accepted all this will I consider the more complicated
concepts on which my idea relies, tracing them back via logical steps to
The Development of Mathematical Rigor 273
the basic concepts, thus defining the complex concepts; only then will I
consider the more complicated truths that are my target, tracing them
back to the basic truths (also called axioms), thus proving the complex
truths. This process is the simplest version of the axiomatic method.
If some basic concept of mine is not immediately clear to my “part-
ners”, I try to trace it back, via logical steps, to even simpler concepts
that they do find clear; if they do not accept an axiom of mine as evident,
I try to trace it back, via logical steps, to truths that they do find evident.
If I do not succeed in this, I have no choice but to give up on getting my
idea across. (Perhaps it was such experiences that led Euclid, the Greek
mathematician to axiomatize geometry for the first time, to distinguish
between axioms and postulates. The former – which Euclid called koinai
ennoiai, that is, shared contents of intuition – are the basic truths that are
evident to everyone; the latter – aitemata, that is, requirements – impose,
in a way, a measure on those who strive to understand Euclid’s proofs;
the proofs are not intended for those who fail to meet the requirements,
that is to say, do not accept the postulates.)
It is well to observe that even in this most rudimentary form, the
axiomatic method requires that I silence the call of my intuition in two
ways. First: if my partners do not accept one or another of my axioms (or
basic concepts), I provide a proof (or definition) for my audience’s sake,
even though my intuition suggests that no proof (definition) is needed.
Second: after we have enumerated the basic concepts and axioms I give
further definitions and proofs in a purely logical fashion, still without
reference to the intuition. For example, if I have agreed with my partners
that we find it mutually clear what we mean by the area of a polygon, and
that we also find it mutually evident that (i) the area is always a positive
number; (ii) the area of the part is smaller than the area of the whole;
(iii) if I cut a polygon into two parts with a straight line, then the area of
the whole equals the sum of the areas of the two parts; (iv) two congruent
figures have the same area; (v) the area of the unit square is one (because
we have selected this as our area measurement unit), then I deduce from
these axioms the equations for the area of the rectangle, the triangle, and
the trapezoid without making reference to further intuition-based truths,
however forthcoming these might seem.
Nonetheless, at this stage, I still remain in close contact with the in-
tuition. I am being led by my own intuitive pictures (and my partners
274 László Kalmár
are led by their own) during the process of selecting the axioms and car-
rying out the proofs; basically, we are still thinking intuitively, but with a
common starting point: with the system of axioms and the shared path –
with logic, that is – we ensure that we are proceeding in parallel, arriving
at the same place. We can therefore call this developmental stage the
intuitive axiomatic approach.
At this stage, the process of abstraction continues, fostered by the
axiomatic method, because through the axioms, we can provide conve-
nient and clear characterizations of the concepts developed through the
abstraction process.
System construction is also fostered by the axiomatic method. At the
intuitive level, we have already compiled theorems and problems based
on the outward similarity of their subject matter; this is how we have
talked about theorems of geometry, questions of arithmetic. In connection
with the axiomatic method, we realize that while proving theorems about
similar subject matters, by and large, the same axioms are needed, and
from then on, the theorems are compiled into individual systems (for
example, elementary geometry, arithmetic, calculus), each of which we
prove with a common set of axioms.
3.
There is yet another reason – besides the urge to communicate our ideas –
keeping us from remaining at the intuitive level, from regarding our intu-
itive concepts as final. In order to set aside the urge to communicate, let
us imagine a mathematician living a Robinson Crusoe-like existence on a
deserted island. His intuitive concepts have developed, he seeks out their
hidden aspects, he abstracts away. He thus reaches general concepts and
about these, general theorems. Another characteristic of mathematicians
is that they like applying their general theorems to special cases. While
they are thinking of the general concept, what they observe is the clear
“core” of the concept. For example, as a general triangle, they think of
various triangles with sides not too great or too small; as a continuous
curve, they think of a nice and smooth line. Sometimes they have to apply
the theorems to an unusual case, for example, to an extremely elongated
triangle, or to a spiral line that rotates around a point infinitely many
times. In the former case, it is beyond doubt that the triangle with the
The Development of Mathematical Rigor 275
very acute angle is still a triangle; in the latter case, the mathematicians
might be puzzled whether they really have at hand a continuous line.
They thus realize that specific intuitive concepts possess varying degrees
of distinctness. People experience the arithmetic concepts as the most
clearly distinct ones; these are what provide paradigms for distinguishing
our other concepts.
With the axiomatization itself, we have not yet obtained distinct con-
cepts; but the axiomatization suggests a path towards a solution – and
now recall yet again the “social” mathematicians, who are also striving
for neatly distinguished concepts. If we want to apply an axiomatically
proven property of a general concept to a special case (perhaps we want
to introduce the square root based on the theorem that an increasing
continuous function can always be inverted), we do not necessarily have
to prove that the special case belongs under the general concept, which
is perhaps not yet distinguished clearly (for example, whether x2 is a
continuous function in the intuitive sense); instead, we will only need to
see if the special case has the properties of the general concept that are
expressed in the axioms used within the proof. In the case of numerous
applications, it is worth giving a name to the concept characterized by
these axioms; ordinarily, the name that sticks is the one that was origi-
nally used for the intuitive concept. (An example of this is the concept
of a continuous function. Originally, this concept designated an intuitive
concept for us: a function whose curve can be drawn up without a break.
This intuitive concept has several other properties beyond those that we
require today of the “rigorous” concept of a continuous function, that is,
those properties that we need in constructing a theory of continuous func-
tions. Today, mathematicians call those functions continuous that have
these properties.)
With this, we have already covered the next segment of the road
ahead; we are at the stage of the abstract axiomatic approach. Our basic
concepts are no longer based on intuition, but they are simply undefined
concepts about which the only knowledge we have is that they satisfy the
axioms; the axioms do not serve to express evident truths, instead, they
specify conditions that characterize the basic concepts. This way, the
basic concepts are, to a certain extent, indeterminate; they could mean
anything that satisfies the axioms. For example, area could mean any-
thing that satisfies the list of five properties. Or consider the concept of
276 László Kalmár
direction; through this, we can easily trace the road covered thus far. At
the intuitive level, we could, without giving it a second thought, use the
concept of direction, because everyone knows already what the direction
of a straight line is supposed to mean. . . . At the stage of the intuitive ax-
iomatic approach, we still understand direction as being this concept that
is clear to everyone, but we also establish that it is evident to everyone
that (i) parallel straight lines have the same direction, and that (ii) inter-
secting straight lines have distinct directions; in our thoughts concerning
lines, we employ these two properties of direction only, and they prove to
be sufficient. At the stage of the abstract axiomatic approach, direction
no longer carries for us its original intuitive content, but anything that
is the same in the case parallel straight lines, and different in the case of
intersecting straight lines; for everything that we have proven based on
these two properties will be valid for anything of the sort. We already
see from these overly simple examples that the indeterminacy of the basic
concepts is partly intentional: the more concepts satisfy the axioms, the
wider the scope of application of the theorems we have proven based on
those concepts. On the other hand, modern research on axiomatic method
has brought the result that this indeterminacy is far more extensive than
it might appear at first glance: the axiomatic systems are satisfied by sys-
tems of concepts (models) that have diverse contents, or that have diverse
structures; by themselves, the axioms are never sufficient to help us re-
solve each and every problem associated with the concepts characterized
by those axioms. But a detailed account of this line of research would
take us too far afield.
At the stage of the abstract axiomatic approach, new abstraction pos-
sibilities emerge. Mathematicians often experience the surprising phe-
nomenon when concepts deriving from quite diverse contents of intuition
turn out to share properties. (Consider, for example, the analogy between
arithmetic equality and geometric congruence.) The axiomatic method
often reveals the reason behind this phenomenon: the shared properties
could be due to the fact that there are shared axioms characterizing the
concepts in question, and to prove the shared properties, these shared
axioms are already sufficient. Because we no longer insist on deriving our
concepts from intuitive pictures, we can construct an abstract concept
that is exactly what the shared axioms characterize. This is how we get
the concept of an “equivalence relation”: through abstraction from the
The Development of Mathematical Rigor 277
4.
In principle, however, we could go even further in breaking away from
the intuition. So far, even when we characterized our concepts in terms
of axioms rather than contents of intuitions, we still continued to work
with contentful concepts; our theorems expressed properties of these con-
cepts. For this reason, the sort of axiomatic approach characterized up to
this point can be called content-based axiomatic approach. By contrast,
the standpoint of the formal axiomatic approach is that our concepts are
without content, names for them (or symbols – for often, mathematicians
introduce symbols rather than words for their concepts) are toys, just like
chess pieces; the axioms are not intended for characterizing the meanings
of concepts, but for specifying which are the theorems of our system. For
example, according to the content-based (abstract) axiomatic approach,
the Peano axioms of arithmetic serve to characterize the basic concepts
of 1, of (natural) number, and of succession; for these mean things for
which it holds that (i) 1 is a number; (ii) the successor of any number
is itself a number; (iii) distinct numbers have distinct successors; (iv) 1
is not a successor of any (natural) number;2 (5) any property of 1 that
is “inherited” from a number to its successor is a property of all natural
numbers. According to the formal axiomatic approach, 1, number, and
succession are symbols without meaning, the five axioms listed are combi-
nations of these that likewise lack meaning; theorems are any meaningless
combination of symbols gotten from the axioms via certain procedures
(that is, through logical inference). The axiomatic system thus plays a
role similar to the initial position in a chess game, while the logical rules
are similar to the rules of chess. It is easier to formulate them precisely if
we use symbols instead of words for the concepts. As a result, the axioms
and the theorems become formulae; for this, we just need to add a cou-
ple of symbols, especially for logical relations, in addition to the symbols
generally used in mathematics.
It holds even more so for the formal axiomatic approach that it is
given in principle only; in reality, pursuing it for its own sake would be
2 Kalmár does not regard 0 a natural number. Note by the editor.
The Development of Mathematical Rigor 279
5.
For this reason, we can exclude the formal axiomatic approach from the
developmental path; one segment of our journey is still ahead of us, how-
ever. We can reach it by following the principle of the economy of thought.
This principle is already prevalent at the intuitive axiomatic level: via
logic, I aim to trace back some of my axioms to others so that my “part-
ner” has fewer axioms to check. This means that I have to prove some
things that are evident to me as well as my partner. For example, in the
case of area, via a logical proof based on several axioms, I can prove that
the area of the part is smaller than the area of the whole; this way, I can
spare one axiom. It also follows from the just mentioned principle that if
possible, I define a basic concept with the help of the others, even if it is
clear to both me and my partner what the concept means.
The abstract axiomatic approach affords new opportunities for econo-
mizing on our axioms. If we manage to use the concepts of an already set
up system to construct new concepts that could replace the basic concepts
of a second system, satisfying the axioms of that system, then we have
economized on the basic concepts and the axioms of this second system:
instead of its basic concepts, we use the concepts we have constructed with
the help of the concepts of the first system, so the axioms of the second
system become theorems provable in the first system. For we have al-
ready accepted the view that the basic concepts can mean (independently
of their original intuitive content) anything that satisfies the axioms; they
280 László Kalmár
6.
This developmental path is covered roughly the same way by every math-
ematician, some of them do so more consciously than others. The trigger-
ing causes for rising from one level to the next can vary by individual, of
course. If I have reached a certain level with respect to one system, and
there I see the advantages of the axiomatic approach, I can then axioma-
tize another system based on that example, even if I do not have a specific
triggering cause for it; this is how mathematicians arrived at the thought
of axiomatizing arithmetic based on the example of geometry. And we
were driven to axiomatize set theory because the intuitive, so-called naı̈ve
set theory turned out to be contradictory.
We see that development leads to increasingly more rigorous systems
of concepts. At the intuitive level, I was still working with subjective
concepts. At the intuitive axiomatic level, I have already specified, in a
way acceptable to others, which of these concepts we are allowed to use,
but the subjective component inherent in the intuitive concepts remained.
At the abstract axiomatic level, I characterized concepts objectively, by
means of axioms, but their indeterminacy still permitted that within the
bounds of the axioms, our understanding of the concepts vary from one
person to the next. At the level of model construction, the indeterminacy
is already disappearing.
For the sake of rigor, however, we gradually sacrifice intuitiveness. At
the intuitive axiomatic level, once I have specified the axioms, I stifle the
call of intuition as I prove things that are evident based on my intuition
(either because they are not evident to my partner, or in order to mini-
mize the number of axioms needed). At the abstract axiomatic level, at
the outset, I already reject the guidance of intuition. And at the level of
model construction, I start out with definitions that go directly against my
intuition. Yet throughout, intuition has remained an indispensable tool in
research; even for our most abstract concepts, we subsequently developed
282 László Kalmár
7.
Now, however far we have gotten in this developmental process, and what-
ever our opinion might be about the steps ahead, we must realize that if
we want to introduce others to mathematics, we must help them so they,
too, can follow along this path, for it is only through these levels that
they can reach our position. For we are the same way in that when we are
presented with something new in axiomatic style, we understand it only
after we have found an intuitive meaning to attach to the subject, and
how we get from that intuitive meaning to the axiomatic form presented.
In secondary school, we mostly stay at the intuitive level; a summary,
a revision, or preparation for the final examinations might provide op-
portunities for rising to the intuitive axiomatic level. In higher levels of
mathematics education, we do nonetheless have to walk the entire path
from intuition to the abstract axiomatic approach, and even to model
construction.
The easiest way to convey how I think about this is by describing a
method that is diametrically opposite to mine. In fact, there are two such
methods. One of them – remaining at the intuitive level – is generally
considered obsolete today; for this way, we would have to forgo conveying
The Development of Mathematical Rigor 283
class only to fulfill the attendance requirement, and even then, they are
sitting in the last rows and are diligently studying (I am guided by good
faith here!) – some other subject. Once they have to apply mathematics,
it will turn out that they attended my lecture in vain.
The “teacher candidates” know all too well that mathematics lec-
tures are important to them, they are quite interested, too; I cannot hold
it against them that they are trying to understand my lecture. And this
consists in their trying to extract the intuitive contents from the axiomatic
concepts. What else would they do: we do the same when we are try-
ing to understand something. And once they succeed, they are in for
a disappointment: using a sizable axiomatic apparatus, I prove for them
something that would be evident based on the intuitive content extracted.
They think: maybe continuous function means something other than what
they had thought after all, for then no proof would be needed to show
that a continuous function that is positive at some point and negative at
another must in the interim have the value zero, for that much should be
evident! I end up in the same place if I adhere to the fashionable slogan of
“intuitive teaching”, divide up the blackboard, and on one side, I make the
theorem intuitive through a diagram (for example, Rolle’s theorem), and
on the other side of the blackboard, I axiomatize as though the diagram
was not there at all (telling the students that now I am proving the same
thing “rigorously”). Upon seeing the diagram, the students’ faces light
up, they understand what I am talking about; but upon hearing about
the axiomatization, they lose heart, thinking: apparently they were mis-
understanding something after all, for else why would all this be needed?!
And by the time they hear that there is a continuous curve that does not
have a tangent anywhere, they give up the battle, and give up on being
able to understand these concepts, and reconcile themselves to the idea
that abstract things have to be accepted in an abstract way, definitions
must be memorized, for those who do not do so will fail the exam. No
wonder then that they cannot subsequently apply the theorems they had
memorized so precisely; their major bogeyman is the specialized teaching
examination.3 And when they become teachers, they relearn from a good
or a bad textbook what they have to teach; or worse, they might pull out
their university notes and based on those, would try to teach secondary
school students about the Dedekind cut, in order to “teach rigor” to the
students.
The “mathematicians” enjoy my lectures, delighting in the splendid
logical construction. Of course they are, for mathematics has been a
passion of theirs in secondary school already, like soccer, stamp collection,
or detective novels were for others. In their spare time, and even in
place of studying other subjects, they would be absorbed in books about
mathematics, solving problems. They have gotten past the intuitive level
on their own. During their university career, we would present to them the
finished results of mathematics in an elegant form. They are extremely
fascinated by this and can hardly wait to create something similar for
themselves. And when they set out to do so, they are in for a huge
disappointment. However much they might be interested in a problem,
a neat, smooth solution just does not want to fall out of the sky. They
become disheartened, “it looks like I am not talented enough”, they think.
Out of exasperation, they take off and pursue a doctorate in philosophy.
Or, if they are so interested in mathematics that nowhere else do they feel
at home, they stick with the problem, but retain the bitter feeling that
they have been cheated by me, for I have not shown them how others
came to discover any of those things, how it is that one can make such
discoveries. At long last, after much difficulty, they reach an independent
result; they describe it as they see it, for I have not taught them how
you put into a rigorous format what is heuristically formulated. And
then of course I criticize them, saying their writing is not accurate, and
am surprised that their piece is not fit for print even after the third and
fourth draft; and I do not acknowledge that I am the one who caused all
this.
For the sake of clarity, I exaggerated, drew a caricature. I realize
that hardly anyone in Europe would give an extreme axiomatic lecture;
reality is a mixture of the axiomatic approach and the method I described
above. I also realize that even with the worst method, there are still good
chemists and good teachers being trained, and the born mathematicians
still become scholars. But what is the point in mixing bad into the good,
when we could present the good in its pure form? Why should our students
learn despite our method when we could educate them correctly instead?
286 László Kalmár
Yet again, I will use elements from calculus to illustrate how I conceive
of the correct method in practice. Dividing the material into chapters
(limits, continuity, differential calculus, integral calculus) is quite useful
for educational purposes; we can keep it roughly the same. But we must
begin each chapter with a plethora of examples, and from these, we can
create the intuitive concepts: the real number is the measure of distance;
a continuous function can be drawn as a curve without a break (intersect-
ing each ordinate line at one point only); the value of the differential is
the slope of the tangent, etc. The theory of limits we can go over while
at the intuitive level still, because the axiomatization and arithmetiza-
tion of the concept of a real number is a difficult task for beginners; at
the early stages of the lecture, we would find it hard to explain what is
their purpose. We can return to this at the end of the lecture, once we
have seen the utility of axiomatization on other examples; then we can
pose the question: couldn’t we axiomatize the concept of a real number
in a similar fashion. But it is also quite alright if this is left to a sepa-
rate lecture in which we give an axiomatic construction for the concept of
number starting with the integers. In the theory of continuous functions,
axiomatization readily suggests itself; the intuition about continuity in-
cludes boundedness and there being values between any two values of the
function, as well as the idea that a sufficiently small change δ in an inde-
pendent variable can yield an arbitrarily small change ε in the value of the
function; but if we want to prove a specific function to be continuous, it
would be inconvenient to prove every one of these properties (and it is un-
certain whether these would then provide an exhaustive characterization
of the intuitive concept of continuity); it is therefore important to know
that from the last property, all others follow logically. Because for our
purposes, from the perspective of future applications, the only thing that
matters is whether the above mentioned properties (and a few others that
follow from them) obtain or not, we agree that we will henceforth call those
functions continuous that bear this property in terms of ε and δ. At this
point, it is worth making students realize that we have here replaced the
original intuitive concept with one that is intentionally broader but is also
more manageable logically and arithmetically. This way, at the very least,
our students will not be surprised upon hearing about functions that are
everywhere continuous and nowhere differentiable, but they will instead
consider this phenomenon for what it really is: namely, that continuous
The Development of Mathematical Rigor 287
functions are no longer just those curves that can actually be drawn. In
subsequent chapters, we remain in close contact with the intuition; for
example, for Rolle’s theorem, we extract a rigorous proof (which I would
prefer to call ‘axiomatic proof’) out of the intuitive proof. The concept of
a definite integral provides an excellent occasion for arithmetization: after
we have given an intuitive proof to the effect that the differential of the
area underneath the curve is the ordinate and we establish which intuitive
characteristics of the area have been used in this proof, we construct an
arithmetical expression that bears these characteristics (but to this end,
we still draw our ideas from the intuition).
In this manner, we grant intuition the place it deserves, without com-
promising rigor. We get even the “chemists” to understand what we are
talking about; if we schedule the available time cleverly, we can build up
weekly lectures so that part of each class is spent with intuitive discussion,
while the other part, with making concepts more rigorous, or, when this is
not possible, we provide interesting, but purely theoretical applications;
we can allow the “chemists” to skip these latter classes. The “teacher
candidates” will understand how the rigorous discussion grew out of the
intuitive content: they will recognize, from a higher perspective, the in-
tuitive facts that can be utilized in secondary schools as well. And the
“mathematicians” will learn how they can see concepts intuitively dur-
ing the creative process, and how they can present in a rigorous manner
what they have discovered intuitively. Our students will develop a greater
appreciation of the achievements of Cauchy, Weierstrass and Dedekind if
they see how these mathematicians arrived at rigorous and handy defi-
nitions of the basic concepts of calculus, if they recognize the amount of
intellectual energy that went into each definition, rather than beginning
the discussion with the finished definition.
In my examples, I have been one-sided, confining myself to elements of
calculus; mathematicians can individually think over how these principles
can be implemented in other introductory lectures. Of course, in higher
courses, one does not always have to or is able to go back to the intuition;
once our students have gotten to know the axiomatic method, they can
understand more easily in other cases, too, what it is about. However,
with a small amount of extra effort, we can always present things in such
a way that we honestly reveal how we came to realize those things, or how
we could have come to realize them, and we could wait until later to cast
288 László Kalmár
the theory in its final form. It is not at all a problem – in fact, it is a good
thing – if our students eventually come away with the impression: this
was no big deal, I could have arrived at it myself. It also fits better with
the scientific perspective if we present the process of development rather
than the axiomatic theory in its finished form; for it is not the latter that
expresses the present state of science, but the fact that this is where the
developmental path has led us.
Gergely Ambrus
Associate professor of philosophy at the University of Miskolc, Hungary.
He studied physics, aesthetics and philosophy at the Eötvös Loránd Uni-
versity in Budapest. Besides Miskolc University, he also taught at the
Eötvös Loránd University and at the University of Liverpool. His re-
search centers on the philosophy of mind and the history of analytic phi-
losophy, with an emphasis on the Vienna Circle, logical empiricism, and
the origins of analytic philosophy; he is also interested in metaphysics and
the philosophy of science. He published a book on the current debates
on consciousness (The Metaphysics of Consciousness, Budapest, 2007) a
book-length essay on the history of analytic philosophy, as well as papers
on personal identity, the self, perception, the mind-body problem, the
metaphysics of modalities, and topics from Russell, Carnap, Feigl, Bran-
dom. Currently he is working on a larger project about the philosophy of
psychology of logical empiricism.
Hajnal Andréka
PhD with Faculty of Mathematics, Eötvös Loránd University Budapest
1975, Doctor of Science with the Academy 1992. Has been working in
Rényi Institute of Mathematics of the Hungarian Academy of Sciences
since 1977, presently as head of department. Member of the Executive
Board of European Foundation for Logic, Language and Information 1991-
1997, member at large of the Council of the Association of Symbolic Logic
1999-2001. Close working connection with Tarski’s research school in
algebraic logic and logic in general, joint books: [Henkin, L., Monk, J. D.,
Tarski, A., Andréka, H., Németi, I.: Cylindric Set Algebras, Lecture Notes
in Mathematics 1981], [Andréka, H., Givant, S. R., Németi, I.: Decision
problems for equational theories of relation algebras. Memoirs of Amer.
Math. Soc. 1997]. Over 150 research papers in leading scientific journals.
Research interests: mathematical logic, relativity theory, foundations of
mathematics.
Károly Kókai
Geboren 1959 in Budapest, lebt seit 1981 in Österreich, Studium der
Philosophie und Kunstgeschichte an der Universität Wien, Lehraufträge
296 Die Autorinnen und Autoren / The Authors
Ladislav Kvasz
Graduated in 1986 in mathematics at the Comenius University in Brati-
slava. After 1989 he began graduate studies in philosophy at the Comenius
University in Bratislava. In May 1995 he defended his thesis “Classifica-
tion of Scientific Revolutions”. Since 1986 he has been employed at the
Faculty of Mathematics and Physics of Comenius University, Bratislava
as a lecturer. In 1993 he won the Herder Scholarship and spent the aca-
demic year 1993/94 at the University of Vienna studying philosophy of the
Vienna Circle and of Wittgenstein. In 1995 he won the Masaryk Schol-
arship of the University of London and spent the year academic 1995/96
at King’s College London working with professor Donald Gillies. In 1997
he won the Fulbright Scholarship and spent the summer term of the aca-
demic year 1998/99 at the University of California at Berkeley, working
with Professor Paolo Mancosu. In 2000 he won the Humboldt Scholarship
and spent the years 2001 and 2002 at the Technical University in Berlin
working with Professor Eberhard Knobloch. His research has been in the
history and philosophy of mathematics, with particular interest in its cul-
tural background in arts, literature, and theology. He was the co-editor
of Appraising Lakatos (Kluwer 2002) and author of Patterns of Change
(Birkhauser 2008).
Judit Madarász
Research fellow at Alfréd Rényi Institute of Mathematics (Budapest) since
1998. Main fields of interests: foundations of relativity theories, logic,
algebraic logic. University: Eötvös Loránd University Budapest, 1990–
1995. PhD Dissertation: Logic and Relativity in the light of definability
theory (written in 2002, degree awarded in 2003).
András Máté
Studied mathematics and philosophy at the Eötvös University Budapest
(Hungary). He began his research in logic and its history as an assis-
tant of Imre Ruzsa. He is currently associated professor of logic at the
Philosophical Institute of the Eötvös University. He made his PhD (CSc)
at the Hungarian Academy of Sciences about Plato and Frege. His re-
search interests include history of logic and semantics (semantical ideas
Die Autorinnen und Autoren / The Authors 297
István Németi
PhD with Faculty of Mathematics, Eötvös Loránd University Budapest
1978, Doctor of Science with the Academy 1987. Has been working in
Rényi Institute of Mathematics of the Hungarian Academy of Sciences
since 1977, presently as scientific advisor. Szécheny Professorship 2000–
2003. Longer scientific visits: University of Waterloo (Canada) 1983, Iowa
State University (USA), University of California at Berkeley (USA), Uni-
versity of Boulder (USA) 1988, Banach Mathematical Center in Warsaw,
Poland 1991, University of Amsterdam (The Netherlands) 1998. Close
working connection with Tarski’s research school, joint book: Henkin, L.
Monk, J. D., Tarski, A., Andréka, H., Németi, I.: Cylindric Set Algebras,
Lecture Notes in Mathematics, 1981. Over 150 research papers in leading
scientific journals. Research interests: logic, mathematical logic, relativity
theory, foundations of science.
Péter Németi
Active member of the Algebraic Logic seminar of the Rényi Institute of
Mathematics, Budapest. Background: information technology, computer
science. Recent research interests: relativistic hypercomputing, relativity
theory, cosmology, logic.
Some recent work:
General relativistic hypercomputing and foundation of mathematics. Nat-
ural Computing 8,3 (2009), 499-516. With Andréka, H. and Németi, I.
A logic road from special relativity to general relativity. Synthese, invited
paper. With Andréka, H., Madarász, J. X., Németi, I. and Székely, G.
Relativistic hypercomputing. Physical Realisticity. Presentation at the
conference Unconventional Computation 09, Azores, September 2009.
With Andréka, H. and Németi, I. 63 dias.
Breaking the Turing barrier via GR. Relativistic hyper computing. Invited
talk at Physics and Computation, Workshop in Unconventional Compu-
tation 08 (UC08), Vienna, August 25-28, 2008. With Andréka, H. and
Németi, I.
298 Die Autorinnen und Autoren / The Authors
Miklós Rédei
Szechenyi Professor of Philosophy (ELTE Budapest) 1999–2002. Cur-
rently Lecturer in Philosophy at the Department of Philosophy, Logic
and Scientific Method, London School of Economics and Political Science.
Research interests: Foundational and philosophical problems of modern
physics, quantum logic, general issues in philosophy of science. Publica-
tions include: (Editor) John von Neumann: Selected Letters, History of
Mathematics, vol. 27 (American Mathematical Society and London Math-
ematical Society, 2005); (Editor with M. Stöltzner) John von Neumann
and the Foundations of quantum Physics, Kluwer Academic Publishers,
Dordrecht–Boston–London, 2001; Quantum Logic in Algebraic Approach
(Fundamental Theories of Physics, vol. 91), Kluwer Academic Publishers,
Dordrecht–Boston–London, 1998; Introduction to Quantum Logic, Eötvös
University Press, Budapest, 1995. Papers (selection): “Quantum Proba-
bility theory” (with S. J. Summers), Studies in the History and Philosophy
of Modern Physics (forthcoming); “The birth of quantum logic”, History
and Philosophy of logic 28 (2007), 107-122; “Reichenbachian Common
Cause Systems of arbitrary finite size exist” (with G. Hofer-Szabo), Foun-
dations of Physics Letters 35 (2006), 745-746.
Wolfgang L. Reiter
Born 1946 in Bad Ischl, Austria, Honorary Professor at the Faculty of
Historical and Cultural Studies of the University of Vienna, co-founder
and vice president of the Erwin Schrödinger International Institute for
Mathematical Physics, studied physics, mathematics and philosophy and
received his Ph.D. degree in nuclear physics from the Institut für Radi-
umforschung und Kernphysik at the University of Vienna in 1974. Until
recently he was director of the natural sciences unit at the Austrian Fed-
eral Ministry for Education, Science and Culture. His interests are in the
history of physics and the forced emigration of scientists from Austria.
Friedrich Stadler
Professor für History and Philosophy of Science an der Universität Wien.
Begründer und seitdem wissenschaftlicher Leiter des Instituts Wiener
Kreis. Gastprofessuren an der Humboldt-Universität Berlin und an der
University of Minnesota (Minneapolis), zuletzt 2006/07 Fellow am Helsinki
Die Autorinnen und Autoren / The Authors 299
László E. Szabó
Born 1954, Hungarian physicist and philosopher. He studied physics and
philosophy in Budapest; PhD (physics) in 1985. He received Habilitation
(philosohy) in 2004; DSc (philosophy) in 2005. For a long period he had a
position at the Department of Theoretical Physics at Eötvös University in
Budapest. Recently he is a professor of philosophy at the Department of
Logic in the Institute of Philosophy of Eötvös University. His main field
of interest is philosophy of science; in particular, the philosophy of space
and time, causality, the EPR–Bell problem and foundations of quantum
mechanics, determinism vs. indeterminism, interpretation of probability,
and a physicalist account of mathematics.
Gergely Székely
Master’s degree in Mathematics at Eötvös Loránd University, Budapest
in 2004. PhD in Mathematics at Eötvös Loránd University, Budapest
in 2010. Working in Rényi Institute of Mathematics of the Hungarian
Academy of Sciences since 2008, presently as an assistant research fellow.
Member of “Logic and Relativity theory” research school led by Haj-
nal Andréka and István Németi since 2003. Both his Master’s and PhD
dissertations are in this field with titles “A First-Order Logic Investiga-
tion of the Twin Paradox and Related Subjects” and “First-Order Logic
Investigation of Relativity Theory with an Emphasis on Accelerated Ob-
servers,” respectively. 8 publications, among others in Studia Logica and
Foundations of Physics, 11 talks in international conferences, 4 of which
were invited ones. Research interests: mathematical logic, foundations of
spacetime theories, relativity theory.
300 Die Autorinnen und Autoren / The Authors
W
Wien, Österreich, Fax +43.1.330 24 26, order@springer.at, springer.at
Heidelberg, Deutschland, Fax: +49.6221.345-4229, orders-HD-individuals@springer.com
Preisänderungen und Irrtümer vorbehalten. *Unverbindliche Preisempfehlung.
SpringerPhilosophie
W
Wien, Österreich, Fax +43.1.330 24 26, order@springer.at, springer.at
Heidelberg, Deutschland, Fax: +49.6221.345-4229, orders-HD-individuals@springer.com
Preisänderungen und Irrtümer vorbehalten. *Unverbindliche Preisempfehlung.