Sort logic and foundations of mathematics
From MaRDI portal
Publication:6426224
DOI10.1142/9789814571043_0005arXiv2302.05947MaRDI QIDQ6426224FDOQ6426224
Authors: Jouko Väänänen 
Publication date: 12 February 2023
Abstract: I have argued elsewhere that second order logic provides a foundation for mathematics much in the same way as set theory does, despite the fact that the former is second order and the latter first order, but second order logic is marred by reliance on ad hoc {em large domain assumptions}. In this paper I argue that sort logic, a powerful extension of second order logic, provides a foundation for mathematics without any ad hoc large domain assumptions. The large domain assumptions are replaced by ZFC-like axioms. Despite this resemblance to set theory sort logic retains the structuralist approach to mathematics characteristic of second order logic. As a model-theoretic logic sort logic is the strongest logic. In fact, every model class definable in set theory is the class of models of a sentence of sort logic. Because of its strength sort logic can be used to formulate particularly strong reflection principles in set theory.
This page was built for publication: Sort logic and foundations of mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6426224)
