The paper shows how ideas that explain the sense of an expression as a method or algorithm for finding its reference, preshadowed in Frege’s dictum that sense is the way in which a referent is given, can be formalized on the basis of the ideas in Thomason (1980). To this end, the function that sends propositions to truth values or sets of possible worlds in Thomason (1980) must be replaced by a relation and the meaning postulates governing the behaviour of (...) this relation must be given in the form of a logic program. The resulting system does not only throw light on the properties of sense and their relation to computation, but also shows circular behaviour if some ingredients of the Liar Paradox are added. The connection is natural, as algorithms can be inherently circular and the Liar is explained as expressing one of those. Many ideas in the present paper are closely related to those in Moschovakis (1994), but receive a considerably lighter formalization. (shrink)

Argues for an assimilation of sentential and predicate conjunction to collective conjunction, based on modification of predicates by adverbs such as 'alternately'.

The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds (...) of linguistic context in a fully compositional and anti-contextual way. (shrink)

The theory that structured propositions are complex act-types has been independently articulated by Peter Hanks and Scott Soames. The present paper argues that the role of the act in such theories is supererogatory, for the individuation conditions of the act-based propositions remain wholly at the level of concepts and their formal combination, features which the traditional structured proposition theorist endorses. Thus, it is shown that the traditional problems for structured propositions are only ameliorable on the act conception by appeal to (...) the very resources of the traditional conception. It is also shown that the act theories have no act-based account of quantification and other operator-involving relations. An elementary account of propositions is sketched, after Fodor, which retains the virtues of the traditional structural conception without falling into ’Platonism’. (shrink)

Semantics in the Montagovian tradition combines two basic tenets. One tenet is that the semantic value of a sentence is an intension, a function from points of evaluations into truth-values. The other tenet is that the semantic value of a composite expression is the result of applying the function denoted by one component to arguments denoted by the other components. Many philosophers object to intensional semantics on the grounds that intensionally equivalent sentences do not substitute salva veritate into attitude ascriptions. (...) They propose instead that the semantic values of sentences must be structured propositions. In rejecting intensional semantics, philosophers who endorse structured propositions also usually reject functional compositionality, undermining both tenets of the Montagovian programme. I defend a semantic theory that incorporates both structured propositions and functional compositionality. I argue that this semantic theory can preserve many explanatory benefits of Montague semantics. Finally, I show how treating composition functional application can resolve core problems internal to a theory of structured propositions. (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)

I argue that sentence contents should be assigned truth-values relative to parameters other than a possible world only if those parameters are fixed by the context of assessment rather than the context of use. Standard counterexamples, including tense, de se attitudes, and knowledge ascriptions, all admit of alternative analyses which do not make use of such parameters. Moreover, allowing such indices greatly complicates the task of defining disagreement, and forces an odd separation between what is true, and what someone has (...) truthfully said. If non-world indices are always fixed by the context of assessment, a characterization of semantic theories as ?relativist? in terms of assessment-sensitivity converges with a characterization in terms of sensitivity to non-world indices. More tentatively, I suggest that even a possible world index, when used in the assignment of truth-values to sentence contents, should be fixed by the context of assessment, not the context of use. This eliminates MacFarlane's category of ?non-indexical contextualism?, and results in a system in which parameters fixed by the context of use are used only in the assignment of contents to linguistic expressions, and parameters used in the assignment of truth-values to contents are uniformly fixed by the context of assessment. (shrink)

This article includes a basic overview of possible world semantics and a relatively comprehensive overview of three central philosophical conceptions of possible worlds: Concretism (represented chiefly by Lewis), Abstractionism (represented chiefly by Plantinga), and Combinatorialism (represented chiefly by Armstrong).

This paper proposes an Interface Transparency Thesis concerning how linguistic meanings are related to the cognitive systems that are used to evaluate sentences for truth/falsity: a declarative sentence S is semantically associated with a canonical procedure for determining whether S is true; while this procedure need not be used as a verification strategy, competent speakers are biased towards strategies that directly reflect canonical specifications of truth conditions. Evidence in favor of this hypothesis comes from a psycholinguistic experiment examining adult judgments (...) concerning ‘Most of the dots are blue’. This sentence is true if and only if the number of blue dots exceeds the number of nonblue dots. But this leaves unsettled, e.g., how the second cardinality is specified for purposes of understanding and/or verification: via the nonblue things, given a restriction to the dots, as in ‘|{x: Dot(x) & ~Blue(x)}|’; via the blue things, given the same restriction, and subtraction from the number of dots, as in ‘|{x: Dot(x)}| – |{x: Dot(x) & Blue(x)}|’; or in some other way. Psycholinguistic evidence and psychophysical modeling support the second hypothesis. (shrink)

The very idea of informative analysis gives rise to a well-known paradox. Yet a parallel puzzle, herein called the paradox of synonymy, arises for statements which do not express analyses. The paradox of synonymy has a straightforward metalinguistic solution: certain words are referring to themselves. Likewise, the paradox of analysis can be solved by recognizing that certain expressions in an analysis statement are referring to their own semantic structures.

This paper articulates a formal theory of belief incorporating three key theses: (1) belief is a dyadic relation between an agent and a property; (2) this property is not the belief's truth condition (i.e., the intuitively self-ascribed property which the agent must exemplify for the belief to be true) but is instead a certain abstract property (a "thought-content") which contains a way of thinking of that truth condition; (3) for an agent a to have a belief "about" such-and-such items it (...) is necessary that a possesses a language of thought, $M_{a}$ , and that a (is disposed as one who) inwardly affirms a sentence of $M_{a}$ in which there are terms that denote those objects. Employing an extended version of E. Zalta's system ILAO, the proffered theory locates thought-contents within a typed hierarchy of "senses" and their "modes of presentation", the provisional definitions of which (suppressing complications added later to accommodate the contents of beliefs about beliefs) are as follows. A mode of presentation of e is a ternary relation of the sort [λxyz z is a name in $M_{y}$ that denotes x, and $D_{e}yz$ ] in which $D_{e}$ is an e-determiner - a relation between agents and their mental expressions imposing a syntactico-semantic condition sufficient for such an expression to denote e therein. A sense of an entity e is an abstract property that "contains" a mode of presentation $R_{e}$ of e by dint of encoding its property-reduct [λx(∃y)(∃z) $R_{e}xyz$ ]. In particular, a thought-content is a sense T of an ordinary first-order property P containing a mode of presentation whose P-determiner $D_{P}$ is such that, for any y and z, $D_{P}yz$ entails that z is a λ-abstract [λv S] of $M_{y}$ in which S is a sentence whose non-logical parts stand in appropriate semantic relations to the constituents of T's (some of which may themselves be senses). Where $I_{a}$ is agent a's dedicated self-demonstrative and |T| is the mode of presentation contained in a thought-content T, the belief relation itself is then characterized as obtaining between a and T iff a( is disposed as one who) inwardly affirms the substitution instance $S(I_{a}/v)$ of a sentence S in $M_{a}$ such that |T|(P, a, [λv S]). The aforementioned "constituents" and "appropriate semantic relations" are formally characterized so as to permit a system of canonical descriptions for thought-contents of arbitrary complexity. These canonical descriptions are then employed to chart the nature and interrelations of belief de re, de dicto and de se and to identify the source of opacity in belief ascription. (shrink)

Propositions are central to at least most theorizing about the connection between our mental lives and the world: we use them in our theories of an array of attitudes including belief, desire, hope, fear, knowledge, and understanding. Unfortunately, when we press on these theories, we encounter a relatively neglected family of paradoxes first studied by Arthur Prior. I argue that these paradoxes present a fatal problem for most familiar resolutions of paradoxes. In particular, I argue that truth-value gap, contextualist, situation (...) theoretic, revision theoretic, ramified, and dialetheist approaches to the paradoxes must deny us the conceptual resources that they themselves make use of, on pain of contradiction. I then detail the costs of the extant strategies that avoid this issue: Hartry Field’s paracomplete approach; Andrew Bacon’s classical treatment of indeterminacy; a generalization of ideas from Prior, Nicholas J.J. Smith, and Hartley Slater; and free logics as recently explored by Bacon, John Hawthorne, and Gabriel Uzquiano. I argue that none of these is perfect, and that each restricts the theories we can endorse in a variety of areas of philosophy. I spell these restrictions out, showing, I hope, that the further investigation of these paradoxes must be a part of future research on propositional attitudes. (shrink)

The topic of this special issue of Synthese is hyperintensionality. This introduction offers a brief survey of the very notion of hyperintensionality followed by a summary of each of the papers in this collection. The papers are foundational studies of hyperintensionality accompanied by ample philosophical applications.Hyperintensionality concerns the individuation of non-extensional entities such as propositions and properties, relations-in-intension and individual roles, as well as, for instance, proofs and judgments and computational procedures, in case these do not reduce to any of (...) the former. Hyperintensional individuation is frequently also referred to as ‘fine-grained’ or sometimes simply ‘intensional’ individuation, when ‘intensional’ is not understood in the specific sense of possible-world semantics or in the pejorative sense of flouting various logical rules of extensional logic. A principle of individuation qualifies as hyperintensional as soon as it is finer than necessary .. (shrink)

Suicide as a form of political protest is a little studied social phenomenon that cannot be dismissed simply as being irrational or patholognomic. We consider protest suicide to be a meaningful social action as purposive political act intended to change oppressive policies or practices. This paper synthesizes theoretical propositions associated with suicide in general, and protest suicide in particular, so as to construct a general explanatory model of protest suicide as a social phenomenon. Then, it analyzes protest suicide as a (...) meaningful social action. People considering protest suicide have to discern the logic of the situation in which such action is to take place. This involves answering two fundamental questions: Is suicide an acceptable course of social action? Is the envisaged protest suicide likely to achieve their hopes, aspirations and goals? How these questions are answered gives rise to a set of protest suicide archetypes. Our analysis generates a more sophisticated understanding of the potential reasons for, and motivations behind, protest suicide as a social phenomenon. (shrink)

In earlier work, we developed an composition in which predicates can be composed with arguments by operations other than Function Application, and it makes a difference which composition operation is employed. Here we take our approach further by examining two nonsaturating operations that combine property contents: Restrict, which composes a predicate with the property content of an indefinite; and Modify, which is involved in predicate modification. Nonsaturating operations that combine property contents are often formalized in terms of predicate intersection, which (...) is commutative. Using Austronesian language Chamorro, we argue that Restrict and Modify are not ‘commutative’, but instead incorporate an asymmetry: they take one content to supply a domain that is narrowed further by combination with the other content. Syntactically, it is transparent which category’s content supplies the domain. But semantically, this information can be recovered only from the way in which the composition operation affects the contents that it composes, since—as we show—the same contents can be composed with distinct results. (shrink)

We present Prior's discussion of a puzzle about valditity found in the writings of the fourteenth-century French logician Jean Buridan and show how Prior's study of this puzzle may have provided the conceptual inspiration for his development of hybrid logic.

A central job for propositions is to be the objects of the attitudes. Propositions are the things we doubt, believe and suppose. Some philosophers have thought that propositions are sets of possible worlds. But many have become convinced that such an account individuates propositions too coarsely. This raises the question of how finely propositions should be individuated. An account of how finely propositions should be individuated on which they are individuated very finely is sketched. Objections to the effect that the (...) account individuates propositions too finely are raised and responses to the objections are provided. It is also shown that theories that try to individuate propositions less finely have serious problems. (shrink)

This paper introduces a modal epistemology that centers on inference to the best explanation (i.e. abduction). In introducing this abduction-centered modal epistemology, the paper has two main goals. First, it seeks to provide reasons for pursuing an abduction-centered modal epistemology by showing that this epistemology aids a popular stance on the mind-body problem and allows an appealing approach to modality. Second, the paper seeks to show that an abduction-centered modal epistemology can work by showing that abduction can establish claims about (...) necessity/possibility (i.e. modal claims)—where ‘necessity’ and ‘possibility’ denote metaphysical necessity and possibility, ways things may or may not have been given how they actually are. (shrink)

This paper discusses two distinct strategies that have been adopted to provide fine-grained propositions; that is, propositions individuated more finely than sets of possible worlds. One strategy takes propositions to have internal structure, while the other looks beyond possible worlds, and takes propositions to be sets of circumstances, where possible worlds do not exhaust the circumstances. The usual arguments for these positions turn on fineness-of-grain issues: just how finely should propositions be individuated? Here, I compare the two strategies with an (...) eye to the fineness-of-grain question, arguing that when a wide enough range of data is considered, we can see that a circumstance-based approach, properly spelled out, outperforms a structure-based approach in answering the question. (Part of this argument involves spelling out what I take to be a reasonable circumstance-based approach.) An argument to the contrary, due to Soames, is also considered. (shrink)

I argue that a certain initially appealing Fregean conception of our shared semantic competence in our shared language cannot be made good. In particular, I show that we must reject two fundamental Fregean principles‐what I call Frege's Adequacy Condition and what I call Frege's Cognitive Constraint on Reference Determination. Frege's adequacy condition says that in an adequate semantic theory, sentence meanings must have the same fineness of grain as attitude contents. The Cognitive Constraint on Reference Determination says that in an (...) adequate semantic theory mechanisms of reference determination will fix routes of epistemic access to referents and will mediate one‐sided recognition judgments about referents. I argue against Frege's adequacy condition that if meanings are sliced as finely as it requires there will be too many meanings to go around. I argue against the cognitive constraint on reference determination that even in an adequate theory of reference, mechanisms of reference determination must be sharply distinguished from routes of epistemic access. If so, we have little reason to expect an adequate theory of reference determination to directly illuminate Frege's cognitive puzzles or be sufficient to explain the basis of our one‐sided recognition judgments. (shrink)

The truth-condition theory of meaning is, naturally, thought of an as explanatory theory whose explananda are the meaning facts. But there are at least two deductive arguments that purport to establish the truth of the theory irrespective of its explanatory virtues. This paper examines those arguments and concludes that they succeed.

Using a version of situation semantics, this article argues that bare and complex demonstratives are interpreted as individual concepts.

There is a long-standing debate whether propositions, sentences, statements or utterances provide an answer to the question of what objects logical formulas stand for. Based on the traditional understanding of logic as a science of valid arguments, this question is firstly framed more exactly, making explicit that it calls not only for identifying some class of objects, but also for explaining their relationship to ordinary language utterances. It is then argued that there are strong arguments against the proposals commonly put (...) forward in the debate. The core of the problem is that an informative account of the objects formulas stand for presupposes a theory of formalization; that is, a theory that explains what formulas may adequately substitute for an inference in proofs of validity. Although such theories are still subject to research, some consequences can be drawn from an analysis of the reasons why the common accounts featuring sentences, propositions or utterances fail. Theories of formalization cannot refer to utterances qua expressions of propositions; instead they may refer to sentences and rely on additional information about linguistic structure and pragmatic context. (shrink)

Propositional and notional attitudes are construed as relations (-in-intension) between individuals and constructions (rather than propositrions etc,). The apparatus of transparent intensional logic (Tichy) is applied to derive two rules that make it possible to export existential quantifiers without conceiving attitudes as relations to expressions (sententialism).

There is at present a certain dispute about counterfactuals taking place. What is at issue is whether counterfactuals with necessarily false antecedents are all true. Some hold that such counterfactuals are vacuously true, appearances notwithstanding. Let us call such people vacuists. Others hold that some counterfactuals with necessarily false antecedents are true; some are false: it just depends on their contents. Let us call such people non-vacuists. As a notable representative of the vacuists, I will take Tim Williamson. On the (...) other side, I will take the position defended by Berto, French, Priest, and Ripley. I will argue (unsurprisingly) that the better choice is Non-Vacuism. That, however, is a subsidiary aim of this paper. The main point is to illustrate the method of theory-choice. (shrink)

A glass couldn't contain water unless it contained H2O-molecules. Likewise, a man couldn't be a bachelor unless he was unmarried. Now, the latter is what we would call a conceptual or analytical truth. It's also what we would call a priori. But it's hardly a conceptual or analytical truth that if a glass contains water, then it contains H2O-molecules. Neither is it a priori. The fact that water is composed of H2O-molecules was an empirical discovery made in the eighteenth century. (...) The fact that all bachelors are unmarried was not. But neither is a logical truth, so how do we explain the difference? Two-dimensional semantics is a framework that promises to shed light on these issues. The main purpose of this thesis is to understand and evaluate this framework in relation to various alternatives, to see whether some version of it can be defended. I argue that it fares better than the alternatives. However, much criticism of two-dimensionalism has focused on its alleged inability to provide a proper semantics for certain epistemic operators, in particular the belief operator and the a priori operator. In response to this criticism, a two-dimensional semantics for belief ascriptions is developed using structured propositions. In connection with this, a number of other issues in the semantics of belief ascriptions are addressed, concerning indexicals, beliefs de se, beliefs de re, and the problem of logical omniscience. (shrink)

This volume is about abstract objects and the ways we refer to them in natural language. Asher develops a semantical and metaphysical analysis of these entities in two stages. The first reflects the rich ontology of abstract objects necessitated by the forms of language in which we think and speak. A second level of analysis maps the ontology of natural language metaphysics onto a sparser domain--a more systematic realm of abstract objects that are fully analyzed. This second level reflects the (...) commitments of real metaphysics. The models for these commitments assign truth conditions to natural language discourse. Annotation copyright by Book News, Inc., Portland, OR. (shrink)

Renewed worries about the unity of the proposition have been taken as a crucial stumbling block for any traditional conception of propositions. These worries are often framed in terms of how entities independent of mind and language can have truth conditions: why is the proposition that Desdemona loves Cassio true if and only if she loves him? I argue that the best understanding of these worries shows that they should be solved by our theory of truth and not our theory (...) of content. Specifically, I propose a version of the redundancy theory according to which ‘it is true that Desdemona loves Cassio’ expresses the same proposition as ‘Desdemona loves Cassio’. Surprisingly, this variant of the redundancy theory treats ‘is true’ as an ordinary predicate of the language, thereby defusing many standard criticisms of the redundancy theory. (shrink)

Markus Werning attempts to refute Quine’s thesis that meaning is indeterminate. To this purpose he employs Hodges’ theorem about extensions of cofinal meaning functions. But the theorem does neither suffice to solve Quine’s problem nor the problem Werning mistakenly identifies with Quine’s. Nevertheless it makes sense to employ the methods used in Werning’s paper with regard to Quine’s thesis, only that they tell in favour of the thesis instead of against it.

Two main methods for analysing de re readings of definite descriptions in intensional contexts coexist: that of evaluating the description in the actual world, whether by means of scope, actuality operators, or non-local world binding, and that of substituting another description, usually one expressing a salient or ‘vivid’ acquaintance relation to an attitude holder, prior to evaluation. Recent work on so-called descriptive indexicals suggests that contrary to common assumptions, both methods are needed, for different ends. This paper aims to show (...) that there is indeed a division of labour between the two methods of analysis and to identify criteria for choosing among alternative ways to model the second, substitutional method. (shrink)

Formal semantics and pragmatics as they have developed since the late 1960's have been shaped by fruitful interdisciplinary collaboration among linguists, philosophers, and logicians, among others, and in turn have had noticeable effects on developments in syntax, philosophy of language, computational linguistics, and cognitive science.In this paper I describe the environment in which formal semantics was born and took root, highlighting the differences in ways of thinking about natural language semantics in linguistics and in philosophy and logic. With Montague as (...) a central but not solo player in the story, I reflect on crucial developments in the 1960's and 70's in linguistics and philosophy, and the growth of formal semantics and formal pragmatics from there. I discuss innovations, key players, and leading ideas that shaped the development of formal semantics and its relation to syntax, to pragmatics, and to the philosophy of language in its early years, and some central aspects of its early impact on those fields. (shrink)

Robert Stalnaker has argued that mathematical information is information about the sentences and expressions of mathematics. I argue that this metalinguistic account is open to a variant of Alonzo Church's translation objection and that Stalnaker's attempt to get around this objection is not successful. If correct, this tells not only against Stalnaker's account of mathematical truths, but against any metalinguistic account of truths that are both necessary and informative.

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)

It seems obvious that our beliefs are logically imperfect in two ways: they are neither deductively closed nor logically consistent. But this common-sense truism has been judged erroneous by some philosophers in the light of various arguments. In defence of common sense I consider and rebut interpretative arguments for logical perfection and show that the assumption espoused by common sense is theoretically superior, and capable - unlike its rival - of accounting for the informativeness of mathematics. Finally, I suggest that (...) common sense opens the way to genuine disputes about the correct logic. (shrink)

The modalities come into the world by being projections or objectivizations of our epistemic constitution. Thus this paper is a statement of Humean projectivism. In fact, it goes beyond Simon Blackburn’s version. It is also designed as a comprehensive counter-program to David Lewis’ program of Humean supervenience. In detail, the paper explains: Already the basic fact that the world is a world of states of affairs is due to the nature of our epistemic states. Objects, which figure in states of (...) affairs and which embody metaphysical modality, are constitutable by their essential properties and in fact constituted by us according to our ontological policies. What the facts are, to which the correspondence notion of truth refers, is determined by applying an epistemic or pragmatic notion of truth to the world. Causation is a specific objectivization of our conditional beliefs. Nomicity is a ‘habit of belief’, a specific way of generalizing epistemic attitudes. This covers the basic metaphysical and natural modalities. The paper attempts to convey that talking of projection or objectivization is not just imagery, but a constructively realizable program. (shrink)

We argue that an adequate treatment of verb phrase anaphora must depart in two major respects from the standard approaches. First of all, VP anaphors cannot be resolved by simply identifying the anaphoric VP with an antecedent VP. The resolution process must establish a syntactic/semantic parallelism between larger units that the VPs occur in. Secondly, discourse structure has a significant influence on the reference possibilities of VPA. This influence must be accounted for. We propose a treatment which meets these requirements. (...) It builds on a discourse grammar which characterizes discourse cohesion by means of a syntactic/semantic matching procedure which recognizes parallel structures in discourse. It turns out that this independently motivated procedure yields the resolution of VPA as a side effect. (shrink)

It is widely held that propositions are structured entities. In The Nature and Structure of Content (2007), Jeff King argues that the structure of propositions is none other than the syntactic structure deployed by the speaker/hearers who linguistically produce and consume the sentences that express the propositions. The present paper generalises from King’s position and claims that syntax provides the best in-principle account of propositional structure. It further seeks to show, however, that the account faces severe problems pertaining to the (...) fine individuation of propositions that the account entails. The ‘fineness of cut’ problem has been raised by Collins (The unity of linguistic meaning, 2007) and others. King (Philos Stud 163(3):763–781, 2013) responds to these complaints in ways this paper rebuts. Thus, the very idea of structured propositions is brought into doubt, for the best in-principle account of such structure appears to fail. (shrink)

Ordinary Language Philosophy has largely fallen out of favour, and with it the belief in the primary importance of analyses of ordinary language for philosophical purposes. Still, in their various endeavours, philosophers not only from analytic but also from other backgrounds refer to the use and meaning of terms of interest in ordinary parlance. In doing so, they most commonly appeal to their own linguistic intuitions. Often, the appeal to individual intuitions is supplemented by reference to dictionaries. In recent times, (...) Internet search engine queries for expressions of interest have become quite popular. Apparently, philosophers attempt to surpass the limits of their own linguistic intuitions by appealing to experts or to factual uses of language. I argue that this attempt is commendable but that its execution is wanting. Instead of appealing to dictionaries or Internet queries, philosophers should employ computer-based linguistic corpora in order to confirm or falsify hypotheses about the factual use of language. This approach also has some advantages over methods employed by experimental philosophers. If the importance of ordinary language is stressed, the use of linguistic corpora is hardly avoidable. (shrink)