On the basis of Poincaré and Weyl’s view of predicativity as invariance, we develop an extensive framework for predicative, type-free first-order set theory in which $\Gamma _0$ and much bigger ordinals can be defined as von Neumann ordinals. This refutes the accepted view of $\Gamma _0$ as the “limit of predicativity”.

The Fourth Postulate of Euclid’s Elements states that all right angles are equal. This principle has always been considered problematic in the deductive economy of the treatise, and even the ancient interpreters were confused about its mathematical role and its epistemological status. The present essay reconsiders the ancient testimonies on the Fourth Postulate, showing that there is no certain evidence for its authenticity, nor for its spuriousness. The paper also considers modern mathematical interpretations of this postulate, pointing out various anachronisms. It further discusses the validity of the ancient proof by superposition of the Fourth Postulate. Finally, the article proposes an interpretation of the history of the concept of angle in Greek geometry between Euclid and Apollonius, and puts forward a conjecture on the interpolation of the Fourth Postulate in the Hellenistic age. The essay contributes to a general reassessment of the axiomatic foundations of ancient mathematics.

The paper explores Hermann Weyl’s turn to intuitionism through a philosophical prism of normative framework transitions. It focuses on three central themes that occupied Weyl’s thought: the notion of the continuum, logical existence, and the necessity of intuitionism, constructivism, and formalism to adequately address the foundational crisis of mathematics. The analysis of these themes reveals Weyl’s continuous endeavor to deal with such fundamental problems and suggests a view that provides a different perspective concerning Weyl’s wavering foundational positions. Building on a philosophical model of scientific framework transitions and the special role that normative indecision or ambivalence plays in the process, the paper examines Weyl’s motives for considering such a radical shift in the first place. It concludes by showing that Weyl’s shifting stances should be regarded as symptoms of a deep, convoluted intrapersonal process of self-deliberation induced by exposure to external criticism.

This paper reconstructs Steel’s multiverse project in his ‘Gödel’s program’ (Steel, 2014), first by comparing it to those of Hamkins (2012) and Woodin (2011), then by detailed analysis what’s presented in Steel’s brief text. In particular, we reconstruct his notion of a ‘natural’ theory, describe his multiverse axioms and his translation function, and assess the resulting status of the Continuum Hypothesis. In the end, we reconceptualize the defect that Steel thinks $CH$ might suffer from and isolate what it would take to remove it while working within his framework. As our goal is to present as coherent and compelling a philosophical and mathematical story as we can, we allow ourselves to augment Steel’s story in places (e.g., in the treatment of Amalgamation) and to depart from it in others (e.g., the removal of ‘meaning’ from the account). The relevant mathematics is laid out in the appendices.

Hermann Weyl was one of the greatest mathematicians of the 20th century, with contributions to many branches of mathematics and physics. In 1918, he wrote a famous book, “Das Kontinuum”, on the foundations of mathematics. In that book, he described mathematical analysis as a ‘house built on sand’, and tried to ‘replace this shifting foundation with pillars of enduring strength’.

In this paper, we reexamine and explain the philosophical and mathematical ideas that underly Weyl’s system in “Das Kontinuum”, and show that they are still useful and relevant. We propose a precise formalization of that system, which is the first to be completely faithful to what is written in the book. Finally, we suggest that a certain set-theoretical modern system reflects better Weyl’s ideas than previous attempts (most notably by Feferman) of achieving this goal.