The interactive theorem prover Isabelle/HOL is used to verify elementary theorems of classical extensional mereology.

This paper considers whether an analogy between distance and dissimilarlity supports the thesis that degree of dissimilarity is distance in a metric space. A straightforward way to justify the thesis would be to define degree of dissimilarity as a function of number of properties in common and not in common. But, infamously, this approach has problems with infinity. An alternative approach would be to prove representation and uniqueness theorems, according to which if comparative dissimilarity meets certain qualitative conditions, then it (...) is representable by distance in a metric space. I will argue that this approach faces equally severe problems with infinity. (shrink)

It's often hypothesized that the structure of mental representation is map-like rather than language-like. The possibility arises as a counterexample to the argument from the best explanation of productivity and systematicity to the language of thought hypothesis—the hypothesis that mental structure is compositional and recursive. In this paper, I argue that the analogy with maps does not undermine the argument, because maps and language have the same kind of compositional and recursive structure.

The possibilities of depicting non-existents, depicting non-particulars and depictive misrepresentation are frequently cited as grounds for denying the platitude that depiction is mediated by resemblance. I first argue that these problems are really a manifestation of the more general problem of intentionality. I then show how there is a plausible solution to the general problem of intentionality which is consonant with the platitude.

The shortest stories are zero words long. There is no maximum length.

This paper argues for a possible worlds theory of the content of pictures, with three complications: depictive content is centred, two-dimensional and structured. The paper argues that this theory supports a strong analogy between depictive and other kinds of representation and the platitude that depiction is mediated by resemblance.

There are at least two traditional conceptions of numerical degree of similarity. According to the first, the degree of dissimilarity between two particulars is their distance apart in a metric space. According to the second, the degree of similarity between two particulars is a function of the number of (sparse) properties they have in common and not in common. This paper argues that these two conceptions are logically independent, but philosophically inconsonant.

Take a strip of paper with 'once upon a time there'‚ written on one side and 'was a story that began'‚ on the other. Twisting the paper and joining the ends produces John Barth’s story Frame-Tale, which prefixes 'once upon a time there was a story that began'‚ to itself. I argue that the ability to understand this sentence cannot be explained by tacit knowledge of a recursive theory of truth in English.

Just as it’s possible to understand novel sentences without having heard them before, it’s possible to understand novel pictures without having seen them before. But these possibilities are often supposed to have totally different explanations: whereas the ability to understand novel sentences is supposed to be explained by tacit knowledge of a compositional theory of meaning for their language, the ability to understand novel pictures is supposed to be explained differently. In this paper I argue against this disanalogy: insofar as (...) the ability to understand novel sentences is explained by tacit knowledge of a compositional theory, I argue, so is the ability to understand novel pictures. (shrink)

In this paper I argue that the analysis of natural properties as convex subsets of a metric space in which the distances are degrees of dissimilarity is incompatible with both the definition of degree of dissimilarity as number of natural properties not in common and the definition of degree of dissimilarity as proportion of natural properties not in common, since in combination with either of these definitions it entails that every property is a natural property, which is absurd. I suggest (...) it follows that we should think of the convex class analysis of natural properties as a variety of resemblance nominalism. (shrink)

This paper argues: (1) All knowledge from fiction is from imagination (2) All knowledge from imagination is modal knowledge (3) So, all knowledge from fiction is modal knowledge Moreover, some knowledge is from fiction, so (1)-(3) are non-vacuously true.

Physicalism is incompatible with what is known as the possibility of zombies, that is, the possibility of a world physically like ours, but in which there are no conscious experiences. But it is compatible with what is known as the possibility of ghosts, that is, the possibility of a world which is physically like ours, but in which there are additional nonphysical entities. In this paper we argue that a revision to the traditional definition of physicalism designed to accommodate the (...) possibility of ghosts inadvertently accommodates what is known as the possibility of inverted spectra, that is, the possibility of a world which is physically like ours, but in which colour experience is inverted. This consequence is unwelcome, because it is widely agreed that the possibility of inverted spectra is incompatible with physicalism. We argue for a revised definition of physicalism which resolves this problem. We then use our definition to argue that physicalism is not compatible with what is known as the possibility of blockers, that is, the possibility of a world which is physically like ours, but in which additional nonphysical entities have prevented the existence of conscious experience. This undermines Stephan Leuenberger's attempt to defend physicalism from arguments which purport to establish the possibility of zombies. (shrink)

According to a traditional conception, romantic love is both constant - if someone loves another, they continue to love them - and exclusive - if someone loves another, they love only the other. In this paper, we argue that the essentiality of constancy and exclusivity is incompatible with the possibilities of fission - roughly speaking, of one person becoming two - and fusion - roughly speaking, of two people becoming one. Moreover, if fission or fusion are possible, then constancy and (...) exclusivity are obligatory features of love only if there are moral dilemmas. We conclude by suggesting this casts doubt on the constancy and especially the exclusivity of love. (shrink)

Suppose that some contradictions are true – for example, that as I walk through the door, I’m inside and I’m not inside. Then we argue 'if I'm walking through the door, I'm inside; I'm not inside; therefore, I'm not walking through the door' is an invalid instance of modus tollens.

According to Whitehead’s rectified principle, two individuals are connected just in case there is something self-connected which overlaps both of them, and every part of which overlaps one of them. Roberto Casati and Achille Varzi have offered a counterexample to the principle, consisting of an individual which has no self-connected parts. But since atoms are self-connected, Casati and Varzi’s counterexample presupposes the possibility of gunk or, in other words, things which have no atoms as parts. So one may still wonder (...) whether Whitehead’s rectified principle follows from the assumption of atomism. This paper presents an atomic countermodel to show the answer is no. (shrink)

Paul Oppenheimer and Edward Zalta's formalisation of Anselm's ontological argument for the existence of God is automated by embedding a free logic for definite descriptions within Isabelle/HOL.

A. J. Ayer’s empiricist criterion of meaning was supposed to have sorted all statements into nonsense on the one hand, and tautologies or genuinely factual statements on the other. Unfortunately for Ayer, it follows from classical logic that his criterion is trivial—it classifies all statements as either tautologies or genuinely factual, but none as nonsense. However, in this paper, I argue that Ayer’s criterion of meaning can be defended from classical proofs of its triviality by the adoption of a relevant (...) logic—an idea which is motivated because, according to Ayer, the genuinely factual statements are those which observation is relevant to. (shrink)

This is an introduction to the Isabelle proof assistant aimed at philosophers and their students.

It is a platitude that whereas language is mediated by convention, depiction is mediated by resemblance. But this platitude may be attacked on the grounds that resemblance is either insufficient for or incidental to depictive representation. I defend common sense from this attack by using Grice's analysis of meaning to specify the non-incidental role of resemblance in depictive representation.

The number of bricks in a ziggurat is a sum of consecutive squares.

According to dialetheism, some contradictions are true. In a recent paper, Aaron Cotnoir has suggested that theists who are also dialetheists can resolve the paradox of the stone by accepting a contradiction, and arguing that God both can and can't make the stone. However, Zach Weber has replied that dialetheism is no help for avoiding one of the most serious problems for theism, namely the problem of evil. In this paper, I argue the situation is even worse than this for (...) dialetheist theists, since one motivation for dialetheism closes off what otherwise might be a loophole in a classic version of the problem of evil. (shrink)

Noniterative approaches to the sorites paradox accept single steps of soritical reasoning, but deny that these can be combined into valid chains of soritical reasoning. The distributed sorites is a puzzle designed to undermine noniterative approaches to the sorites paradox, by deriving an inconsistent conclusion using only single steps, but not chains, of soritical reasoning. This paper shows how a dialetheist version of the noniterative approach, the strict-tolerant approach, also solves the distributed sorites paradox, at no further cost, by accepting (...) the inconsistent conclusion. (shrink)

By defining both depictive and linguistic representation as kinds of symbol system, Nelson Goodman attempts to undermine the platitude that, whereas linguistic representation is mediated by convention, depiction is mediated by resemblance. I argue that Goodman is right to draw a strong analogy between the two kinds of representation, but wrong to draw the counterintuitive conclusion that depiction is not mediated by resemblance.

It's possible to understand an infinite number of novel maps. I argue that Roberto Casati and Achille Varzi's compositional semantics of maps cannot explain this possibility, because it requires an infinite number of semantic primitives. So the semantics of maps is puzzlingly different from the semantics of language.

According to Satosi Watanabe's "theorem of the ugly duckling", the number of predicates satisfied by any two different particulars is a constant, which does not depend on the choice of the two particulars. If the number of predicates satisfied by two particulars is their number of properties in common, and the degree of resemblance between two particulars is a function of their number of properties in common, then it follows that the degree of resemblance between any two different particulars is (...) also constant, which is absurd. Avoiding this absurd conclusion requires questioning assumptions about infinity in the proof or interpretation of the theorem, adopting a sparse conception of properties, or denying degree of resemblance is a function of number of properties in common. After arguing against both the first two options, this paper argues for a version of the third which analyses degree of resemblance as a function of properties in common, but weighted by their degree of naturalness or importance. (shrink)

This paper argues against definitions of depiction in terms of the syntactic and semantic properties of symbol systems. In particular, it is argued that John Kulvicki's definition of depictive symbol systems in terms of relative repleteness, semantic richness, syntactic sensitivity and transparency is susceptible to similar counterexamples as Nelson Goodman's in terms of syntactic density, semantic density and relative repleteness. The general moral drawn is that defining depiction requires attention not merely to descriptive questions about syntax and semantics, but also (...) to foundational questions about what makes it the case that depictions have the syntactic and semantic properties they do. (shrink)

If two self-connected individuals are connected, it follows in classical extensional mereotopology that the sum of those individuals is self-connected too. Since mainland Europe and mainland Asia, for example, are both self-connected and connected to each other, mainland Eurasia is also self-connected. In contrast, in non-extensional mereotopologies, two individuals may have more than one sum, in which case it does not follow from their being self-connected and connected that the sum of those individuals is self-connected too. Nevertheless, one would still (...) expect it to follow that a sum of connected self-connected individuals is self-connected too. In this paper, we present some surprising countermodels which show that this conjecture is incorrect. (shrink)

Traditionally, the structure of a language is revealed by constructing an appropriate theory of meaning for that language, which exhibits how – and whether – the meaning of sentences in the language depends upon the meaning of their parts. In this paper, I argue that whether – and how – what pictures represent depends on what their parts represent should likewise by revealed by the construction of appropriate theories of representation for the symbol system of those pictures. This generalisation, I (...) argue, reveals a much cited disanalogy between depiction and description is illusory: the structure of pictures, like language, is compositional. (shrink)

It’s a platitude that a picture is realistic to the degree to which it resembles what it represents (in relevant respects). But if properties are abundant and degrees of resemblance are proportions of properties in common, then the degree of resemblance between different particulars is constant (or undefined), which is inconsonant with the platitude. This paper argues this problem should be resolved by revising the analysis of degrees of resemblance in terms of proportion of properties in common, and not by (...) accepting a sparse theory of properties or by denying that degree of realism is degree of resemblance (in relevant respects). (shrink)

Not every metaphor can be literally paraphrased by a corresponding simile – the metaphorical meaning of ‘Juliet is the sun’, for example, is not the literal meaning of ‘Juliet is like the sun’. But every metaphor can be literally paraphrased, since if ‘metaphorically’ is prefixed to a metaphor, the result says literally what the metaphor says figuratively – the metaphorical meaning of ‘Juliet is the sun’, for example, is the literal meaning of ‘metaphorically, Juliet is the sun’.

Review of A Syncretistic Theory of Depiction by Alberto Voltolini.

Australasian Journal of Philosophy, Volume 90, Issue 1, Page 187-189, March 2012.

Decision-making Capacity matters to whether a patient’s decision should determine her treatment. But why it matters in this way isn’t clear. The standard story is that dmc matters because autonomy matters. And this is thought to justify dmc as a gatekeeper for autonomy – whereby autonomy concerns arise if but only if a patient has dmc. But appeals to autonomy invoke two distinct concerns: concern for authenticity – concern that a choice is consistent with an individual’s commitments; and concern for (...) sovereignty – concern that an individual exercises control over that which is hers to control. Here, I argue, neither concern can alone explain why dmc matters. Instead, dmc matters because it indicates a harmony between the two concerns – the demands of each concern are more likely to agree if a patient has dmc. This vindicates the standard story, but also makes clear that dmc is an inappropriate gatekeeper for autonomy. (shrink)

I defend the feasibility of a medical conscience in the following sense: a medical professional can object to the prevailing medical norms because they are incorrect as medical norms. In other words, I provide an account of conscientious objection that makes use of the idea that the conscience can issue true normative claims, but the claims in question are claims about medical norms rather than about general moral norms. I further argue that in order for this line of reasoning to (...) succeed, there needs to be an internal morality of medicine that determines what medical professionals ought to do qua medical professionals. I utilize a constructivist approach to the internal morality of medicine and argue that medical professionals can conscientiously object to providing treatment X, if providing treatment X is not in accordance with norms that would have been constructed, in light of the end of medicine, by the appropriate agents under the appropriate conditions. (shrink)

This article explains and defends a novel idea about how people can be misled by a discussion topic, even if the discussion itself does not explicitly involve the making of false claims. The crucial aspect of this idea is that people are liable to infer, from the fact that a particular topic is being discussed, that this topic is important. As a result, they may then be led to accept certain beliefs about the state of the world they consider necessary (...) for the topic’s importance. What the article calls “importance misrepresentation” occurs when these beliefs about the state of the world are false or otherwise mistaken. The article explores different ways in which importance misrepresentation can occur, and it uses this idea to help clarify and strengthen some well‐known criticisms of the topic choices of academic philosophers. (shrink)

A book chapter (about 9,000 words, plus references) presenting an act-consequentialist approach to the ethics of climate change. It begins with an overview of act consequentialism, including a description of the view’s principle of rightness (an act is right if and only if it maximizes the good) and a conception of the good focusing on the well-being of sentient creatures and rejecting temporal discounting. Objections to act consequentialism, and replies, are also considered. Next, the chapter briefly suggests that act consequentialism (...) could reasonably be regarded as the default moral theory of climate change, in the sense that a broadly act-consequentialist framework often seems implicit in both scholarly and casual discussions of the ethics of climate change. The remainder of the chapter explores three possible responses to the threat of climate change: having fewer children to reduce the number of people emitting greenhouse gases; taxing greenhouse-gas (GHG) emissions (commonly called a “carbon tax”) to discourage GHG-emitting behavior; and reducing poverty to lessen personal, familial, and community vulnerability to the harms of climate change. (shrink)

This paper considers some puzzling knowledge ascriptions and argues that they present prima facie counterexamples to credence, belief, and justification conditions on knowledge, as well as to many of the standard meta-semantic assumptions about the context-sensitivity of ‘know’. It argues that these ascriptions provide new evidence in favor of contextualist theories of knowledge—in particular those that take the interpretation of ‘know’ to be sensitive to the mechanisms of constraint.

I examine an objection against autonomy-minded liberalism sometimes made by philosophers such as John Rawls and William Galston, that it rules out ways of life which do not themselves value freedom or autonomy. This objection is incorrect, because one need not value autonomy in order to live an autonomous life. Hence autonomy-minded liberalism need not rule out such ways of life. I suggest a modified objection which does work, namely that autonomy-minded liberalism must rule out ways of life that could (...) not develop under an autonomy-promoting education. I conclude by suggesting some reasons why autonomy-minded liberals should bite the bullet and accept this. (shrink)

A puzzling feature of paradigmatic cases of dehumanization is that the perpetrators often attribute uniquely human traits to their victims. This has become known as the “paradox of dehumanization.” We address the paradox by arguing that the perpetrators think of their victims as human in one sense, while denying that they are human in another sense. We do so by providing evidence that people harbor a dual character concept of humanity. Research has found that dual character concepts have two independent (...) sets of criteria for their application, one of which is descriptive and one of which is normative. Across four experiments, we found evidence that people deploy a descriptive criterion according to which being human is a matter of being a Homo sapiens; as well as a normative criterion according to which being human is a matter of possessing a deep-seated commitment to do the morally right thing. Importantly, we found that people are willing to affirm that someone is human in the descriptive sense, while denying that they are human in the normative sense, and vice versa. In addition to providing a solution to the paradox of dehumanization, these findings suggest that perceptions of moral character have a central role to play in driving dehumanization. (shrink)

According to attitudinal theories of pleasure and pain, what makes a given sensation count as a pleasure or a pain is just the attitudes of the experiencing agent toward it. In a previous article, I objected to such theories on the grounds that they cannot account for pleasures and pains whose subjects are entirely unaware of them at the time of experience. Recently, Chris Heathwood and Fred Feldman, the two leading contemporary defenders of attitudinal theories, have responded to this objection, (...) in very different ways. In this paper, I reconstruct and evaluate these responses. My conclusion is that neither response succeeds. (shrink)

This paper defends the view, put roughly, that to think that p is to guess that p is the answer to the question at hand, and that to think that p rationally is for one’s guess to that question to be in a certain sense non-arbitrary. Some theses that will be argued for along the way include: that thinking is question-sensitive and, correspondingly, that ‘thinks’ is context-sensitive; that it can be rational to think that p while having arbitrarily low credence (...) that p; that, nonetheless, rational thinking is closed under entailment; that thinking does not supervene on credence; and that in many cases what one thinks on certain matters is, in a very literal sense, a choice. Finally, since there are strong reasons to believe that thinking just is believing, there are strong reasons to think that all this goes for belief as well. (shrink)

I examine the origins of ordinary racial thinking. In doing so, I argue against the thesis that it is the byproduct of a unique module. Instead, I defend a pluralistic thesis according to which different forms of racial thinking are driven by distinct mechanisms, each with their own etiology. I begin with the belief that visible features are diagnostic of race. I argue that the mechanisms responsible for face recognition have an important, albeit delimited, role to play in sustaining this (...) belief. I then argue that essentialist beliefs about race are driven by some of the mechanisms responsible for “entitativity perception”: the tendency to perceive some aggregates of people as more genuine groups than others. Finally, I argue that coalitional thinking about race is driven by a distinctive form of entitativity perception. However, I suggest that more data is needed to determine the prevalence of this form of racial thinking. (shrink)

I provide support for a liberal political philosophy that is fully committed to the state promotion of autonomy, and which also counts Anti-perfectionism amongst its other commitments. I do so by defending it against the serious charge that it is prima facie self-contradictory. After all, Anti-perfectionism appears to demand that the state refrain from promoting any value – it looks as though that must preclude the promotion of autonomy, if the latter is conceived of as a value. I argue that (...) this self-contradiction is a mirage, whose plausibility depends on an equivocation in the statement given above of Anti-perfectionism. As it stands, the statement fails to distinguish between two types of values, and hence between two different types of Anti-perfectionism that one might endorse. When this is clarified, we can see that on the best understanding of Anti-perfectionism, it is consistent with the promotion of autonomy. (shrink)

According to hedonism about well-being, lives can go well or poorly for us just in virtue of our ability to feel pleasure and pain. Hedonism has had many advocates historically, but has relatively few nowadays. This is mainly due to three highly influential objections to it: The Philosophy of Swine, The Experience Machine, and The Resonance Constraint. In this paper, I attempt to revive hedonism. I begin by giving a precise new definition of it. I then argue that the right (...) motivation for it is the ‘experience requirement’ (i.e., that something can benefit or harm a being only if it affects the phenomenology of her experiences in some way). Next, I argue that hedonists should accept a felt-quality theory of pleasure, rather than an attitude-based theory. Finally, I offer new responses to the three objections. Central to my responses are (i) a distinction between experiencing a pleasure (i.e., having some pleasurable phenomenology) and being aware of that pleasure, and (ii) an emphasis on diversity in one’s pleasures. (shrink)

John Rawls raises three challenges – to which one can add a fourth challenge – to an impartial spectator account: (a) the impartial spectator is a utility-maximizing device that does not take seriously the distinction between persons; (b) the account does not guarantee that the principles of justice will be derived from it; (c) the notion of impartiality in the account is the wrong one, since it does not define impartiality from the standpoint of the litigants themselves; (d) the account (...) would offer a comprehensive, rather than a political, form of liberalism. The narrow aim of the article is to demonstrate that Adam Smith's impartial spectator account can rise to Rawls's challenges. The broader aim is to demonstrate that the impartial spectator account offers the basis for a novel and alternative framework for developing principles of justice, and does so in the context of a political form of liberalism. (shrink)

Adaptive preference formation is the unconscious altering of our preferences in light of the options we have available. Jon Elster has argued that this is bad because it undermines our autonomy. I agree, but think that Elster's explanation of why is lacking. So, I draw on a richer account of autonomy to give the following answer. Preferences formed through adaptation are characterized by covert influence (that is, explanations of which an agent herself is necessarily unaware), and covert influence undermines our (...) autonomy because it undermines the extent to which an agent's preferences are ones that she has decided upon for herself. This answer fills the lacuna in Elster's argument. It also allows us to draw a principled distinction between adaptive preference formation and the closely related phenomenon of character planning. (shrink)

A considerable literature has emerged around the idea of using ‘personal responsibility’ as an allocation criterion in healthcare distribution, where a person's being suitably responsible for their health needs may justify additional conditions on receiving healthcare, and perhaps even limiting access entirely, sometimes known as ‘responsibilisation’. This discussion focuses most prominently, but not exclusively, on ‘luck egalitarianism’, the view that deviations from equality are justified only by suitably free choices. A superficially separate issue in distributive justice concerns the two–way relationship (...) between health and other social goods: deficits in health typically undermine one's abilities to secure advantage in other areas, which in turn often have further negative effects on health. This paper outlines the degree to which this latter relationship between health and other social goods exacerbates an existing problem for proponents of responsibilisation (the ‘harshness objection’) in ways that standard responses to this objection cannot address. Placing significant conditions on healthcare access because of a person's prior responsibility risks trapping them in, or worsening, negative cycles where poor health and associated lack of opportunity reinforce one another, making further poor yet ultimately responsible choices more likely. It ends by considering three possible solutions to this problem. (shrink)

Answers to the questions of what justifies conscientious objection in medicine in general and which specific objections should be respected have proven to be elusive. In this paper, I develop a new framework for conscientious objection in medicine that is based on the idea that conscience can express true moral claims. I draw on one of the historical roots, found in Adam Smith’s impartial spectator account, of the idea that an agent’s conscience can determine the correct moral norms, even if (...) the agent’s society has endorsed different norms. In particular, I argue that when a medical professional is reasoning from the standpoint of an impartial spectator, his or her claims of conscience are true, or at least approximate moral truth to the greatest degree possible for creatures like us, and should thus be respected. In addition to providing a justification for conscientious objection in medicine by appealing to the potential truth of the objection, the account advances the debate regarding the integrity and toleration justifications for conscientious objection, since the standard of the impartial spectator specifies the boundaries of legitimate appeals to moral integrity and toleration. The impartial spectator also provides a standpoint of shared deliberation and public reasons, from which a conscientious objector can make their case in terms that other people who adopt this standpoint can and should accept, thus offering a standard fitting to liberal democracies. (shrink)

In this paper, I set out and defend a new theory of value, whole-life welfarism. According to this theory, something is good only if it makes somebody better off in some way in his life considered as a whole. By focusing on lifetime, rather than momentary, well-being, a welfarist can solve two of the most vexing puzzles in value theory, The Badness of Death and The Problem of Additive Aggregation.

This paper defends the simple view that in asserting that p, one lies iff one knows that p is false. Along the way it draws some morals about deception, knowledge, Gettier cases, belief, assertion, and the relationship between first- and higher-order norms.