Online research in philosophy

Cook argues that impure sets are not located. But ‘location’ is an ambiguous word and when we resolve those ambiguities it turns out that on no resolution is Cook's argument compelling.

A natural way of understanding (non-epistemic) looks talk in natural language is phenomenalist: to ascribe looks to objects is to say something about the way they strike us when we look at them. This explains why the truth values of looks-sentences intuitively vary with the circumstances with respect to which they are evaluated. But Mike Martin (2010) argues that there is no semantic reason to prefer a phenomenalist understanding of looks to “Parsimony”, the position according to which looks are basic (...) visible properties. He suggests a semantics for looks-sentences that explains their intuitive truth values and is compatible with Parsimony. I argue that there is semantic reason to prefer a phenomenalist understanding of looks to a parsimonious one since there is a simpler semantics compatible with a phenomenalist understanding of looks, but not with Parsimony. This semantics provides a better explanation of the relevant truth value distribution. (shrink)

Epistemicism about vagueness is the view that vagueness, or indeterminacy, is an epistemic matter. Truthmaker-gap epistemicism is the view that indeterminate truths are indeterminate because their truth is not grounded by any worldly fact. Both epistemicism in general and truthmaker-gap epistemicism originated in Roy Sorensen's work on vagueness. My aim in this paper is to give a characterization of truthmaker-gap epistemicism and argue that the view is incompatible with higher-order vagueness: vagueness in whether some case of the form ‘it is (...) determinate that A’ or ‘it is indeterminate whether A’ is true. Since it is highly likely that there is higher-order vagueness (and indeed, Sorensen is adamant that there is higher-order vagueness), truthmaker-gap epistemicism is in an uncomfortable position. (shrink)

In Heck (2012), Richard Heck presents variants on the familiar liar paradox, intended to reveal limitations of theories of transparent truth. But all existing theories of transparent truth can respond to Heck's variants in just the same way they respond to the liar. These new variants thus put no new pressure on theories of transparent truth.

I show that the model-theoretic meaning that can be read off the natural deduction rules for disjunction fails to have certain desirable properties. I use this result to argue against a modest form of inferentialism which uses natural deduction rules to fix model-theoretic truth-conditions for logical connectives.