Diversity Reading List

Abstract: This paper examines the connection between model-theoretic truth and necessary truth. It is argued that though the model-theoretic truths of some standard languages are demonstrably "necessary" (in a precise sense), the widespread view of model-theoretic truth as providing a general guarantee of necessity is mistaken. Several arguments to the contrary are criticized.

Abstract:

Kit Fine and Robert Adams have independently introduced a distinction between two ways in which a proposition might be true with respect to a world. A proposition is true at a world if it correctly represents the world. A proposition is true in a world, if it exists in that world and correctly represents it. In this paper, I clarify this distinction between outer and inner truth, defend it against recent charges of unintelligibly and argue that outer truth tracks counterfactual possibility while inner truth tracks counter-actual possibility. This connection allows us to clarify the relationship between possibility, possible actuality and the thesis of serious actualism, which is the thesis that nothing could have had a property without existing. I show that this undermines serious actualists' scruples against reading sentences like `Even if Socrates had not existed, he might have' as expressing true and genuinely de re propositions about Socrates. More generally, the connection I draw provides the serious actualist with a justification for treating actually existing but contingent objects differently from how he treats merely possible objects

Abstract: It may appear that in order to be any way at all, a thing must exist. A possible - worlds version of this claim goes as follows: (E) For every x, for every possible world w, Fx at w only if x exists at w. Here and later in (R), the letter 'F' is used as a schematic letter to be replaced with a one - place predicate. There are two arguments against (E). The first is by analogy. Socrates is widely admired now but he does not exist now. So, it is not the case that for every x, for every time t, Fx at t only if x exists at t. Possible worlds are analogous to times. Therefore, (E) is false (cf., Kaplan 1973: 503 - 05 and Salmon 1981: 36 - 40). For the second argument, replace 'F' with 'does not exist'. (E) then says that for every x, for every possible world w, x does not exist at w only if x exists at w. This is obviously false. Therefore (E) is false (cf., Kaplan 1977: 498). Despite their considerable appeal, these arguments are not unassailable. The first argument suffers from the weakness inherent in any argument from analogy; the analogy it rests on may not.