Recent criticisms of non-reductive accounts of color assume that the only arguments for such accounts are a priori arguments. I put forward a posteriori arguments for a non-reductive account of colors which avoids those criticisms.

Some philosophers are metaphilosophical deflationists for metasemantic reasons. These theorists take standard philosophical assertions to be defective in some manner. There are various versions of metasemantic metaphilosophical deflationism, but a trap awaits any global version of it: metasemantics itself is a part of philosophy, so in deflating philosophy these theorists have thereby deflated the foundation of their deflationism. The present article discusses this issue and the prospects for an adequate response to the trap. Contrary to most historical responses, the article (...) argues that the best response to the trap is to adopt a local but still pervasive metasemantic deflationism. Such a response might seem ad hoc, but the article argues that the human activity of philosophy isn't a natural kind, and that a heterogeneous metaphilosophy of the appropriate kind is well motivated. (shrink)

This paper argues that a priori justification is, in principle, compatible with naturalism—if the a priori is understood in a way that is free of the inessential properties that, historically, have been associated with the concept. I argue that empirical indefeasibility is essential to the primary notion of the a priori ; however, the indefeasibility requirement should be interpreted in such a way that we can be fallibilist about apriori-justified claims. This fallibilist notion of the a priori accords with the (...) naturalist’s commitment to scientific methodology in that it allows for apriori-justified claims to be sensitive to further conceptual developments and the expansion of evidence. The fallibilist apriorist allows that an a priori claim is revisable in only a purely epistemic sense. This modal claim is weaker than what is required for a revisability thesis to establish empiricism, so fallibilist apriorism represents a distinct position. (shrink)

Michael Dummett argues, against Saul Kripke, that there could have been unicorns. He then claims that this possibility shows that the logic of metaphysical modality is not S5, and, in particular, that the B axiom is false. Dummett’s argument against B, however, is invalid. I show that although there are number of ways to repair Dummett’s argument against B, each requires a controversial metaphysical or semantic commitment, and that, regardless of this, the case against B is undermotivated. Dummett’s case is (...) still of interest, however, as if his assumptions are correct, S5 has to go, with the natural culprit being S4. (shrink)

It is argued that philosophers who adopt the perdurance theory of persistence and who subscribe to the principle of Unrestricted Mereological Composition (UMC) are in a position to regard “Phosphorus is Hesperus” as false.

In Elder-Vass’s response to my critical discussion of his social ontology, it is maintained (1) that a social object is not identical with but is merely composed of its suitably interrelated parts, (2) that a social object is necessarily indistinguishable in terms of its causal capacities from its interrelated parts, and (3) that ontological individualism lacks an adequate ontological justification. In this reply, I argue that in view of (1) the so-called redescription principle defended by Elder-Vass ought to be reformulated (...) and renamed; that the conjunction of (1) and (2) renders social objects causally redundant; and that ontological individualism can be coherently formulated and theoretically justified within Elder-Vass’s own metaphysics of objects with causal powers. (shrink)

The paper deals with the paradox that rationality demands rational substantiation which can’t be given in principle. Thus it is argued that only intuition can prevail against skepticism and subjectivism. But intuition is "transcendent" to rationality and therefore its acceptance as the substantiation of rationality implies existence of transcendental reality. In itself it has infinite regress qua infinite reiteration of reality levels without any qualitative ontological alteration, therefore only infinite transcendence is able to ground a finite immanence.

Kadri Vihvelin, in "What time travelers cannot do" (Philos Stud 81: 315-330, 1996), argued that "no time traveler can kill the baby who in fact is her younger self, because (V1) "if someone would fail to do something, no matter how hard or how many times she tried, then she cannot do it", and (V2) if a time traveler tried to kill her baby self, she would always fail. Theodore Sider (Philos Stud 110: 115-138, 2002) criticized Vihvelin's argument, and Ira (...) Kiourti (Philos Stud 139: 343-352, 2008) criticized both Vihvelin's argument and Sider's critique. I present a critique of Vihvelin's argument different from both Sider's and Kiourti's critiques: I argue in a novel way that both V1 and V2 are false. Since Vihvelin's argument might be understood as providing a challenge to the possibility of time travel, if my critique succeeds then time travel survives such a challenge unscathed. (shrink)

David Lewis (1980) proposed the Principal Principle (PP) and a “reformulation” which later on he called ‘OP’ (Old Principle). Reacting to his belief that these principles run into trouble, Lewis (1994) concluded that they should be replaced with the New Principle (NP). This conclusion left Lewis uneasy, because he thought that an inverse form of NP is “quite messy”, whereas an inverse form of OP, namely the simple and intuitive PP, is “the key to our concept of chance”. I argue (...) that, even if OP should be discarded, PP need not be. Moreover, far from being messy, an inverse form of NP is a simple and intuitive Conditional Principle (CP). Finally, both PP and CP are special cases of a General Principle (GP); it follows that so are PP and NP, which are thus compatible rather than competing. (shrink)

My main aim in this paper is to clarify the concepts of referential success and of referential continuity that are so crucial to the scientific realism debate. I start by considering the three dominant theories of reference and the intuitions that motivate each of them. Since several intuitions cited in support of one theory conflict with intuitions cited in support of another something has to give way. The traditional policy has been to reject all intuitions that clash with a chosen (...) theory. A more radical policy, tied to some experimental philosophers, has called for the rejection of any evidential role for intuitions. I explore a largely ignored third alternative, i.e. saving intuitions (and their evidential role) even when they are at odds. To accommodate conflicting intuitions different sets of internally consistent (yet externally inconsistent) intuitions are taken to lend credence to different concepts of reference. In the current context, this means that the concepts of referential success and referential continuity are not monolithic. They are what I call 'polylithic'. This paper is as much about meta-philosophical concerns with the role of intuitions as it is about reference and the scientific realism debate. Regarding the former I hope that a blueprint will emerge for similar projects in other philosophical domains. Regarding the latter, I hope that polylithicity helps disentangle claims about referential success and continuity in the scientific realism debate by making perspicuous which concepts are best equipped to evaluate the realist's epistemic claims against the historical record of science. (shrink)

Along with a well-honoured tradition, we will accept that intentionality is at least a property a thought holds necessarily, i.e., in all possible worlds that contain it; more specifically, a necessary relation, namely the relation of existential dependence of the thought on its intentional object. Yet we will first of all try to show that intentionality is more than that. For we will claim that intentionality is an essential property of the thought, namely a property whose predication to the thought (...) is true in virtue of the identity, or nature, of such a thought. More particularly, for us intentionality will again be a relation, yet a relation of ontological dependence of the thought on its intentional object; specifically, the relation for the thought of being constituted by its object. Moreover, we will try to show that if intentionality is such a constitutive relation for the thought that has it, certain metaphysical consequences ensue. First, an objectual thought, a thought whose content basically consists in its intentional object, is nothing but that object in a certain cogitative modality, or, which is the same, as playing a certain motivational role for the subject entertaining the thought itself (at a certain time). Second, if an objectual thought is nothing but an intentional object in a cogitative modality, such a thought, not only as a type, but also as a token, is an abstract entity. More specifically, an objectual thought-type, an abstract object par excellence, is indeed instantiated by objectual thought-tokens which are again abstract particulars, yet of a specific kind: namely, tropes of a relational sort depending for their existence on their bearers (and possibly also on their temporal location). (shrink)

In his (2001a) and in some related papers, Tim Crane has maintained that intentional objects are schematic entities, in the sense that, insofar as being an intentional object is not a genuine metaphysical category, qua objects of thought intentional objects have no particular nature. This approach to intentionalia is the metaphysical counterpart of the later Husserl's ontological approach to the same entities, according to which qua objects of thought intentionalia are indifferent to existence. But to buy a metaphysically deflationary approach (...) does not mean to buy an ontologically deflationary approach, according to which we have to accept all the intentional objects there apparently are. Being metaphysically deflationary on intentionalia rather means that from the ontological point of view one must really allow only for those intentionalia for which one is entitled to say that there are such things; typically, for which an ontological proof is available. From metaphysical schematism plus conditional, or partial, ontological committment to intentionalia, further interesting consequences follow. First, this theoretical combination allows one to deal with the ‘too-many entities’ problem (may one fail to accept an ontological proof for an entity of a given kind if she thinks that the entity we would have to be committed to is an entity of another kind?). Second, it allows one to deal with the ‘genuinely true report’ problem (how is it that if we exercise mindreading with respect to a somehow deluded person, we want our reports to come out as really, not merely fictionally, true?). (shrink)

Abstract. Contrary to proposals that seek a harmonious integration of “science and religion” or “science and spirituality,” I argue that contemporary scientific and philosophical work at the mind-brain interface gives us reason to be skeptical of many of the claims found within religious spiritualities. Religious spiritualities typically presume commitment to strong versions of metaphysical dualism, while contemporary mind science gives us every reason to think that the mind is the brain. If materialism is true, what becomes of spirituality? Materialism or (...) naturalism is widely understood to be an anti-religious position with corrosive effects on morality. I correct this impression, arguing that materialism offers a compelling account of moral objectivity and is fully compatible with an appreciation for many aspects of religion. I further suggest that nothing precludes dialogue and conversation between naturalists and religious believers. (shrink)

According to Donald Davidson, language is social in that only a person who has interacted linguistically with another could have a language. This paper is a discussion of Davidson’s argument in defence of that claim. I argue that he has not succeeded in establishing it, but that he has provided many of the materials out of which a successful argument could be built. Chief among these are the claims that some version of externalism about meaning is true, that possession of (...) a language requires possession of the concept of objectivity, and hence that the issue here concerns the identity of the external event that makes possible possession of the concept of objectivity. I end by presenting some reasons for thinking that only interpersonal linguistic interaction could play this role. (shrink)

The phenomenal properties of conscious mental states happen to be exclusively accessible from the first-person perspective. Consequently, some philosophers consider their existence to be incompatible with materialist metaphysics. In this paper I criticise one particular argument that is based on the idea that for something to be real it must (at least in principle) be accessible from an intersubjective perspective. I argue that the exclusively subjective access to phenomenal contents can be explained by the very particular nature of the epistemological (...) relation holding between a subject and his own mental states. Accordingly, this subjectivity does not compel us to deny the possibility that phenomenal contents are ontologically objective properties. First, I present the general form of the argument that I will discuss. Second, I show that this argument makes use of a criterion of reality that is not applicable to the case of subjective experience. Third, I discuss a plausible objection and give an argument for rejecting observation models of self-knowledge of phenomenal contents. These models fall prey to the homunculus illusion. (shrink)

Investigations of the function of consciousness in human information processing have focused mainly on two questions: (1) where does consciousness enter into the information processing sequence and (2) how does conscious processing differ from preconscious and unconscious processing. Input analysis is thought to be initially "preconscious," "pre-attentive," fast, involuntary, and automatic. This is followed by "conscious," "focal-attentive" analysis which is relatively slow, voluntary, and flexible. It is thought that simple, familiar stimuli can be identified preconsciously, but conscious processing is needed (...) to identify complex, novel stimuli. Conscious processing has also been thought to be necessary for choice, learning and memory, and the organization of complex, novel responses, particularly those requiring planning, reflection, or creativity. (shrink)

This paper replies to the first 36 commentaries on my target article on “Is human information processing conscious?” (Behavioral and Brain Sciences,1991, pp.651-669). The target article focused largely on experimental studies of how consciousness relates to human information processing, tracing their relation from input through to output, while discussion of the implications of the findings both for cognitive psychology and philosophy of mind was relatively brief. The commentaries reversed this emphasis, and so, correspondingly, did the reply. The sequence of topics (...) in the reply roughly follows that of the target article. The discussion begins with a reconsideration of the details of the empirical findings, whether they can be extrapolated to non-laboratory settings, and the extent to which one can rely on their use of subjective reports. This is followed by an in-depth discussion of what is meant by “conscious processing” and of how phenomenal consciousness relates to attentional processing. We then turn to broader philosophical and theoretical issues. I point out some of the reasons why I do not support epiphenomenalism, dualist-interactionism, or reductionism, and elaborate on how first- and third-person views of the mind can be regarded as complementary and mutually irreducible. I suggest how the relation of conscious experiences to their neural correlates can be understood in terms of a dual-aspect theory of information,and how this might be used to resolve some of the paradoxes surrounding the causal interactions of consciousness and brain. I also suggest that, viewed from a first-person perspective, consciousness gives purpose to existence, which allows a different way of viewing its role in evolution. (shrink)

This article is a critical review of Cocchiarella’s theory of reference. In conceptual realism, there are two central distinctions regarding reference: first, between active and deactivated use of referential expressions, and, second, between using referential expressions with and without existential presupposition. Cocchiarella’s normative restrictions on the existential presuppositions of reference lead to postulating two fundamentally different kinds of objects in conceptual realism: realia or concrete objects, on the one hand, and abstract intensional objects or nonexistents, on the other. According to (...) Cocchiarella, nonexistents can be referred to only without existential presuppositions. However, referring to nonexistents with existential presuppositions is an ordinary human practice. To account for this fact, Cocchiarella’s normative theory of reference should be supplemented by a descriptive account of referring. (shrink)

It is common lore that standard, Kripke-style semantics for quantified modal logic is incompatible with the view that no individual may belong to more than one possible world, a view that seems to require a counterpart-theoretic semantics instead. Strictly speaking, however, this thought is wrong-headed. This note explains why.

Kripke has argued that definitions of units of measurements provide examples of statements that are both contingent and a priori. In this paper I argue that definitions of units of measurement are intended to be stipulations of what Kripke calls "theoretical identities": a stipulation that two terms will have the same rigid designation. Hence such a definition is both a priori and necessary. The necessity arises because such definitions appeal to natural kind properties only, which on Kripke's account are necessary.

If the wedding had taken place an hour later, it would have been rained out. When we make counterfactual claims like this, we indicate that events are not terribly fragile things. That is, we typically think of events as particulars which can survive small changes in nearby possible worlds, such that one and the same event could have occurred under slightly different circumstances. I argue, however, that any account of “non-fragile” event individuation is subject to what is known as the (...) recycling problem. This was a problem initially raised against origin essentialism, or the view that individuals are individuated by their origins, and is roughly the difficulty that arises in cases where the criteria of individuation for a particular individual are duplicated. I then examine a potential solution, which takes its cue from predecessor essentialism, the leading response to the recycling problem in the origins literature. I argue that the predecessor essentialist’s solution yields unacceptably counter-intuitive results when applied to the recycling problem for event individuation, and conclude that, if events have qualitative individuating essences, then they must be—contrary to intuition—modally fragile entities. I then suggest three alternatives to qualitative essentialism which could accommodate our intuitions about the modal non-fragility of events. (shrink)

In this paper, a cognate of the problem of divine foreknowledge is introduced: the problem of the prophet’s foreknowledge. The latter cannot be solved referring to Ockhamism—the doctrine that divine foreknowledge could, at least in principle, be compatible with human freedom because God’s beliefs about future actions are merely soft facts, rather than hard facts about the past. Under the assumption that if Ockhamism can solve the problem of divine foreknowledge then it should also yield a solution to the problem (...) of the prophet’s foreknowledge, it is concluded that Ockhamism fails. (shrink)

Truthmakers, truth conditions, and analyses are closely related, but distinct in rather important ways. A failure to properly appreciate their differences has led to some confusion regarding the role that possible worlds ought to play with respect to modality. Those philosophers who initially proposed the existence of possible worlds were understood as providing an analysis of modality. More recently, many have interpreted them as providing modal truthmakers. But, possible worlds are only suited to serve as truth conditions for modal truths. (...) My goals are as follows: First, to dispel this confusion by detailing the differences between these three concepts. Second, to apply the lesson learned to the famous Humphrey objection against possible worlds. While this objection, if successful, does undermine Lewisian modal realism, it only partially undermines ersatzism, and leaves available a route by which ersatzers may avoid the objection altogether. (shrink)

According to the quantificational Quinean model in meta-ontology, the question of ontology boils down to the question of whether a sortal property is exemplified. I address some complications that arise when we try to build a philosophical reconstruction of the link between individuals and kinds displayed in the exemplification relation from the point of view of conceptualism about kinds and having in mind this stand in ontology. I distinguish two notions of resemblance, object-to- object and object-to- kind, and show the (...) problems with both of them. Finally, I argue for a better awareness of the implicit "bias" involved in the very notion of "resemblance," without indulging in Quine's veto toward this notion. (shrink)

Modal rationalism includes the thesis that ideal primary positive conceivability entails primary possibility. Modal monism is the thesis that the space of logically possible worlds is coextensive with the space of metaphysically possible worlds. In this paper I explore the relation between the two theses. My aim is to show that the former thesis implies the latter thesis, and that problems with the latter make the former implausible as a complete picture of the epistemology of modality. My argument explores the (...) relation between logical modality and metaphysical modality. (shrink)

Some recent discussions of a priori knowledge, taking their departure from Kant's characterization of such knowledge as being absolutely independent of experience, have concluded that while one might delineate a concept of a priori knowledge, it fails to have any application as any purported case of such knowledge can be undermined by suitably recalcitrant experiences. In response, certain defenders of apriority have claimed that a priori justification only requires that a belief be positively dependent on no experience. In this paper, (...) I begin by showing how the exchange of arguments between the disputants comes down, in the end, to no more than a display of conflicting intuitions. I shall then provide a diagnosis explaining how our explication of a priori justification depends on our standards for applying the term 'a priori' with this, in turn, reflecting our prior intentions as to whether we are willing to allow the existence of such warrants. I shall further argue that the claim that such knowledge can be affected by subversive experience is not entirely compatible with the spirit of apriority. Finally I conclude by making some methodological remarks about the prospects of a positive characterization of a priori knowledge by comparing it to the concept of knowledge. (shrink)

We often decide whether a state of affairs is possible by trying to mentally depict a scenario where the state in question obtains . These mental acts seem to provide us with an epistemic route to the space of possibilities. The problem this raises is whether conceivability judgments provide justification-conferring grounds for the ensuing possibility-claims . Although the question has a long history, contemporary interest in it was, to a large extent, prompted by Kripke's utilization of modal intuitions in the (...) course of propounding certain influential theses in the philosophy of language and mind. The interest has been given a further boost by the recent two-dimensional approach to the Kripkean framework. In this paper, I begin by providing a detailed examination of a most recent attempt to defend the thesis and argue that it is unsuccessful. This is followed by presenting my own gloss on Kripke's explanation of the illusions of contingency and I close by raising a general problem intended to undermine the prospects for a successful defense of the thesis. (shrink)

Philosophers often explain what could be the case in terms of what is, in fact, the case at one possible world or another. They may differ in what they take possible worlds to be or in their gloss of what is for something to be the case at a possible world. Still, they stand united by the threat of paradox. A family of paradoxes akin to the set-theoretic antinomies seem to allow one to derive a contradiction from apparently plausible principles. (...) Some of them concern the interaction between propositions and worlds, and they appear to afford the means to map classes of propositions into propositions – or, likewise, classes of worlds into worlds – in a one-to-one fashion that leads to contradiction. Yet another family of paradoxes threaten the view that whatever could exist does, in fact, exist, which is in line with modal realism, for example. This article aims to survey and identify the source of each family of paradoxes as well as to outline some responses to them. (shrink)

This work will focus on some aspects of descriptive names. The New Theory of Reference, in line with Kripke, takes descriptive names to be proper names. I will argue in this paper that descriptive names and certain theory in reference to them, even when it disagrees with the New Theory of Reference, can shed light on our understanding of (some) non-existence statements. I define the concept of descriptive name for hypothesised object (DNHO). My thesis being that DNHOs are, as I (...) will specify, descriptions: a proposition expressed by the utterance ‘n is F’, where ‘n’ is a DNHO, is not singular at all; it is a descriptive proposition. To sum up, concerning proper names, the truth lies closer to the New Theory of Reference, but descriptivism is not altogether false. As for DNHOs descriptivism is, in some cases, the right fit. (shrink)

This paper deals with one of the basic philosophical questions in modern cosmology: can the so-called Anthropic Principle , considered as an alternative to the classical teleology of creation, be an adequate explanation of the evidence that our universe is fine-tuned for the emergence of life and consciousness. The main problem with this principle is not its presumed teleology, as it is sometimes wrongly supposed, but quite the contrary: its intention to avoid teleological explanations by including the existence of many (...) universes ( multiverse ) into extended cosmological models. After having compared logical and cosmological many-worlds concepts, this paper reaches the conclusion that the ontological reality of the multiverse is an even more problematic presupposition than some properly revised version of teleological causality. This in itself does not imply the classical theistic explanation of creation, since it also yields a pantheistic explanation of the emergence of life and consciousness in our universe. (shrink)

1.Following Kripke, many philosophers have accepted the existence of propositions concerning essences, and, more generally, propositions asserting necessities, that are knowable only a posteriori. Such an acceptance is consistent with the claim that ultimately all knowledge of necessity is a priori. A posteriori knowledge of necessity may be held to be a consequence of the combination of a priori knowledge of a proposition asserting essence or necessity with a posteriori knowledge of a non-modal proposition. E. J. Lowe (2007: 287–88) denies (...) even this kind of derived a posteriori knowledge of essence or necessity. He reconstructs the form of an argument that is intended to lead to a proposition concerning essence but which is known a posteriori: This schema may be exemplified thus: As this example illustrates, instances of (1) are a priori propositions concerning essence, while instances of (2) are a posteriori propositions; instances of the conclusion are propositions asserting particular essences, and are, it is claimed, knowable only a posteriori.1. (shrink)

Metasemantic security arguments aim to show, on metasemantic grounds, that even if we were to discover that determinism is true, that wouldn't give us reason to think that people never act freely. Flew's [1955] Paradigm Case Argument is one such argument; Heller's [1996] Putnamian argument is another. In this paper I introduce a third which uses a metasemantic picture on which meanings are settled as though by an ideal interpreter. Metasemantic security arguments are widely thought discredited by van Inwagen's [1983] (...) Martian Manipulation objection. I argue that van Inwagen's objection, if right, can be parodied to undercut metasemantic arguments which aim to show that deliverances of physics do not tell us that no objects are solid. A diagnosis of where the parody objection breaks down against the pro-solidity argument is then used to resist the objection as applied to the Ideal Interpreter Argument. I go on to defend the argument from the charge that it relies on a ham-fisted version of interpretivism. (shrink)

When you think about a particular object, what makes your thought about that object? Roderick Chisholm, Ernest Sosa and Michael McKinsey have defended 'latitudinarian', 'descriptivist', or what I call 'liberal' answers to that question. In this paper I carefully consider the motivation for these liberal views and show how it extends in unanticipated ways to motivate views that are considerably more liberal.

Many philosophers have attempted to provide a solution to the paradox of fiction, a triad of sentences that lead to the conclusion that genuine emotional responses to fiction are irrational. We suggest that disagreement over the best response to this paradox stems directly from the formulation of the paradox itself. Our main goal is to show that there is an ambiguity regarding the word ‘exist’ throughout the premises of the paradox. To reveal this ambiguity, we display the diverse existential commitments (...) of several leading theories of emotion, and argue that none of the theories we consider are committed to notions of ‘exist’ employed by the paradox. We conclude that it is unclear whether or not there remains a paradox of fiction to be solved—rather than to be argued for—once this ambiguity is addressed. (shrink)

This paper examines Ian Hacking's analysis of the looping effects of psychiatric classifications, focusing on his recent account of interactive and indifferent kinds. After explicating Hacking's distinction between 'interactive kinds' (human kinds) and 'indifferent kinds' (natural kinds), I argue that Hacking cannot claim that there are 'interactive and indifferent kinds,' given the way that he introduces the interactive-indifferent distinction. Hacking is also ambiguous on whether his notion of interactive and indifferent kinds is supposed to offer an account of classifications or (...) objects of classification. I argue that these conceptual difficulties show that Hacking's account of interactive and indifferent kinds cannot be based on - and should be clearly separated from - his distinction between interactive kinds and indifferent kinds. In clarifying Hacking's account, I argue that interactive and indifferent kinds should be regarded as objects of classification (i.e., kinds of people) that can be identified with reference to a law-like biological regularity and are aware of how they are classified. Schizophrenia and depression are discussed as examples. I subsequently offer reasons for resisting Hacking's claim that the objects of classification in the human sciences - as a result of looping effects - are 'moving targets'. (shrink)

That there is an epistemological difference between the mental and the physical is well- known. Introspection readily generates knowledge of one’s own conscious experience, but fails to yield evidence for the existence of anything physical. Conversely, empirical investigation delivers knowledge of physical properties, but neither finds nor requires us to posit conscious experience. In recent decades, a series of neo-Cartesian arguments have emerged that rest on this epistemological difference and purport to demonstrate that mind-brain identity is false and that consciousness (...) is not even realized by or supervenient on physical properties. Where Descartes argued he could clearly and distinctly conceive mind and body as existing separately, contemporary anti-physicalists hold that the conceivability of worlds in which actual world correlations between physical and phenomenological properties fail shows that these correlations are contingent rather than logically or metaphysically necessary. Together with Descartes, they conclude from conceivability that identity, as well as strong supervenience, is false. 1 If the argument of this paper is correct, however, then there is an argument for dualism that arises from the epistemological distinction, is grounded in the Meditations, and is yet distinct from the " 1 " conceivability arguments pursued both by Descartes and contemporary anti-physicalists. Furthermore, the argument is immune to the standard objections to conceivability arguments: its conclusion follows even if there are a posteriori identities between physical and phenomenal properties. (shrink)

It has been argued that a combination of game-theoretic semantics and independence-friendly (IF) languages can provide a novel approach to the conceptual foundations of mathematics and the sciences. I introduce and motivate an IF first-order modal language endowed with a game-theoretic semantics of perfect information. The resulting interpretive independence-friendly logic (IIF) allows to formulate some basic model-theoretic notions that are inexpressible in the ordinary quantified modal logic. Moreover, I argue that some key concepts of Kripke’s new theory of reference are (...) adequately modeled within IIF. Finally, I compare the logic IIF to David Lewis' counterpart theory, drawing some morals concerning the interrelation between metaphysical and semantic issues in possible-world semantics. (shrink)

Do Muslims and Christians worship the same God? We answer: it depends. To begin, we clear away some specious arguments surrounding this issue, to make room for the central question: What determines the reference of a name, and under what conditions do names shift reference? We’ll introduce Gareth Evans’s theory of reference, on which a name refers to the dominant source of information in that name’s “dossier,” and we then develop the theory’s notion of dominance. We conclude that whether Muslims’ (...) use of “Allah” co-refers with Christians’ use of “God” depends on how much weight is given to what type of information in the dossiers of these two names, and we offer a two-part test by which the reader can determine whether Muslim and Christian uses of the divine names co-refer: If Christianity were true and Islam false, might “Allah” still refer to God? And: If Islam were true and Christianity false, might “God” still refer to Allah? We explain the implications of your answers to those questions, and we close with a few reflections about what, in addition to reference, might be required for worship, and whether, from a Christian perspective, salvation turns on this issue. (shrink)