In this paper, we axiomatize the deontic logic in Fusco 2015, which uses a Stalnaker-inspired account of diagonal acceptance and a two-dimensional account of disjunction to treat Ross’s Paradox and the Puzzle of Free Choice Permission. On this account, disjunction-involving validities are a priori rather than necessary. We show how to axiomatize two-dimensional disjunction so that the introduction/elimination rules for boolean disjunction can be viewed as one-dimensional projections of more general two-dimensional rules. These completeness results help make explicit the restrictions (...) Fusco’s account must place on free-choice inferences. They are also of independent interest, as they raise difficult questions about how to ‘lift’ a Kripke frame for a one- dimensional modal logic into two dimensions. (shrink)

Montague and Kaplan began a revolution in semantics, which promised to explain how a univocal expression could make distinct truth-conditional contributions in its various occurrences. The idea was to treat context as a parameter at which a sentence is semantically evaluated. But the revolution has stalled. One salient problem comes from recurring demonstratives: "He is tall and he is not tall". For the sentence to be true at a context, each occurrence of the demonstrative must make a different truth-conditional contribution. (...) But this difference cannot be accounted for by standard parameter sensitivity. Semanticists, consoled by the thought that this ambiguity would ultimately be needed anyhow to explain anaphora, have been too content to posit massive ambiguities in demonstrative pronouns. This article aims to revived the parameter revolution by showing how to treat demonstrative pronouns as univocal while providing an account of anaphora that doesn't end up re-introducing the ambiguity. (shrink)

This paper starts out from the idea that semantics is a “special science” whose aim, like that of chemistry or ecology, is to identify systematic, high-level patterns in a fundamentally physical world. I defend an approach to this task on which sentences are associated with with sets of possible worlds (of some kind). These sets of worlds, however, are not postulated for the compositional treatment of intensional contexts; they are not meant to capture what is intuitively asserted or communicated by (...) an utterance; nor are they supposed to shed light on the cognitive processes that underlie out linguistic competence. Instead, their job description is to capture certain regularities in the interactions between subjects using the relevant language. I also raise some questions about how the relevant worlds might be construed. (shrink)

This chapter defends a view of semantics on which developing a semantic theory closely resembles developing a scale of measurement. The view helps explain how semantics has made so much progress despite deep disagreements about the target of semantic theorizing (e.g., between those who maintain that semantics is characterizing something psychological, and those who maintain that it is characterizing something social), how appeals to set-theoretic abstracta make sense despite Benacerraf-style worries and despite the fact that set-theoretic entities fit badly with (...) standard (e.g., causal) metasemantic views, and why the threat of radical context sensitivity does not undermine the semantic project. (shrink)

Many philosophers believe that the extensions of evaluative terms and concepts aren’t unified under non-evaluative similarity relations and that this “shapelessness thesis” (ST) has significant metaethical implications regarding non-cognitivism, ethical naturalism, moral particularism, thick concepts and more. ST is typically offered as an explanation of why evaluative classifications appear to “outrun” classifications specifiable in independently intelligible non-evaluative terms. This paper argues that both ST and the outrunning point used to motivate it can be explained on the basis of more general (...) factors that have nothing in particular to do with being evaluative. If so, there is no reason to expect ST to carry the sorts of metaethical implications that get attributed to it. I also show that my main argument is robust across certain complications that are raised by the context-sensitivity of many evaluative terms but have so far been ignored in discussions of ST and related matters. (shrink)

In his article “Opacity” (1986), David Kaplan propounded a counterexample to the the- sis, defended by Quine and known as Quine’s Theorem, that establishes the illegitimacy of quantifying from outside into a position not open to substitution. He ingeniously built his counterexample using Quine’s own philosophical material and novel devices, arc quotes and $entences. The present article offers detailed analysis and critical discus- sion of Kaplan’s counterexample and proposes a reasonable reformulation of Quine’s Theorem that bypasses both this counterexample and (...) another, in the author’s opinion, more persuasive counterexample, also discussed in this paper and somehow implicit in “Opacity”, which involves Russellian propositions instead of the Quinean apparatus. (shrink)

By creating certain marks on paper, or by making certain sounds-breathing past a moving tongue-or by articulation of hands and bodies, language users can give expression to their mental lives. With language we command, assert, query, emote, insult, and inspire. Language has meaning. This fact can be quite mystifying, yet a science of linguistic meaning-semantics-has emerged at the intersection of a variety of disciplines: philosophy, linguistics, computer science, and psychology. Semantics is the study of meaning. But what exactly is "meaning"? (...) What is the exact target of semantic theory? Much of the early work in natural language semantics was accompanied by extensive reflection on the aims of semantic theory, and the form a theory must take to meet those aims. But this meta-theoretical reflection has not kept pace with recent theoretical innovations. This volume re-addresses these questions concerning the foundations of natural language semantics in light of the current state-of-the-art in semantic theorising. (shrink)

In this paper I reconstruct David Foster Wallace’s argument against fatalism in his undergraduate honors thesis, “Richard Taylor’s ‘Fatalism’ and the Semantics of Physical Modality”. My goal is to present the argument in a clear and concise way, so that it is easy to see its main line of reasoning and potential power. A secondary goal is to offer clarificatory and critical notes on some of the issues at stake. The reconstruction reveals interesting connections between Wallace’s argument and John MacFarlane’s (...) recent work on relative truth. (shrink)

I revisit my 1993 paper on Putnam and mathematical realism focusing on the indispensability argument and how it has fared over the years. This argument starts from the claim that mathematics is an indispensable part of science and draws the conclusion, from holistic considerations about confirmation, that the ontology of science includes abstract objects as well as the physical entities science deals with.

Necessitists hold that, necessarily, everything is such that, necessarily, something is identical to it. Timothy Williamson has posed a number of challenges to contingentism, the negation of necessitism. One such challenge is an argument that necessitists can more wholeheartedly embrace possible worlds semantics than can contingentists. If this charge is correct, then necessitists, but not contingentists, can unproblematically exploit the technical successes of possible worlds semantics. I will argue, however, that the charge is incorrect: contingentists can embrace possible worlds semantics (...) as wholeheartedly as necessitists. Williamson offers a criterion for a class of models of quantified modal logic to be intended, and argues on its basis that contingentists must deny that there is an intended class of models. I argue that Williamson’s criterion is objectionable, supply an alternative that does not support Williamson’s argument, and adapt Williamson’s construction of an intended model structure to the needs of contingentist metaphysics. (shrink)

Frank Jackson’s famous Knowledge Argument moves from the premise that complete physical knowledge is not complete knowledge about experiences to the falsity of physicalism. In recent years, a consensus has emerged that the credibility of this and other well-known anti-physicalist arguments can be undermined by allowing that we possess a special category of concepts of experiences, phenomenal concepts, which are conceptually independent from physical/functional concepts. It is held by a large number of philosophers that since the conceptual independence of phenomenal (...) concepts does not imply the metaphysical independence of phenomenal properties, physicalism is safe. This paper distinguishes between two versions of this novel physicalist strategy –Phenomenal Concept Strategy (PCS) – depending on how it cashes out “conceptual independence,” and argues that neither helps the physicalist cause. A dilemma for PCS arises: cashing out “conceptual independence” in a way compatible with physicalism requires abandoning some manifest phenomenological intuitions, and cashing it out in a way compatible with those intuitions requires dropping physicalism. The upshot is that contra Brian Loar and others, one cannot “have it both ways.”. (shrink)

Modal Meinongianism provides the semantics of sentences involving intentional verbs Priest. To that end, Modal Meinongianism employs a pointed non-normal quantified modal logic model. Like earlier Meinongian views Modal Meinongianism has a characterisation principle, that claims that any condition whatsoever is satisfied by some object in some world. Recently, Everett has proposed an argument against QCP that, if successful, gives rise to problems identical to those Russell raised for Naïve Meinongianism, namely that it allows for true contradictions, and allows us (...) to define anything into existence. Everett claims that the ordinary meanings of “actual” license an inference pattern, such that if an object satisfies Actual A at some world, then that object satisfies A in the actual world. Given that actual world is the designated point of evaluation for truth simpliciter, QCP would fall prey to Russell’s criticisms. As opposed to Everett, I argue that, even if we grant Everett the assumption that “actual” is a modal indexical that rigidly refers to the actual world, it does not conform to the inference pattern above. This is because when an object satisfies Actual A at some world, this alters the assertoric force of “actual”, because “actual” is interpreted in the scope of some modal or intentional operator. I also explain that Everett’s proposed example carries existential commitment because the problematic noun-phrase occurs outside the scope of a modal or intentional operator. (shrink)

In this paper, we will defend a particular version of the timeless solution to the problem of divine foreknowledge and human freedom. Our strategy is grounded on a particular temporal framework, which models the flow of time and a libertarian understanding of freedom. The propositions describing a certain act by an agent have an indeterminate truth value until the agent makes her choice; therefore, they become true or false when a decision is made. In order to account for this change (...) of truth value, a multiple frame structure is introduced in which every frame presents a privileged time, with its past and the possible alternative futures, which are still open. God atemporally knows all the frames and the truth values of propositions with respect to each one. Since divine knowledge of what an agent decides in a certain temporal frame depends on the agent’s act itself, divine knowledge does not conflict with the agent’s free will. (shrink)

Many competent speakers initially judge that (i) is true and (ii) isfalse, though they know that (iii) is true. (i) Superman leaps more tallbuildings than Clark Kent. (ii) Superman leaps more tall buildings thanSuperman. (iii) Superman is identical with Clark Kent. Semanticexplanations of these intuitions say that (i) and (ii) really can differin truth-value. Pragmatic explanations deny this, and say that theintuitions are due to misleading implicatures. This paper argues thatboth explanations are incorrect. (i) and (ii) cannot differ intruth-value, yet (...) the intuitions are not due to implicatures, but ratherto mistakes in evaluating (i) and (ii). (shrink)

I review and reconsider some of the themes of ‘Two notions of necessity’ (Davies and Humberstone, 1980) and attempt to reach a deeper understanding and appreciation of Gareth Evans’s reflections (in ‘Reference and contingency’, 1979) on both modality and reference. My aim is to plot the relationships between the notions of necessity that Humberstone and I characterised in terms of operators in two-dimensional modal logic, the notions of superficial and deep necessity that Evans himself described, and the epistemic notion of (...) a priority. (shrink)

Sometimes form-meaning mappings in language are not arbitrary, but iconic: they depict what they represent. Incorporating iconic elements of language into a compositional semantics faces a number of challenges in formal frameworks as evidenced by the lengthy literature in linguistics and philosophy on quotation/direct speech, which iconically portrays the words of another in the form that they were used. This paper compares the well-studied type of iconicity found with verbs of quotation with another form of iconicity common in sign languages: (...) classifier predicates. I argue that these two types of verbal iconicity can, and should, incorporate their iconic elements in the same way using event modification via the notion of a context dependent demonstration. This unified formal account of quotation and classifier predicates predicts that a language might use the same strategy for conveying both, and I argue that this is the case with role shift in American Sign Language. Role shift is used to report others’ language and thoughts as well as their actions, and recently has been argued to provide evidence in favor of Kaplanian “monstrous” indexical expressions. By reimagining role shift as involving either quotation for language demonstrations or “body classifier” predicates for action demonstrations, the proposed account eliminates one major argument for these monsters coming from sign languages. Throughout this paper, sign languages provide a fruitful perspective for studying quotation and other forms of iconicity in natural language due to their lack of a commonly used writing system which is otherwise often mistaken as primary data instead of speech, the rich existing literature on iconicity within sign language linguistics, and the ability of role shift to overtly mark the scope of a language report. In this view, written language is merely a special case of a more general phenomenon of sign and speech demonstration, which accounts more accurately for natural language data by permitting more strict or loose verbatim interpretations of demonstrations through the context dependent pragmatics. (shrink)

Abstract MacFarlane distinguishes “context sensitivity” from “indexicality,” and argues that “nonindexical contextualism” has significant advantages over the standard indexical form. MacFarlane’s substantive thesis is that the extension of an expression may depend on an epistemic standard variable even though its content does not. Focusing on ‘knows,’ I will argue against the possibility of extension dependence without content dependence when factors such as meaning, time, and world are held constant, and show that MacFarlane’s nonindexical contextualism provides no advantages over indexical contextualism. (...) The discussion will shed light on the definition of indexicals as well as the meaning of ‘knows,’ and highlight important constraints on the way meaning can be represented in semantics. Content Type Journal Article Pages 1-14 DOI 10.1007/s11098-011-9831-1 Authors Wayne A. Davis, Georgetown University, Washington, DC, USA Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116. (shrink)

Obsessed by the cases where things go wrong, we pay too little attention to the vastly more numerous cases where they go right, and where it is perhaps easier to see that the descriptive content of the expression concerned is wholly at the service of this function [of identifying reference], a function which is complementary to that of predication and contains no element of predication in itself (Strawson [1974], p. 66).An earlier version of the paper was written during an enjoyable (...) year spent as a Research Fellow at the University of Melbourne. (shrink)

Berg seeks to defend the theory that the meaning of a proper name in a belief report is its reference against Frege’s puzzle by hypothesizing that when substituting coreferential names in belief reports results in reports that seem to have different truth values, the appearance is due to the fact that the reports have different metalinguistic implicatures. I review evidence that implicatures cannot be calculated in the way Grice or Berg imagine, and give reasons to believe that belief reports do (...) not have the implicatures Berg attributes to them. I also argue that even if belief reports did have such implicatures, they would not explain why the belief reports in Frege’s puzzle seem to have different truth values. I point out that Berg has no reason to believe that Lois Lane believes Clark Kent is a reporter and Lois Lane believes Superman is a reporter are both true rather than both false, and that Leibniz’s Law cannot be used to defend substitutivity in belief reports because belief reports are not relational in the requisite way. Finally, I observe that some of the linguistic data Berg uses to argue for substitutivity in belief reports concerns the transparent interpretation of belief reports, whereas Frege’s puzzle concerns the opaque interpretation. (shrink)

The determination argument is supposed to show that a sentence's meaning is at least a truth‐condition. This argument is supposed to rest on innocent premises that even a deflationist about truth can accept. The argument comes in two versions: one is metaphysical and the other is epistemological. In this paper we will focus on the epistemological version. We will argue that the apparently innocent first premise of that version of the argument is not as innocent as it seems. If the (...) premise is understood in the sense required for the argument to go through then it should be rejected by a deflationist. (shrink)

Jean Buridan developed his theory of consequence within a semantical framework compatible with what we now call token-based semantics. In his Treatise on Consequences and Sophismata, Buridan showed...

Philosophy and Phenomenological Research, EarlyView.

In recent work, David Chalmers argues that “Edenic shapes”—roughly, the shape properties phenomenally presented in spatial experience—are not instantiated in our world. His reasons come largely from the theory of Special Relativity. Although Edenic shapes might have been instantiated in a classical Newtonian world, he maintains that they could not be instantiated in a relativistic world like our own. In this essay, I defend realism about Edenic shape, the thesis that Edenic shapes are instantiated in our world, against Chalmers’s challenge (...) from Special Relativity. I begin by clarifying the notion of an Edenic shape by reference to Chalmers’s notion of the “Edenic” content of perceptual experience. I then reconstruct Chalmers’s argument that Edenic shapes could not be instantiated in a relativistic world. His reasoning proceeds from two assumptions. The first is that the only shape properties instantiated in a relativistic world are those which somehow involve relations to frames of reference. This is thought to follow from the phenomenon of Lorentz contraction, a consequence of Special Relativity. The second assumption is that Edenic shapes do not involve relations to frames of reference. One reason to accept the second assumption is that it seems that Edenic shapes could be instantiated in a classical Newtonian world, where the notion of a frame-relative shape has no meaningful application. I then proceed to defend RES against Chalmers’s argument by arguing that Special Relativity, properly understood, provides no support for Chalmers’s first assumption. More generally, I argue, by way of a careful analysis of the geometric structure of Minkowski space–time and Galilean space–time Newtonian physics), that Edenic shapes are no less at home in a relativistic world than in a classical Newtonian world. (shrink)

Antiques are undoubtedly objects worthy of aesthetic appreciation, but do they have a distinctive aesthetic value in virtue of being antiques? In this article we give an account of what it is to be an antique that gives the thesis that they do have a distinctive aesthetic value a chance of being true and suggests what that distinctive value consists in. After introducing our topic in Section I, in Section II we develop and defend the Adjectival Thesis: the thesis that (...) the concept of being an antique is an adjectival concept. This provides us with the means to formulate our definition, which we do in Section III. In Section IV we further explicate and defend our definition. In Section V we conclude by briefly saying where we think our definition could be improved, by making a few comments about the aesthetics of antiques and by stating an interesting consequence of our definition: that it is not analytic that antiques are old. (shrink)

This paper investigates the truth conditions of sentences containing indefinite noun phrases, focusing on occurrences in attitude reports, and, in particular, a puzzle case due to Walter Edelberg. It is argued that indefinites semantically contribute the (thought-)object they denote, in a manner analogous to attributive definite descriptions. While there is an existential reading of attitude reports containing indefinites, it is argued that the existential quantifier is contributed by the de re interpretation of the indefinite (as the de re reading adds (...) existential quantification to the interpretation of definites on Kaplan’s analysis). (shrink)

The possibility of extraction across awh-island is usually assumed to be dependent on whether or not the constituent in question can undergo “long” (i.e., nonlocal) Ā-movement across the island. However, the question of how to make a principled distinction between those elements which can violate locality and those which cannot is still rather controversial. I will propose that there are no well-formed locality violations in these cases, and that the grammaticality patterns observed derive from a semantic filter on the escape (...) hatch used to bypass the island. In other words, if a phrase is extracted across awh-island, it must adjoin to the island in order to get by. This adjunction site is restricted by the interpretive component: only traces which are interpreted as variables of typee can occur in this position, while higher-order variables are not allowed. This restriction is shown to capture the known facts aboutwh-island violations, as well as some less known phenomena, such as the absence of functional (and pair-list) readings acrosswh-islands. (shrink)

A singular thought can be characterized as a thought which is directed at just one object. The term ‘thought’ can apply to episodes of thinking, or to the content of the episode (what is thought). This paper argues that episodes of thinking can be just as singular, in the above sense, when they are directed at things that do not exist as when they are directed at things that do exist. In this sense, then, singular thoughts are not object-dependent.

This paper argues that Twin Earth twins belong to the same psychological natural kind, but that the reason for this is not that the causal powers of mental states supervene on local neural structure. Fodor’s argument for this latter thesis is criticized and found to rest on a confusion between it and the claim that Putnamian and Burgean type relational psychological properties do not affect the causal powers of the mental states that have them. While it is true that Putnamian (...) and Burgean type relational psychological properties do not affect causal powers, it is false that no relational psychological properties do. Examples of relational psychological properties that do affect causal powers are given and psychological laws are sketched that subsume twins in virtue of them instantiating these relational properties rather than them sharing the narrow contents of their thoughts. (shrink)

Quine introduced a famous distinction between the ‘notional’ sense and the ‘relational’ sense of certain attitude verbs. The distinction is both intuitive and sound but is often conflated with another distinction Quine draws between ‘dyadic’ and ‘triadic’ (or higher degree) attitudes. I argue that this conflation is largely responsible for the mistaken view that Quine’s account of attitudes is undermined by the problem of the ‘exportation’ of singular terms within attitude contexts. Quine’s system is also supposed to suffer from the (...) problem of ‘suspended judgement with continued belief’. I argue that this criticism fails to take account of a crucial presupposition of Quine’s about the connection between thought and language. The aim of the paper is to defend the spirit of Quine’s account of attitudes by offering solutions to these two problems. (shrink)

The paper presents a new theory of perceptual demonstrative thought, the property-dependent theory. It argues that the theory is superior to both the object-dependent theory (Evans, McDowell) and the object-independent theory (Burge).

In this paper, I defend an indexical analysis of the abstract-concrete distinction within the framework of modal realism. This analysis holds the abstract-concrete distinction to be conceptually inseparable from the distinction between the actual and the merely possible, which is assumed to be indexical in nature. The resulting view contributes to the case for modal realism by demonstrating how its distinctive resources provide a reductive analysis of the abstract-concrete distinction. This indexical analysis also provides a solution to a sceptical problem (...) regarding our concreteness, which parallels the sceptical problem that motivates indexicalism about actuality. (shrink)

The expression tode ti, commonly translated as ‘a this’, plays a key role in Aristotle’s metaphysics. Drawing lightly on theories of demonstratives in contemporary linguistics, I discuss the expres...

ABSTRACT We critically review two extant paradigms for understanding the systematic interaction between modality and tense, as well as their respective modifications designed to do justice to the contingency of time’s structure and composition. We show that on either type of theory, as well as their respective modifications, some principles prove logically valid whose truth might sensibly be questioned on metaphysical grounds. These considerations lead us to devise a more general logical framework that allows accommodation of those metaphysical views that (...) its predecessors rule out by fiat. (shrink)

Dans ce texte j'aborderai presque exclusivement la question de savoir si le pronom personnel «je» est un terme référentiel ou non. Il s'agit en définitive de savoir si le pronom en question est une expression qui désigne quelque chose et, si oui, de spécifier la nature du référent en question. En un mot, je me propose ici d'analyser le comportement sémantique du pronom «je».

It is argued that, contrary to appearances, description-names (e.g.: "The Roman Empire", "The Beatles", "The Holy Virgin",...) do conform to Millianism, i.e. the view that proper names are directly referential expressions, referring regardless of whether the relevant individual satisfies some associated description or not. However, description-names name and describe. Some arguments supporting this peculiarity and a logic to handle description-names are proposed. It will be shown that the best framework with which to accommodate description-names is a multiple-proposition theory, according to (...) which a given utterance may express several propositions. (shrink)

This paper presents and advocates an approach to the semantics of opinion statements, including matters of personal taste and moral claims. In this framework, ‘outlook-based semantics’, the circumstances of evaluation are not composed of a possible world and a judge ; rather, outlooks replace possible worlds in the role of circumstance of evaluation. Outlooks are refinements of worlds that settle not only matters of fact but also matters of opinion. Several virtues of the framework and advantages over existing implementations of (...) world-judge relativism are demonstrated in this paper. First, world-judge relativism does not actually explain the ‘disagreement’ of ‘faultless disagreement’, while a straightforward explanation suggests itself in outlook-based semantics. Second, outlook-based semantics provides an account of subjective attitude verbs that can capture lack of opinionatedness. Third, outlook-based semantics unproblematically explains the connection-building role of aesthetic discourse and the group-relevance of discretionary assertions, while capturing the same effects in world-judge relativism obviates the purpose of the judge parameter. Finally, because the proposed circumstances of evaluation are entirely analogous to possible worlds, the framework is easy to use and extend. (shrink)

This paper distinguishes between definiteness and determinacy. Definiteness is seen as a morphological category which, in English, marks a uniqueness presupposition, while determinacy consists in denoting an individual. Definite descriptions are argued to be fundamentally predicative, presupposing uniqueness but not existence, and to acquire existential import through general type-shifting operations that apply not only to definites, but also indefinites and possessives. Through these shifts, argumental definite descriptions may become either determinate or indeterminate. The latter option is observed in examples like (...) ‘Anna didn’t give the only invited talk at the conference’, which, on its indeterminate reading, implies that there is nothing in the extension of ‘only invited talk at the conference’. The paper also offers a resolution of the issue of whether possessives are inherently indefinite or definite, suggesting that, like indefinites, they do not mark definiteness lexically, but like definites, they typically yield determinate readings due to a general preference for the shifting operation that produces them. (shrink)

Phenomenologically speaking, we perceive the present, recall the past, and anticipate the future. We offer an account of the temporal content of the perceptual present that distinguishes it from the recalled past and the anticipated future. We distinguish two views: the Token Reflexive Account and the Minimal Account. We offer reasons to reject the Token Reflexive Account, and defend the Minimal Account, according to which the temporal content of the perceptual present is exhausted by its direct reference to the interval (...) of time over which it occurs. (shrink)

The common wisdom, among philosophers of language and metaphysicians of analytic tradition, is that though only actual things exist, ‘being actual’ and its cognates do not ascribe a special feature...

Answering machine messages allegedly refute Kaplan's ‘classical account’ of the semantics of ‘I’, ‘here’ and ‘now’. The classical account doesn’t allow that a token of ‘I am not here now’ can be true; but these words in an answering machine message can communicate something true. In this paper I argue that the true content communicated by an answering machine message is extra-semantic content conveyed via the mechanism of ‘externally-oriented make-believe’. An answering machine message is associated with a game of make-believe (...) whose rules prescribe making believe that the agent who recorded the message is speaking there and then; and it thereby conveys that the circumstance that would make the message fictionally true obtains. (shrink)

Reliabilism about epistemic justification - the thesis that what makes a belief epistemically justified is that it was produced by a reliable process of belief-formation - must face two problems. First, what has been called "the new evil demon problem", which arises from the idea that the beliefs of victims of an evil demon are as justified as our own beliefs, although they are not - the objector claims - reliably produced. And second, the problem of diagnosing why skepticism is (...) so appealing despite being false. I present a special version of reliabilism, "indexical reliabilism", based on two-dimensional semantics, and show how it can solve both problems. (shrink)

I argue for a theory that combines elements of reliabilism and evidentialism.