A method of supervaluation for Kripke’s theory of truth is presented. It differs from Kripke’s own method in that it employs trees; results in a compositional semantics; assigns the intuitively correct truth values to the sentences of a particularly tricky example of Gupta’s; and – it is argued – is acceptable as an explication of the correspondence theory of truth.
To ascertain the rational credences for the epistemic agents in the famous cases of self-locating belief, one should model the processes by which those agents acquire their evidence. This approach, taken by Darren Bradley (Phil. Review 121, 149–177) and Joseph Halpern (Ergo 2, 195–206), is immensely reasonable. Nevertheless, the work of those authors makes it seem as if this approach must lead to such conclusions as the Doomsday argument being correct, and that Sleeping Beauty should be a halfer. I argue that this is due to an implicit existential bias: it is assumed that the first step in those processes is the determination that the agent in question must necessarily exist. It is much more reasonable to model that determination as contingent and a result of other, earlier, steps in the process. This paper offers such alternative models. They imply an endorsement of what has mockingly been called “presumptuous” reasoning, and a massive shift of credences in favor of (1) the existence of a multiverse and (2) the Everettian interpretation of quantum mechanics.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.