In the 1920s, David Hilbert proposed a research program with the aim of providing mathematics with a secure foundation. This was to be accomplished by first formalizing logic and mathematics in their entirety, and then showing---using only so-called finitistic principles---that these formalizations are free of contradictions. ;In the area of logic, the Hilbert school accomplished major advances both in introducing new systems of logic, and in developing central metalogical notions, such as completeness and decidability. The analysis of unpublished material presented (...) in Chapter 2 shows that a completeness proof for propositional logic was found by Hilbert and his assistant Paul Bernays already in 1917--18, and that Bernays's contribution was much greater than is commonly acknowledged. Aside from logic, the main technical contribution of Hilbert's Program are the development of formal mathematical theories and proof-theoretical investigations thereof, in particular, consistency proofs. In this respect Wilhelm Ackermann's 1924 dissertation is a milestone both in the development of the Program and in proof theory in general. Ackermann gives a consistency proof for a second-order version of primitive recursive arithmetic which, surprisingly, explicitly uses a finitistic version of transfinite induction up to www . He also gave a faulty consistency proof for a system of second-order arithmetic based on Hilbert's &egr;-substitution method. Detailed analyses of both proofs in Chapter 3 shed light on the development of finitism and proof theory in the 1920s as practiced in Hilbert's school. ;In a series of papers, Charles Parsons has attempted to map out a notion of mathematical intuition which he also brings to bear on Hilbert's finitism. According to him, mathematical intuition fails to be able to underwrite the kind of intuitive knowledge Hilbert thought was attainable by the finitist. It is argued in Chapter 4 that the extent of finitistic knowledge which intuition can provide is broader than Parsons supposes. According to another influential analysis of finitism due to W. W. Tait, finitist reasoning coincides with primitive recursive reasoning. The acceptance of non-primitive recursive methods in Ackermann's dissertation presented in Chapter 3, together with additional textual evidence presented in Chapter 4, shows that this identification is untenable as far as Hilbert's conception of finitism is concerned. Tait's conception, however, differs from Hilbert's in important respects, yet it is also open to criticisms leading to the conclusion that finitism encompasses more than just primitive recursive reasoning. (shrink)

Julius König is famous for his mistaken attempt to demonstrate that the continuum hypothesis was false. It is also known that the only positive result that could have survived from his proof is the paradox which bears his name. Less famous is his 1914 book Neue Grundlagen der Logik, Arithmetik und Mengenlehre. Still, it contains original contributions to logic, like the concept of metatheory and the solution of paradoxes based on the refusal of the law of bivalence. We are going (...) to discover them by analysing the content of the book. (shrink)

A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.

Zermelos Zeit in Göttingen (1897?1910) kann als wissenschaftlich fruchtbarste Periode in seiner Karriere angesehen werden. Gleichwohl stehen bisher Untersuchungen aus. die eine Einbettung von Zermelos Werk in den biographischen und sozialen Kontext ermöglichen Die vorliegende Studie will diese Lücke unter Konzentration auf zwei Gegenstandsbereiche teileweise ausfüllen: (1) den historischen Entstehungskontext von Zermelos ersten Arbeiten über die Grundlagen der Mengenlehre; (2) die Vorgeschichte und näheren Umstände des 1907 an Zermelo verliehenen Lehrauftrages für mathematische Logik und verwandte Gegenstände. mit dem ein erster (...) Schritt zur Institutionalisierung dieses Faches als mathematischer Teildisziplin gemacht wurde. Beides wird in enger Verbindung zur ersten Phase des Hilbertschen Programms zur Grundlegung der Mathematik gesehen. Es wird aber auch gezeigt, daß für die Erteilung des Lehrauftrages neben diesen systematischen und forschungspolitischen Motiven auch persönliche und institutspolitische Rücksichten ausschlaggebend waren. Im Anhang werden Teile eines Briefwechsels zwischen Ernst Zermelo und dem Göttinger Philosophen Leonard Nelson ediert sowie die Anträge der Direktoren des Göttinger mathematisch-physikalischen Seminars auf Erteilung des Lehrauftrags und auf Ernennung Zermelos zum außerordentlichen Professor. Zermelo's Göttingen period (1897?1910) can be regarded as the most fruitful period in his scientific career. Nevertheless, up till now there have been no investigations which enable us to embed his work in its biographical and social contexts. This study tries to partially fill the gap, concentrating on two major themes: (I) the historical context of the development of Zermelo's early work on the foundations of set theory; (2) the prehistory and particulars of his lectureship for mathematical logic and related topics, this lectureship, which he was awarded in 1907, being the first step taken in Germany towards the establishment of this subject as a separate mathematical discipline. Both will be seen in close connection with the first phase of Hilbert's programme of founding mathematics. It is shown, however, that this lectureship was not only created to further the aims of Hilbert's research programme but that personal and institutional motives also played a role. In the appendices, parts of a correspondence between Ernst Zermelo and the Göttingen Philosopher Leonard Nelson are edited, as well as the applications of the directors of the Göttingen Mathematisch-physikalisches Seminar for awarding the lectureship to Zermelo in 1907, and for appointing Zermelo to an extraordinary professorship in 1910. (shrink)