| Publication | Date of Publication | Type |
|---|
| Corcoran the mathematician | 2024-09-25 | Paper |
| Neologicism, Frege's constraint, and the Frege-Heck condition | 2024-04-30 | Paper |
| Potential Infinity and De Re Knowledge of Mathematical Objects | 2024-02-12 | Paper |
| Logic and science: science and logic | 2024-02-01 | Paper |
| HUME’S PRINCIPLE, BAD COMPANY, AND THE AXIOM OF CHOICE | 2024-01-11 | Paper |
| Does logical pluralism imply, or suggest, truth pluralism, or vice versa? | 2023-12-14 | Paper |
| John Corcoran | 2023-06-14 | Paper |
| A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC | 2023-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5883188 | 2023-03-29 | Paper |
| THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) | 2023-03-20 | Paper |
| PREDICATIVISM AS A FORM OF POTENTIALISM | 2023-03-02 | Paper |
| Hofweber's nominalist naturalism | 2022-10-09 | Paper |
| Divergent Potentialism: A Modal Analysis With an Application to Choice Sequences | 2022-07-21 | Paper |
| Resolving Frege’s Other Puzzle | 2022-04-22 | Paper |
| Classical First-Order Logic | 2022-01-12 | Paper |
| Open texture and mathematics | 2021-09-07 | Paper |
| Actual and Potential Infinity | 2020-10-19 | Paper |
| Link’s Revenge: A Case Study in Natural Language Mereology | 2020-08-21 | Paper |
| Frege on the Real Numbers | 2020-08-19 | Paper |
| Inconsistency and Incompleteness, Revisited | 2020-08-10 | Paper |
| Mathematics in Philosophy, Philosophy in Mathematics: Three Case Studies | 2020-07-13 | Paper |
| Varieties of Logic | 2020-06-24 | Paper |
| Idealization, Mechanism, and Knowability | 2020-04-02 | Paper |
| Predicativity and Regions-Based Continua | 2020-02-05 | Paper |
| Changing the Subject: Quine, Putnam and Waismann on Meaning-Change, Logic, and Analyticity | 2020-02-05 | Paper |
| Mathematical Structuralism | 2020-01-29 | Paper |
| Translating logical terms | 2020-01-17 | Paper |
| Computing with Numbers and Other Non-syntactic Things: De re Knowledge of Abstract Objects† | 2019-09-25 | Paper |
| Frege Meets Aristotle: Points as Abstracts | 2019-02-26 | Paper |
| Robert Lorne Victor Hale FRSE May 4, 1945 – December 12, 2017 | 2019-02-26 | Paper |
| Proving Things About the Informal | 2018-04-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5354804 | 2017-09-04 | Paper |
| Varieties of Continua | 2017-08-18 | Paper |
| The Guru, the Logician, and the Deflationist: Truth and Logical Consequence | 2017-07-14 | Paper |
| Where in the (World Wide) Web of Belief is the Law of Non‐contradiction?* | 2017-07-14 | Paper |
| Regions-based two dimensional continua: The Euclidean case | 2017-05-18 | Paper |
| Aristotelian Continua | 2017-03-03 | Paper |
| The Classical Continuum without Points – CORRIGENDUM | 2015-11-24 | Paper |
| FREGE MEETS BROUWER (OR HEYTING OR DUMMETT) | 2015-10-20 | Paper |
| Foundations: Structures, Sets, and Categories | 2015-07-01 | Paper |
| Structures and logics: a case for (a) relativism | 2015-01-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2939751 | 2015-01-22 | Paper |
| Tarski's theorem and the extensionality of truth | 2015-01-13 | Paper |
| Varieties of logic | 2014-09-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4981738 | 2014-06-24 | Paper |
| THE CLASSICAL CONTINUUM WITHOUT POINTS | 2014-03-06 | Paper |
| Higher-Order Logic or Set Theory: A False Dilemma | 2013-05-15 | Paper |
| The Company Kept by Cut Abstraction (and its Relatives) | 2013-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4903810 | 2013-01-27 | Paper |
| Truth, function and paradox | 2012-11-09 | Paper |
| An ``\(i\) for an \(i\): singular terms, uniqueness, and reference | 2012-10-23 | Paper |
| Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics | 2012-08-29 | Paper |
| Mathematics and Reality | 2011-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3172039 | 2011-10-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3172044 | 2011-10-05 | Paper |
| FREGE MEETS ZERMELO: A PERSPECTIVE ON INEFFABILITY AND REFLECTION | 2010-08-13 | Paper |
| The good, the bad and the ugly | 2009-11-04 | Paper |
| WE HOLD THESE TRUTHS TO BE SELF-EVIDENT: BUT WHAT DO WE MEAN BY THAT? | 2009-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3620358 | 2009-04-14 | Paper |
| Identity, Indiscernibility, and ante rem Structuralism: The Tale of i and -i | 2009-03-25 | Paper |
| Reasoning with slippery predicates | 2009-03-17 | Paper |
| The Measure of Scottish Neo-Logicism | 2009-03-12 | Paper |
| Categories, Structures, and the Frege-Hilbert Controversy: The Status of Meta-mathematics | 2009-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5443914 | 2008-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5755181 | 2007-08-20 | Paper |
| The objectivity of mathematics | 2007-06-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5493758 | 2006-10-16 | Paper |
| Categories, Structures, and the Frege-Hilbert Controversy: The Status of Meta-mathematics | 2005-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4662898 | 2005-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4817179 | 2004-09-22 | Paper |
| Prolegomenon To Any Future Neo‐Logicist Set Theory: Abstraction And Indefinite Extensibility | 2004-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4428880 | 2003-09-22 | Paper |
| Mechanism, truth, and Penrose's new argument | 2003-05-06 | Paper |
| Frege meets Dedekind: A neologicist treatment of real analysis | 2003-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4789459 | 2003-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4532188 | 2002-11-10 | Paper |
| Why anti-realists and classical mathematicians cannot get along | 2002-10-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4539488 | 2002-07-08 | Paper |
| The Work of John Corcoran: An Appreciation | 2001-12-05 | Paper |
| Introduction to the special issue on abstraction and neo-logicism | 2001-05-16 | Paper |
| ``Neo-logicist logic is not epistemically innocent | 2001-05-07 | Paper |
| New V, ZF and Abstraction† | 2001-01-07 | Paper |
| Do Not Claim Too Much: Second-order Logic and First-order Logic | 1999-11-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4227549 | 1999-10-28 | Paper |
| Incompleteness, Mechanism, and Optimism | 1999-09-29 | Paper |
| Space, Number and Structure: A Tale of Two Debates | 1999-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4388801 | 1998-05-10 | Paper |
| Reasoning, Logic and Computation | 1996-01-02 | Paper |
| Mathematics and Philosophy of Mathematics | 1994-07-07 | Paper |
| Logic, ontology, mathematical practice | 1993-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4001345 | 1992-09-18 | Paper |
| Expressive completeness and decidability | 1990-01-01 | Paper |
| The Lindenbaum construction and decidability | 1988-01-01 | Paper |
| Turing projectability | 1987-01-01 | Paper |
| Principles of reflection and second-order logic | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3347874 | 1985-01-01 | Paper |
| Second-order languages and mathematical practice | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3347873 | 1985-01-01 | Paper |
| Arithmetic Sinn and Effectiveness | 1984-01-01 | Paper |
| Remarks on the development of computability | 1983-01-01 | Paper |
| Acceptable notation | 1982-01-01 | Paper |
| Incomplete translations of complete logics | 1977-01-01 | Paper |
