What Do We Want a Foundation to Do?

DOI10.1007/978-3-030-15655-8_13zbMath1528.03046OpenAlexW2987899203MaRDI QIDQ6075431

Penelope J. Maddy

Publication date: 20 September 2023

Published in: Synthese Library (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-15655-8_13

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Foundations, relations to logic and deductive systems (18A15)

Related Items (6)

On representations of intended structures in foundational theories ⋮ Generating custom set theories with non-set structured objects ⋮ Set Theory and Structures ⋮ Category theory in Isabelle/HOL as a basis for meta-logical investigation ⋮ Protocol choice and iteration for the free cornering ⋮ Virtue theory of mathematical practices: an introduction

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Rigor and Structure
• HOW APPLIED MATHEMATICS BECAME PURE
• Structuralism, Invariance, and Univalence
• THE PROSPECTS OF UNLIMITED CATEGORY THEORY: DOING WHAT REMAINS TO BE DONE
• Set-theoretic foundations
• Homotopy Type Theory: Univalent Foundations of Mathematics
• Defending the Axioms

This page was built for publication: What Do We Want a Foundation to Do?