Explore foundational concepts and philosophical questions in mathematics. This journal offers rigorous articles on logic, set theory, and the nature of mathematical knowledge.
Set theorists often claim that natural theories are well-ordered by their consistency strength. We call this claim the Consistency Hierarchy Thesis. The goal of this paper is to unpack the philosophical and mathematical significance of this thesis; a...
This article argues for a (quasi-)Carnapian version of logicism about mathematics: there is a logicist conceptual framework in which (i) all standard mathematical terms are defined by logical terms, and (ii) all standard mathematical theorems are (li...
In her seminal article ‘Proper Classes’, Penelope Maddy introduced a novel theory of classes validating the naïve comprehension rules. The theory is based on a step-by-step construction of the extension and anti-extension of the membership predicate,...
By Sciaria
By Sciaria
By Sciaria
By Sciaria
By Sciaria
By Sciaria