Stipulation, Logic, and Ontological Independence†
From MaRDI portal
Publication:2701934
DOI10.1093/philmat/8.3.225zbMath0967.03502OpenAlexW2331056318MaRDI QIDQ2701934
Publication date: 22 August 2001
Published in: Philosophia Mathematica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/philmat/8.3.225
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)
Related Items (3)
Tarski, Quine, and the transcendence of the vernacular ``true ⋮ Why do informal proofs conform to formal norms? ⋮ Truth via anaphorically unrestricted quantifiers
This page was built for publication: Stipulation, Logic, and Ontological Independence†