Heinrich Behmann (1891-1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved - independently of Löwenheim and Skolem's earlier work - the decision problem for monadic second-order logic in a framework that combined elements of the algebra of logic and the newer axiomatic approach to logic then being developed in Göttingen. In a talk given in 1921, he outlined this solution, but also presented important programmatic remarks on (...) the significance of the decision problem and of decision procedures more generally. The text of this talk as well as a partial English translation are included. (shrink)

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...) primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics, syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. (shrink)

In this paper, we trace the conceptual history of the term ?metamathematics? in the nineteenth century. It is well known that Hilbert introduced the term for his proof-theoretic enterprise in about 1922. But he was verifiably inspired by an earlier usage of the phrase in the 1870s. After outlining Hilbert's understanding of the term, we will explore the lines of inducement and elucidate the different meanings of ?metamathematics? in the final decades of the nineteenth century. Finally, we will investigate the (...) earlier occurrences and come to the conclusion that the conceptual prehistory of the Hilbertian notion of metamathematics dates back to 1870, whereas the history of the word starts in 1799 at the latest. What is this: metamathematics? It is something amazing everybody, [?] since it makes the mind dizzy and withdraws thinking its sole fulcrum.1 1 Brunner 1898, p. 832: ?Was ist das: Metamathematik? Es ist etwas, was einen Jeden in das äusserste Staunen versetzt, [?] was das Gehirn schwindlig macht und dem Denken seinen einzigen Stütz- und Angelpunkt zu entziehen droht? (shrink)

1Certain developments in recent philosophy of mind that contemporary philosophers would regard as both novel and important were fully anticipated by writers in (or reacting to) the tradition of Nat...

Vers 1918 Hermann Weyl abandonnait le logicisme et donc la tentative de réduire les mathématiques à la logique et la théorie des ensembles. Au niveau philosophique, ses points de référence furent ensuite Husserl et Fichte. Dans les années 1920 il distingua leurs positions, entre une direction intuitionniste-phénoménologique d’un côté, et formaliste-constructiviste de l’autre. Peu après Weyl, Oskar Becker adopta une distinction similaire. Mais à la différence du phénoménologue Becker, Weyl considérait l’approche active du constructivisme de Fichte comme supérieure à la (...) vision d’essences passive de Husserl. Dans cet essai, je montre ce développement dans la pensée de Weyl. Bien que certains points dans sa réception de Husserl et Fichte ne soient pas soutenables, je vais argumenter en faveur de la distinction fondamentale mentionnée ci-dessus. (shrink)

The epsilon calculus is a logical formalism developed by David Hilbert in the service of his program in the foundations of mathematics. The epsilon operator is a term-forming operator which replaces quantifiers in ordinary predicate logic. Specifically, in the calculus, a term εx A denotes some x satisfying A(x), if there is one. In Hilbert's Program, the epsilon terms play the role of ideal elements; the aim of Hilbert's finitistic consistency proofs is to give a procedure which removes such terms (...) from a formal proof. The procedures by which this is to be carried out are based on Hilbert's epsilon substitution method. The epsilon calculus, however, has applications in other contexts as well. The first general application of the epsilon calculus was in Hilbert's epsilon theorems, which in turn provide the basis for the first correct proof of Herbrand's theorem. More recently, variants of the epsilon operator have been applied in linguistics and linguistic philosophy to deal with anaphoric pronouns. (shrink)

Naturwissenschaften, Mathematik und Logik waren für Nelson von zentraler Bedeutung. Er pflegte bereits als Jugendlicher intensive Kontakte zu Naturwissenschaftlern und Mathematikern. Dadurch erhielt er Anregungen, die von Anfang an seine philosophischen Ansätze beeinflussten. Inspiriert von der Kant-Fries’schen Philosophie und der Axiomatik der Mathematik, konzipierte Nelson seine Philosophie als exakte Wissenschaft. Wie Kant und Fries betrachtete Nelson die Suche nach den allgemeinen Prinzipien der Naturwissenschaften als Hauptaufgabe der Naturphilosophie. Ergebnis dieser kritischen Analyse ist ein System von metaphysischen Grundsätzen der Naturwissenschaft. Nelson (...) übernimmt Kants Lehre von den Grundsätzen des reinen Verstandes. Keine empirisch gefundene Gesetzmäßigkeit könne diesen Grundsätzen widersprechen. Für die Gesetze der Newton’schen Mechanik hätten, so meint Nelson, Kant und Fries diesen Nachweis erbracht. Deshalb formulierte Nelson das sogenannte Postulat der Mechanistik, gemäß dem alle Naturerscheinungen auf mechanische Vorgänge zurückgeführt werden können. Das starre Festhalten an diesem Postulat veranlasste ihn zur Ablehnung bedeutsamer physikalischer Konzeptionen (z. B. des auf der Elektrodynamik basierenden Relativitätsprinzips, des Nahwirkungskonzepts und des Atommodells). Das „Relativitätsprinzip der Elektrodynamik“ lehnte er mit dem Argument ab, es verhindere die Anwendung der dritten Analogie der Erfahrung, da es den Verzicht auf den Begriff der Gleichzeitigkeit von Naturerscheinungen erzwinge. Eine kritische Nelson-Rezeption muss der Historizität etlicher Thesen Nelsons Rechnung tragen, aber zugleich die Bedeutsamkeit von Kernaussagen Nelson’scher Naturphilosophie im Hinblick auf die modernen Naturwissenschaften untersuchen. Das ist auch die Zielrichtung des vorliegenden Beitrages. Der erste Teil beleuchtet Nelsons wissenschaftliches Umfeld. Einerseits wird untersucht, welche Wissenschaftler Nelson beeinflussten, andererseits soll dargestellt werden, welcher Personenkreis an der Fortentwicklung der Nelson’schen Naturphilosophie beteiligt war. Beispielhaft sollen daran anschließend zwei Themenbereiche aus seinem reichhaltigen Werk disktiert werden, denen besonders im Hinblick auf aktuelle philosophische Diskussionsschwerpunkte Bedeutsamkeit zukommt. Im zweiten Teil werden nämlich Nelsons Betrachtungen zum Verhältnis von Freiheit und Naturnotwendigkeit sowie seine Unterscheidung zwischen wissenschaftlicher und ästhetischer Naturbetrachtung besprochen. Der Beitrag beansprucht nicht, die Rezeptionssgeschichte und den Inhalt von Nelsons Naturphilosophie sowie die aktuelle Bedeutsamkeit seiner Thesen im Detail darzustellen aufzuarbeiten. Vielmehr geht es darum, Ansätze für eine zeitgemäße Interpretation Rezeption aufzuzeigen und anhand von Beispielen zu erörtern. (shrink)