Stephen Mackereth
Biographic Data
| ID | 5911492 |
|---|---|
| NAME | Stephen Mackereth |
| GIVEN NAMES | Stephen |
| FAMILY NAME | Mackereth |
| SIGNATURE | MACKERETH S |
| AFFILIATIONS | Society of Fellows and Department of Philosophy Dartmouth College Hanover New Hampshire USA |
| ORCID | 0000-0001-8150-9658 |
| VERIFIED | Yes |
| TOTAL WORKS | 2 |
| TOTAL CITATIONS | 0 |
| WORKS AS AUTHOR | 2 |
| WORKS AS EDITOR | 0 |
| FIRST PUBLICATION YEAR | 2025 |
| LATEST PUBLICATION YEAR | 2026 |
| H-INDEX | 0 |
Neo-logicism and Conservativeness
Neo-logicists have claimed that Hume's Principle (HP) may be taken as a stipulative definition of cardinal number. However, this claim is threatened by the fact that HP is not conservative over pure second-order logic. I argue that the dominant neo-logicist response to the conservativeness objection is not satisfactory. Then I propose a novel version of neo-logicism, based on Heck's Two-sorted Hume's Principle (2HP), which does meet the conservat…
The philosophical significance of Gödel's Dialectica interpretation
Hilbert's Program in the 1920s aimed to give finitary consistency proofs for infinitary mathematics, thus putting infinitary mathematics on a more secure footing. There is a popular narrative that Hilbert's Program was decisively refuted by Gödel's incompleteness theorems in 1931. However, Gödel himself, in a remarkable paper of 1958, pursues a modified version of Hilbert's Program: he presents his Dialectica interpretation as a new, Hilbert‐styl…
No prominent works on this page.
The philosophical significance of Gödel's Dialectica interpretation
Hilbert's Program in the 1920s aimed to give finitary consistency proofs for infinitary mathematics, thus putting infinitary mathematics on a more secure footing. There is a popular narrative that Hilbert's Program was decisively refuted by Gödel's incompleteness theorems in 1931. However, Gödel himself, in a remarkable paper of 1958, pursues a modified version of Hilbert's Program: he presents his Dialectica interpretation as a new, Hilbert‐styl…
Neo-logicism and Conservativeness
Neo-logicists have claimed that Hume's Principle (HP) may be taken as a stipulative definition of cardinal number. However, this claim is threatened by the fact that HP is not conservative over pure second-order logic. I argue that the dominant neo-logicist response to the conservativeness objection is not satisfactory. Then I propose a novel version of neo-logicism, based on Heck's Two-sorted Hume's Principle (2HP), which does meet the conservat…
Analytic philosophy (1 work) · Calculus (dental) (1 work) · Consequentialism (1 work) · Contemporary philosophy (1 work) · Critical Theory and Philosophy (1 work) · Epistemology (1 work) · Epistemology, Ethics, and Metaphysics (1 work) · Interpretation (philosophy (1 work) · Linguistics (1 work) · Phenomenology and Existential Philosophy (1 work)