Two-dimensional semantics aims to eliminate the puzzle of necessary a posteriori and contingent a priori truths. Recently many argue that even assuming two-dimensional semantics we are left with the puzzle of necessary and a posteriori propositions. Stephen Yablo (Pacific Philosophical Quarterly, 81, 98–122, 2000) and Penelope Mackie (Analysis, 62(3), 225–236, 2002) argue that a plausible sense of “knowing which” lets us know the object of such a proposition, and yet its necessity is “hidden” and thus a posteriori. This paper answers (...) this objection; I argue that given two-dimensional semantics you cannot know a necessary proposition without knowing that it is true. (shrink)

G. E. Moore argues that goodness is an intrinsic non-natural property that supervenes irreducibly on the intrinsic natural properties of its bearers. Accordingly, it is often supposed that “Moorean” supervenience is incompatible with physicalism, a naturalistic thesis. In this paper I argue that Moorean supervenience is not in itself incompatible with physicalism, Moore’s ethical non-naturalism notwithstanding. Understanding why will help us to better appreciate the full range of resources available to physicalists.