The Bernays-Müller debate was a dispute in the early 1920s between Paul Bernays and Aloys Müller regarding various philosophical issues related to “Hilbert’s program.” The debate is sometimes mentioned as a sidenote in discussions of Hilbert’s program, but there is little or no discussion of the debate itself in the secondary literature. This article aims to fill this gap and to provide a detailed analysis of the background of the debate, its contents, and the impact on its protagonists.

In the last two decades, there has been increasing interest in a re-evaluation of Frege’s stance towards consistency- and independence proofs. Papers by several authors deal with Frege’s views on these topics. In this note, I want to discuss one particular problem, which seems to be a main reason for Frege’s reluctant attitude towards his own proposed method of proving the independence of axioms, namely his view that thoughts, that is, intensional entities are the objects of metatheoretical investigations. This stands (...) in contrast to more straightforward interpretations, which claim that Frege’s hesitancy is mainly due to worries concerning the logical constants or what counts as a logical inference. (shrink)

The aim of this article is to contribute to a better understanding of Frege’s views on semantics and metatheory by looking at his take on several themes in nineteenth century geometry that were significant for the development of modern model-theoretic semantics. I will focus on three issues in which a central semantic idea, the idea of reinterpreting non-logical terms, gradually came to play a substantial role: the introduction of elements at infinity in projective geometry; the study of transfer principles, especially (...) the principle of duality; and the use of counterexamples in independence arguments. Based on a discussion of these issues and how nineteenth century geometers reflected about them, I will then look into Frege’s take on these matters. I conclude with a discussion of Frege’s views and what they entail for the debate about his stance towards semantics and metatheory more generally. (shrink)