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)

After giving a brief overview of the renewal of interest in logic and the foundations of mathematics in Göttingen in the period 1914-1921, I give a detailed presentation of the approach to the foundations of mathematics found in Behmann's doctoral dissertation of 1918, Die Antinomie der transfiniten Zahl und ihre Auflösung durch die Theorie von Russell und Whitehead. The dissertation was written under the guidance of David Hilbert and was primarily intended to give a clear exposition of the solution (...) to the antinomies as found in Principia Mathematica. In the process of explaining the theory of Principia, Behmann also presented an original approach to the foundations of mathematics which saw in sense perception of concrete individuals the Archimedean point for a secure foundation of mathematical knowledge. The last part of the paper points out an important numbers of connections between Behmann's work and Hilbert's foundational thought. (shrink)

Summary This article presents three hitherto unpublished letters by Frank Plumpton Ramsey on the foundations of mathematics with commentary. One of the letters was sent to Abraham Fraenkel and the other two letters to Heinrich Behmann. The transcription of the letters is preceded by an account that details the extent of Ramsey's known contacts with mathematical logicians on the Continent.

The aim of the paper is to discuss the influence exercised by Russell's thought inGöttingen in the period leading to the formulation of Hilbert's program in theearly twenties. I show that after a period of intense foundational work, culminatingwith the departure from Göttingen of Zermelo and Grelling in 1910 we witnessa reemergence of interest in foundations of mathematics towards the end of 1914. Itis this second period of foundational work that is my specific interest. Through theuse of unpublished archival sources (...) I will describe how Hilbert, Behmann, and Bernays,among others, were influenced by and reacted to the technical and philosophical thesespresented in Principia Mathematica. I also argue that there are some elements of continuity between Russell's approach and Hilbert's program as it was presented inthe early twenties. (shrink)

Die vorliegenden Untersuchungen haben sich aus solchen entwickelt, die ich an andrer Stelle früher veröffentlichte. Die Kenntnis dieser früheren Arbeit wird in keiner Weise hier vorausgesetzt und ist für das folgende unwesentlich. Es sei mir jedoch gestattet, für den Kenner der früheren Arbeit einige Bemerkungen voraufzuschicken. In der genannten Arbeit hatte ich, angeregt ursprünglich durch Gedankengänge von Herrn Behmann, ein typenfreies System der Logik aufgebaut, das allein auf dem Gedanken fußte, daß der Definitionsbereich der Prädikate im allgemeinen beschränkt ist, (...) sodaß nur bestimmte Zusammenstellungen von Prädikaten und Dingen sinnvolle, d.h. wahre oder falsche Aussagen ergeben, und das diesen Gesichtspunkt meiner Meinung nach konsequent durchführte. Eine anschließende Arbeit sollte dann die Widerspruchsfreiheit des Systems untersuchen. Diese Untersuchung ist inzwischen geschehen. Es zeigte sich, daß sich die Widerspruchsfreiheit des Systems nur dann beweisen ließ, falls die in ihm enthaltene Vollständigkeit von → die sich durch das Bestehen eines Deduktionstheorems zeigte, fallen gelassen wurde. Die Grundformeln (13) und (14) mußten wegbleiben. Die Widerspruchsfreiheit des restlichen Systems ließ sich dann durch eine dem System eigentümliche Methode der Beweistransformation zeigen.Diese anschließienden Untersuchungen, die ihrer Zeit nicht mehr veröffentlicht werden konnten, sind inzwischen durch die vorliegenden überholt. Es war das Unbefriedigende bei dem genannten Aufbau, daß hinterher doch wieder eine Einschränkung gemacht werden mußte, die sich nicht aus den zugrunde gelegten Prinzipien ergab, sondern von ihnen aus unvorhergesehen war. Diese Einschränkung bewirkte übrigens, daß keine volle Zahlentheorie in dem System zu gewinnen war. (shrink)

Die vorliegenden Untersuchungen haben sich aus solchen entwickelt, die ich an andrer Stelle früher veröffentlichte. Die Kenntnis dieser früheren Arbeit wird in keiner Weise hier vorausgesetzt und ist für das folgende unwesentlich. Es sei mir jedoch gestattet, für den Kenner der früheren Arbeit einige Bemerkungen voraufzuschicken. In der genannten Arbeit hatte ich, angeregt ursprünglich durch Gedankengänge von Herrn Behmann, ein typenfreies System der Logik aufgebaut, das allein auf dem Gedanken fußte, daß der Definitionsbereich der Prädikate im allgemeinen beschränkt ist, (...) sodaß nur bestimmte Zusammenstellungen von Prädikaten und Dingen sinnvolle, d.h. wahre oder falsche Aussagen ergeben, und das diesen Gesichtspunkt meiner Meinung nach konsequent durchführte. Eine anschließende Arbeit sollte dann die Widerspruchsfreiheit des Systems untersuchen. Diese Untersuchung ist inzwischen geschehen. Es zeigte sich, daß sich die Widerspruchsfreiheit des Systems nur dann beweisen ließ, falls die in ihm enthaltene Vollständigkeit von → die sich durch das Bestehen eines Deduktionstheorems zeigte, fallen gelassen wurde. Die Grundformeln (13) und (14) mußten wegbleiben. Die Widerspruchsfreiheit des restlichen Systems ließ sich dann durch eine dem System eigentümliche Methode der Beweistransformation zeigen.Diese anschließienden Untersuchungen, die ihrer Zeit nicht mehr veröffentlicht werden konnten, sind inzwischen durch die vorliegenden überholt. Es war das Unbefriedigende bei dem genannten Aufbau, daß hinterher doch wieder eine Einschränkung gemacht werden mußte, die sich nicht aus den zugrunde gelegten Prinzipien ergab, sondern von ihnen aus unvorhergesehen war. Diese Einschränkung bewirkte übrigens, daß keine volle Zahlentheorie in dem System zu gewinnen war. (shrink)

No chance of seeing her for another fortnight and it is 11 days since I saw her. Went solitary walk felt miserable but to some extent staved it off by reflecting on |$\langle$|Continuum Problem|$\rangle$|1The occasion for this review article on the life and accomplishments of Frank Ramsey is the publication in the last eight years of three important books: a biography of Frank Ramsey by his sister, Margaret Paul, a book by Steven Methven on aspects of Ramsey’s philosophy, and the (...) recent biography of Ramsey written by Cheryl Misak. In a companion piece [Mancosu, 2020] I discuss Ramsey’s contacts with logicians in continental Europe and publish previously unpublished letters from Ramsey to Abraham Fraenkel and to Heinrich Behmann.1. INTRODUCTIONFrank Plumpton Ramsey (1903–1930) will be well known to the readers of this journal. His contributions to philosophy, mathematics, and economics have left a lasting legacy. In mathematical logic and philosophy of mathematics, Ramsey’s solution to the paradoxes by means of a simple theory of types [1926a] and Ramsey’s theorem in combinatorics (both finite and infinite [1930]) are among Ramsey’s most celebrated contributions. Ramsey is a key presence in accounts of Wittgenstein’s, Russell’s, and Moore’s lives and work. It is well known that it was Ramsey who translated the Tractatus into English and wrote what is still considered a very insightful review [1923] of the Tractatus. Wittgenstein mentioned the importance of his conversations with Ramsey in 1929 in Cambridge as having influenced his transition to the views presented in the Philosophical Investigations. Ramsey also contributed, in 1924, to the second edition of Principia Mathematica (see [Linsky, 2011]). While Ramsey’s friendship with Moore does not have an analogous concrete precipitate as the work on the Tractatus or Principia Mathematica, it is evident from the correspondence and other documents that Ramsey’s work in philosophy (truth, propositions, universals, etc.) influenced Moore. Of course, the direction of influence goes also the other way around. Wittgenstein, Russell, and Moore, among others, were essential in shaping Ramsey’s approach to philosophy. (shrink)

This interesting collection is the Festschrift presented to W. Britzelmayr on his seventieth birthday, and it contains several excellent papers which ought to interest the logician and philosophical analyst alike. The most exciting paper is one by Stegmüller in which a system of set theory combining ideas from Bernays and Quine is formulated; one by Kurt Schütte discusses the limitations imposed by constructive logic on the theory of trans finite arithmetic; there are papers by each of the editors: the first (...) analyzes the deduction theorem for the first order predicate calculus, while the second treats logics with predicate quantifiers. Other papers include studies by Behmann on the philosophico-logical status of identity; by Beth on the application of his semantic tableaux to classical logic; by Wilhelmy on the semantics of quantified, many-valued logics; and by E. M. Fels concerning the work of Markov and his school in the theory of canonical systems. There are still further papers which take as their topics the logical analysis of legal concepts and reasoning, the logic of questions, the semantics of implication in ordinary language, and the relation of the theory of logical types to Frege's work. In general, this is an excellent collection which affords a wide view of the logico-linguistic concerns of recent German philosophy.—P. J. M. (shrink)