Logic, ontology, mathematical practice

DOI10.1007/BF00873255zbMath0757.03003WikidataQ114694168 ScholiaQ114694168MaRDI QIDQ1202496

Stewart Shapiro

Publication date: 2 February 1993

Published in: Synthese (Search for Journal in Brave)

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

Related Items

Category theory and the foundations of mathematics: philosophical excavations.

Cites Work

• A simple type theory without Platonic domains
• Principles of reflection and second-order logic
• Brouwer's constructivism
• Mathematics and Reality
• Mathematics as a Science of Patterns: Ontology and Reference
• Mathematics as a Science of Patterns: Epistemology
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item