Gabbay has gathered an enormous amount of results; some of them important and novel, others important but already known, many rather routine, however. The organization of this material shows grave defects, both in the exposition and in its logical structure. Intensional logic appears as a vast collection of (often duplicated) loosely connected results. This may be a true reflection of the present state of the subject, but it does not contribute to a better understanding of it, let alone advance it.

Proponents of the explanatory gap claim that consciousness is a mystery. No one has ever given an account of how a physical thing could be identical to a phenomenal one. We fully understand the identity between water and H2O but the identity between pain and the firing of C-fibers is inconceivable. Mark Johnston [Journal of philosophy , 564–583] suggests that if water is constituted by H2O, not identical to it, then the explanatory gap becomes a pseudo-problem. This is because all (...) “manifest kinds”—those identified in experience—are on a par in not being identical to their physical bases, so that the special problem of the inconceivability of ‘pain = the firing of C-fibers’ vanishes. Moreover, the substitute relation, constitution, raises no explanatory difficulties: pain can be constituted by its physical base, as can water. The thesis of this paper is that the EG does not disappear when we substitute constitution for identity. I examine four arguments for the EG, and show that none of them is undermined by the move from constitution to identity. (shrink)

In this article, I am interested in four versions of what is often referred to as "the Humphrey objection". This objection was initially raised by Kripke against Lewis's modal counterpart theory, so this is where I will start the discussion. As we will see, there is a perfectly good answer to the objection. I will then examine other places where a similar objection can be raised: it can arise in the case of temporal counterpart theory (in fact, it can arise (...) in the case of all kinds of counterpart theories, independently on modal realism), and a very similar worry can also arise against modal realism itself or against an ersatzist theory of possible worlds itself. For similar reasons, in similar situations, a similar objection will arise. What is interesting is that it is not the case that a similar response can be given in all of these similar cases. So, in the end, we will see what dissimilarities there are and how and why they are relevant. In particular, we will see the differences there are between alethic modalities and temporal modalities. In the case of alethic modalities (metaphysical necessity and possibility), the objection can be answered by appealing to the notion of representation, while this does not work very well in the case of temporal modalities. (shrink)

What is the status of a cat in a virtual reality environment? Is it a real object? Or part of a fiction? Virtual realism, as defended by D. J. Chalmers, takes it to be a virtual object that really exists, that has properties and is involved in real events. His preferred specification of virtual realism identifies the cat with a digital object. The project of this paper is to use a comparison between virtual reality environments and scientific computer simulations to (...) critically engage with Chalmers’s position. I first argue that, if it is sound, his virtual realism should also be applied to objects that figure in scientific computer simulations, e.g. to simulated galaxies. This leads to a slippery slope because it implies an unreasonable proliferation of digital objects. A philosophical analysis of scientific computer simulations suggests an alternative picture: The cat and the galaxies are parts of fictional models for which the computer provides model descriptions. This result motivates a deeper analysis of the way in which Chalmers builds up his realism. I argue that he buys realism too cheap. For instance, he does not really specify what virtual objects are supposed to be. As a result, rhetoric aside, his virtual realism isn’t far from a sort of fictionalism. (shrink)

The paper examines the connection between Aristotle's theory of generated substance and his notion of potentiality in "Metaphysics" Θ.7. Aristotle insists that the matter of a substance is not what that substance is, against a competing view that was widely held both in his day and now. He coined the term thaten (ἐ[unrepresentable symbol]νινονον) in order to make this point. The term highlights a systematic correspondence between the metaphysics of matter and of quality: the relationship between a thing and its (...) matter is like the relationship between a qualified thing and the relevant quality. It is argued that Aristotle's view about the matter of particular substances is connected with his view about ultimate matter. His conception of the matter of particular substances allows him to block an argument, from Plato's "Timaeus", that ultimate matter must be something imperceptible and lacking all perceptible qualities. Aristotle uses the term thaten to introduce an alternative conception of ultimate matter on which ultimate matter might well be an ordinary perceptible kind of thing. (shrink)

Despite the swirling tide of controversy surrounding the work of Machery et al. , the cross-cultural differences they observed in semantic intuitions about the reference of proper names have proven to be robust. In the present article, we report cross-cultural and individual differences in semantic intuitions obtained using new experimental materials. In light of the pervasiveness of the Knobe effect and the fact that Machery et al.’s original materials incorporated elements of wrongdoing but did not control for their influence, we (...) also examined the question of whether the moral valence of actions described in experimental materials might affect participants’ responses. Our results suggest that uncontrolled moral valence did not distort participants’ judgments in previous research. Our findings provide further confirmation of the robustness of cross-cultural and intra-cultural differences in semantic intuitions and strengthen the philosophical challenge that they pose. (shrink)

In 2004 Edouard Machery, Ron Mallon, Shaun Nichols and Stephen Stich published what has become one of the most widely discussed papers in experimental philosophy, in which they reported that East Asian and Western participants had different intuitions about the semantic reference of proper names. A flurry of criticisms of their work has emerged, and although various replications have been performed, many critics remain unconvinced. We review the current debate over Machery et al.’s (2004) results and take note of which (...) objections to their work have been satisfactorily answered and which ones still need to be addressed. We then report the results of studies that reveal significant cross-cultural and intra-cultural differences in semantic intuitions when we control for variables that critics allege have had a potentially distorting effect on Machery et al.’s findings. These variables include the epistemic perspective from which participants are supposed to understand the research materials, unintended anchoring effects of those materials, and pragmatic factors involved in the interpretation of speech acts within them. Our results confirm the robustness of the cross-cultural differences observed by Machery et al. and thereby strengthen the philosophical challenge they pose. (shrink)

This paper considers normative naturalism, understood as the view that (i) normative sentences are descriptive of the way things are, and (ii) their truth/falsity does not require ontology beyond the ontology of the natural world. Assuming (i) for the sake of argument, I here show that (ii) is false not only as applied to ethics, but more generally as applied to practical and epistemic normativity across the board. The argument is a descendant of Moore's Open Question Argument and Hume's Is-Ought (...) Gap. It goes roughly as follows: to ensure that natural ontology suffices for normative truth, there must be semantically grounded entailments from the natural truths to the normative truths. There are none. So natural ontology does not suffice for normative truth. (shrink)

In a lengthy review article, C. Anthony Anderson criticizes the approach to property theory developed in Quality and Concept (1982). That approach is first-order, type-free, and broadly Russellian. Anderson favors Alonzo Church’s higher-order, type-theoretic, broadly Fregean approach. His worries concern the way in which the theory of intensional entities is developed. It is shown that the worries can be handled within the approach developed in the book but they remain serious obstacles for the Church approach. The discussion focuses on: (1) (...) the fine-grained/coarse-grained distinction, (2) proper names and definite descriptions, (3) the paradox of analysis and Mates’ puzzle, and (4) the logical, semantical, and intentional paradoxes. (shrink)

This paper provides a defense of two traditional theses: the Autonomy of Philosophy and the Authority of Philosophy. The first step is a defense of the evidential status of intuitions (intellectual seemings). Rival views (such as radical empiricism), which reject the evidential status of intuitions, are shown to be epistemically self-defeating. It is then argued that the only way to explain the evidential status of intuitions is to invoke modal reliabilism. This theory requires that intuitions have a certain qualified modal (...) tie to the truth. This result is then used as the basis of the defense of the Autonomy and Authority theses. The paper closes with a defense of the two theses against a potential threat from scientific essentialism. (shrink)

In discussion of the "Principle of Identity" in the Treatise Hume presents a puzzle about identity - not a puzzle for semantics, like Frege's, but a puzzle for a theory of representation. In this essay I am less concerned with issues of Hume interpretation and more concerned with the puzzle itself.

A widely accepted thesis in the philosophy of language is that natural language proper names are rigid designators, and that they are so de jure, or as a matter of the “semantic rules of the language.” This paper questions this claim, arguing that rigidity cannot be plausibly construed as a property of name types and that the alternative, rigidity construed as a property of tokens, means that they cannot be considered rigid de jure; rigidity in this case must be viewed (...) as a pragmatic and not a semantic property. (shrink)

In 1955, Goodman set out to 'dissolve' the problem of induction, that is, to argue that the old problem of induction is a mere pseudoproblem not worthy of serious philosophical attention. I will argue that, under naturalistic views of the reflective equilibrium method, it cannot provide a basis for a dissolution of the problem of induction. This is because naturalized reflective equilibrium is -- in a way to be explained -- itself an inductive method, and thus renders Goodman's dissolution viciously (...) circular. This paper, then, examines how the old problem of induction crept back in while nobody was looking. (shrink)

Huxley’s Explanatory Gap: There can be no explanation of how states of consciousness arise from interaction among a collection of physical things.

Saul Kripke has convinced many of us that material things have their material origins essentially. Plutarch, through his Ship of Theseus story, has convinced many of us that material things can sometimes survive gradual replacements of their material parts, that they are materially nonrigid. By way of a series of counterexamples, I will argue that any attempt to specify what in particular is essential about material origins will founder on the phenomenon of material non-rigidity.

The aim of this paper is to take a fresh look at a discussion about the distinct existences argument that took place between David Armstrong and Frank Jackson more than fifty years ago. I will try to show that Armstrong’s argument can be successfully defended against Jackson’s objections (albeit at the price of certain concessions concerning Armstrong’s view on the meaning of psychological terms as well as his conception of universals). Focusing on two counterexamples that Jackson put forward against Hume’s (...) principle (which is central to Armstrong’s argument), I will argue that they are either compatible with Hume’s principle, or imply a false claim. I will also look at several other considerations that go against Hume’s principle, such as, for example, Kripke’s origin essentialism and counterexamples from aposteriori necessity. (shrink)

I use the principle of truth-maker maximalism to provide a new solution to the semantic paradoxes. According to the solution, AUS, its undecidable whether paradoxical sentences are grounded or ungrounded. From this it follows that their alethic status is undecidable. We cannot assert, in principle, whether paradoxical sentences are true, false, either true or false, neither true nor false, both true and false, and so on. AUS involves no ad hoc modification of logic, denial of the T-schema's validity, or obvious (...) revenge. (shrink)

This essay examines the proposal that psychological essentialism results from a history of natural selection acting on human representation and inference systems. It has been argued that the features that distinguish essentialist representational systems are especially well suited for representing natural kinds. If the evolved function of essentialism is to exploit the rich inductive potential of such kinds, then it must be subserved by cognitive mechanisms that carry out at least three distinct functions: identifying these kinds in the environment, constructing (...) essentialized representations of them, and constraining inductive inferences about kinds. Moreover, there are different kinds of kinds, ranging from nonliving substances to biological taxa to within-species kinds such as sex, and the causal processes that render these categories coherent for the purposes of inductive generalization vary. If the evolved function of essentialism is to support inductive generalization under ignorance of true causes, and if kinds of kinds vary in the implicit assumptions that support valid inductive inferences about them, then we expect different, functionally incompatible modes of essentialist thinking for different kinds. In particular, there should be differences in how biological and nonbiological substances, biological taxa, and biological and social role kinds are essentialized. The functional differences between these kinds of essentialism are discussed. (shrink)

This essay examines the proposal that psychological essentialism results from a history of natural selection acting on human representation and inference systems. It has been argued that the features that distinguish essentialist representational systems are especially well suited for representing natural kinds. If the evolved function, of essentialism is to exploit the rich inductive potential of such kinds, then it must be subserved by cognitive mechanisms that carry out at least three distinct functions: identifying these kinds in the environment, constructing (...) essentialized representations of them, and constraining inductive inferences about kinds. Moreover, there are different kinds of kinds, ranging from nonliving substances to biological taxa to within-species kinds such as sex, and the causal processes that render these categories coherent for the purposes of inductive generalization vary. If the evolved function of essentialism is to support inductive generalization under ignorance of true causes, and if kinds of kinds, vary in the implicit assumptions that support valid inductive inferences about them, then we expect different, functionally incompatible modes of essentialist thinking for different kinds. In particular, there should be differences in how biological and nonbiological substances, biological taxa, and biological and social role kinds are essentialized. The functional differences between these kinds of essentialism are discussed. (shrink)

The classical view of the relationship between necessity and apriority, defended by Leibniz and Kant, is that all necessary truths are known a priori. The classical view is now almost universally rejected, ever since Saul Kripke and Hilary Putnam discovered that there are necessary truths that are known only a posteriori. However, in recent years a new debate has emerged over the epistemology of these necessary a posteriori truths. According to one view – call it the neo-classical view – knowledge (...) of a necessary truth always depends on at least one item of a priori knowledge. According to the rival view – call it the neoempiricist view – our knowledge of necessity is sometimes broadly empirical. In this paper I present and defend an argument against the neo-empiricist view. I argue that knowledge of the necessity of a necessary truth could not be broadly empirical. (shrink)

Strong non-maximalism holds that some truths require no ontological ground of any sort. Strong non-maximalism allows one to accept that some propositions are true without being forced to endorse any corresponding ontological commitments. We show that there is a version of truthmaker theory available—anti-aboutness truthmaking—that enjoys the dialectical benefits of the strong non-maximalist’s position. According to anti-aboutness truthmaking, all truths require grounds, but a proposition need not be grounded in the very thing(s) that the proposition is about. We argue that (...) if strong non-maximalism can be defended, then so can anti-aboutness truthmaking on the very same basis; one can enjoy the benefits of strong non-maximalism without giving up on the idea that truth is always grounded in being. (shrink)

This is an attempt at reviving Kneale's version of the description theory of names, which says that a proper name is synonymous with a definite description of the form ‘the individual named so-and-so’. To begin with, I adduce a wide range of observations to show that names and overt definites are alike in all relevant respects. I then turn to Kripke's main objection against Kneale's proposal, and endeavour to refute it. In the remainder of the paper I elaborate on Kneale's (...) analysis, adopting a theory of presupposition proposed by van der Sandt. (shrink)

Can we believe that there are non-existent entities without commitment to the Meinongian metaphysics? This paper argues we can. What leads us from quantification over non-existent beings to Meinongianism is a general metaphysical assumption about reality at large, and not merely quantification over the non-existent. Broadly speaking, the assumption is that every being we talk about must have a real definition. It’s this assumption that drives us to enquire into the nature of beings like Pegasus, and what our relationship as (...) thinkers is to them. However, I argue this assumption only holds if you think your language, and in particular that aspect of it to do with referring to entities works in a specific way. This is the specific way generally assumed by the discipline called ‘Semantics’. I sketch out an alternative, call it global expressivism, in which talk of referring is given an expressivist, speech-act theoretic treatment. If we accept that our talk of the non-existent works as the global expressivist tells us it does, then the question of the metaphysical nature of non-existent entities is utterly void. You might say that Pegasus is empty of any metaphysical nature. Since the non-existent lacks any metaphysical nature, the metaphysics of the non-existent, Meinongianism, as a form of inquiry, lacks a subject matter, despite the fact that we talk happily, and indeed unavoidably, of the non-existent. (shrink)

Christopher Hill and Joseph Levine have argued that the conceivabilities involved in anti-materialist arguments are defeated as evidence of possibility. Their strategy assumes the following principle: the conceivability of a state of affairs S constitutes evidence for the possibility of S only if the possibility of S is the best explanation of the conceivability of S. So if there is a better explanation of the conceivability of S than its possibility, then the conceivability of S is thereby defeated as evidence (...) of possibility. Hill and Levine proceed to offer alternative explanations of these conceivabilities, concluding that these conceivabilities are thereby defeated as evidence. However, this strategy fails because their explanations generalize to all conceivability judgments concerning phenomenal states. Consequently, one could defend absolutely any theory of phenomenal states against conceivability arguments in just this way. This result conflicts with too many of our common sense beliefs about the evidential value of conceivability with respect to phenomenal states. The general moral is that the application of such principles of explanatory defeat is neither simple nor straightforward. (shrink)

Este artigo destina-se a introduzir a conferência de Heisenberg "A doutrina goethiana e newtoniana das cores à luz da física moderna", proferida em 1941, cuja tradução é aqui publicada. Analisa-se primeiramente o projeto filosófico de uma ordenação da realidade, desenvolvido pelo físico no início da década de 1940, o qual subjaz à discussão sobre as doutrinas das cores em Goethe e Newton. No segundo momento, faz-se uma exposição de algumas das implicações filosóficas da teoria quântica, com ênfase na interpretação da (...) assim denominada escola de Copenhague. Por fim, procura-se mostrar como a querela entre Goethe e Newton é utilizada para defender as abstrações da física teórica dos ataques da assim denominada "física ariana" e, ao mesmo tempo, preservar o valor das considerações intuitivas de Goethe. This paper aims at exposing the Heisenberg's conference "The teachings of Goethe and Newton on colors in the light of modern physics", presented in 1941, whose translation is presented here. In the first place the paper analyzes the philosophical project of an ordination of the reality, developed by the physicist in the early 1940s and which is the basis for the discussion of the "Teachings of Goethe and Newton on colors". Secondly it exposes some philosophical implications of the quantum theory by emphasizing the point of view of the Copenhagen school. Finally, it shows how the dispute between Goethe and Newton is exploited to defend the abstractions of the theoretical physics against the attacks of the so called "German physicists" and, at the same time, to preserve the worth of the Goethe's intuitive analysis. (shrink)

Computer simulations are widely used in current scientific practice, as a tool to obtain information about various phenomena. Scientists accordingly rely on the outputs of computer simulations to make statements about the empirical world. In that sense, simulations seem to enable scientists to acquire empirical knowledge. The aim of this paper is to assess whether computer simulations actually allow for the production of empirical knowledge, and how. It provides an epistemological analysis of present-day empirical science, to which the traditional epistemological (...) categories cannot apply in any simple way. Our strategy consists in acknowledging the complexity of scientific practice, and trying to assess its rationality. Hence, while we are careful not to abstract away from the details of scientific practice, our approach is not strictly descriptive: our goal is to state in what conditions empirical science can rely on computer simulations. In order to do so, we need to adopt a renewed epistemological framework, whose categories would enable us to give a finer-grained, and better-fitted analysis of the rationality of scientific practice. (shrink)

This article argues for a different outlook on the concept of extension, especially for the reference of general terms in scientific practice. Scientific realist interpretations of the two predominant theories of meaning, namely Descriptivism and Causal Theory, contend that a stable cluster of descriptions or an initial baptism fixes the extension of a general term such as a natural kind term. This view in which the meaning of general terms is presented as monosemantic and the referents as stable, homogeneous, and (...) unchangeable, however, does not reflect the various practices involved in the investigation of research materials and the related application of general terms in scientific practice. By drawing on the taxonomic diversity, particularly of structure-based classifications in chemical databases, this article illustrates the limited utility of such a concept of extension. Research materials often exhibit a plurality of material dimensions that, within different research contexts, allow for various and often equally significant taxonomic demarcations. In light of this, the extension of a general term cannot be uniquely determined by a supposedly independent nature of the referent but is relative to the model context under which the materials are investigated. This significance and plurality of the model context, I claim, needs to be mirrored in an account of meaning that is supposed to reflect scientific reality. On this account, the aim of this article is to present an alternative perspective on the concept of extension to accommodate the diverse material practices that determine the application of general terms in science. (shrink)

Later Wittgenstein is famous for having related meaning and use. Nonetheless, thanks to Dummett and Kripke, and the debates they provoked, a conventional wisdom is nowadays available: Wittgenstein, so the story goes, adopted a theory of meaning in terms of assertability conditions. This paper claims that it is wrong to attribute such a theory to the Investigations. For such a thesis to go through, one of the following two scenarios should be confirmed. It should either be true that Wittgenstein reduces (...) all meaning-engendering uses and conditions of use to assertion and assertability conditions, or that he invokes assertability conditions to show that meaning is always use. But, I will be claiming, the first scenario is excluded by Wittgenstein’s thoughts about the role of assertion and his thoughts about the sense-force distinction, while the second scenario is excluded by Wittgenstein’s thoughts about truth. (shrink)

That there are analytic truths may challenge a principle of the homogeneity of truth. Unlike standard conceptions, in which analyticity is couched in terms of "truth in virtue of meanings", Frege's notions of analytic and a priori concern justification, respecting a principle of the homogeneity of truth. Where there is no justification these notions do not apply, Frege insists. Basic truths and axioms may be analytic (or a priori), though unprovable, which means there is a form of justification which is (...) not (deductive) proof. This is also required for regarding singular factual propositions as a posteriori. A Fregean direction for explicating this wider notion of justification is suggested in terms of his notion of sense (Sinn)—modes in which what the axioms are about are given—and its general epistemological significance is sketched. (shrink)

This paper is a contribution to a discussion in philosophy of technology by focusing on the epistemological status of the example. Of the various developments in the emerging, inchoate field of philosophy of technology, the “empirical turn” stands out as having left the most enduring mark on the trajectory contemporary research takes. From a historical point of view, the empirical turn can best be understood as a corrective to the overly “transcendentalizing” tendencies of “classical” philosophers of technology, such as Heidegger. (...) Empirically oriented philosophy of technology emphasizes actual technologies through case-study research into the formation of technical objects and systems and how they, for example, transform our perceptions and conceptions or pass on and propagate relations of power. This paper explores the point of convergence of classical and contemporary approaches by means of the notion of the “example” or “paradigm.” It starts with a discussion of the quintessential modern philosopher of technology, Martin Heidegger, and his thinking about technology in terms of the ontological difference. Heidegger’s framing of technology in terms of this difference places the weight of intelligibility entirely on the side of being, to such an extent that his examples become heuristic rather than constitutive. The second part of the paper discusses the methodological and epistemological import of the “example” and the form of intelligibility it affords. Drawing on the work of Wittgenstein, Foucault, and Agamben, we argue that the example offers an alternative way of understanding the study of technologies from that of empirical case studies. (shrink)

In her recent defense of predicativism for proper names, Delia Graff Fara proposes the following non-metalinguistic being-called condition for the applicability of names as predicates: A name ‘N’ is true of a thing if and only if it is called N. The BCC is supposed to hold for names only. In this essay I criticize Fara’s BCC by arguing that the word ‘called’ is ambiguous, and that the BCC holds only for the particular sense of ‘calling’ as naming. I revise (...) accordingly Fara’s BCC and propose in its place a non-metalinguistic being-named condition. I also argue, against Fara, that being-named conditions are not unique to proper names: they hold for mass nouns, common count nouns, as well as for family names, which I distinguish from surnames. Finally, I discuss honorific titles and propose a being-entitled condition according to which a title ‘T’ is true of a thing just in case it is dubbed T. I conclude the paper with pragmatic, syntactic, as well as semantic considerations in favor of the thesis that names are a subspecies of non-hereditary, honorific titles. (shrink)

In the last 30 years much philosophical discussion has been generated by Kripke’s proof of the necessity of origin for material objects presented in footnote 56 of ‘Naming and Necessity’. I consider the two most popular reconstructions of Kripke’s argument: one appealing to the necessary sufficiency of origin, and the other employing a strong independence principle allegedly derived from the necessary local nature of prevention. I argue that, to achieve a general result, both reconstructions presuppose an implicit Humean atomistic thesis (...) of recombination, according to which any two (non-overlapping) possible objects can simultaneously coexist in one and the same world. Yet recombination ill accords with the other assumptions of the proofs. I also argue that the locality of prevention does not entail strong independence. (shrink)

Millians about proper names typically claim that it is knowable apriori that Hesperus is Phosphorus. We argue that they should claim instead that it is knowable only aposteriori that Hesperus is Hesperus, since the Kripke-Putnam epistemic arguments against descriptivism are special cases of Quinean arguments that nothing is knowable apriori, and Millians have no resources to resist the more general Quinean arguments.

It is argued here that there is no fact of the matter between direct reference theory and neo-Fregeanism. To get a more precise idea of the central thesis of this paper, consider the following two claims: (i) While direct reference theory and neo-Fregeanism can be developed in numerous ways, they can be developed in essentially parallel ways; that is, for any (plausible) way of developing direct reference theory, there is an essentially parallel way of developing neo-Fregeanism, and vice versa. And (...) (ii) for each such pair of theories, there is no fact of the matter as to which of them is superior; or more precisely, they are tied in terms of factual accuracy. These are sweeping claims that cannot be fully justified in a single paper. But arguments are given here that motivate these theses, i.e., that suggest that they are very likely true. (shrink)

Certain puzzling cases have been discussed in the literature recently which appear to support the thought that knowledge can be obtained by way of deduction from a falsehood; moreover, these cases put pressure, prima facie, on the thesis of counter closure for knowledge. We argue that the cases do not involve knowledge from falsehood; despite appearances, the false beliefs in the cases in question are causally, and therefore epistemologically, incidental, and knowledge is achieved despite falsehood. We also show that the (...) principle of counter closure, and the concomitant denial of knowledge from falsehood, is well motivated by considerations in epistemological theory--in particular, by the view that knowledge is first in the epistemological order of things. (shrink)

The purpose of this paper is to present and discuss a puzzle involving accommodation. The puzzle is based on three assumptions. The first assumption is that accommodation takes place after an utterance. The second assumption is that accommodation can make a difference to the truth-value of an utterance even if the utterance is not about the future. The third assumption is that something that takes place after an utterance cannot make a difference to the truth-value of the utterance unless the (...) utterance is about the future. Since these assumptions are jointly inconsistent, one of them must be false. The question is which one we ought to reject. The majority of the discussion is devoted to discussing each of the options, and the tentative conclusion is that the most plausible strategy is to reject the third thesis. That amounts to saying that something that takes place after an utterance can make a difference to the truth-value of the utterance even if the utterance is not about the future. (shrink)

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

a comprehensive, somewhat Gricean theory of speech acts, including an account of communicative intentions and inferences, a taxonomy of speech acts, and coverage of many topics in pragmatics -/- .

We develop a theory of necessity operators within a version of higher-order logic that is neutral about how fine-grained reality is. The theory is axiomatized in terms of the primitive of *being a necessity*, and we show how the central notions in the philosophy of modality can be recovered from it. Various questions are formulated and settled within the framework, including questions about the ordering of necessities under strength, the existence of broadest necessities satisfying various logical conditions, and questions about (...) their logical behaviour. We also wield the framework to probe the conditions under which a logicist account of necessities is possible, in which the theory is completely reducible to logic. (shrink)

Modal counterpart theory identifies a thing’s possibly being F with its having a counterpart that is F at another possible world; temporal counterpart theory identifies a thing’s having been F or going to be F, with its having a counterpart that is F at another time. Benovsky, J. 2015. “Alethic Modalities, Temporal Modalities, and Representation.” Kriterion: Journal of Philosophy 29: 18–34 in this journal endorses modal counterpart theory but holds that temporal counterpart theory is untenable because it does not license (...) the ascription of the intuitively correct temporal properties to ordinary objects, and hence that we should understand ordinary objects, including persons, as transtemporal ‘worms’. I argue that the worm theory is problematic when it comes to accounting for what matters in survival and that temporal counterpart theory provides a plausible account of personal persistence. (shrink)

An extensive exploration of the special properties of ‘exist’ is here undertaken. Two of several results are: Denying that `exist’ has associated with it a set of necessary and sufficient conditions has seemed to a number of philosophers to imply metaphysical nihilism . This is because it has seemed that without such conditions the target domain of `existence’ is arbitrarily open. I show this is wrong. Second, my analysis sheds light on the puzzling question of what we are asking when (...) we ask of something, `Does it exist?’ and mean that question in an ontically relevant way. (shrink)

This paper is an attempt to spell out what makes the scientific study of pain so distinctive from a philosophical perspective. Using the IASP definition of ‘pain’ as our guide, we raise a number of questions about the philosophical assumptions underlying the scientific study of pain. We argue that unlike the study of ordinary perception, the study of pain focuses from the very start on the experience itself and its qualities, without making deep assumptions about whether pain experiences are perceptual. (...) This in turn puts scientific explanation in a curious position due to pain’s inherently subjective epistemic nature. The reason for this focus on the experience itself and its qualities, we argue, has to do with pain’s complex phenomenology involving an affective/motivational dimension. We argue for the scientific legitimacy of first‐person phenomenological studies and attempts to correlate phenomenology with neural events. We argue that this methodological procedure is inevitable and has no anti‐physicalist ontological implications when properly understood. We end the paper by commenting on a discussion between two prominent pain scientists in the field, Don Price and Howard Fields, about the need to distinguish more dimensions in the phenomenology of pain and how to classify them vis‐à‐vis the recent scientific findings. Our interest in this discussion is not only to introduce some clarifications but also to show how “neurophenomenology” has already been shaping the scientific research and to back our claim about why this methodology is inevitable with an example. (shrink)

This essay is a sustained attempt to bring new light to some of the perennial problems in philosophy of mind surrounding phenomenal consciousness and introspection through developing an account of sensory and phenomenal concepts. Building on the information-theoretic framework of Dretske (1981), we present an informational psychosemantics as it applies to what we call sensory concepts, concepts that apply, roughly, to so-called secondary qualities of objects. We show that these concepts have a special informational character and semantic structure that closely (...) tie them to the brain states realizing conscious qualitative experiences. We then develop an account of introspection which exploits this special nature of sensory concepts. The result is a new class of concepts, which, following recent terminology, we call phenomenal concepts: these concepts refer to phenomenal experience itself and are the vehicles used in introspection. On our account, the connection between sensory and phenomenal concepts is very tight: it consists in different semantic uses of the same cognitive structures underlying the sensory concepts, such as the concept of red. Contrary to widespread opinion, we show that information theory contains all the resources to satisfy internalist intuitions about phenomenal consciousness, while not offending externalist ones. A consequence of this account is that it explains and predicts the so-called conceivability arguments against physicalism on the basis of the special nature of sensory and phenomenal concepts. Thus we not only show why physicalism is not threatened by such arguments, but also demonstrate its strength in virtue of its ability to predict and explain away such arguments in a principled way. However, we take the main contribution of this work to be what it provides in addition to a response to those conceivability arguments, namely, a substantive account of the interface between sensory and conceptual systems and the mechanisms of introspection as based on the special nature of the information flow between them. (shrink)

The problem of skepticism is often understood as a paradox: a valid argument with plausible premises whose conclusion is that we lack justification for perceptual beliefs. Typically, this conclusion is deemed unacceptable, so a theory is offered that posits conditions for justification on which some premise is false. The theory defended here is more general, and explains why the paradox arises in the first place. Like Strawson’s (Introduction to logical theory, Wiley, New York, 1952) “ordinary language” approach to induction, the (...) theory posits something built into the very notion of justification: it is loaded with a bias towards the proposition that we are not massively deceived. Beyond the paradox, remaining skeptical problems consist of metaphysical and practical questions: whether we are massively deceived, or why we should use our loaded notion rather than some other. Such challenges have pro- found epistemological significance, but they are not problems that an a priori theory of justification can solve. (shrink)