Add to ORKGThis paper introduces a novel object that has less structure than, and is ontologically prior to the natural numbers. As such it is a candidate model of the foundation that lies beneath the natural numbers. The implications for the construction of mathematical objects built upon that foundation are discussed
Neofregeanism and structuralism are among the most promising recent approaches to the philosophy of ...
Often philosophers, logicians, and mathematicians employ a notion of intended structure when talking...
The Univalent Foundations of Mathematics (UF) provide not only an entirely non-Cantorian conception ...
This paper introduces a novel object that has less structure than, and is ontologically prior to the...
The primary justification for mathematical structuralism is its capacity to explain two observations...
In this paper, I describe and motivate a new species of mathematical structuralism, which I call Ins...
An ideal constructor produces geometry from scratch, modelled through the bottom-up assembly of a gr...
PTDC/MHC-FIL/2583/2014In this paper we critically evaluate the notion of the structure of the natura...
The primary justification for mathematical structuralism is its ca-pacity to explain two observation...
The properties and relations that perform a role in mathematical reasoning arise from the basic rela...
(1991), and elsewhere offers the most plausible philosophy of mathematics: Mathematics is about stru...
Putnam suggests in the Dewey Lectures that the notion of correspondence between language and subject...
The sets used to construct other mathematical objects are pure sets, which means that all of their e...
The paper proposes to amend structuralism in mathematics by saying what places in a structure and th...
The boundless nature of the natural numbers imposes paradoxically a high formal bound to the use of ...
Neofregeanism and structuralism are among the most promising recent approaches to the philosophy of ...
Often philosophers, logicians, and mathematicians employ a notion of intended structure when talking...
The Univalent Foundations of Mathematics (UF) provide not only an entirely non-Cantorian conception ...
This paper introduces a novel object that has less structure than, and is ontologically prior to the...
The primary justification for mathematical structuralism is its capacity to explain two observations...
In this paper, I describe and motivate a new species of mathematical structuralism, which I call Ins...
An ideal constructor produces geometry from scratch, modelled through the bottom-up assembly of a gr...
PTDC/MHC-FIL/2583/2014In this paper we critically evaluate the notion of the structure of the natura...
The primary justification for mathematical structuralism is its ca-pacity to explain two observation...
The properties and relations that perform a role in mathematical reasoning arise from the basic rela...
(1991), and elsewhere offers the most plausible philosophy of mathematics: Mathematics is about stru...
Putnam suggests in the Dewey Lectures that the notion of correspondence between language and subject...
The sets used to construct other mathematical objects are pure sets, which means that all of their e...
The paper proposes to amend structuralism in mathematics by saying what places in a structure and th...
The boundless nature of the natural numbers imposes paradoxically a high formal bound to the use of ...
Neofregeanism and structuralism are among the most promising recent approaches to the philosophy of ...
Often philosophers, logicians, and mathematicians employ a notion of intended structure when talking...
The Univalent Foundations of Mathematics (UF) provide not only an entirely non-Cantorian conception ...