In this paper I argue that the growing block theory of time has rather surprising, and hitherto unexplored, explanatory benefits when it comes to certain enduring philosophical puzzles concerning death. In particular, I claim the growing block theorist has readily available and convincing answers to the following questions: Why is it an evil to be dead but not an evil to be not yet born? How can death be an evil for the dead if they no longer exist to suffer (...) it? When is death an evil for the one who dies? The ability to give such answers is a significant, but by no means decisive, advantage for the growing block view of time. (shrink)

I focus on two arguments, due to Jaegwon Kim and Trenton Merricks, that move from claims about the sufficiency of one class of causes to the reduction or elimination of another class of entity, via claims about overdetermination. I argue that in order to validate their move from sufficiency to reduction or elimination, both Kim and Merricks must assume that there can be no ‘weak overdetermination’; i.e., that no single effect can have numerically distinct but dependently sufficient causes occurring at (...) the same time. One problem for both arguments is that weak overdetermination isn't obviously objectionable. That point has been well made before. But I want here to go further than merely shifting the burden of proof onto the advocates of overdetermination arguments. I want to tease out why they are so convinced that we must resist weak overdetermination and explain why their conviction is misguided. Both Merricks and Kim, I shall argue, ultimately rest their case on the same motivating principle, wh.. (shrink)

In this paper I argue for a view of groups, things like teams, committees, clubs and courts. I begin by examining features all groups seem to share. I formulate a list of six features of groups that serve as criteria any adequate theory of groups must capture. Next, I examine four of the most prominent views of groups currently on offer—that groups are non-singular pluralities, fusions, aggregates and sets. I argue that each fails to capture one or more of the (...) criteria. Last, I develop a view of groups as realizations of structures. The view has two components. First, groups are entities with structure. Second, since groups are concreta, they exist only when a group structure is realized. A structure is realized when each of its functionally defined nodes or places are occupied. I show how such a view captures the six criteria for groups, which no other view of groups adequately does, while offering a substantive answer to the question, “What are groups?”. (shrink)

Any movement worth its salt has a creation myth. Analytic metaphysics is no exception. According to legend, it was born from the clash of two titans. On the one side, was the anti-metaphysical Logi...

Since the linguistic turn, many have taken semantics to guide ontology. Here, I argue that semantics can, at best, serve as a partial guide to ontological commitment. If semantics were to be our guide, semantic data and semantic treatments would need to be taken seriously. Through an examination of plurals and their treatments, I argue that there can be multiple, equally semantically adequate, treatments of a natural language theory. Further, such treatments can attribute different ontological commitments to a theory. Given (...) this, I argue that semantics can fail to deliver determinate ontological commitments and determinate answers to ontological questions, more generally. (shrink)

The aim of this text is show how Borges, in his story Tigres azules, develops several interesting ideas about logic, language and mathematics. The starting point is Borgesian skepticism about the ability of classical logic to take the problem of truth and impossible worlds. It is defended that inconsistent and even self-contradictory objects do not necessarily give rise to physically or logically impossible worlds. It is suggested that the paradoxes that Borges constructs in the story are not paradoxes of self-reference, (...) but variants of Moore’s paradox and paradoxes of material implication, so to overcome them requires a non-classical approach that neutralizes ECQ, this is, a paraconsistent logic system. (shrink)

Perdurantists hold that we persons—just like other ordinary objects—persist by perduring, by having temporal parts, or stages, located over time. Perdurantists also standardly endorse the B-theory of time. And, in light of this endorsement, they typically characterize our tensed beliefs as self-ascriptions of properties, made not by us but by our stages. For instance, for me to believe that Angela Merkel is currently the chancellor of Germany is for my now-located stage to self-ascribe the property of being simultaneous with Merkel’s (...) chancellorship. The problem with this way of understanding tensed belief is that it undermines—if not outright contradicts—the perdurantist’s best options for resisting the Too Many Thinkers objection. In what follows, I show why this is. I then consider what I take to be the perdurantist’s most promising alternative account of tensed belief. I argue that this alternative either leaves perdurantists no better off with respect to the Too Many Thinkers objection or, instead, leaves them vulnerable to another objection, one that they would otherwise have no problem resisting. (shrink)

H. G. Wells’ Time Traveller inhabits uniform Newtonian time. Where relativistic/quantum travelers into the past follow spacetime curvatures, past-bound Wellsians must reverse their direction of travel relative to absolute time. William Grey and Robin Le Poidevin claim reversing Wellsians must overlap with themselves or fade away piecemeal like the Cheshire Cat. Self-overlap is physically impossible but ‘Cheshire Cat’ fades destroy Wellsians’ causal continuity and breed bizarre fusions of traveler-stages with opposed time-directions. However, Wellsians who rotate in higher-dimensional space can reverse (...) temporal direction without self-overlap, Cheshire Cats or mereological monstrosities. Alas, hyper-rotation in Newtonian space poses dynamic and biological problems,. Controllable and survivable Wellsian travel needs topologically-variable spaces. Newtonian space, not Newtonian time, is Wellsians’ real enemy. (shrink)

Syntactic Reductionism, as understood here, is the view that the ‘logical forms’ of sentences in which reference to abstract objects appears to be made are misleading so that, on analysis, we can see that no expressions which even purport to refer to abstract objects are present in such sentences. After exploring the motivation for such a view, and arguing that no previous argument against it succeeds, sentences involving generalized quantifiers, such as ‘most’, are examined. It is then argued, on this (...) basis, that Syntactic Reductionism is untenable. (shrink)

In this paper, I show how a solution to Lewis’ problem of temporary intrinsics is also a response to McTaggart’s argument that the A-series is incoherent. There are three strategies Lewis considers for solving the problem of temporary intrinsics: perdurantism, presentism, and property-indexing. William Lane Craig (Analysis 58(2):122–127, 1998) has examined how the three strategies fare with respect to McTaggart’s argument. The only viable solution Lewis considers to the problem of temporary intrinsics that also succeeds against McTaggart, Craig claims, is (...) presentism. This gives us prima facie reason to be presentists. But there is a strategy Craig does not consider-indexing, or relativizing, the copula. In this paper, I show that to the degree that indexing the copula solves the problem of temporary intrinsics, it also shows the invalidity of McTaggart’s argument. The upshot: the copula-indexer needn’t affirm the unreality of time, nor need she embrace presentism. (shrink)

A simple argument against Lewisian modal realism as portrayed in On the Plurality of World arises from its treatment of doxastic modalities. It is easily shown that if it is true, it is impossible to doubt the theory on ontological grounds, or, that, if it is possible to maintain doubt about modal realism’s existential postulate, it has to be false. The argument hinges on the fact that modal realism’s main ontological hypothesis, if true, is necessarily true.

I argue for the possibility of hypergunk: that is, it is possible that there exists an x such that every part of x has a proper part and, for any set S of parts of x, there is a set S′ of parts of...

ABSTRACTHegel's Phenomenology of Spirit provides a fascinating picture of individual minds caught up in “recognitive” relations so as to constitute a realm—“spirit”—which, while necessarily embedded in nature, is not reducible to it. In this essay I suggest a contemporary path for developing Hegel's suggestive ideas in a way that broadly conforms to the demands of his own system, such that one moves from logic to a philosophy of mind. Hence I draw on Hegel's “subjective logic”, understood in the light of (...) modern modal logic, in an attempt to model the way minds might be thought as connected by way of shared intentional contents. Here, we should not be surprised at some of the parallels that emerge between the approaches of Hegel and the modal logician Arthur Prior, as Prior had testified to the influence of his teacher, John N. Findlay, who himself had strong Hegelian leanings. In the final section, Robert Stalnaker's version of possible-world semantics is suggested as a framework within which Hegel's recognitive account of the mind might be understood. (shrink)

This essay is a study of ontological commitment, focused on the special case of arithmetical discourse. It tries to get clear about what would be involved in a defense of the claim that arithmetical assertions are ontologically innocent and about why ontological innocence matters. The essay proceeds by questioning traditional assumptions about the connection between the objects that are used to specify the truth-conditions of a sentence, on the one hand, and the objects whose existence is required in order for (...) the truth-conditions thereby specified to be satisfied, on the other. This allows one to set forth an assignment of truth-conditions to arithmetical sentences whereby nothing is required of the world in order for the truth-conditions of a truth of pure arithmetic to be satisfied. The essay then argues that such an assignment can be used to account for the a priori knowability of certain arithmetical truths. (shrink)

Impostors are pseudo-problems masquerading as genuine problems. Impostors should be exposed. The problem of change appears genuine. But some, such as Hofweber ( 2009 ) and Rychter ( 2009 ), have recently denounced it as an impostor. They allege that it is mysterious how to answer the meta - problem of saying what problem it is: for even if any problem is genuinely about change per se, they argue, it is either empirical or trivially dissolved by conceptual analysis. There is (...) indeed an impostor in our midst. But it is the meta-problem of change. I defend the appearance that the problem of change is a genuine metaphysical problem about change. This vindicates philosophers’ lasting interest in it. It also illuminates what makes a problem metaphysical, how metaphysics relates to other inquiries, and how best to respond to attempts to undermine metaphysical problems. (shrink)

This paper explores the prospects of combining two views. The first view is metaphysical rationalism : all things have an explanation. The second view is metaphysical essentialism: there are real essences. The exploration is motivated by a conflict between the views. Metaphysical essentialism posits facts about essences. Metaphysical rationalism demands explanations for all facts. But facts about essences appear to resist explanation. I consider two solutions to the conflict. Exemption solutions attempt to exempt facts about essences from the demand for (...) explanation. Explanation solutions attempt to explain facts about essences. I argue that exemption solutions are less promising than explanation solutions. I then consider how explanation solutions might be developed. I suggest that a “generative” approach is most promising. I tentatively conclude that the prospects for combining metaphysical rationalism and metaphysical essentialism turn on the viability of a generative approach. This sets the agenda for defending the combination as well as the more general project of explaining essences. (shrink)

David Lewis’s counterpart-theoretic semantics for quantified modal logic is motivated originally by worries about identifying objects across possible worlds; the counterpart relation is grounded more cautiously on comparative similarity. The possibility of contingent identity is an unsought -- and in some eyes, unwelcome -- consequence of this approach. In this paper I motivate a Kripkean counterpart theory by way of defending the prior, pre-theoretical, coherence of contingent directness. Contingent identity follows for free. The theory is Kripkean in that the counterpart (...) relation is in a sense stipulated rather than grounded on similarity, and is such that no object has more than one counterpart at a world. This avoids a number of objections Fara and Williamson have recently levelled against counterpart theory generally; their other objections are addressed by enriching the theory with special quantifiers and actuality operators. (shrink)

The idea that there are features of or in our conscious experience that are, in some important sense, private has both a long history in philosophy and a large measure of intuitive attraction. Once this idea is in place, it will be very natural to assume that one can think and judge about one’s own private features. And it is then only a small step to the idea that we might communicate such thoughts and judgements about our respective private features (...) with each other. (shrink)

The knowledge representation and reasoning of both humans and artificial systems often involves conditionals. A conditional connects a consequence which holds given a precondition. It can be easily recognized in natural languages with certain key words, like “if” in English. A vast amount of literature in both fields, both artificial intelligence and psychology, deals with the questions of how such conditionals can be best represented and how these conditionals can model human reasoning. On the other hand, findings in the psychology (...) of reasoning, such as those in the Suppression Task, have led to a paradigm shift from the monotonicity assumptions in human inferences towards nonmonotonic reasoning. Nonmonotonic reasoning is sensitive for information change, that is, inferences are drawn cautiously such that retraction of previous information is not required with the addition of new information. While many formalisms of nonmonotonic reasoning have been proposed in the field of Artificial Intelligence, their capability to model properties of human reasoning has not yet been extensively investigated. In this paper, we analyzed systematically from both a formal and an empirical perspective the power of formal nonmonotonic systems to model possible explicit defeaters, as in the Suppression Task, and more implicit conditional rules that trigger nonmonotonic reasoning by the keywords in such rules. The results indicated that the classical evaluation for the correctness of inferences has to be extended in the three major aspects regarding the inference system, the knowledge base, and possible assumed exceptions for the rule. (shrink)

The present article purports to show that the protocol sentence debate, pursued by some leading members of the Vienna Circle in the mid-1930s, was essentially a controversy over the explanation and the real significance of the concept of truth. It is further shown that the fundamental issue underlying the discussions about the concept of truth was the relationship between form and content, as well as between logic/language and the world. R. Carnap was the philosopher who most explicitly and systematically attempted (...) to come to grips with this problem. It is shown that the form-content distinction pervades the three most important phases of Carnap's philosophical development: the structuralist (in Der logische Aufbau der Welt), the syntactical and the semantical. His final semantical stance is essentially determined by the concept of linguistic frameworks. The article purports to demonstrate that this concept cannot be dispensed with in philosophy, but that Carnap failed to work out its ontological implications. Finally, the concept of an internal ontology is briefly delineated. (shrink)

I argue that Frege Problems in thought are best modeled using graph-theoretic machinery; and that these problems can arise even when subjects associate all the same qualitative properties to the object they’re thinking of twice. I compare the proposed treatment to similar ideas by Heck, Ninan, Recanati, Kamp and Asher, Fodor, and others.

According to the B-theory, the passage of time is an illusion. The B-theory therefore requires an explanation of this illusion before it can be regarded as fullysatisfactory; yet very few B-theorists have taken up the challenge of trying to provide one. In this paper I take some first steps toward such an explanation by first making a methodological proposal, then a hypothesis about a key element in the phenomenology of temporal passage. The methodological proposal focuses onthe representational content of the (...) element of experience by virtue of which time seems to pass. The hypothesis involves the claim that the experience of changeinvolves the representation of something enduring, rather than perduring, through any change. (shrink)

John Perry has argued that language, thought and experience often contain unarticulated constituents. I argue that this idea holds the key to explaining away the intuitive appeal of the A-theory of time and the endurance theory of persistence. The A-theory has seemed intuitively appealing because the nature of temporal experience makes it natural for us to use one-place predicates like past to deal with what are really two-place relations, one of whose constituents is unarticulated. The endurance view can be treated (...) in a similar way; the temporal boundaries of temporal parts of objects are unarticulated in experience and this makes it seem that the very same entity exists at different times. (shrink)

This essay offers a rearticulation and defence of the modal account of luck that the author developed in earlier work . In particular, the proposal is situated within a certain methodology, a component of which is paying due attention to the cognitive science literature on luck ascriptions. It is shown that with the modal account of luck properly articulated it can adequately deal with some of the problems that have recently been offered against it, and that the view has a (...) number of attractions over competing proposals, such as the lack of control account. (shrink)

In this article it is argued that the standard theoretical account of risk in the contemporary literature, which is cast along probabilistic lines, is flawed, in that it is unable to account for a particular kind of risk. In its place a modal account of risk is offered. Two applications of the modal account of risk are then explored. First, to epistemology, via the defence of an anti-risk condition on knowledge in place of the normal anti-luck condition. Second, to legal (...) theory, where it is shown that this account of risk can cast light on the debate regarding the extent to which a criminal justice system can countenance the possibility of wrongful convictions. (shrink)

Frege’s rejection of singular reference to concepts is centrally implicated in his notorious paradox of the concept horse. I distinguish a number of claims in which that rejection might consist and detail the dialectical difficulties confronting the defense of several such claims. Arguably the least problematic such claim—that it is simply nonsense to say that a concept can be referred to with a singular term—has recently received a novel defense due to Robert Trueman. I set out Trueman’s argument for this (...) claim, identifying and remedying some omissions and errors of formulation therein. I then develop a response to the argument by showing, pace Trueman, that it is possible—and how it is possible—to express identities between objects and concepts. (shrink)

Support is canvassed for a new approach to epistemology called anti-risk epistemology. It is argued that this proposal is rooted in the motivations for an existing account, known as anti-luck epistemology, but is superior on a number of fronts. In particular, anti-risk epistemology is better placed than anti-luck epistemology to supply the motivation for certain theoretical moves with regard to safety-based approaches to knowledge. Moreover, anti-risk epistemology is more easily extendable to epistemological questions beyond that in play in the theory (...) of knowledge specifically. A key advantage of the view, however, is that anti-risk epistemology fares much better than anti-luck epistemology when it comes to accounting for the phenomenon of negative epistemic dependence. In particular, anti-risk epistemology is ideally placed to explain why such epistemic dependence is incompatible with knowledge, even when the negative epistemic dependence in play is of a purely modal variety. (shrink)

Is the objective passage of time compatible with relativistic physics? There are two easy routes to an affirmative answer: (1) provide a deflationary analysis of passage compatible with the block universe, or (2) argue that a privileged global present is compatible with relativity. (1) does not take passage seriously. (2) does not take relativity seriously. This paper is concerned with the viability of views that seek to take both passage and relativity seriously. The investigation proceeds by considering how traditional A-theoretic (...) conceptions of passage might be generalized to relativistic space-times without incorporating a privileged global present. I argue that the most promising position marries the idea that open possibilities for the future are settled as time passes with a ‘non-standard’ interpretation of the relevant formal models. (shrink)

It is intuitive to suppose that the question of whether I persist through a given period will always have a metaphysically substantive ‘yes’ or ‘no’ answer. Derek Parfit challenges this intuition. Given the truth of Reductionism, he argues, identity can be indeterminate. The main argument Parfit marshals in support of this claim employs his Sorites-style Combined Spectrum thought experiment. Despite its influence, there are conspicuous gaps in his argument. Notably, he claims that identity is indeterminate when questions about persistence are (...) ‘empty’. But indeterminacy in Sorites puzzles is traditionally held to result from vagueness – a topic Parfit avoids. Without an account of the relationships between vagueness, indeterminacy, and question-emptiness, his argument remains incomplete. I begin by outlining Parfit’s argument as it stands. I then propose that we can provide the missing details by supplementing Parfit’s treatment of the Combined Spectrum with Sider’s notion of nonsubstantivity. This gives us a clearer understanding of Parfit’s indeterminacy claim, and affords the room to accommodate vagueness in his argument. Once we spell out what this means, however, it becomes clear that a more radical conclusion is justified by Parfit’s reasoning: it is always an empty question whether a person persists. (shrink)

In this essay, the tension that Benacerraf identifies for theories of mathematical truth is used as the vehicle for arguing against a particular desideratum for semantic theories. More specifically, I place in question the desideratum that a semantic theory, provided for some area of discourse, should run in parallel with the semantic theory holding for the rest of the language. The importance of this desideratum is also made clear by means of tracing out the subtle implications of its rejection.

The paper defends an Aristotelian notion of indeterminism, as rigorously formulated in the framework of branching space-times (BST) of Belnap (1992), against the model-theoretic characterization of indeterminism that Montague (1962) introduced into the philosophy of science. It delineates BST branching against the background provided by Earman's (2008) distinction between individual vs. ensemble branching. It describes a construction of physically-motivated BST models, in which histories are isomorphic to Minkowski spacetime. Finally it responds to criticism leveled against BST by addressing some semantical (...) questions, a topological issue, and the past/future asymmetry. (shrink)

This paper is concerned with two concepts of qualitativeness that apply to intensional entities. I propose an account of pure qualitativeness that largely follows the traditional understanding established by Carnap, and try to shed light on its ontological presuppositions. On this account, an intensional entity is purely qualitative iff it does not ‘involve’ any particular. An alternative notion of qualitativeness—which I propose to refer to as a concept of strict qualitativeness—has recently been introduced by Chad Carmichael. However, Carmichael’s definition presupposes (...) a highly fine-grained conception of properties and relations. To eliminate this presupposition, I tentatively suggest a different definition that rests on a concept of perspicuous denotation. In the penultimate section, both concepts of qualitativeness are put to work in distinguishing between different ‘grades’ of qualitative discriminability. (shrink)

Against the background of the theory of branching space-times (BST), the paper sketches a concept of individuals. It discusses Kripkean modal intuitions concerning individuation, and, finally it addresses Lewis’s objections to branching individuals.

It is widely assumed that if ontological disputes turn out to be verbal they ought to be dismissed. I dissociate the semantic question concerning the verbalness of ontological disputes from the pragmatic question on whether they ought to be dismissed. I argue that in the context of ontological disputes ontologists ought to be taken to communicate views with conflicting ontological commitments even if it turns out that on the correct view of semantics they fail to literally-express their disagreement. I argue, (...) that is, against dismissing ontological disputes on grounds of verbalness. This serves to discharge the ongoing debate on the verbalness of ontological disputes from the metaontological consequences typically associated with it. (shrink)

Suppose we take a picture containing a full image of a duck and slice it right through, leaving some of the duck image on one slice and some of it on the other. How many duck images will we be left with? Received theories of pictorial representation presuppose that a surface cannot come to contain new images just by changing its physical relations with other surfaces, such as physical continuity. But as it turns out, this is in tension with received (...) theories’ approach to incomplete images. I address three views with respect to the circumstances in which incomplete images of X represent X. 1. A liberal, non-restrictive view: ‘Iff they meet relevant requirements posed by received theory of pictorial representation.’ 2. Moderate restrictions of this view and 3. A fully restrictive view. After investigating challenges for the liberal view, I end up supporting it. The main challenges rest on the fact that only the fully restrictive view can plausibly accommodate some principles that seem inherent to our theory of representation. For instance: only this view accommodates received theories’ presupposition that the representational properties of a surface depend on its configurational properties such that new images may appear on a surface only if its configurational properties have changed. Since the liberal view is overall more plausible than the restrictive view, I reject this presupposition and bear the consequences. (shrink)

Abstract: This article defends a controversial metaphilosophical thesis: it is not immediately obvious that "the best argument wins" in philosophy. Certain philosophical views, for example, extremely controversial ethical positions, may be intolerable and impossible to take seriously as contributions to ethical discussion, irrespective of their argumentative merits. As a case study of this metaphilosophical issue, the article discusses David Benatar's recent thesis that it is, for everyone, harmful to exist. It is argued that ethical and cultural "unthinkabilities" set limits to (...) philosophical reasoning that even the most insightful arguments cannot transcend. (shrink)

Davidson conjectured that suitably formulated Tarski-style theories of truth can “do duty” as theories of meaning for the spoken languages that humans naturally acquire. But this conjecture faces a pair of old objections that are, in my view, fatal when combined. Foster noted that given any theory of the sort Davidson envisioned, for a language L, there will be many equally true theories whose theorems pair endlessly many sentences of L with very different specifications of whether or not those sentences (...) are true. And if L includes words ‘true’, then for reasons stressed by Tarski, it’s hard to see how any truth theory for L could be correct. Moreover, each of these concerns amplifies the other. Appealing to possible worlds will not help with Foster’s Problem, for reasons that Chomsky discussed in the 1950s, and appealing to trivalent models of truth will not avoid concerns illustrated with Liar Sentences. (shrink)

Renewed worries about the unity of the proposition have been taken as a crucial stumbling block for any traditional conception of propositions. These worries are often framed in terms of how entities independent of mind and language can have truth conditions: why is the proposition that Desdemona loves Cassio true if and only if she loves him? I argue that the best understanding of these worries shows that they should be solved by our theory of truth and not our theory (...) of content. Specifically, I propose a version of the redundancy theory according to which ‘it is true that Desdemona loves Cassio’ expresses the same proposition as ‘Desdemona loves Cassio’. Surprisingly, this variant of the redundancy theory treats ‘is true’ as an ordinary predicate of the language, thereby defusing many standard criticisms of the redundancy theory. (shrink)

In this paper, I will offer an analogy between the Trinity and extended simples that supports a Latin approach to the Trinity. The theoretical tools developed to discuss and debate extended simples in the literature of contemporary analytic metaphysics, I argue, can help us make useful conceptual distinctions in attempts to understand what it could be for God to be Triune. Furthermore, the analogy between extended simples and the Trinity might surprise some who find one of these at least plausibly (...) possible and the other incoherent. (shrink)

Scott Soames has argued that Rigidified Descriptivism wrongly predicts that one cannot believe, say, that Joe Strummer was born in 1952 without having a belief about the actual world. Soames suggests that agents in other possible worlds may have this belief, but may lack any beliefs about the actual world, a world that they do not occupy and have no contact with. I respond that this argument extends to other popular actuality-involving analyses. In order for Soames to hold on to (...) his argument against Rigidified Descriptivism, he must provide alternatives to these analyses. I argue that there is reason to think that these alternatives are not forthcoming, so Soames should surrender his argument against Rigidified Descriptivism. (shrink)

Leibniz has long faced a challenge about the coherence of the distinction between necessary and contingent truths in his philosophy. In this paper, I propose and examine a new way to save genuine contingency within a Leibnizian framework. I conclude that it succeeds in formally solving the problem, but at unbearable cost. I present Leibniz’s challenge by considering God’s choice of the best possible world (Sect. 2). God necessarily exists and necessarily chooses to actualise the best possible world. The actual (...) world therefore could not be different, for if it were different it would be a distinct and inferior world and hence would not be created. In Sect. 3 I defend Leibniz from this challenge. I argue that while it is necessary for God to choose to create the best possible world, it is not necessary for any world to be the best possible. This is because the criterion for judging perfection can itself be contingent. Different criteria will judge different worlds as the best. Thus it is necessary for God to create the best, but not necessary which is the best. Distinguishing between possible worlds in Leibniz’s sense and in the modern sense allows a fuller exposition of this position. There are worries that can arise with the claim that the criterion of perfection is contingent. I consider two of the most pressing (Sect. 4). The first argues that the criterion is in God’s understanding and hence is necessary; the second alleges that a contingent criterion of perfection violates Leibniz’s cherished Principle of Sufficient Reason. These worries are well-grounded, and examining them reveals a deep incompatibility between this solution and Leibniz’s metaphysical views. I conclude that there is a real solution available, but that it is unacceptable to Leibniz or a Leibnizian. The search for a genuine solution that is genuinely Leibnizian goes on. (shrink)

According to David Lewis, the predicate ‘knows’ is context-sensitive in the sense that its truth conditions vary across conversational contexts, which stretch or compress the domain of error possibilities to be eliminated by the subject’s evidence. Our concern in this paper is to thematize, assess, and overcome within a neo-Lewisian contextualist project two important mismatches between our use of ‘know’ in ordinary life and the use of ‘know’ by ‘Lewisian’ ordinary speakers. The first mismatch is that Lewisian contextualism still overgenerates (...) the error possibilities which cannot be ignored in a given context, since it is oblivious to the distinction between ‘invented’ and ‘discovered’ possibilities. The second mismatch is a full-scale one: an adequate account of knowledge attribution is not exhausted by the subject’s negative capacity of pruning branches off the tree of counterpossibilities. We therefore introduce a new vector of value, which explains how ‘know’ comes in degrees: the satisfaction of ‘know better’ is made to depend on the capacity of imagining possibilities connected in a relevant way with the subject’s beliefs. (shrink)

Decision theory and folk psychology both purport to represent the same phenomena: our belief-like and desire- and preference-like states. They also purport to do the same work with these representations: explain and predict our actions. But they do so with different sets of concepts. There's much at stake in whether one of these two sets of concepts can be accounted for with the other. Without such an account, we'd have two competing representations and systems of prediction and explanation, a dubious (...) dualism. Folk psychology structures our daily lives and has proven fruitful in the study of mind and ethics, while decision theory is pervasive in various disciplines, including the quantitative social sciences, especially economics, and philosophy. My interest is in accounting for folk psychology with decision theory -- in particular, for believe and wanting, which decision theory omits. Many have attempted this task for belief. (The Lockean Thesis says that there is such an account.) I take up the parallel task for wanting, which has received far less attention. I propose necessary and sufficient conditions, stated in terms of decision theory, for when you're truly said to want; I give an analogue of the Lockean Thesis for wanting. My account is an alternative to orthodox accounts that link wanting to preference (e.g. Stalnaker (1984), Lewis (1986)), which I argue are false. I argue further that want ascriptions are context-sensitive. My account explains this context-sensitivity, makes sense of conflicting desires, and accommodates phenomena that motivate traditional theses on which 'want' has multiple senses (e.g. all-things-considered vs. pro tanto). (shrink)