Functionalists about truth employ Ramsification to produce an implicit definition of the theoretical term _true_, but doing so requires determining that the theory introducing that term is itself true. A variety of putative dissolutions to this problem of epistemic circularity are shown to be unsatisfactory. One solution is offered on functionalists' behalf, though it has the upshot that they must tread on their anti-pluralist commitments.

Supervaluationism, traditionally conceived, is the conjunction of three theses: Vagueness in a language gives rise to there being a multitude of acceptable assignments of semantic values to some expressions of the language, These assignments correspond to possible completions of the meanings of vague expressions, Truth is truth under all acceptable assignments, and falsity is falsity under all acceptable assignments. Supervaluationism has three chief virtues. It preserves classical logic. It provides an account of what vagueness is . And it extends nicely (...) to the vagueness of singular terms. I argue, however, that the existence of vagueifiers ‐ expressions like‘roughly’– pose problems for thesis of Supervaluationism, and that the supervaluationist can get around these problems only at a serious cost. Toward the end of the paper, I present an alternative analysis of vagueness, which preserves the main virtues of Supervaluationism, but which identifies vagueness as semantic Overdetermination, rather than as semantic underdetermination. (shrink)

Supervaluationism, traditionally conceived, is the conjunction of three theses: Vagueness in a language gives rise to there being a multitude of acceptable assignments of semantic values to some expressions of the language, These assignments correspond to possible completions of the meanings of vague expressions, Truth is truth under all acceptable assignments, and falsity is falsity under all acceptable assignments. Supervaluationism has three chief virtues. It preserves classical logic. It provides an account of what vagueness is. And it extends nicely to (...) the vagueness of singular terms. I argue, however, that the existence of vagueifiers ‐ expressions like‘roughly’– pose problems for thesis of Supervaluationism, and that the supervaluationist can get around these problems only at a serious cost. Toward the end of the paper, I present an alternative analysis of vagueness, which preserves the main virtues of Supervaluationism, but which identifies vagueness as semantic Overdetermination, rather than as semantic underdetermination. (shrink)

I provide a compact reformulation of Carnap’s conditions of adequacy for the analytic and the synthetic component of a theory and show that, contrary to arguments by Winnie and Demopoulos, Carnap’s conditions of adequacy need not be supplemented by another condition. This has immediate implications for the analytic component of reduction sentences.