David Annis is professor of philosophy at Ball State University. In this essay, Annis offers an alternative to the foundationalist-coherent controversy: "contextualism." This theory rejects both the idea of intrinsically basic beliefs in the foundational sense and the thesis that coherence is sufficient for justification. he argues that justification is relative to the varying norms of social practices.

then essentially characterized the hypotheses that mechanical scientists can successfully decide in the limit in terms of arithmetic complexity. These ideas were developed still further by Peter Kugel [4]. In this paper, I extend this approach to obtain characterizations of identification in the limit, identification with bounded mind-changes, and identification in the short run, both for computers and for ideal agents with unbounded computational abilities. The characterization of identification with n mind-changes entails, as a corollary, an exact arithmetic characterization of (...) Putnam's n-trial predicates, which closes a gap of a factor of two in Putnam's original characterization [12]. (shrink)