Abstract
Hartry Field has recently examined the question whether our logical and mathematical concepts are referentially indeterminate. In his view, (1) certain logical notions, such as second-order quantification, are indeterminate, but (2) important mathematical notions, such as the notion of finiteness, are not (they are determinate). In this paper, I assess Field’s analysis, and argue that claims (1) and (2) turn out to be inconsistent. After all, given that the notion of finiteness can only be adequately characterized in pure second-order logic, if Field is right in claiming that second-order quantification is indeterminate (see (1)), it follows that finiteness is also indeterminate (contrary to (2)). After arguing that Field is committed to these claims, I provide a diagnosis of why this inconsistency emerged, and I suggest an alternative, consistent picture of the relationship between logical and mathematical indeterminacy.
[1]
Hilary Putnam,et al.
Models and reality
,
1980,
Journal of Symbolic Logic.
[2]
Hartry Field,et al.
Are Our Logical and Mathematical Concepts Highly Indeterminate
,
1994
.
[3]
Matthias Schirn.
The philosophy of mathematics today
,
1998
.
[4]
H. Putnam,et al.
Meaning and the Moral Sciences.
,
1979
.
[5]
H. Putnam.
Realism and Reason: Philosophical Papers
,
1983
.
[6]
Thomas Weston,et al.
Kreisel, the continuum hypothesis and second order set theory
,
1976,
J. Philos. Log..
[7]
Igor Douven,et al.
Putnam’s Model-Theoretic Argument Reconstructed
,
1999
.
[8]
S. Shapiro.
Foundations Without Foundationalism
,
1991
.
[9]
H. Putnam.
Realism and Reason: Philosophical Papers
,
1983
.