The metaphysics of representation poses questions such as: in virtue of what does a sentence, picture, or mental state represent that the world is a certain way? In the first instance, I have focused on the semantic properties of language: for example, what is it for a name such as ‘London’ to refer to something? Interpretationism concerning what it is for linguistic expressions to have meaning, says that constitutively, semantic facts are fixed by best semantic theory. As here developed, it (...) promises to give a reductive, universal and non-revisionary account of the nature of linguistic representation. -/- Interpretationism in general, however, is threatened by severe internal tension, due to arguments for radical inscrutability. These contend that, given the interpretationist setting, there can be no fact of the matter what object an individual word refers to: for example, that there is no fact of the matter as to whether “London” refers to London or to Sydney. -/- A series of challenges emerge, forming the basis for this thesis. 1. What sort of properties is the interpretationist trying to reduce, and what kind of reductive story is she offering? 2. How are inscrutability theses best formulated? Are arguments for inscrutability effective in their own terms? What kinds of inscrutability arise? 3. Is endorsing radical inscrutability a stable position? 4. Are there theoretical virtues—such as simplicity—that can be appealed to in discrediting the rival (empirically equivalent) theories that underpin inscrutability arguments? -/- In addressing these questions, I concentrate on diagnosing the source of inscrutability, mapping the space of ways of resisting the arguments for radical inscrutability, and examining the challenges faced in developing a principled account of linguistic content that avoids radical inscrutability. -/- The effect is not to close down the original puzzles, but rather to sharpen them into a set of new and deeper challenges. (shrink)

This thesis deals with the phenomenon of attitude reporting. More specifically, it provides a unified semantics of de re and de se belief reports. After arguing that de se belief is best thought of as a special case of de re belief, I examine whether we can extend this unification to the realm of belief reports. I show how, despite very promising first steps, previous attempts in this direction ultimately fail with respect to some relatively recent linguistic data involving quantified (...) and infinitival reports, logophoric constructions, and monstrously shifted indexicals. Formalizing my idea of a contextual resolution of acquaintance relations in a dynamic framework, I arrive at an alternative analysis that handles all these data. (shrink)

Average-NPs, such as the one in the title of this paper, have been claimed to be ‘linguistically identical’ to any other definite-NPs but at the same time to be ‘semantically inconsistent’ with these other definite-NPs. To some this is an ironclad proof of the irrelevance of semantics to linguistics. We argue that both of the initial claims are wrong: average-NPs are not ‘linguistically identical’ to other definite-NPs but instead show a number of interesting divergences, and we provide a plausible semantic (...) account for them that is not ‘semantically inconsistent’ with the account afforded other definite-NPs but in fact blends quite nicely with one standard account of the semantics for NPs. (shrink)

In (1959), Carnap famously attacked Heidegger for having constructed an insane metaphysics based on a misconception of both the logical form and the semantics of ordinary language. In what follows, it will be argued that, once one appropriately (i.e., in a Russellian fashion) reads Heidegger’s famous sentence that should paradigmatically exemplify such a misconception, i.e., “the nothing nothings”, there is nothing either logically or semantically wrong with it. The real controversy as to how that sentence has to be evaluated—not as (...) to its meaning but as to its truth—lies at the metaphysico- ontological level. For in order for the sentence to be true one has to endorse an ontology of impossibilia and Leibniz’s principle of the identity of indiscernibles. (shrink)

This work explores the hypothesis that natural language is a tool for changing a language user's state of mind and, more specifically, the hypothesis that a sentence's meaning is constituted by its characteristic role in fulfilling this purpose. This view contrasts with the dominant approach to semantics due to Frege, Tarski and others' work on artificial languages: language is first and foremost a tool for representing the world. Adapted to natural language by Davidson, Lewis, Montague, et. al. this dominant approach (...) has crystalized as truth-conditional semantics: to know the meaning of a sentence is to know the conditions under which that sentence is true. Chapter 1 details the animating ideas of my alternative approach and shows that the representational function of language can be understood in terms of the more general function of changing representational mental states. Chapters 2-4 argue that the additional resources of this more general conception of meaning allow us to explain certain phenomena involving conditionals and grammatical mood that truth-conditional semantics does not. In the analysis of these specific phenomena and the articulation of the general approach on offer, it emerges that this approach combines insights and benefits from both use-theoretic and truth-theoretic work on meaning. (shrink)

Tässä artikkelissa käsittelen Descartesin ikuisten totuuksien välttämättömyyteen liittyvää ongelmaa. Teoksessa Mietiskelyjä ensimmäisestä filosofiasta (1641–1642) Descartes nostaa esiin käsitteen ikuisista totuuksista, käyttäen esimerkkinään kolmiota. Kolmion muuttumattomaan ja ikuiseen luontoon kuuluu esimerkiksi, että sen kolme kulmaa ovat yhteenlaskettuna 180°. Se on totta kolmiosta, vaikka yhtään yksittäistä kolmiota ei olisi koskaan ollutkaan olemassa. Eräät ajattelemieni asioiden piirteet ovat siis Descartesin mukaan ajattelustani riippumattomia. Ikuisia totuuksia ovat ainakin matemaattiset ja geometriset tosiseikat sekä ristiriidan laki. Samoin Descartesin kuuluisa lause “ajattelen, siis olen” lukeutuu ikuisten totuuksien (...) joukkoon. Descartesin ikuiset totuudet olisivatkin siis loogisesti välttämättömiä. Niillä on kyseinen olemus riippumatta ulkoisten kohteiden olemassaolosta tai siitä, ajattelenko niitä lainkaan. Kuitenkin kirjeenvaihdossaan Descartes pitää itsepintaisesti kiinni käsityksestään, että ikuiset totuudet ovat Jumalan vapaasti luomia ja Jumala olisi voinut luoda ne erilailla. Näin ollen luodut ikuiset totuudet eivät tarkkaan ottaen olisikaan välttämättömiä vaan kontingentteja. Ne voisivat olla myös toisella tavalla. Artikkelin alkuun esittelen Descartesin modaalista metafysiikkaa sekä luotujen ikuisten totuuksien kontingenttiudesta seuraavia tulkinnallisia vaikeuksia. Tämän jälkeen pureudun kolmeen erilaiseen ratkaisuyritykseen kommentaarikirjallisuudessa (Frankfurt 1977; Curley 1984 & Bennett 1994) ja osoitan, miksi ne eivät riitä vastaamaan ongelmaan. Lopussa vedän johtopäätöksiä ja luonnostelen mahdollisen ratkaisun. (shrink)

The main chapters of this thesis develop and defend a version of two-dimensional semantics that provides an account of Kripkean a posteriori necessity.

This work gives an extended presentation of the treatment of variable-binding operators adumbrated in [3:1993d]. Illustrative examples include elementary languages with quantifiers and lambda-equipped categorial languages. Some remarks are also offered to illustrate the philosophical import of the resulting picture. Particularly, a certain conception of logic emerges from the account: the view that logics are true theories in the model-theoretic sense, i.e. the result of selecting a certain class of models as the only “admissible” interpretation structures (for a given language).

Chomsky’s (1995, 2000a) Minimalist Program (MP) invites a perspective on semantics that is distinctive and attractive. In section one, I discuss a general idea that many theorists should find congenial: the spoken or signed languages that human children naturally acquire and use— henceforth, human languages—are biologically implemented procedures that generate expressions, whose meanings are recursively combinable instructions to build concepts that reflect a minimal interface between the Human Faculty of Language (HFL) and other cognitive systems. In sections two and three, (...) I develop this picture in the spirit of MP, in part by asking how much of the standard Frege-Tarski apparatus is needed in order to provide adequate and illuminating descriptions of the “concept assembly instructions” that human languages can generate. I’ll suggest that we can make do with relatively little, by treating all phrasal meanings as instructions to assemble number-neutral concepts that are monadic and conjunctive. But the goal is not to legislate what counts as minimal in semantics. Rather, by pursuing one line of Minimalist thought, I hope to show how such thinking can be fruitful. (shrink)

I argue for an account of vagueness according to which the root of vagueness lies not in the type of semantic-value that is best associated with an expression, but in the type of linguistic practice that renders the expression meaningful. I suggest, in particular, that conventions about how to use sentences involving attributions of vague predicates to borderline cases prevail to a lesser degree than conventions about how to use sentences involving attributions of vague predicates to clear cases.

We use imperatives to refute a naïve analysis of update potentials (force-operators attaching to sentences), arguing for a dynamic analysis of imperative force as restrictable, directed, and embeddable. We propose a dynamic, non-modal analysis of conditional imperatives, as a counterpoint to static, modal analyses. Our analysis retains Kratzer's analysis of if-clauses as restrictors of some operator, but avoids typing it as a generalized quantifier over worlds (against her), instead as a dynamic force operator. Arguments for a restrictor treatment (but against (...) a quantificational treatment) are mustered, and we propose a novel analysis of update on conditional imperatives (and an independently motivated revision of the standard ordering-semantics for root modals that makes use of it). Finally, we argue that imperative force is embeddable under an operation much like dynamic conjunction. (shrink)

Some twenty years ago, semanticists of natural language came to be overwhelmed by the problem of semantic analysis of belief sentences (and sentences reporting other kinds of propositional attitudes): the trouble was that sentences of the shapes X believes that A and X believes that B appeared to be able to have different truth values even in cases when A and B shared the same intension, i.e. were, from the viewpoint of intensional semantics, synonymous 1 . Thus, taking intensional semantics (...) for granted, belief sentences appeared to violate the principle of intersubstitutivity of synonyms. The verdict of the gurus of intensional semantics was that hence intensional semantics is inadequate, or at least insufficient for the purposes of analysis of propositional attitudes; and that we need a kind of a ‘hyperintensional semantics’. (shrink)

The principal question addressed is whether there is a division among common nouns which is similar to a familiar division among noun phrases that designate particular-level individuals: the one which is captured in the relevant literature as the difference between de jure rigid and not de jure rigid singular terms. In relation with the previous philosophical literature relevant to noun rigidity it is argued that the extant positions on the matter are not defended on the basis of well-founded syntactic categories (...) and proper semantic arguments. Proper ways to argue for rigidity ascriptions to nouns are described. Then, such arguments are sought for the case of rigid/non-rigid division among count common nouns. It is shown that there are plausible, albeit inconclusive, reasons to hold that among common nouns (N-bar expressions) only simple common nouns are kind designators, and that if that is the case these simple common nouns will have to be reckoned as de jure rigid designators. (shrink)

My topic is the question 'Does time pass?'. Although much has been written in attempts to answer this question, not enough attention has been paid to the asking of the question itself. As a result, it has not been clear exactly what is at issue in this matter, and, consequently, it has not been clear just what are the different views available to one who wishes to give an answer to the question. I hope to ameliorate this situation. ;The aims (...) of my essay are: to state the issues involved in the controversy over temporal passage in a fruitful way; to formulate what I see as the leading candidates among the possible responses to those issues; and to consider the best arguments relevant to the choice among these alternative views. ;Roughly one-quarter of the essay is devoted to linguistic questions about time and tense. Another quarter is devoted to metaphysical matters involving the status of such putative properties as pastness, presentness and futurity. What emerge are not just two but, rather, five distinct views about whether or not time passes: one view, which I call the 4D view, to the effect that time does not pass, and four different views, which I call the 3D views, to the effect that time does pass. Each of these five views consists of a package of linguistic and metaphysical components. ;Once I have formulated these five different views, I present, for each of the five views, a formal language, with semantics, that would be appropriate for that view. Next, various arguments that have been suggested in the literature against the claim that time passes are considered as arguments against the 3D views; each such argument is found to be defective. Similarly, various arguments that have been suggested in the literature against the claim that time does not pass are considered as arguments against the 4D view; each of these arguments is also found to be defective. ;Finally, I explain why I prefer a certain one of the 3D views over its four rivals, and I consider some possible objections to that view. (shrink)

A discussion of L.A. Paul's 'Transformative Experience' from an Author Meets Critics session at the 2015 Pacific APA.

I develop a device for simulating quantification over merely possible objects from the perspective of a modal actualist ---someone who thinks that everything that exists actually exists.

Recent results of Partee, Rooth, Krifka and other formal semanticians confirm that topic-focus articulation (TFA) of sentence is relevant for its semantics. The essential import of TFA, which is more apparent in case of a language with relatively free word order such as Czech than in case of English, has been traditionally intensively studied by Czech linguists. In this paper we would like to indicate the possibility of the account for TFA in terms of the theory of generalized quantifiers, drawing (...) on the results of both these groups of theoreticians. The basic intuition which we accept as our point of departure is the intuition of topic as the “semantic subject” and focus as the “semantic predicate”; we point out that the role of topic is to specify the entity the sentence is “about” (thereby triggering a presupposition), while that of the focus is to reveal a characterization of this entity, and usually a characterization that is in some sense exhaustive. Then we show that it may be plausible to consider topic and focus as arguments to an implicit generalized quantifier, which may get overridden by an explicit focalizer. (shrink)

If physicalism is true, everything is physical. In other words, everything supervenes on, or is necessitated by, the physical. Accordingly, if there are logical/mathematical facts, they must be necessitated by the physical facts of the world. In this paper, I will sketch the first steps of a physicalist philosophy of mathematics; that is, how physicalism can account for logical and mathematical facts. We will proceed as follows. First we will clarify what logical/mathematical facts actually are. Then, we will discuss how (...) these facts can be accommodated in the physicalist ontology. This might sound like immanent realism (as in Mill, Armstrong, Kitcher, or Maddy), according to which the mathematical concepts and propositions reflect some fundamental features of the physical world. Although, in my final conclusion I will claim that mathematical and logical truths do have contingent content in a sophisticated sense, and they are about some peculiar part of the physical world, I reject the idea, as this thesis is usually understood, that mathematics is about the physical world in general. In fact, I reject the idea that mathematics is about anything. In contrast, the view I am proposing here will be based on the strongest formalist approach to mathematics. (shrink)