| Publication | Date of Publication | Type |
|---|
What is PA \(+\) (PA) about, and where?
Synthese | 2026-03-31 | Paper |
| Nominalism, the nonexistence of mathematical objects | 2024-09-06 | Paper |
The challenge of many logics: a new approach to evaluating the role of ideology in Quinean commitment
Synthese | 2021-11-29 | Paper |
True nominalism: referring versus coding
The British Journal for the Philosophy of Science | 2017-03-03 | Paper |
That we \textit{see} that some diagrammatic proofs are perfectly rigorous
Philosophia Mathematica | 2015-04-17 | Paper |
The relationship of derivations in artificial languages to ordinary rigorous mathematical proof
Philosophia Mathematica | 2014-08-05 | Paper |
Inconsistency in natural languages
Synthese | 2014-04-07 | Paper |
| Evading truth commitments: the problem reanalyzed | 2009-10-12 | Paper |
Why do informal proofs conform to formal norms?
Foundations of Science | 2009-08-06 | Paper |
| How and why mathematics is unique as a social practice | 2009-06-02 | Paper |
A Cause for Concern: Standard Abstracta and Causation
Philosophia Mathematica | 2009-03-25 | Paper |
| The compulsion to believe: logical inference and normativity | 2009-02-09 | Paper |
| Is there still a sense in which mathematics can have foundations? | 2008-09-29 | Paper |
| How and why mathematics is unique as a social practice | 2008-03-20 | Paper |
| Tracking reason. Proof, consequence, and truth | 2006-04-11 | Paper |
How to Nominalize Formalism†
Philosophia Mathematica | 2005-09-28 | Paper |
Tarski, Quine, and the transcendence of the vernacular ``true
Synthese | 2005-08-22 | Paper |
| scientific article; zbMATH DE number 2152638 (Why is no real title available?) | 2005-04-05 | Paper |
The Derivation-Indicator View of Mathematical Practice
Philosophia Mathematica | 2005-03-30 | Paper |
| scientific article; zbMATH DE number 2107965 (Why is no real title available?) | 2004-10-14 | Paper |
Truth via anaphorically unrestricted quantifiers
Journal of Philosophical Logic | 2001-10-16 | Paper |
Stipulation, logic, and ontological independence
Philosophia Mathematica. Series III | 2001-08-22 | Paper |
Applied Mathematics, Existential Commitment and the Quine-Putnam Indispensability Thesis†
Philosophia Mathematica | 1997-01-01 | Paper |
| scientific article; zbMATH DE number 699681 (Why is no real title available?) | 1994-12-05 | Paper |
A simple axiomatizable theory of truth
Notre Dame Journal of Formal Logic | 1992-06-28 | Paper |
