A normative constraint on theories about objects which we take to be real is explored: such theories are required to track the properties of the objects which they are theories of. Epistemic views in which observation (and generalizations of it) play a central role, and holist views which see epistemic virtues as applicable only to whole theories, are contrasted in the light of this constraint. It's argued that global-style epistemic virtues can't meet the constraint, although (certain) epistemic views within which (...) observation (and, more generally, thick epistemic access) are centralized do meet it. (shrink)

A new approach to truth is offered which dispenses with the truth predicate, and replaces it with a special kind of quantifier which simultaneously binds variables in sentential and nominal positions. The resulting theory of truth for a (first-order) language is shown to be able to handle blind truth ascriptions, and is shown to be compatible with a characterization of the semantic and syntactic principles governing that language. Comparisons with other approaches to truth are drawn. An axiomatization of AU-quantifiers and (...) a model theory for them is given, and an appendix contains a completeness proof. (shrink)

One effect of W. V. Quine’s assault on the analytic-synthetic distinction is pressure on the boundaries between mathematics and empirical science. Assumptions about reference and knowledge that are natural in the context of the empirical sciences have been exported to the case of mathematics. Problems then arise when we ask how, given the abstractness of mathematical entities, we can refer to them or know anything about them. For if abstractness entails causal impotence, and if reference and knowledge require causal intercourse, (...) then it seems a mystery how reference to, or knowledge of, abstract entities is at all possible. (shrink)