| Publication | Date of Publication | Type |
|---|
Book review of: G. Sher, What is logical consequence?
Philosophia Mathematica. Series III | 2024-10-31 | Paper |
Arithmetic, enumerative induction and size bias
Synthese | 2024-02-01 | Paper |
| The Euclidean Programme | 2023-11-27 | Paper |
| One true logic. A monist manifesto | 2022-05-28 | Paper |
| Propositional Logics of Truth by Logical Form | 2022-02-25 | Paper |
A measure of inferential-role preservation
Synthese | 2021-11-29 | Paper |
Why are there no infinite left-sided decimal expansions?
The Mathematical Gazette | 2021-11-18 | Paper |
Justin Clarke-Doane* Morality and Mathematics.
Philosophia Mathematica | 2021-02-09 | Paper |
Philosophy of the matrix
Philosophia Mathematica | 2019-09-25 | Paper |
CAPTURING CONSEQUENCE
The Review of Symbolic Logic | 2019-06-07 | Paper |
ISOMORPHISM INVARIANCE AND OVERGENERATION – CORRIGENDUM
The Bulletin of Symbolic Logic | 2018-05-17 | Paper |
Letter games: a metamathematical taster
The Mathematical Gazette | 2017-10-12 | Paper |
The ‘stop after k girls or N children’ policy
The Mathematical Gazette | 2017-08-30 | Paper |
Isomorphism invariance and overgeneration
The Bulletin of Symbolic Logic | 2017-07-21 | Paper |
Family planning
The Mathematical Gazette | 2017-07-12 | Paper |
Did Frege commit a cardinal sin?
Analysis | 2017-06-27 | Paper |
Knowledge of Mathematics without Proof
The British Journal for the Philosophy of Science | 2017-03-03 | Paper |
| scientific article; zbMATH DE number 6538198 (Why is no real title available?) | 2016-02-01 | Paper |
The overgeneration argument(s): a succinct refutation
Analysis | 2015-11-04 | Paper |
An exact measure of paradox
Analysis | 2013-05-30 | Paper |
Proofs of the Compactness Theorem
History and Philosophy of Logic | 2013-04-18 | Paper |
Against the judgment-dependence of mathematics and logic
Erkenntnis | 2012-11-15 | Paper |
How to type: reply to Halbach
Analysis | 2012-11-09 | Paper |
| Reducing arithmetic to set theory | 2011-11-22 | Paper |
Proofs of the compactness theorem
History and Philosophy of Logic | 2010-09-17 | Paper |
Pure second-order logic with second-order identity
Notre Dame Journal of Formal Logic | 2010-08-20 | Paper |
| Justifying induction mathematically: strategies and functions | 2009-03-02 | Paper |
| scientific article; zbMATH DE number 5374962 (Why is no real title available?) | 2008-11-28 | Paper |
Fitch's argument and typing knowledge
Notre Dame Journal of Formal Logic | 2008-06-18 | Paper |
Boolos on the justification of set theory
Philosophia Mathematica | 2007-09-12 | Paper |
Naturalism in Mathematics and the Authority of Philosophy
The British Journal for the Philosophy of Science | 2005-11-08 | Paper |
The open-endedness of the set concept and the semantics of set theory
Synthese | 2003-09-07 | Paper |
