David Papineau’s model of scientific reduction, contrary to his intent, appears to enable a naturalist realist account of the primitive normativity involved in a biological adaptation’s being “for” this or that (say the eye’s being for seeing). By disabling the crucial anti-naturalist arguments against any such reduction, his model would support a cognitivist semantics for normative claims like “The heart is for pumping blood, and defective if it doesn’t.” No moral claim would follow, certainly. Nonetheless, by thus “pressing from below” (...) we may learn something about moral normativity. For instance, suppose non-cognitivists like Mackie are right that the semantics of normative claims should be “unified”: if the semantics of moral claims is non-cognitivist, so too is that of all normative claims. Then, assuming that a naturalist reduction does yield a sound cognitivist account of the primitive normativity, it would follow that our semantics of moral claims is cognitivist as well. (shrink)

David Papineau's model of scientific reduction, contrary to his intent, appears to enable a naturalist realist account of the primitive normativity involved in a biological adaptation's being “for” this or that (say the eye's being for seeing). By disabling the crucial anti‐naturalist arguments against any such reduction, his model would support a cogni‐tivist semantics for normative claims like “The heart is for pumping blood, and defective if it doesn't.” No moral claim would follow, certainly. Nonetheless, by thus “pressing from below” (...) we may learn something about moral normativity. For instance, suppose non‐cognitivists like Mackie are right that the semantics of normative claims should be “unified”: if the semantics of moral claims is non‐cognitivist, so too is that of all normative claims. Then, assuming that a naturalist reduction does yield a sound cognitivist account of the primitive normativity, it would follow that our semantics of moral claims is cognitivist as well. (shrink)

The phenomenon of mutual support presents a specific challenge to the foundationalist epistemologist: Is it possible to model mutual support accurately without using circles of evidential support? We argue that the appearance of loops of support arises from a failure to distinguish different synchronic lines of evidential force. The ban on loops should be clarified to exclude loops within any such line, and basing should be understood as taking place within lines of evidence. Uncertain propositions involved in mutual support relations (...) are conduits to each other of independent evidence originating ultimately in the foundations. We examine several putative examples of benign loops of support and show that, given the distinctions noted, they can be accurately modeled in a foundationalist fashion. We define an evidential "tangle," a relation among three propositions that appears to require a loop for modeling, and prove that all such tangles are trivial in a sense that precludes modeling them with an evidential circle. (shrink)