Jeffrey Ketland
Biographic Data
| ID | 1634193 |
|---|---|
| NAME | Jeffrey Ketland |
| GIVEN NAMES | Jeffrey |
| FAMILY NAME | Ketland |
| SIGNATURE | KETLAND J |
| AFFILIATIONS | University of Cambridge |
| ORCID | 0000-0002-5128-4387 |
| VERIFIED | Yes |
| TOTAL WORKS | 5 |
| TOTAL CITATIONS | 30 |
| AUTHOR COUNT | 5 |
| EDITOR COUNT | 0 |
| FIRST PUBLICATION YEAR | 2004 |
| LATEST PUBLICATION YEAR | 2023 |
| H-INDEX | 2 |
Axiomatization of Galilean Spacetime
In this article, we give a second-order synthetic axiomatization \mathsf{Gal}(1,3) for Galilean spacetime, the background spacetime of Newtonian classical mechanics. The primitive notions of this theory are the 3-place predicate of betweenness \texttt{Bet}, the 2-place predicate of simultaneity \sim, and a 4-place congruence predicate, written \equiv^{\sim}, restricted to simultaneity hypersurfaces. We define a standard coordinate structure \math…
Standard Formalization
Foundations of applied mathematics I
Yablo’s Paradox and ω-Inconsistency
Empirical Adequacy and Ramsification
Structural realism has been proposed as an epistemological position interpolating between realism and sceptical anti-realism about scientific theories. The structural realist who accepts a scientific theory Θ thinks that Θ is empirically correct, and furthermore is a realist about the ‘structural content’ of Θ. But what exactly is ‘structural content’? One proposal is that the ‘structural content’ of a scientific theory may be associated with its…
Empirical Adequacy and Ramsification
Structural realism has been proposed as an epistemological position interpolating between realism and sceptical anti-realism about scientific theories. The structural realist who accepts a scientific theory Θ thinks that Θ is empirically correct, and furthermore is a realist about the ‘structural content’ of Θ. But what exactly is ‘structural content’? One proposal is that the ‘structural content’ of a scientific theory may be associated with its…
Yablo’s Paradox and ω-Inconsistency
Empirical Adequacy and Ramsification
Structural realism has been proposed as an epistemological position interpolating between realism and sceptical anti-realism about scientific theories. The structural realist who accepts a scientific theory Θ thinks that Θ is empirically correct, and furthermore is a realist about the ‘structural content’ of Θ. But what exactly is ‘structural content’? One proposal is that the ‘structural content’ of a scientific theory may be associated with its…
Yablo’s Paradox and ω-Inconsistency
Foundations of applied mathematics I
Standard Formalization
Axiomatization of Galilean Spacetime
In this article, we give a second-order synthetic axiomatization \mathsf{Gal}(1,3) for Galilean spacetime, the background spacetime of Newtonian classical mechanics. The primitive notions of this theory are the 3-place predicate of betweenness \texttt{Bet}, the 2-place predicate of simultaneity \sim, and a 4-place congruence predicate, written \equiv^{\sim}, restricted to simultaneity hypersurfaces. We define a standard coordinate structure \math…
Epistemology (4 works) · Mathematics (4 works) · Philosophy (3 works) · Philosophy and History of Science (3 works) · Algebra over a field (2 works) · Computer Science (2 works) · Geometry (2 works) · Logic, Reasoning, and Knowledge (2 works) · Metaphysics (2 works) · Philosophy of language (2 works)