I am grateful to Catharine Abell and Gregory Currie for their incisive and productive commentaries on Apt Imaginings. In what follows, I will try to respond to.

Do Russellian propositions have their constituents as parts? One reason for thinking not is that if they did, they would generate apparent counterexamples to plausible mereological principles. As Frege noted, they would be in tension with the transitivity of parthood. A certain small rock is a part of Etna but not of the proposition that Etna is higher than Vesuvius. So, if Etna were a part of the given proposition, parthood would fail to be transitive. As William Bynoe has noted (...) (speaking of facts rather than propositions), they would seem to violate certain supplementation principles. Consider the singular proposition, concerning identity, that it is identical with itself. Given the relevant form of Russellianism, this proposition would have identity as a proper part, but it would not have any parts disjoint from identity, and indeed it would not have even a single pair of disjoint parts, in violation of various supplementation principles. This chapter offers a unified solution to the problems about transitivity and supplementation. One key ingredient in the solution is the view that parthood is a four-place relation expressed by ‘x at y is a part of z at w’. Another key ingredient is the view that the semantic contents of predicates and sentential connectives have ‘slots’ or ‘argument positions’ in them. (Both ingredients are independently motivated elsewhere.) Four-place analogues of the transitivity and supplementation principles are set out, and it is argued that these are not threatened by the examples from Frege and Bynoe. (shrink)

Relativity theory is often said to support something called ‘the four-dimensional view of reality’. But there are at least three different views that sometimes go by this name. One is ‘spacetime unitism’, according to which there is a spacetime manifold, and if there are such things as points of space or instants of time, these are just spacetime regions of different sorts: thus space and time are not separate manifolds. A second is the B-theory of time, according to which the (...) past, present, and future are all equally real and there is nothing metaphysically special about the present. A third is perdurantism, according to which persisting material objects are made up of different temporal parts located at different times. We sketch routes from relativity to unitism and to the B-theory. We then discuss some routes to perdurantism, via the B-theory and via unitism. (shrink)

I formulate an account, in terms of essence and ground, that explains why atomic Russellian propositions have the truth conditions they do. The key ideas are that (i) atomic propositions are just 0-adic relations, (ii) truth is just the 1-adic version of the instantiation (or, as I will say, holding) relation (Menzel 1993: 86, note 27), and (iii) atomic propositions have the truth conditions they do for basically the same reasons that partially plugged relations, like being an x and a (...) y such that Philip gave x to y, have the holding conditions they do. The account is meant to be mainly of intrinsic interest, but I hope that it goes some distance toward answering an objection to classical theories of propositions put forward by King (2014), who writes that ‘since the classical conception of propositions as things that have truth conditions by their very natures and independently of minds and languages is incapable of explaining how or why propositions have truth conditions, it is unacceptable’ (2014: 47). Propositions do have their truth conditions ‘by their very natures’ and ‘independently of minds and languages’. But a fact about a given entity can hold by the very nature of that entity without being a fundamental fact. I argue that this is plausibly the case for atomic Russellian propositions and the facts about their truth conditions. A fact about the truth conditions of such a proposition holds by the very nature of the given proposition but is metaphysically grounded in facts about that proposition’s parts and their essences. If my account is correct, then the supposedly intractable problem of explaining why the given propositions have the truth conditions they do reduces to the problem of explaining why relations have the holding essences they do, which few seem to have found worrisome . (shrink)

Ned Markosian has recently defended a new theory of composition, which he calls regionalism : some material objects xx compose something if and only if there is a material object located at the fusion of the locations of xx. Markosian argues that regionalism follows from what he calls the subregion theory of parthood. Korman and Carmichael agree. We provide countermodels to show that regionalism does not follow from, even together with fourteen potentially implicit background principles. We then show that regionalism (...) does follow from five of those background principles together with and two additional principles connecting parthood and location, which we call and. While the additional principles are not uncontroversial, our conjecture is that many will find them attractive. We conclude by mentioning that fills a previously unnoticed gap in the formal theory of location presented in Parsons. (shrink)

Endurantism, the view that material objects are wholly present at each moment of their careers, is under threat from supersubstantivalism, the view that material objects are identical to spacetime regions. I discuss three compromise positions. They are alike in that they all take material objects to be composed of spacetime points or regions without being identical to any such point or region. They differ in whether they permit multilocation and in whether they generate cases of mereologically coincident entities.

Slot theory is the view that (i) there exist such entities as argument places, or ‘slots’, in universals, and that (ii) a universal u is n-adic if and only if there are n slots in u. I argue that those who take properties and relations to be abundant, fine-grained, non-set-theoretical entities face pressure to be slot theorists. I note that slots permit a natural account of the notion of adicy. I then consider a series of ‘slot-free’ accounts of that notion (...) and argue that each of them has significant drawbacks. (shrink)

There are possible worlds in which time is circular and finite in duration, forming a loop of, say, 12,000 years. There are also possible worlds in which time is linear and infinite in both directions and in which history is repetitive, consisting of infinitely many 12,000-year epochs, each two of which are exactly alike with respect to all intrinsic, purely qualitative properties. Could one ever have empirical evidence that one inhabits a world of the first kind rather than a world (...) of the second kind? We argue for the affirmative answer, contra Quine, Newton-Smith, and Bergström. Our argument for that conclusion differs from an argument for the same conclusion due to Weir. Weir’s argument is probabilistic and explicitly requires having evidence against determinism. Our argument is a direct appeal to the simplicity of laws, and it involves no probabilistic component. It is modeled on Shoemaker’s argument that one could have evidence of time without change. (shrink)

I argue for the recognition of a particular kind of interest that one has in freedom of expression: an interest served by expressive activity in forming and discovering one’s own beliefs, desires, and commitments. In articulating that interest, I aim to contribute to a family of theories of freedom of expression that find its justification in the interests that speakers have in their own speech or thought, to be distinguished from whatever interests they may also have as audiences or third (...) parties for speech. Although there are many differences among such speaker-centered theories, a core commitment that most share is that expressive liberty plays a fundamental role in securing or constituting some form of individual self-realization. My account is a defense and elaboration of what I take to be one specific way in which the nature of such self-realization should be understood. In my proposal, self-realization is sometimes internally related to the very activity of expression, viz, expressing ourselves is one way in which we come to form and know our own minds. (shrink)

Personal time, as opposed to external time, has a certain role to play in the correct account of death and immortality. But saying exactly what that role is, and what role remains for external time, is not straightforward. I formulate and defend accounts of death and immortality that specify these roles precisely.

I defend coincidentalism (the view that some pluralities have more than one mereological fusion) and restricted composition (the view that some pluralities lack mereological fusions) against recent arguments due to Theodore Sider.

Each of these books offers a richly developed and nuanced account of the nature of fiction. And each poses major challenges to a view about which there is a near-consensus. Catharine Abell draws on a theory of the institutions of fiction to advance a systematic re-envisioning of the metaphysics and epistemology of the contents of stories. Gregory Currie argues that fiction’s relationship to the imagination, and the way stories communicate their contents to readers, seriously undermine fiction’s cognitive values.

David Lewis defends the following "non-circular definition of personhood": "something is a continuant person if and only if it is a maximal R-interrelated aggregate of person-stages. That is: if and only if it is an aggregate of person-stages, each of which is R-related to all the rest (and to itself), and it is a proper part of no other such aggregate." I give a counterexample, involving a person who is a part of another, much larger person, with a separate mental (...) life. I then offer an easy repair, which preserves the virtues of Lewis's definition without introducing any new vices. (shrink)

In The Life of a Style, Jonathan Gilmore claims that such narrative developments inhere in the history of art itself.By exploring such topics as the discovery ...

A primary dimension of our engagement with fictional works of art – paradigmatically literary, dramatic, and cinematic narratives – is figuring out what is true in such representations, what the facts are in the fictional world. These facts include not only those that ground any genuine understanding of a story – say, that it was his own father whom Oedipus killed – but also those that may be missed in even a largely competent reading, say, that Emma Bovary's desires and (...) dissatisfactions are fed by reading romance novels. (shrink)

In the title essay of The Philosophical Disenfranchisement of Art Arthur Danto describes two dominant strains of the philosophy of art in its Platonic beginnings: one that art is dangerous, and thus subject to political censorship or control, and the other that art exists at several removes from the ordinary reality, impotent to effect any meaningful change in the human world.1 These two ways of understanding art, really two charges laid at art’s door, seem contradictory, he writes, until one realizes (...) that the second is a philosophical response to the first. In a ‘‘kind of warfare between philosophy and art’’ philosophy sees art as a rival, as a challenger to the supremacy of reason over the minds of men. Thus Danto describes the premise advanced in Book X of the Republic that art is mimesis, or that of The Ion that the artist lacks knowledge of what he does, as components of a powerfully disabling theory of art, designed not so much to come to terms with the essence of art as to neutralize its power through metaphysical exile, denying art causal efficacy or epistemic validity in the real world. And the history of aesthetics, in Danto’s view, continues this disenfranchisement, whether in the Kantian ephemeralization of art as an object of disinterested judgment, outside the realm of human practical and political concerns, or in the Hegelian ‘‘takeover’’ of art, in which it is demoted as an inadequate form of philosophy. (shrink)

This chapter addresses the application of contemporary theories of the imagination—largely drawn from cognitive psychology—to our understanding of film. Topics include the role of the imagination in our learning what facts hold within a fictional film, including what characters’ motivations, beliefs, and feelings are; how our perceptual experience of a film explains our imaginative visualizing of its contents; how fictional scenarios in films generate certain affective and evaluative responses; and how such responses compare to those we have toward analogous circumstances (...) in real life. (shrink)

A defense of the view that (i) to be alive is to be actively undergoing (not merely capable of undergoing) certain vital processes, that (ii) to die is cease to be capable of undergoing those processes (not to cease undergoing them), and that (iii) organisms in cryptobiosis (suspended animation) are not undergoing those processes but are capable of doing so, and are neither alive nor dead.

According to what Barry Dainton calls the 'Strong Introspectibility thesis', it is a necessary truth that mental states S and S* are co-conscious (experienced together) if and only if they are 'jointly introspectible', i.e., if and only if it is possible for there to be some single state of introspective awareness that represents both S and S*. Dainton offers two arguments for the conclusion that joint introspectibility is unnecessary for co-consciousness. In these comments I attempt to show, first, that Dainton's (...) arguments fail, and, second, that joint introspectibility is actually insufficient for co-consciousness. (As to whether it is also unnecessary, I take no stance.). (shrink)

I introduce a puzzle about contact and de re temporal predication in relativistic spacetime. In particular, I describe an apparent counterexample to the following principle, roughly stated: if B is never in a position to say ‘I was touching A, I am touching A, and I will be touching A’, then (time travel aside) A is never in a position to say ‘I was touching B, I am touching B, and I will be touching B’. In the case I present, (...) the most that A is ever in a position to say is: ‘I am now touching B, but this is the only instant at which this will ever be so’. B, on the other hand, can say: ‘I was formerly touching A, I am currently touching A, and I will in the future be touching A’. (And neither object is a time traveler.). (shrink)

The so-called Final Ranking of the Philebus offers Socrates’ final evaluation of the relative merits of pleasure and reason in the best life. I begin by examining two common lines of interpretation as they address the criterion according to which the final ranking is organized. I then discuss the role ‘similarity’ has in organizing the investigation throughout the dialogue, from the initial comparison of the two lives (of reason and pleasure singly) down through the final ranking. I then consider the (...) thematic discussions of pleasure and reason separately, arguing that their treatments display an intriguing structural similarity. Next, I propose my own reading of the final ranking, whereby the ‘dependence’ relation at work in those two specific discussions may be see as the through-line of all (now five) tiers of the final ranking. I conclude by suggesting that this interpretation is able to preserve what is worthwhile in the two traditional lines of interpretation, while avoiding the pitfalls that tend to accompany them. (shrink)

Bayesian models of legal arguments generally aim to produce a single integrated model, combining each of the legal arguments under consideration. This combined approach implicitly assumes that variables and their relationships can be represented without any contradiction or misalignment, and in a way that makes sense with respect to the competing argument narratives. This paper describes a novel approach to compare and ‘average’ Bayesian models of legal arguments that have been built independently and with no attempt to make them consistent (...) in terms of variables, causal assumptions or parameterization. The approach involves assessing whether competing models of legal arguments are explained or predict facts uncovered before or during the trial process. Those models that are more heavily disconfirmed by the facts are given lower weight, as model plausibility measures, in the Bayesian model comparison and averaging framework adopted. In this way a plurality of arguments is allowed yet a single judgement based on all arguments is possible and rational. (shrink)

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. (...) It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

Although arguments for and against competing theories of vagueness often appeal to claims about the use of vague predicates by ordinary speakers, such claims are rarely tested. An exception is Bonini et al. (1999), who report empirical results on the use of vague predicates by Italian speakers, and take the results to count in favor of epistemicism. Yet several methodological difficulties mar their experiments; we outline these problems and devise revised experiments that do not show the same results. We then (...) describe three additional empirical studies that investigate further claims in the literature on vagueness: the hypothesis that speakers confuse ‘P’ with ‘definitely P’, the relative persuasiveness of different formulations of the inductive premise of the Sorites, and the interaction of vague predicates with three different forms of negation. (shrink)

We present a general framework for representing belief-revision rules and use it to characterize Bayes's rule as a classical example and Jeffrey's rule as a non-classical one. In Jeffrey's rule, the input to a belief revision is not simply the information that some event has occurred, as in Bayes's rule, but a new assignment of probabilities to some events. Despite their differences, Bayes's and Jeffrey's rules can be characterized in terms of the same axioms: "responsiveness", which requires that revised beliefs (...) incorporate what has been learnt, and "conservativeness", which requires that beliefs on which the learnt input is "silent" do not change. To illustrate the use of non-Bayesian belief revision in economic theory, we sketch a simple decision-theoretic application. (shrink)

Speaks defends the view that propositions are properties: for example, the proposition that grass is green is the property being such that grass is green. We argue that there is no reason to prefer Speaks's theory to analogous but competing theories that identify propositions with, say, 2-adic relations. This style of argument has recently been deployed by many, including Moore and King, against the view that propositions are n-tuples, and by Caplan and Tillman against King's view that propositions are facts (...) of a special sort. We offer our argument as an objection to the view that propositions are unsaturated relations. (shrink)

A construction principle for natural deduction systems for arbitrary, finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent calculi, which in turn can be automatically extracted from the truth tables of the logics under consideration. Soundness and cut-free completeness of these sequent calculi translate into soundness, completeness, and normal-form theorems for natural deduction systems.

All disciplines must define their basic units and core processes. In evolutionary biology, the core process is natural selection and the basic unit of selection and adaptation is the individual. To operationalize the theory of natural selection we must count individuals, as they are the bearers of fitness. While canonical individuals have often been taken to be multicellular organisms, the hierarchy of life shows that new kinds of individuals have evolved. A variety of criteria have been used to define biological (...) individuality. Some criteria rely on the presence/absence of a particular property while others advocate an approach that reflects the process of natural selection. The plethora of approaches to classifying individuality has resulted in confusion regarding how to study individuality in a given taxon. (shrink)

We present a new understanding of Christ’s real presence in the Eucharist on the model of Stump’s account of God’s omnipresence and Green and Quan’s account of experiencing God in Scripture. On this understanding, Christ is derivatively, rather than fundamentally, located in the consecrated bread and wine, such that Christ is present to the believer through the consecrated bread and wine, thereby making available to the believer a second-person experience of Christ, where the consecrated bread and wine are the way (...) in which she shares attention with him. The consecrated bread and wine are then, in a sense, icons of Christ. (shrink)

The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are al- ways two dual proof sytems (not just only two ways to interpret the calculi). This phenomenon may easily escape one’s attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value and (...) the exclusion of the opposite truth value describe the same situation.). (shrink)

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

A letter to The Times of London, May 9, 1992 protesting the Cambridge University proposal to award an honorary degree to M. Jacques Derrida.

In Mind and World, John McDowell argues against the view that perceptual representation is non-conceptual. The central worry is that this view cannot offer any reasonable account of how perception bears rationally upon belief. I argue that this worry, though sensible, can be met, if we are clear that perceptual representation is, though non-conceptual, still in some sense 'assertoric': Perception, like belief, represents things as being thus and so.

Co-authored letter to the APA to take a lead role in the recognition of teaching in the classroom, based on the participation in an interdisciplinary Conference on the Role of Advocacy in the Classroom back in 1995. At the time of this writing, the late Myles Brand was the President of Indiana University and a member of the IU Department of Philosophy.

The first-order temporal logics with □ and ○ of time structures isomorphic to ω (discrete linear time) and trees of ω-segments (linear time with branching gaps) and some of its fragments are compared: the first is not recursively axiomatizable. For the second, a cut-free complete sequent calculus is given, and from this, a resolution system is derived by the method of Maslov.

Effective altruism sounds so innocuous—who could possibly be opposed to doing good more effectively? Yet it has inspired significant backlash in recent years. This paper addresses some common misconceptions and argues that the core “beneficentric” ideas of effective altruism are both excellent and widely neglected. Reasonable people may disagree on details of implementation, but all should share the basic goals or values underlying effective altruism.

In a series of papers over the past twenty years, and in a new book, Igor Douven has argued that Bayesians are too quick to reject versions of inference to the best explanation that cannot be accommodated within their framework. In this paper, I survey their worries and attempt to answer them using a series of pragmatic and purely epistemic arguments that I take to show that Bayes’ Rule really is the only rational way to respond to your evidence.

Longtermism is the view that the most urgent global priorities, and those to which we should devote the largest portion of our resources, are those that focus on (i) ensuring a long future for humanity, and perhaps sentient or intelligent life more generally, and (ii) improving the quality of the lives that inhabit that long future. While it is by no means the only one, the argument most commonly given for this conclusion is that these interventions have greater expected goodness (...) per unit of resource devoted to them than each of the other available interventions, including those that focus on the health and well-being of the current population. In this paper, I argue that, even if we grant the consequentialist ethics upon which this argument depends, and even if we grant one of the axiologies that are typically paired with that ethics to give the argument, we are not morally required to choose an option that maximises expected utility; indeed, we might not even be permitted to do so. Instead, I will argue, if the argument's consequentialism is correct, we should choose using a decision theory that is sensitive to risk, and allows us to give greater weight to worse-case outcomes than expected utility theory does. And, I will show, such decision theories do not always recommend longtermist interventions. Indeed, sometimes, they recommend exactly the opposite: sometimes, they recommend hastening human extinction. Many, though not all, will take this as a reductio of the consequentialism or the axiology of the argument. I remain agnostic on the conclusion we should draw. (shrink)

One goal of this paper is to argue that autobiographical memories are extended and distributed across embodied brains and environmental resources. This is important because such distributed memories play a constitutive role in our narrative identity. So, some of the building blocks of our narrative identity are not brain-bound but extended and distributed. Recognising the distributed nature of memory and narrative identity, invites us to find treatments and strategies focusing on the environment in which dementia patients are situated. A second (...) goal of this paper is to suggest various of such strategies, including lifelogging technologies such as SenseCams, life story books, multimedia biographies, memory boxes, ambient intelligence systems, and virtual reality applications. Such technologies allow dementia patients to remember their personal past in a way that wouldn’t be possible by merely relying on their biological memory, in that way aiding in preserving their narrative identity and positively contributing to their sense of well-being. (shrink)

La cobertura universal de salud está en el centro de la acción actual para fortalecer los sistemas de salud y mejorar el nivel y la distribución de la salud y los servicios de salud. Este documento es el informe fi nal del Grupo Consultivo de la OMS sobre la Equidad y Cobertura Universal de Salud. Aquí se abordan los temas clave de la justicia (fairness) y la equidad que surgen en el camino hacia la cobertura universal de salud. Por lo (...) tanto, el informe es pertinente para cada agente que infl uye en ese camino y en particular para los gobiernos, ya que se encargan de supervisar y guiar el progreso hacia la cobertura universal de salud. (shrink)