| Publication | Date of Publication | Type |
|---|
Corcoran the mathematician
| 2024-09-25 | Paper |
Neologicism, Frege's constraint, and the Frege-Heck condition
Nôus | 2024-04-30 | Paper |
Potential Infinity and De Re Knowledge of Mathematical Objects
Mathematical Knowledge, Objects and Applications | 2024-02-12 | Paper |
Logic and science: science and logic
Synthese | 2024-02-01 | Paper |
HUME’S PRINCIPLE, BAD COMPANY, AND THE AXIOM OF CHOICE
The Review of Symbolic Logic | 2024-01-11 | Paper |
Does logical pluralism imply, or suggest, truth pluralism, or vice versa?
Synthese | 2023-12-14 | Paper |
John Corcoran
History and Philosophy of Logic | 2023-06-14 | Paper |
A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC
The Review of Symbolic Logic | 2023-05-26 | Paper |
Potentiality and indeterminacy in mathematics
| 2023-03-29 | Paper |
THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)
The Bulletin of Symbolic Logic | 2023-03-20 | Paper |
PREDICATIVISM AS A FORM OF POTENTIALISM
The Review of Symbolic Logic | 2023-03-02 | Paper |
Hofweber's nominalist naturalism
| 2022-10-09 | Paper |
Divergent potentialism: a modal analysis with an application to choice sequences
Philosophia Mathematica | 2022-07-21 | Paper |
Resolving Frege's other puzzle
Philosophia Mathematica | 2022-04-22 | Paper |
Classical First-Order Logic
| 2022-01-12 | Paper |
Open texture and mathematics
Notre Dame Journal of Formal Logic | 2021-09-07 | Paper |
Actual and potential infinity
Nôus | 2020-10-19 | Paper |
Link's revenge: a case study in natural language mereology
Philosophy of Logic and Mathematics | 2020-08-21 | Paper |
Frege on the real numbers
Essays on Frege's Basic Laws of Arithmetic | 2020-08-19 | Paper |
Inconsistency and Incompleteness, Revisited
Outstanding Contributions to Logic | 2020-08-10 | Paper |
Mathematics in Philosophy, Philosophy in Mathematics: Three Case Studies
Boston Studies in the Philosophy and History of Science | 2020-07-13 | Paper |
Varieties of Logic
| 2020-06-24 | Paper |
Idealization, mechanism, and knowability
Gödel's Disjunction | 2020-04-02 | Paper |
Predicativity and regions-based continua
Outstanding Contributions to Logic | 2020-02-05 | Paper |
Changing the subject: Quine, Putnam and Waismann on meaning-change, logic, and analyticity
Outstanding Contributions to Logic | 2020-02-05 | Paper |
Mathematical structuralism
| 2020-01-29 | Paper |
Translating logical terms
Topoi | 2020-01-17 | Paper |
Computing with Numbers and Other Non-syntactic Things: De re Knowledge of Abstract Objects†
Philosophia Mathematica | 2019-09-25 | Paper |
Frege meets Aristotle: points as abstracts
Philosophia Mathematica | 2019-02-26 | Paper |
Obituary: Robert Lorne Victor Hale FRSE. May 4, 1945 -- December 12, 2017
Philosophia Mathematica | 2019-02-26 | Paper |
Proving Things About the Informal
Turing’s Revolution | 2018-04-18 | Paper |
scientific article; zbMATH DE number 6769438 (Why is no real title available?)
| 2017-09-04 | Paper |
Varieties of continua. From regions to points and back
Oxford Scholarship Online | 2017-08-18 | Paper |
The Guru, the Logician, and the Deflationist: Truth and Logical Consequence
Nôus | 2017-07-14 | Paper |
Where in the (World Wide) Web of Belief is the Law of Non‐contradiction?*
Nôus | 2017-07-14 | Paper |
Regions-based two dimensional continua: the Euclidean case
Logic and Logical Philosophy | 2017-05-18 | Paper |
Aristotelian continua
Philosophia Mathematica | 2017-03-03 | Paper |
The Classical Continuum without Points – CORRIGENDUM
The Review of Symbolic Logic | 2015-11-24 | Paper |
FREGE MEETS BROUWER (OR HEYTING OR DUMMETT)
The Review of Symbolic Logic | 2015-10-20 | Paper |
Foundations: Structures, Sets, and Categories
The Western Ontario Series in Philosophy of Science | 2015-07-01 | Paper |
Structures and logics: a case for (a) relativism
Erkenntnis | 2015-01-26 | Paper |
Revising logic in light of paradox
| 2015-01-22 | Paper |
Tarski's theorem and the extensionality of truth
Erkenntnis | 2015-01-13 | Paper |
Varieties of logic
| 2014-09-08 | Paper |
scientific article; zbMATH DE number 6308208 (Why is no real title available?)
| 2014-06-24 | Paper |
The classical continuum without points
The Review of Symbolic Logic | 2014-03-06 | Paper |
Higher-order logic or set theory: a false dilemma
Philosophia Mathematica | 2013-05-15 | Paper |
The Company Kept by Cut Abstraction (and its Relatives)
Philosophia Mathematica | 2013-03-18 | Paper |
scientific article; zbMATH DE number 6130989 (Why is no real title available?)
| 2013-01-27 | Paper |
Truth, function and paradox
Analysis | 2012-11-09 | Paper |
An ``\(i\) for an \(i\): singular terms, uniqueness, and reference
The Review of Symbolic Logic | 2012-10-23 | Paper |
Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics
Between Logic and Reality | 2012-08-29 | Paper |
Mathematics and reality
Philosophy of Science | 2011-10-27 | Paper |
Addendum on Peter Lipton's `Mathematical understanding'
| 2011-10-05 | Paper |
Mathematics and objectivity
| 2011-10-05 | Paper |
Frege meets Zermelo: a perspective on ineffability and reflection
The Review of Symbolic Logic | 2010-08-13 | Paper |
The good, the bad and the ugly
Synthese | 2009-11-04 | Paper |
WE HOLD THESE TRUTHS TO BE SELF-EVIDENT: BUT WHAT DO WE MEAN BY THAT?
The Review of Symbolic Logic | 2009-07-30 | Paper |
Corcoran the mathematician
| 2009-04-14 | Paper |
Identity, Indiscernibility, and ante rem Structuralism: The Tale of i and -i
Philosophia Mathematica | 2009-03-25 | Paper |
Reasoning with slippery predicates
Studia Logica | 2009-03-17 | Paper |
The Measure of Scottish Neo-Logicism
Synthese Library | 2009-03-12 | Paper |
Categories, Structures, and the Frege-Hilbert Controversy: The Status of Meta-mathematics
Synthese Library | 2009-03-12 | Paper |
Vagueness and conversation
| 2008-02-22 | Paper |
Effectiveness
| 2007-08-20 | Paper |
The objectivity of mathematics
Synthese | 2007-06-14 | Paper |
Computability, proof, and open-texture
| 2006-10-16 | Paper |
Categories, Structures, and the Frege-Hilbert Controversy: The Status of Meta-mathematics
Philosophia Mathematica | 2005-09-28 | Paper |
scientific article; zbMATH DE number 2150348 (Why is no real title available?)
| 2005-03-30 | Paper |
scientific article; zbMATH DE number 2101954 (Why is no real title available?)
| 2004-09-22 | Paper |
Prolegomenon To Any Future Neo‐Logicist Set Theory: Abstraction And Indefinite Extensibility
The British Journal for the Philosophy of Science | 2004-05-18 | Paper |
scientific article; zbMATH DE number 1984515 (Why is no real title available?)
| 2003-09-22 | Paper |
Mechanism, truth, and Penrose's new argument
Journal of Philosophical Logic | 2003-05-06 | Paper |
Frege meets Dedekind: A neologicist treatment of real analysis
Notre Dame Journal of Formal Logic | 2003-03-24 | Paper |
scientific article; zbMATH DE number 1852929 (Why is no real title available?)
| 2003-01-29 | Paper |
scientific article; zbMATH DE number 1749187 (Why is no real title available?)
| 2002-11-10 | Paper |
Why anti-realists and classical mathematicians cannot get along
Topoi | 2002-10-15 | Paper |
scientific article; zbMATH DE number 1764653 (Why is no real title available?)
| 2002-07-08 | Paper |
The Work of John Corcoran: An Appreciation
History and Philosophy of Logic | 2001-12-05 | Paper |
Introduction to the special issue on abstraction and neo-logicism
Philosophia Mathematica. Series III | 2001-05-16 | Paper |
``Neo-logicist logic is not epistemically innocent
Philosophia Mathematica. Series III | 2001-05-07 | Paper |
New V, ZF and Abstraction†
Philosophia Mathematica | 2001-01-07 | Paper |
Do Not Claim Too Much: Second-order Logic and First-order Logic
Philosophia Mathematica | 1999-11-15 | Paper |
scientific article; zbMATH DE number 1254481 (Why is no real title available?)
| 1999-10-28 | Paper |
Incompleteness, Mechanism, and Optimism
The Bulletin of Symbolic Logic | 1999-09-29 | Paper |
Space, Number and Structure: A Tale of Two Debates
Philosophia Mathematica | 1999-03-25 | Paper |
scientific article; zbMATH DE number 1150559 (Why is no real title available?)
| 1998-05-10 | Paper |
Reasoning, Logic and Computation
Philosophia Mathematica | 1996-01-02 | Paper |
Mathematics and Philosophy of Mathematics
Philosophia Mathematica | 1994-07-07 | Paper |
Logic, ontology, mathematical practice
Synthese | 1993-02-02 | Paper |
scientific article; zbMATH DE number 50939 (Why is no real title available?)
| 1992-09-18 | Paper |
Expressive completeness and decidability
Notre Dame Journal of Formal Logic | 1990-01-01 | Paper |
The Lindenbaum construction and decidability
Notre Dame Journal of Formal Logic | 1988-01-01 | Paper |
Turing projectability
Notre Dame Journal of Formal Logic | 1987-01-01 | Paper |
Principles of reflection and second-order logic
Journal of Philosophical Logic | 1987-01-01 | Paper |
scientific article; zbMATH DE number 3891353 (Why is no real title available?)
| 1985-01-01 | Paper |
Second-order languages and mathematical practice
Journal of Symbolic Logic | 1985-01-01 | Paper |
scientific article; zbMATH DE number 3891352 (Why is no real title available?)
| 1985-01-01 | Paper |
Arithmetic Sinn and Effectiveness
Dialectica | 1984-01-01 | Paper |
Remarks on the development of computability
History and Philosophy of Logic | 1983-01-01 | Paper |
Acceptable notation
Notre Dame Journal of Formal Logic | 1982-01-01 | Paper |
Incomplete translations of complete logics
Notre Dame Journal of Formal Logic | 1977-01-01 | Paper |
