In this paper, I will claim that fictional works apparently about utterly immigrant objects, i.e., real individuals imported in fiction from reality, are instead about fictional individuals that intentionally resemble those real individuals in a significant manner: fictional surrogates of such individuals. Since I also share the realists’ conviction that the remaining fictional works concern native characters, i.e., full-fledged fictional individuals that originate in fiction itself, I will here defend a hyperrealist position according to which fictional works only concern fictional (...) individuals. (shrink)

We discuss presupposition, the phenomenon whereby speakers mark linguistically the information that is presupposed or taken for granted, rather than being part of the main propositional content of a speech act. Expressions and constructions carrying presuppositions are called “presupposition triggers”, forming a large class including definites and factive verbs. The article first introduces the range of triggers, the basic properties of presuppositions such as projection and cancellability, and the diagnostic tests used to identify them. The reader is then introducedto major (...) models of presupposition from the last 50 years, separated into three classes: Frege-Strawson derived semantic models, pragmaticmodels such as that offered by Stalnaker, and dynamic models. Finallywe discuss some of the main current issues in presupposition theory. These involve accommodation, which occurs when a hearer's knowledge state is adjusted to meet the speaker's presuppositions; presupposition failure, which occurs when a presupposition is false; the interaction between presuppositions and attitudes; and the triggering problem, i.e., the problem of explaining why presuppositions occur in the first place. (shrink)

This text aims at presenting a general characterization of the act of perceiving a particular object, in a framework in which perception is conceived of as a mental and cognitive faculty having specific functions that other faculties such as imagination and memory do not possess. I introduce the problem of determining the occurrence of singular perception of a physical object, as opposed to the occurrence of other mental states or attitudes. I propose that clarifying this occurrence problem requires making explicit (...) the conditions of perceptual competence/faculty so as to explain the occurrence of each perceptual performance on the basis of the use of this competence. I argue then for a direct relational model according to which the singular perception of an object depends on a competence of connecting the perceiver directly with each target object. This model is compatible with a disjunctive approach to perception according to which each particular experience of an object corresponds either to a direct perceptual relation with this object or to the illusion of having the experience of this object. The arguments in favour of this relational model rest on the idea that the faculty of perception grounds the capacity to demonstratively identify physical objects. (shrink)

Part 1 of the thesis questions the traditional relation model of intentionality. After fixing reference on the target phenomenon, intentionality, and explaining my interest in it, I ask what sorts of things intentionality might be a relation to. I consider ordinary objects, properties, propositions and hybrid views, and conclude all make the intentional relation appear rather mysterious. From there, I move on to examine the relation view’s most prominent proponents, the tracking theorists—pointing out some challenges such views face, and concluding (...) that it might be worthwhile looking into alternatives to the relation view. Part 2 asks whether the newly emerging phenomenal intentionality movement can provide a viable alternative to the relation model of intentionality. After focusing on a specific kind of phenomenal intentionality theory—something I call modificationism—I examine three such accounts. From there I go on to discuss some common complaints/challenges these kinds of views face, and consider how they might be addressed within the modificationist framework. In Part 3, I address what I call the problem of cognitive contact: how do our contentful mental states manage to make cognitive contact with the ordinary objects (e.g. tables and chairs) that they appear to. The problem is particularly acute for any version of phenomenal intentionality that denies the relation view, and has been given very little attention in the literature. I consider how a modificationist might address this problem, and conclude that though some avenues appear promising, there is nevertheless a great deal of work to be done if modificationism, and phenomenal intentionality theory, is to overcome this problem. (shrink)

Against the dominant view in contemporary Hobbes scholarship, I argue that Hobbes’ philosophy of language implicitly denies that linguistic expressions refer to anything. I defend this thesis both textually, in light of what Hobbes actually said, and contextually, in light of Hobbes’ desertion of the vocabulary of suppositio, which was prevalent in semantics leading up to Hobbes. Hobbes explained away the apparent fact of linguistic reference via a reductive analysis: the relation between words and things wholly reduces to a composite (...) of the relation of signification between words and conceptions on the one hand, and the relation of representation between conceptions and things on the other. Intentionality, for Hobbes, accrues to conceptions, not words. (shrink)

SUMMARY Major theories of philosophical psychology and philosophy of mind are examined on the basis of the fundamental questions of ontology, metaphysics, epistemology, semantics and logic. The result is the choice between language of eliminative reductionism and dualism, neither of which answers properly the relation between mind and body. In the search for a non–dualistic and non–reductive language, Wittgenstein’s notion of language–games as the representative links between language and the world is considered together with Peirce’s semeiosis of cognition. The result (...) is a redefined notion of cognition as the goal–oriented ability to instantiate strategies from the rules of the language–games. Cognition is considered within the four-dimensional languagegames: rules/strategies, primitive/complete language-games, family-resemblances/forms of life, and non-temporal continuum as the language-games’ modality. Cognition is seen as a continuum process of non–individualized elements that unites perception, volition, emotion, will and thought against the commonly accepted understandings of cognition in exclusive terms of perception and thinking. The alternative to the mind/body problem is the continuity of cognition where rules and strategies, syntax and semantics, are considered inseparable within language–games. This continuity of cognition is explained in terms of virtual (univocal) identity, replacing the old philosophical paradigm of the mind/body problem. -/- SOMMARIO Le teorie maggiori della psicologia filosofica e filosofia della mente sono esaminate a partire dalle questioni fondamentali di ontologia, metafisica, epistemologia, semantica e logica. Il risultato è la scelta tra un linguaggio riduzionista eliminativo e un dualismo che però non confronta in modo adeguato la relazione tra mente e corpo. Nella ricerca per un linguaggio non-dualistico e non-riduttivo, viene considerata la nozione del gioco linguistico di Wittgenstein come un legame rappresentativo tra il linguaggio e il mondo insieme con la semiosi cognitiva di Peirce. Il risultato è la nozione ridefinita della cognizione come abilità goal-orientata di creare le strategie dalle regole dei giochi linguistici. La cognizione è considerata entro le quattro dimensioni dei giochi linguistici: regole/strategie, giochi linguistici primitivi/completi, somiglianze di famiglia/forme di vita, e la continuità atemporale come la modalità dei giochi linguistici. La cognizione diventa un processo continuo degli elementi non-individualizzati che tende ad unificare la percezione, volizione, emozione, la volontà e il pensiero contro un concetto generalmente accettato di vedere la cognizione nei termini esclusivamente di percezione e di pensiero. L’alternativa al problema della mente/corpo è la continuità della cognizione, dove le regole e le strategie, la sintassi e la semantica, sono considerate inseparabili nei giochi linguistici. Questa continuità della cognizione è spiegata nei termini dell’identità virtuale (univoca) sostituendo un paradigma filosofico previo del problema della mente/corpo. (shrink)

The traditional use of the expression 'pseudoproblem' is analysed in order to clarify the talk of pseudoproblems and related phenomena. The goal is to produce a philosophically serviceable terminology that stays true to its historical roots. This explicative study is inspired by and makes use of the method of logical reconstruction. Since pseudoproblems are usually expressed by pseudoquestions a formal language of questions is presented as a possible reconstruction language for alleged pseudoproblems. The study yields an informal theory of pseudoproblems (...) whose presuppositions are critically investigated right away. At least one result remains: Claims of pseudoproblemship and their refutations must not be voiced casually - they are to be relativized and need substantial interpretive effort. (shrink)

Throughout this paper, we are trying to show how and why our Mathematical frame-work seems inappropriate to solve problems in Theory of Computation. More exactly, the concept of turning back in time in paradoxes causes inconsistency in modeling of the concept of Time in some semantic situations. As we see in the first chapter, by introducing a version of “Unexpected Hanging Paradox”,first we attempt to open a new explanation for some paradoxes. In the second step, by applying this paradox, it (...) is demonstrated that any formalized system for the Theory of Computation based on Classical Logic and Turing Model of Computation leads us to a contradiction. We conclude that our mathematical frame work is inappropriate for Theory of Computation. Furthermore, the result provides us a reason that many problems in Complexity Theory resist to be solved.(This work is completed in 2017 -5- 2, it is in vixra in 2017-5-14, presented in Unilog 2018, Vichy). (shrink)

In this paper, new evidence is presented for the assumption that the reason-relation reading of indicative conditionals ('if A, then C') reflects a conventional implicature. In four experiments, it is investigated whether relevance effects found for the probability assessment of indicative conditionals (Skovgaard-Olsen, Singmann, and Klauer, 2016a) can be classified as being produced by a) a conversational implicature, b) a (probabilistic) presupposition failure, or c) a conventional implicature. After considering several alternative hypotheses and the accumulating evidence from other studies as (...) well, we conclude that the evidence is most consistent with the Relevance Effect being the outcome of a conventional implicature. This finding indicates that the reason-relation reading is part of the semantic content of indicative conditionals, albeit not part of their primary truth-conditional content. (shrink)

It is natural to suppose the following three: factivity of knowledge, alda-know synonymy, and the univocity of alda. However, rago-knowledge attribution, expressed by “rago alda” sentences, seems to defeat to hold them at once. In this paper, I try to dissolve this predicament, analyzing “rago alda” sentence as a kind of hybrid language expression. And the theoretical advantages, which my analysis has over other possible, alternative approaches, are to be shown.

Despite the often false impression that the analytic philosophy as an anti-metaphysical movement has nothing to do with metaphysics, there can be found good reasons to grant the metaphysical dispositions of analytic philosophers, and thereby, to minimize the anti-metaphysical nature of analytic philosophy in its all phases. Since analytic philosophy is a historical movement the main nature of which developed through several stages, the very kinds of metaphysical dispositions within each one of its various stages can be easily portrayed. In (...) the meantime, logical realism as the early stage of analytic philosophy contains plenty of metaphysical dispositions. Undoubtedly, one cannot say that analytic philosophy in this period was not committed to metaphysical theses about the plurality of entities, the ultimate nature of reality and the logical structure of the world. In this paper, then, after giving a relatively complete explanation of the logical realism, we claimed that although logical realists rejected the traditional speculative metaphysics of their predecessors, they also replaced it by the metaphysics of logic that pursues the metaphysical aims, this time, by logical means. So, we portrayed this kind of metaphysics as Bolzano’s Semantic Platonism, Frege’s and Russell’s Pluralistic Platonism, Russell’s Pluralistic Atomism, and Wittgenstein’s logical atomism. (shrink)

Strawson’s conception of analysis as a ‘connective linguistic analysis’ makes it possible for him to achieve an indefinitely large range of ideas or concepts among them are certain numbers of fundamental, general and pervasive concepts or concept-types which not only are pre-theoretical or ahistorical, but also together constitute a structural framework only within whichlogic, ontology and epistemology is possible. He takes it as a foundation for this conclusion that logic, ontology and epistemology are three aspects of one unified enquiry (or (...) trio)and strengthensit by this assertion thatwe can understand this unity through considering the fundamental operation of our language. In this paper, after tracing the line of development of Strawson’s philosophical idea of the trio and specifying the fundamental operation of our language (or the common thread which makes this unity possible), we stipulate that it is by means of ‘connective linguistic analysis’ that Strawsonwas able to unify epistemology, ontology and logic. (shrink)

If we are to develop efficient, reliable and secure means for sharing information across healthcare systems and organizations, then a careful analysis of human actions will be needed. To address this need, the HL7 organization has proposed its Reference Information Model (RIM), which is designed to provide a comprehensive representation of the entire domain of healthcare centered around the phenomenon of human action. Taking the Basic Formal Ontology as our starting point, we examine the RIM from an ontological point of (...) view, describing how it fails to provide a representation of the healthcare domain which would enjoy the sort of clarity, coherence, rigor and completeness that is claimed on its behalf. (shrink)

This paper offers a unified, quantificational treatment of incomplete descriptions like ‘the table’. An incomplete quantified expression like ‘every bottle’ (as in “Every bottle is empty”) can feature in true utterances despite the fact that the world contains nonempty bottles. Positing a contextual restriction on the bottles being talked about is a straightforward solution. It is argued that the same strategy can be extended to incomplete definite descriptions across the board. ncorporating the contextual restrictions into semantics involves meeting a complex (...) array of desiderata, yet the apparently simpler pragmatic alternative faces severe problems and is therefore a nonstarter. (shrink)

I develop and argue for a novel theory of the mental state of identity confusion. I also argue that this mental state can corrupt the proper function of singular terms in linguistic communication. Finally, I propose a theory according to which identity confusion should be treated as a the source of a new sort of linguistic performance error, similar to malapropism, slips of the tongue, and so-called intentional obfuscation (inducing false belief by manipulating language in specific ways). -/- Going into (...) a bit more detail, I start by arguing that contemporary analytic philosophy, and philosophy of language in particular, has been dominated by a ‘puzzle-driven’ methodology. This tradition, I claim, seeks to provide a coherent system for describing semantic features of all conceivable cases where a speaker is confused about the identity or distinctness of an object. On my view, identity confusion is a mental state of an agent who either believes falsely that a is identical to b or believes falsely that a is not identical to b. I show how many influential arguments in philosophy – e.g., Kripke on semantic reference and speaker’s reference – are invalidated because of false assumptions about the state of identity confusion. -/- More positively, I assume an ‘explanation-driven’ approach, combining strands in Gricean intentionalism and Ruth Millikan’s teleosemantics. On this view, confused speakers are ‘sub-optimal’: their mental state disrupts the proper function of the relevant singular terms in their idiolects. Furthermore, I flesh out a theoretically fruitful notion of ‘edenic reference,’ which idealizes away from confusion in defining the optimal or stabilizing function of singular terms. I argue that speakers must satisfy certain broadly cognitive constraints if their utterances are to play a role in explaining the maintenance of a practice of using a singular term in a linguistic community. (shrink)

Recently, and rather startlingly, given the history of the debate about a name's semantic content, some claim that names are in fact predicates -- predicativism. Some of predicativists claim that a name's semantic content involves the concept of being called -- calling accounts that have been traditionally meta-linguistic. However, these accounts fail to be informative. Inspired by Burge's claim that proper names are literally true of the individuals that have them, Fara develops a non-meta-linguistic concept of being called analysed in (...) terms of property attributions. I offer seven separate reasons for rejecting the account, one of which is that Fara's development of the view, at least, has implausible consequences for a theory of name acquisition. I sketch an alternative account of name acquisition that is meta-linguistic in nature, but because it is not offered as a theory of name's content, the standard worries fail to apply. In fact, I argue that an account of name acquisition must be meta-linguistic, and therefore a more nuanced conception of meta-linguistic speech acts is required. The account invokes Austin's performative-constative distinction. It analyses name acquisition as due to performative meta-linguistic speech acts. (shrink)

The following thesis discusses a range of central aspects in Timothy Williamson’s so-called «knowledge-first» epistemology. In particular, it adresses whether this kind of epistemological framework is apt to answer the challenges of scepticism.

"Philosophical discussion of the notion of existence, or being, has centered on two main problems which have not always been very clearly distinguished. First, there is the problem of what we are to say about the existence of fictitious objects, such as centaurs, dragons, and Pegasus; second, there is the problem of what we are t o say about the existence of abstract objects, such as qualities, relations, and numbers. Both problems have tempted philosophers to say that there are inferior (...) sorts of existence a s well as the ordinary straightforward sort, and they therefore often suggest that we use the word "being" to cover both kinds but restrict "existence" to "being" of the common, non-fictitious, non-abstract sort. (Sometimes the term "reality" is proposed for "existence" or for "being.") T he problems of fiction and abstraction are different, how ever, for there are both real and fictitious abstractions. For example, the integer between two and four is real, but the integer between two and three is fictitious. On the other hand, there are both concrete and abstract fictions; for example, the winged horse of Bellerophon and the integer between two and three. Accordingly, philosophers have often dealt with the two problems in quite different ways and perhaps ought to do so. While these are the two main problems, there are others, f or example, that of what we are to say of the being of objects which have not yet begun, or have now ceased, to exist. The history of this subject, moreover, has been tangled with theological issues, to which it will be necessary to refer at certain points.". (shrink)

The Linda paradox is a key topic in current debates on the rationality of human reasoning and its limitations. We present a novel analysis of this paradox, based on the notion of verisimilitude as studied in the philosophy of science. The comparison with an alternative analysis based on probabilistic confirmation suggests how to overcome some problems of our account by introducing an adequately defined notion of verisimilitudinarian confirmation.

Explicatures are not cancellable. Theoretical considerations.

As questões das leis da natureza e da modalidade subjacente à regularidade natural muitas vezes têm sido tratadas como uma só. No entanto, a análise metafísica mostra que só as posições que assumem um compromisso ontológico com as leis da natureza podem ser consideradas dentro do Realismo Nomológico. Mumford propõe uma alternativa ao RN compatível com os compromissos modais comumente associados a posições realistas. Neste ponto de vista, o peso da modalidade não está posto nas leis, mas sim em propriedades (...) entendidas em termos de poderes e propensões. De acordo com sua própria nomenclatura, trata-se de um Realismo sem Leis. Neste trabalho pretende-se mostrar, em primeiro lugar, que os argumentos de Mumford contra o RN não justificam a sua rejeição e, em segundo lugar, defende-se que a metafísica disposicional do RSL leva, pelo menos, aos mesmos problemas que o RN. (shrink)

Bu metnin gayesi, dil felsefesi, mantık ve ontoloji alanlarında ortak olarak karşılaşılan boş adlar problemini ele almaktır. Metinde, çağdaş semantik kuramlarının ve dil felsefesinin ortaya çıkışında önemli rolü olan J. S. Mill’in özel adlar üzerine düşüncelerinden başlanarak, analitik felsefenin temelini atan, köşe taşları diyebileceğimiz G. Frege ve B. Russell’ın semantik kuramlarına değinilecektir. Daha sonra, kendi dil felsefesi pozisyonunu bu iki isimin eleştirisi üzerinden kurgulayan S. Kripke’nin, bu isimlere karşı olan argümanları incelenecektir. Metinde, bu incelemeyi gerçekleştirdikten sonra, S. Kripke ve B. (...) Russell’ın dil felsefesinde savundukları pozisyonlar ile onların ortaya koydukları mantık modellerinin arasındaki ilişki ele alınacaktır. Nihai olarak, dil felsefesi, mantık ve ontolojinin sınırlarının ne kadar iç içe geçmiş olduğu, ismi geçen filozofların dil felsefesindeki kuramlarının ontolojik çıktıları incelenerek ortaya konulacaktır. (shrink)

This paper is about the difficulties involved in establishing criteria for definiteness. A number of possibilities are considered – traditional ones such as strength, uniqueness, and familiarity, as well as several which have been suggested in the wake of Montague’s analysis of NPs as generalized quantifiers. My tentative conclusion is that Russell’s uniqueness characteristic (suitably modified) holds up well against the others.

This paper attempts to be a contribution to the epistemological project of explaining complex conceptual structures departing from more basic ones. The central thesis of the paper is that there are what I call “functionally structured concepts”, these are non-harmonic concepts in Dummett’s sense that might be legitimized if there is a function that justifies the tie between the inferential connection the concept allows us to trace. Proving this requires enhancing the russellian existential analysis of definite descriptions to apply to (...) functions and using this in proving the legitimacy of such concepts. The utility of the proposal is shown for the case of thick ethical terms and an attempt is made to use it in explaining the development of natural numbers. This last move could allow us to go one step lower in explaining the genesis of natural numbers while maintaining the notion of abstract numbers as higher order entities. (shrink)

What licenses the use of a definite description? The formal and philosophical literature has approached this question in two ways. The uniqueness approach (Frege, 1892; Russell, 1905; Strawson, 1950) holds that we may use a definite determiner only if the property denoted by its complement holds of exactly one individual in some domain: Sentence (1) and (2) can only be true if there is exactly one king of France, and exactly one American governor, respectively. Since this is not the case (...) in the actual world, the sentences are either false or (on most modern accounts) fall prey to a presupposition failure. (shrink)

In “Naming with Necessity”, it is argued that Kripke’s thesis that proper names are rigid designators is best seen as being motivated by an individual-driven picture of modality, which has two parts. First, inherent in proper-name usage is the expectation that names refer to modally robust individuals: individuals that can sustain modal predications like ‘is necessarily human’. Second, these modally robust individuals are the fundamental building blocks on the basis of which possible worlds should be conceived in a modal semantics (...) intended to mirror the conceptual apparatus behind ordinary modal talk. The individual-driven picture is distinct from two views inspired by Kripke, direct reference theory and Millianism. The former covers only the first half of the picture, while the latter explicitly gives up on that half even, opting to remain neutral about what expectation expressions impose on the nature of their referents. (shrink)

Summary of Anna Pilatova’s doctoral thesis A User’s Guide to Proper Names, Their Semantics And Pragmatics The origins of this work go all the way back to my reading of Kripke’s Naming and Necessity in 1993. It had left me with a feeling of dissatisfaction that lingered long enough to inspire my MA thesis (on Internalism and Externalism in the Theories of Reference), and finally inspired the current work. Over time, I became acquainted with other influential accounts of reference of (...) proper names, but my unease with essentialism and wariness of direct designation remained. In the User’s Guide to Proper Names, I seized the opportunity to analyse what I thought was problematic with the mainstream theories of reference of proper names. I tried to tease apart a number of related doctrines about the behaviour of proper names, and thus arrive at a better understanding of how the various parts of the theories of reference I chose to analyse are related. This helped me to develop my own proposal regarding both the semantics and the pragmatics of proper names. The Guide is organised around a particular approach to the tasks of a semantic theory. According to this view, proposed by Stalnaker, a semantic theory dealing with proper names should account for the descriptive semantics of names, their foundational semantics, and the semantics of modal statements in which they figure. Descriptive semantics focuses on the contribution a proper name makes to the truth-value of sentences in which it occurs. Based on such an analysis, a proper name is assigned a semantic value, which is supposed to provide us with an interpretation of that name. A crucial part of this task is to see just what kind of thing the semantic value of a proper name is. In interpreting sentences containing proper names, one can, and often does, use the notion of possible worlds. This is especially true if the sentences in question are modal. There are various approaches to modality, which carry with them different sets of presuppositions. An analysis of the systematic features and presuppositions of various possible-world frameworks is a part of the task of the semantics of modal statements. Another task of semantics of modal statements is to investigate whence the constraints on possible worlds used in analysing these statements should derive, that is, whether, and to what degree, they should derive from the descriptive or the foundational part of the semantic enterprise. Both of these parts of a semantic theory have the potential to make predictions about the foundational semantics of proper names, which deals with the speaker’s behaviour and communication. Foundational semantics aims at answering the following question: What makes it the case that the language spoken by a particular individual or community has the very descriptive semantics it has? In this investigation, one looks at the speaker, her intentions and communicative goals, and tries to look at the strategies she uses to get her (linguistic) point across. To show the usefulness of organising the User’s Guide to Proper Names around these distinctions, and to provide their proper characterisation, is the task of the first part of the introductory first chapter, Outlining the Field and Introducing Some of the Players. In the second part of the same chapter, Setting the Scene, I give a preliminary outline of some of the notions needed to describe the theories of reference that are later investigated, that is mainly the theories proposed by Kripke, Kaplan, Lewis, and Stalnaker. The second chapter, Descriptive Semantics, focuses on the descriptive semantics proposed by Kripke and Kaplan for proper names. In the first part of the chapter, I introduce several arguments in favour of rigid designation. A closer look reveals that none of the three arguments in question -- the modal, the epistemological, and the semantic one -- is actually an argument for rigid designation. They all just argue against some forms of descriptivism. Moreover, in the case of the modal and the epistemological argument, it is relatively easy to find forms of descriptivism that are immune to the lines of reasoning proposed in these arguments. The semantic argument seems to be the strongest of the three. An analysis of a direct argument for rigid designation highlights the connection between rigid designation and certain preconceptions about the identity of individuals. A further investigation of the notion of identity of individuals across possible worlds emerges at this point as an important issue to tackle. It also becomes clear that rigid designation alone cannot fully determine the Kripkean picture of names as non-descriptive entities referring without a mediation of any sort of conceptual content. In the second part of Chapter 2, I introduce the basic notions of Kaplan’s approach to the descriptive semantics of proper names. It turns out that in order to derive the familiar Kripkean picture of proper names, one has to presuppose direct reference for names and at least some version of haecceitism for the individuals in question. While, as we show, Kaplan’s framework does not work well for proper names, it gives us conceptual tools that help us in our undertaking. In the third chapter, Modal Statements, Individuals, and Essences, I analyse three different approaches to building a possible-world framework, Lewis’s, Kripke’s, and Stalnaker’s. In each case, the same questions are asked: What is the motivation and intended field of application of this framework? What are the ontological commitments of the approach? What form of essentialism, if any, does it imply? How does it deal with the notion of an individual? In Lewis’s case, the main problem turns out to be the theory of counterparts, which is, as I show, an integral part of his approach. The concept of an individual implied by it does not seem to correspond to any intuitive reading of counterfactual statements involving individuals. The investigation of Kripke’s framework focuses on describing the weakest form of essentialism that has to be presupposed to make the proposal work. Once that is concluded, I analyse the essentialism Kripke actually proposes, and the motivation and presuppositions on which it rests. I conclude that its motivation cannot be said to come from an analysis of language and that it presupposes a particular form of scientific realism. The rest of the chapter is devoted to a reconstruction and analysis of Stalnaker’s possible world framework, which turns out to be rather more cautious about metaphysical presuppositions and more suited for an analysis of natural language. As in the two previous proposals, I try to reconstruct the notion of actual world that is presupposed here. In the fourth chapter, Foundational Semantics, I investigate the notion of proposition implied by Lewis’s, Kripke’s, and Stalnaker’s approach. I focus on propositions containing proper names, and analyse the way in which each of the conceptions mentioned above is vulnerable to the problem of logical omniscience. An analysis of Lewis’s framework reveals that the concept of proposition implied by it is so weak as to be rather uninteresting. An investigation of Kripke’s concept of proposition deals not only with the systematic issues, but also with the Pierre puzzle and various attempts at solving it. I present a number of different approaches to the problem and compare their merits. Stalnaker is very worried about the problem of logical omniscience, and yet it turns out that his conception is less vulnerable to the adverse consequences of the problem of logical omniscience than other frameworks we investigate. I point out that various pragmatic features of Stalnaker’s framework (the epistemic nature of his possible-world framework, the Gricean principles built into the notion of assertion) help to counterbalance and mitigate the scope of the problem of logical omniscience within it. In Chapter 5, User-friendly Descriptive Semantics, I present and motivate my own proposal for the descriptive semantics of proper names and the treatment of modal statements in which they figure. Basically, the aim is to preserve the notion of names as rigidly designating expressions while admitting as little metaphysics as possible. Working with epistemic possible worlds whose domain is in each case co-determined by a particular context enables me to develop a very intuitive plausible notion of individual, to which a name can be said to refer rigidly. The interpretation of modal statements is then driven not by essentialist constraints in the common sense of the term, but by context-derived limitations, which seems to be a more natural approach. In the sixth and last chapter, Names, Indexicality, and Ambiguity, I develop a view of foundational semantics inspired by the pragmatic observation that in common parlance one can say that a name, `John Smith’ for instance, can refer to numerous individuals. A lot of attention is given to the ontology of names, and the question `What is a name?’ delivers answers which are then used in a discussion about whether names should be seen as indexical or ambiguous. I adopt the ambiguity view, and propose a way of using a Stalnakerian possible-world framework to derive intuitively plausible results for some difficult cases. The weight of the discussion all through the guide rests in an examination of different kinds of presuppositions implied by various possible-world frameworks and the notion of the individual used in accounts of the behaviour of proper names. In my own account of these issues, I do without any metaphysical assumptions and aim at describing communication in terms accessible to its participants. (shrink)

For most us, learning which quantum theory correctly describes human bodies will not affect our attitudes towards our loved ones. On the other hand, a child’s discovery of the nature of meat (or an adult’s discovery of the nature of soylent green) can have a great effect. In still other cases, it is hard to say how one would, or should, react to new information about the underlying nature of what we value—think of how mixed our reactions are to evidence (...) of cultural determinism or atheism, or of how mixed our reactions would be to learning that we all live in the Matrix. (Indeed, maybe there is no objective fact about how we should react. Derek Par t’s ( , section ) fear of death diminished when he became convinced of certain theses about the metaphysics of personal identity. Perhaps there is no objective fact of the matter as to whether this was rational; perhaps it was rational for him but would not be for others.) What can metaphysics contribute to the question of the evil of death? It cannot, on its own, settle the question, since there is no simple rule telling us how to adjust value in light of new information about underlying nature. Given a clear view of the nature of death, there will remain the question of its disvalue. However, metaphysics can help us attain this clear view. Moreover, a clear conception of what metaphysical positions do and don’t say, and a clear conception of how metaphysics works in general, can remove impediments to a rational appraisal of the evil of death. (shrink)

This dissertation investigates the plausibility of metaethical relativism, or more specifically, what I call “moral truth-value relativism”: the idea that the truth of a moral statement or belief depends on who utters or has it, or who assesses it. According to the most prevalent variants of this view in philosophical literature – “standard relativism” – the truth-values are relative to people’s moralities, often understood as some subset of their affective or desirelike attitudes. Standard relativism has two main contenders: absolutism – (...) the view that the truth-values of moral statements and beliefs do not vary in that way – and non-cognitivism – the view that moral judgements do not have truth-values, since they express affective or desire-like attitudes rather than beliefs. Almost the entire dissertation concerns the plausibility of standard relativism in contrast to absolutism. Part 1 examines first the two main arguments for standard relativism: that it accounts for the connection between moral judgements and motivation (chapter 2), and for the prevalence of diversity of moral opinion (chapter 3). Then the most common objection is considered: that it is inconsistent with the existence of genuine moral disagreements (chapter 4). I argue that these arguments are inconclusive. Both relativism and absolutism can account for the features discussed. Part 2 focuses on the fact that different people have different strongly held intuitions about the relative or absolute nature of morality. I argue that given a common methodological approach in philosophy and metaethics, which takes such intuitions as evidence of correct analyses, this difference in intuitions suggests that neither a relativist nor absolutist analysis can be correct for everyone’s moral judgements. I argue that this result holds both given semantic internalism (chapter 6) and given semantic externalism (chapter 7). To get one single analysis of everyone’s moral judgements we would have to abandon the intuitionbased methodology. In chapter 8, however, I argue that we can maintain this methodology if we accept analysis pluralism, the view that different analyses hold for different people’s moral judgements. (shrink)

According to a prevalent view among philosophers formal logic is the philosopher’s main tool to assess the validity of arguments, i.e. the philosopher’s ars iudicandi. By drawing on a famous dispute between Russell and Strawson over the validity of a certain kind of argument – of arguments whose premises feature definite descriptions – this paper casts doubt on the accuracy of the ars iudicandi conception. Rather than settling the question whether the contentious arguments are valid or not, Russell and Strawson, (...) upon discussing the proper logical analysis of definite descriptions, merely contrast converse informal validity assessments rendered explicit by nonequivalent logical for-malizations. (shrink)

Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic account of partial functions using three-valued logic decades ago, but there has not been a satisfactory mechanization. Recent years have seen a thorough investigation of the framework of many-valued truth-functional logics. However, strong Kleene logic, where quantification is restricted and therefore not truthfunctional, does not fit the framework directly. We solve this problem (...) by applying recent methods from sorted logics. This paper presents a resolution calculus that combines the proper treatment of partial functions with the efficiency of sorted calculi. (shrink)

In this paper, the author compares passages from two philosophically important texts and concludes that they have fundamental ideas in common. What makes this comparison and conclusion interesting is that the texts come from two different traditions in philosophy, the analytic and the phenomenological. In 1912, Ernst Mally published *Gegenstandstheoretische Grundlagen der Logik und Logistik*, an analytic work containing a combination of formal logic and metaphysics. In 1913, Edmund Husserl published *Ideen zu einer reinen Phänomenologie und phänomenologischen Philosophie*, a seminal (...) work in phenomenology in which noemata are defined and given a crucial role in directing our mental states. In the passages from these two texts reproduced below, the author shows that the abstract `determinates' postulated by Mally in 1912 are assigned much the same role that Husserl assigned to noemata in 1913. Though Mally's determinates are not as highly structured as Husserl's noemata, they have a feature that explains how they manage to play the role assigned to them. The corresponding feature is missing, or at least, not emphasized in Husserl's account of noemata. Therefore, insights from both philosophers, and thus from both the analytic and phenomenological traditions, are needed to give a more complete account of directed mental states. (shrink)

Descriptions are phrases of the form ‘an F’, ‘the F’, ‘Fs’, ‘the Fs’ and NP's F (e.g. ‘John's mother’). They can be indefinite (e.g., ‘an F’ and ‘Fs’), definite (e.g. ‘the F’ and ‘the Fs’), singular (e.g., ‘an F’, ‘the F’) or plural (e.g., ‘the Fs’, ‘Fs’). In English plural indefinite descriptions lack an article and are for that reason also known as ‘bare plurals’. How to account for the semantics and pragmatics of descriptions has been one of the central (...) topics in philosophy for centuries. This entry focuses on the historical and contemporary philosophical debate about Bertrand Russell’s theory of descriptions and the theories that developed as responses to this theory. (shrink)

A formula is (materially) valid iff all its instances are true sentences; and an axiomatic system is called (materially) sound and complete iff it proves all and only valid formulas. These are 'natural' concepts of validity and completeness, which were, however, in the course of the history of modern logic, stealthily replaced by their formal descendants: formal validity and completeness. A formula is formally valid iff it is true under all interpretations in all universes; and an axiomatic system is called (...) formally sound and complete iff it proves all and only formulas valid in this sense. Though the step from material to formal validity and completeness may seem to be merely an unproblematic case of explication, I argue that it is not; and that mistaking the latter concepts for the former ones may lead to serious conceptual confusions. (shrink)

Natural deduction systems with indefinite and definite descriptions are presented, and interpreted in Martin-Löf's intensional type theory. The interpretations are formalizations of ideas which are implicit in the literature of constructive mathematics: if we have proved that an element with a certain property exists, we speak of ‘the element such that the property holds' and refer by that phrase to the element constructed in the existence proof. In particular, we deviate from the practice of interpreting descriptions by contextual definitions.

Higher-Order Representational theories of consciousness — HORs — primarily seek to explain a mental state’s being conscious in terms of the mental state’s being represented by another mental state. First-Order Representational theories of consciousness — FORs — primarily seek to explain a property’s being phenomenal in terms of the property being represented in experience. Despite differences in both explanans and explananda, HORs and FORs share a reliance on there being such a property as being represented. In this paper I develop (...) an argument — the Unicorn Argument — against both HORs and FORs. The core of the Unicorn is that since there are mental rep- resentations of things that do not exist, there cannot be any such prop- erty as being represented, and thus no such property with which to identify either being conscious or being phenomenal. (shrink)

The thesis that in order to genuinely think about a particular object one must be (in some sense) acquainted with that object has been thoroughly explored since it was put forward by Bertrand Russell. Recently, the thesis has come in for mounting criticism. The aim of this paper is to point out that neither the exploration nor the criticism have been sensitive to the fact that the thesis can be interpreted in two different ways, yielding two different principles of acquaintance. (...) One principle uses the notion of content in distinguishing genuine thinking-about things from a merely derivative kind of thinking-about things. The other principle is quiet about content, focusing instead on a distinction between satisfactional and non-satisfactional means of bringing things into thought. Most work has focused on the first, content-based principle of acquaintance. But criticisms of this principle do not apply straightforwardly to the non-content-based principle. I shall argue that the latter principle merits independent assessment as part of the broader effort to account for genuine thinking about particular objects. In the final section of the paper, I will sketch a roadmap for this assessment. (shrink)

This is the introductory essay to the collection of essays: 'Acquaintance: New Essays' (eds. Knowles & Raleigh, forthcoming, OUP). In this essay I provide some historical background to the concept of acquaintance. I examine various Russellian theses about acquaintance that contemporary acquaintance theorists may wish to reject. I consider a number of questions that acquaintance theorists face. I provide a survey of current debates in philosophy where acquaintance has recently been invoked. And I also provide brief summaries of the other (...) essays in this volume. (shrink)

My dissertation asks how we affect conversational context and how it affects us when we participate in any conversation—including philosophical conversations. Chapter 1 argues that speakers make pragmatic presuppositions when they use proper names. I appeal to these presuppositions in giving a treatment of Frege’s puzzle that is consistent with the claim that coreferential proper names have the same semantic value. I outline an explanation of the way presupposition carrying expressions in general behave in belief ascriptions, and suggest that substitutivity (...) failure is a special case of this behavior. Chapter 2 develops a compositional probabilistic semantics for the language of subjective uncertainty, including epistemic adjectives scoped under quantifiers. I argue that we should distinguish sharply between the effects that epistemically hedged statements have on conversational context, and the effects that they have on belief states. I also suggest that epistemically hedged statements are a kind of doxastic advice, and explain how this hypothesis illuminates some otherwise puzzling phenomena. Chapter 3 argues that ordinary causal talk is deeply sensitive to conversational context. The principle that I formulate to characterize that context sensitivity explains at least some of the oddness of ‘systematic causal overdetermination,’ and explains why some putative overgenerated causes are never felicitously counted, in conversation, as causes. But the principle also makes metaphysical theorizing about causation rather indirectly constrained by ordinary language judgments. (shrink)

Epistemic modal predicate logic raises conceptual problems not faced in the case of alethic modal predicate logic : Frege’s “Hesperus-Phosphorus” problem—how to make sense of ascribing to agents ignorance of necessarily true identity statements—and the related “Hintikka-Kripke” problem—how to set up a logical system combining epistemic and alethic modalities, as well as others problems, such as Quine’s “Double Vision” problem and problems of self-knowledge. In this paper, we lay out a philosophical approach to epistemic predicate logic, implemented formally in Melvin (...) Fitting’s First-Order Intensional Logic, that we argue solves these and other conceptual problems. Topics covered include: Quine on the “collapse” of modal distinctions; the rigidity of names; belief reports and unarticulated constituents; epistemic roles; counterfactual attitudes; representational vs. interpretational semantics; ignorance of co-reference vs. ignorance of identity; two-dimensional epistemic models; quantification into epistemic contexts; and an approach to multi-agent epistemic logic based on centered worlds and hybrid logic. (shrink)

Approaches to truth and the Liar paradox seem invariably to face a dilemma: either appeal to some sort of hierarchy, or declare apparently perfectly coherent concepts incoherent. But since both options lead to severe expressive restrictions, neither seems satisfactory. The aim of this paper is a new approach, which avoids the dilemma and the resulting expressive restrictions. Previous approaches tend to appeal to some new sort of semantic value for the truth predicate to take. I argue that such approaches inevitably (...) lead to the dilemma in question. In contrast, the present proposal sticks with classical semantic values, but allows the compositional rules associated with these to admit of exceptions. I show how such an approach can be developed systematically. (shrink)

La tesis aborda uno de los temas centrales en la filosofía de la mente y las ciencias cognitivas: los conceptos como unidades básicas de la cognición humana. La tesis central que se defiende es que el contenido de los conceptos es determinado parcialmente por las comunidades a las que pertenecen los sujetos cognitivos, en la medida en la que dichas comunidades guían y constriñen las interacciones entre el sistema cognitivo conceptual y el entorno del que forma conceptos. La novedad de (...) la tesis es doble. Por una parte, cuestiona las teorías dominantes sobre el contenido de los conceptos —las teorías descriptivistas y las teorías naturalistas—, no solamente a partir de desafíos filosóficos que muestran sus limitaciones, sino también a partir de evidencia empírica sobre el efecto de las interacciones sociales en el contenido de los conceptos y, por tanto, en la cognición. Por otra parte, proporciona evidencia empírica sobre infantes ferales (i.e. niños salvajes), cuyo sistema cognitivo conceptual no ha recibido la guía de ninguna comunidad humana en sus interacciones con el entorno. Dicha evidencia permite sugerir que una explicación puramente naturalizada del contenido, sin la presencia de las comunidades, no puede explicar el desarrollo cognitivo conceptual de dichos infantes. Así, la tesis logra proponer un papel no trivial de las comunidades en el debate sobre la determinación del contenido semántico de los conceptos. (shrink)

This chapter reviews some of the history of discussions of logical form and offers a truth-theoretic account that traces back to Donald Davidson.