| Publication | Date of Publication | Type |
|---|
The Origin of the Group in Logic and the Methodology of Science
Journal of Humanistic Mathematics | 2023-10-25 | Paper |
A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC
The Review of Symbolic Logic | 2023-05-26 | Paper |
Syllogistic Logic and Mathematical Proof
| 2023-01-24 | Paper |
Some Unpublished Letters by G\"odel and von Neumann in the Fraenkel Archive
| 2023-01-23 | Paper |
Three letters on the foundations of mathematics by Frank Plumpton Ramsey
Philosophia Mathematica | 2022-04-04 | Paper |
An Essay Review of Three Books on Frank Ramsey†
Philosophia Mathematica | 2022-04-04 | Paper |
An Introduction to Proof Theory
| 2021-08-24 | Paper |
Neologicist foundations: inconsistent abstraction principles and part-whole
Philosophy of Logic and Mathematics | 2020-08-21 | Paper |
scientific article; zbMATH DE number 7236164 (Why is no real title available?)
| 2020-08-17 | Paper |
Plane and solid geometry: a note on purity of methods
Boston Studies in the Philosophy and History of Science | 2020-02-04 | Paper |
Definitions by abstraction in the Peano school
From Arithmetic to Metaphysics | 2020-02-03 | Paper |
Abstraction and Infinity
| 2019-06-18 | Paper |
scientific article; zbMATH DE number 6934360 (Why is no real title available?)
| 2018-09-10 | Paper |
William Ewald and Wilfried Sieg, eds, David Hilbert's Lectures on the Foundations of Arithmetic and Logic, 1917-1933. Heidelberg: Springer, 2013. ISBN: 978-3-540-69444-1 (e-bk); 978-3-540-20578-4 (hbk). Pp. xxv + 1062
Philosophia Mathematica | 2017-03-03 | Paper |
Grundlagen, Section 64: Frege's Discussion of Definitions by Abstraction in Historical Context
History and Philosophy of Logic | 2017-02-22 | Paper |
Abstraction and infinity
| 2016-10-13 | Paper |
Heinrich Behmann's 1921 lecture on the decision problem and the algebra of logic
The Bulletin of Symbolic Logic | 2016-03-18 | Paper |
scientific article; zbMATH DE number 6457708 (Why is no real title available?)
| 2015-07-10 | Paper |
In good company? On Hume's principle and the assignment of numbers to infinite concepts
The Review of Symbolic Logic | 2015-06-29 | Paper |
The adventure of reason. Interplay between philosophy of mathematics and mathematical logic, 1900--1940
| 2014-01-07 | Paper |
On the relationship between plane and solid geometry
The Review of Symbolic Logic | 2012-06-11 | Paper |
scientific article; zbMATH DE number 5920144 (Why is no real title available?)
| 2011-07-13 | Paper |
The adventure of reason. Interplay between philosophy of mathematics and mathematical logic, 1900--1940
| 2010-12-16 | Paper |
Descartes and the cylindrical helix
Historia Mathematica | 2010-09-06 | Paper |
Measuring the size of infinite collections of natural numbers: was Cantor's theory of infinite number inevitable?
The Review of Symbolic Logic | 2010-01-21 | Paper |
Introduction: Interpolations -- essays in honor of William Craig
Synthese | 2009-06-16 | Paper |
Tarski on models and logical consequence
| 2007-10-24 | Paper |
Harvard 1940–1941: Tarski, Carnap and Quine on a finitistic language of mathematics for science
History and Philosophy of Logic | 2006-01-10 | Paper |
Visualization in Logic and Mathematics
Synthese Library | 2005-08-22 | Paper |
The Varieties of Mathematical Explanation
Synthese Library | 2005-08-22 | Paper |
Mathematics and Phenomenology: The Correspondence between O. Becker and H. Weyl
Philosophia Mathematica | 2004-03-04 | Paper |
scientific article; zbMATH DE number 1870426 (Why is no real title available?)
| 2003-02-18 | Paper |
Mathematical explanation: problems and prospects.
Topoi | 2001-12-18 | Paper |
Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems
History and Philosophy of Logic | 2001-12-05 | Paper |
Descartes's \textit{Géométrie} and revolutions in mathematics
| 2001-08-29 | Paper |
Bolzano and Cournot on mathematical explanation
Revue d'Histoire des Sciences | 2001-08-27 | Paper |
Between Russell and Hilbert: Behmann on the Foundations of Mathematics
The Bulletin of Symbolic Logic | 2000-08-15 | Paper |
scientific article; zbMATH DE number 1426640 (Why is no real title available?)
| 2000-04-04 | Paper |
scientific article; zbMATH DE number 1150716 (Why is no real title available?)
| 1998-05-11 | Paper |
Aristotelian logic and euclidean mathematics: Seventeenth-century developments of the quaestio de certitudine mathematicarum
Studies in History and Philosophy of Science Part A | 1993-01-16 | Paper |
On the status of proofs by contradiction in the seventeenth century
Synthese | 1992-06-28 | Paper |
Generalizing classical and effective model theory in theories of operations and classes
Annals of Pure and Applied Logic | 1991-01-01 | Paper |
Torricelli's Infinitely Long Solid and Its Philosophical Reception in the Seventeenth Century
Isis | 1991-01-01 | Paper |
Detleff Clüver: An Early Opponent of the Leibnizian Differential Calculus
Centaurus | 1990-01-01 | Paper |
The metaphysics of the calculus: A foundational debate in the Paris Academy of Sciences, 1700-1706
Historia Mathematica | 1989-01-01 | Paper |
