The paper proposes a semantics for contextual (i.e., Temporal and Locative) Prepositional Phrases (CPPs) like during every meeting, in the garden, when Harry met Sally and where I’m calling from. The semantics is embodied in a multi-modal extension of Combinatory Categoral Grammar (CCG). The grammar allows the strictly monotonic compositional derivation of multiple correct interpretations for “stacked” or multiple CPPs, including interpretations whose scope relations are not what would be expected on standard assumptions about surfacesyntactic command and monotonic derivation. A (...) type-hierarchy of functional modalities plays a crucial role in the specification of the fragment. (shrink)

This paper proposes a framework for formalising intuitions about the behaviour of imperative commands. It seeks to capture notions of satisfaction and coherence. Rules are proposed to express key aspects of the general logical behaviour of imperative constructions. A key objective is for the framework to allow patterns of behaviour to be described while avoiding making any commitments about how commands, and their satisfaction criteria, are to be interpreted. We consider the status of some conundrums of imperative logic in the (...) context of this proposal. (shrink)

La réflexion philosophique sur la non-existence est une thématique qui a été abordée au commencement même de la philosophie et qui suscite, depuis la publication en 1905 de « On Denoting » par Russell, les plus vifs débats en philosophie analytique. Cependant, le débat féroce sur la sémantique des noms propres et des descriptions définies qui surgirent suite à la publication du « On Referring » par Strawson en 1950 n’engagea pas d’étude systématique de la sémantique des fictions. En fait, (...) le développement systématique d’un lien qui articule approches logiques, philosophiques et littéraires de la fiction devait attendre les travaux de John Woods publiés en 1974 dans son livre The Logic of Fiction : A Philosophical Sounding of Deviant Logic. Un des enjeux les plus excitants du livre de Woods se situe au niveau de l’interaction entre les points de vue internalistes ou interne-à-l’histoire (principalement pragmatiques) et les points de vue externalistes ou externe-à-la-fiction (principalement sémantiques). Sur ce point, Woods fut le premier à formuler une sémantique pour l’opérateur de fiction à lire comme « selon l’histoire… » en relation à la notion logique de portée, ce qui permettait l’étude de l’internalisme et de l’externalisme. Suite au livre de Woods, loin de s’essouffler, les débats trouvaient une nouvelle impulsion. Le fait pertinent pour notre article est que la tradition phénoménologique également, l’étude de la fiction a joué un rôle central. En effet, l’une des problématiques les plus sujettes à controverses dans l’intentionnalité est celle de l’indépendance à l’existence, c’est-à-dire le fait que les actes intentionnels n’ont pas besoin d’être forcément dirigés vers un objet existant. Influencée par les travaux de Roman Ingarden (1893-1970), l’un des plus importants disciples de Husserl, Amie L. Thomasson développe le concept phénoménologique de dépendance ontologique en vue d’expliquer les processus de références inter- et transfictionnels – dans le contexte de l’interprétation littéraire par exemple. L’enjeu essentiel de cet article est de proposer une reconstruction multimodale bi-dimensionnelle de la théorie des personnages fictionnels de Ingarden-Thomasson. Cette théorie qui entend prendre au sérieux le fait que les fictions sont des créations montre la voie pour une articulation entre les approches internalistes et externalistes. Nous motivons certains changements quant à l’approche artéfactuelle - incluant une sémantique appropriée pour l’opérateur de fictionalité qui, nous l’espérons, éveillera l’intérêt des théoriciens de la littérature. L’article est à d’autres égards un panorama de la façon dont différents concepts d’intentionnalité pourraient fonder différentes sémantiques formelles pour la fictionalité. Nous proposerons enfin un cadre dialogique qui est une extension modale d’un certain système de preuve développé par Matthieu Fontaine et Juan Redmond. Le cadre dialogique développe la contrepartie inférentielle de la sémantique bi-dimensionnelle introduite par Shahid Rahman et Tero Tulenheimo dans un article récent. (shrink)

According to the form of logical pluralism elaborated by Beall and Restall there is more than one relation of logical consequence. Since they take the relation of logical consequence to res...

Supervaluationism, traditionally conceived, is the conjunction of three theses: Vagueness in a language gives rise to there being a multitude of acceptable assignments of semantic values to some expressions of the language, These assignments correspond to possible completions of the meanings of vague expressions, Truth is truth under all acceptable assignments, and falsity is falsity under all acceptable assignments. Supervaluationism has three chief virtues. It preserves classical logic. It provides an account of what vagueness is . And it extends nicely (...) to the vagueness of singular terms. I argue, however, that the existence of vagueifiers ‐ expressions like‘roughly’– pose problems for thesis of Supervaluationism, and that the supervaluationist can get around these problems only at a serious cost. Toward the end of the paper, I present an alternative analysis of vagueness, which preserves the main virtues of Supervaluationism, but which identifies vagueness as semantic Overdetermination, rather than as semantic underdetermination. (shrink)

Supervaluationism, traditionally conceived, is the conjunction of three theses: Vagueness in a language gives rise to there being a multitude of acceptable assignments of semantic values to some expressions of the language, These assignments correspond to possible completions of the meanings of vague expressions, Truth is truth under all acceptable assignments, and falsity is falsity under all acceptable assignments. Supervaluationism has three chief virtues. It preserves classical logic. It provides an account of what vagueness is. And it extends nicely to (...) the vagueness of singular terms. I argue, however, that the existence of vagueifiers ‐ expressions like‘roughly’– pose problems for thesis of Supervaluationism, and that the supervaluationist can get around these problems only at a serious cost. Toward the end of the paper, I present an alternative analysis of vagueness, which preserves the main virtues of Supervaluationism, but which identifies vagueness as semantic Overdetermination, rather than as semantic underdetermination. (shrink)

Psychology has benefited from an enormous wealth of knowledge about processes of cognition in relation to how the brain organizes information. Within the categorization literature, this behavior is often explained through theories of memory construction called exemplar theory and prototype theory which are typically based on similarity or rule functions as explanations of how categories emerge. Although these theories work well at modeling highly controlled stimuli in laboratory settings, they often perform less well outside of these settings, such as explaining (...) the emergence of background knowledge processes. In order to explain background knowledge, we present a non-similarity-based post-Skinnerian theory of human language called Relational Frame Theory which is rooted in a philosophical world view called functional contextualism. This theory offers a very different interpretation of how categories emerge through the functions of behavior and through contextual cues, which may be of some benefit to existing categorization theories. Specifically, RFT may be able to offer a novel explanation of how background knowledge arises, and we provide some mathematical considerations in order to identify a formal model. Finally, we discuss much of this work within the broader context of general semantic knowledge and artificial intelligence research. (shrink)

In this paper, I discuss a specific approach to measuring and comparing the simplicity of theories that is based on Lewis’s notion of fundamental properties. In particular, I discuss the criterion of simplicity as stated by Williams. According to Williams, the best candidate for a theory is the one which has the shortest definition in terms of fundamental properties. The aim of this paper is to show that the criterion thus specified has two constraints. First, the criterion is not applicable (...) to cases in which candidates for theories that specify fundamental properties are compared. Secondly, the applicability of the criterion in social sciences seems to be unwarranted. (shrink)

The criterion of naturalness represents David Lewis’s attempt to answer some of the sceptical arguments in semantics by comparing the naturalness of meaning candidates. Recently, the criterion has been challenged by a new sceptical argument. Williams argues that the criterion cannot rule out the candidates which are not permuted versions of an intended interpretation. He presents such a candidate – the arithmetical interpretation semantics by comparing the naturalness of meaning candidates. Recently, the criterion has been challenged by a new sceptical (...) argument. Williams argues that the criterion cannot rule out the candidates which are not permuted versions of an intended interpretation. He presents such a candidate – the arithmetical interpretation, and he argues that it opens up the possibility of Pythagorean worlds, i.e. the worlds similar to ours in which the arithmetical interpretation is the best candidate for a semantic theory. The aim of this paper is a) to reconsider the general conditions for the applicability of Lewis’s criterion of naturalness and b) to show that Williams’s new sceptical challenge is based on a problematic assumption that the arithmetical interpretation is independent of fundamental properties and relations. As I show, if the criterion of naturalness is applied properly, it can respond even to the new sceptical challenge. (shrink)

In this paper, I show how normative inferentialism could be used to explain several phenomena related to natural languages. First, I show how the distinction between the inferential potential and the inferential significance fits the standard distinction between the meaning of a sentence and the content of an utterance. Second, I show how the distinction could be used to explain ambiguity and free pragmatic enrichment from the perspective of normative inferentialism. The aim of this paper is to establish theoretical foundations (...) that enable normative inferentialism to enter the discussions within the literalism-contextualism debate. As I argue, the biggest advantage of inferentialism is that it provides one general framework for the representation of meaning/content that naturally incorporates contextual information and so it can be used to represent meanings of various types of context-dependent sentences. (shrink)

Edgington has proposed a solution to the sorites paradox in terms of ‘verities’, which she defines as degrees of closeness to clear truth. Central to her solution is the assumption that verities are formally probabilities. She is silent on what verities might derive from and on why they should be probabilities. This paper places Edgington’s solution in the framework of a spatial approach to conceptualization, arguing that verities may be conceived of as deriving from how our concepts relate to each (...) other. Building on work by Kamp and Partee, this paper further shows how verities, thus conceived of, may plausibly be assumed to have probabilistic structure. The new interpretation of verities is argued to also help answer the question of what the verities of indicative conditionals are, a question which Edgington leaves open. Finally, the question of how to accommodate higher-order vagueness, given this interpretation, is addressed. (shrink)

This paper is an investigation of the general logic of "identifications", claims such as 'To be a vixen is to be a female fox', 'To be human is to be a rational animal', and 'To be just is to help one's friends and harm one's enemies', many of which are of great importance to philosophers. I advocate understanding such claims as expressing higher-order identity, and discuss a variety of different general laws which they might be thought to obey. [New version: (...) Nov. 4th, 2016]. (shrink)

McCaffery's definition of pain has proven to be one of the most consequential in nursing and healthcare more generally. She put forward this definition in response to the persistent undertreatment of pain. However, despite raising her definition to the status of a dogma, the undertreatment remains a real problem. This essay explores the contention that McCaffery's definition of pain elides critical aspects of it, aspects that demand consideration when treating pain. In section I, I set the stage. I discuss how (...) McCaffery's definition and her understanding of pain science interrelate. In section II, I raise three problems for this understanding. In section III, I argue that these problems stem from an incoherency in her definition. Finally, in section IV, I draw from hospice nursing as well as philosophy and the social sciences to redefine ‘pain’ so that an intersubjective feature of it is foregrounded. I also briefly discuss one implication this redefinition has for pain management. (shrink)

Pain, pain talk and pain ascriptions seem to be universal features of human experience and to have little to do with politics. It is often assumed that pain is always bad, a sign of a malfunctioning machine, that pain talk describes this malfunction and that the humane thing to do is to seek to ameliorate or excise pain. I argue that this viewpoint is one-sided at best and imperialistic at worst. In section I, I outline what I term the ‘prima (...) facie model of pain’ and adumbrate later Wittgenstein’s criticism of it. In section II, I marshal ethnographic evidence that deepens Wittgenstein’s reimagining of pain and acknowledgment. In section III, I link this to ‘progressive’ politics and its normative understanding of the self. Finally, in section IV, I turn to Martin Luther King’s writing and discuss a use of pain that undermines this normative conception of the self and aligns with Wittgenstein’s account. (shrink)

In certain philosophical quarters, a new metaphilosophical position is being discussed—antiphilosophy. Such a position seems to maintain that there is no distinction between philosophy and sophistry, reason and rhetoric, arguing and emoting. This paper examines antiphilosophy. Specifically, it aims to address three interrelated questions: Is antiphilosophy a possible metaphilosophical position? If it is, what characterizes it? And what ramifications would it have? The paper argues that antiphilosophy is possible and is best construed as an attempt to reconstruct philosophical discourse on (...) noncognitive lines. Explicitly, “to assert” and the belief propositional attitude is replaced by “to convince” and a pro‐attitude desire to rhetorically talk someone into something. The paper examines one possible form such a position could take as well as various ramifications of it. (shrink)

We propose a novel interpretation of Lewis on the analysis of modality that is constructed from primary sources, comprehensive and unprecedented. Our guiding precepts are to distinguish semantics from metaphysics, while respecting the inter-relations between them, and to discern whatever may be special, semantically or metaphysically, about the modal case. Following detailed presentation, we amplify and advocate our interpretation by providing a conforming genealogy of Lewis’s theory of modality and applying it to construct a detailed and newly illuminating version of (...) the Lewisian theory of modality de re. (shrink)

In her Transient Truths, Berit Brogaard defends temporalism about proposition content from the more traditional eternalist views. I argue that both temporalism and eternalism are equally capable of accommodating all the data, and thus suggest that we should adopt a neutralism that holds there is no serious or resolvable dispute. Contra Brogaard, I argue that neither disagreement patterns nor belief dynamics favor temporalism over eternalism. I also suggest that Brogaard's defense of operator over quantificational semantics for tense is unnecessary, because (...) quantificational tense semantics can be given a temporalist reading, and operator tense semantics can be given an eternalist reading. (shrink)

Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multi-dimensional. (Our definition of multi ...

Když jsem v roce 1992 začínal na filosofické fakultě UK přednášet teorii sémantiky, cítil jsem intenzivní potřebu poskytnout studentům nějaký učební text. O překotném vývoji tohoto interdisciplinárního oboru, který odstartovalo v sedmdesátých letech úspěšné “zkřížení logiky s lingvistikou” Richardem Montaguem a dalšími a který se nezpomalil dodnes, totiž v češtině neexistovaly prakticky žádné zprávy (s čestnou výjimkou přístupu tzv. transparentní intenzionální logiky, který byl dílem českého emigranta Pavla Tichého a o kterém u nás psal Pavel Materna). Přehledové publikace, jaké jsou (...) potřeba pro někoho, kdo se chce v dané problematice zorientovat, se ovšem v té době i po světě teprve začínaly objevovat: v roce 1990 vyšla kniha An Introduction to Semantics Gennara Chierchii a Sally McConell-Ginnetové a v roce 1991 vydala skupina holandských logiků pod kolektivním pseudonymem L.T.F. Gamut dvousvazkovou knihu Language and Meaning. Za této situace jsem se pokusil co nejrychleji sepsat učební text, který by moji studenti i jiní zájemci o sémantiku mohli použít; a protože o jeho vydání paradoxně projevila větší zájem filosofická fakulta Masarykovy univerzity v Brně (kde jsem já osobně nikdy neučil; ale zájem o sémantiku tam neúnavně podněcoval a vydání mého textu tam zprostředkoval kolega Materna) než filosofická fakulta mojí domovské Karlovy univerzity, vyšel tento text v Brně, a to pod názvem Úvod do teoretické sémantiky. (shrink)

Peter Ludlow presents the first book on the philosophy of generative linguistics, including both Chomsky's government and binding theory and his minimalist ...

This volume analyzes and studies how vagueness occurs and matters as a specific problem in the context of theories that are primarily about something else.

Frank Jackson champions the cause of conceptual analysis as central to philosophical inquiry. In recent years conceptual analysis has been undervalued and widely misunderstood, suggests Jackson. He argues that such analysis is mistakenly clouded in mystery, preventing a whole range of important questions from being productively addressed. He anchors his argument in discussions of specific philosophical issues, starting with the metaphysical doctrine of physicalism and moving on, via free will, meaning, personal identity, motion, and change, to ethics and the philosophy (...) of color. In this way the book not only offers a methodological program for philosophy, but also casts new light on some much-debated problems and their interrelations. (shrink)

Now in a new edition, this volume updates Davidson's exceptional Inquiries into Truth and Interpretation (1984), which set out his enormously influential philosophy of language. The original volume remains a central point of reference, and a focus of controversy, with its impact extending into linguistic theory, philosophy of mind, and epistemology. Addressing a central question--what it is for words to mean what they do--and featuring a previously uncollected, additional essay, this work will appeal to a wide audience of philosophers, linguists, (...) and psychologists. (shrink)

Online collection of papers by Devitt, Dretske, Guarino, Hochberg, Jackson, Petitot, Searle, Tye, Varzi and other leading thinkers on philosophy and the foundations of cognitive Science. Topics dealt with include: Wittgenstein and Cognitive Science, Content and Object, Logic and Foundations, Language and Linguistics, and Ontology and Mereology.

When the original Dutch version of this book was presented in 1971 to the University of Leiden as a thesis for the Doctorate in philosophy, I was prevented by the academic mores of that university from expressing my sincere thanks to three members of the Philosophical Faculty for their support of and interest in my pursuits. I take the liberty of doing so now, two and a half years later. First and foremost I want to thank Professor G. Nuchelmans warmly (...) for his expert guidance of my research. A number of my most im portant sources were brought to my attention by him. During the whole process of composing this book his criticism and encouragement were carried out in a truly academic spirit. He thereby provided working conditions that are a sine qua non for every author who is attempting to approach controversial matters in a scientific manner, conditions which, however, were not easily available at that time. In a later phase I also came into contact with Professors L. M. de Rijk and J. B. Ubbink, with both of whom I had highly stimulating discussions and exchanges of ideas. The present edition contains some entirely new sections, viz. 1-9, IV-29, V-9, V-20, VII-14 (iii), (iv), VII-17 (i), VIII-22, IX-17, IX-19, X-9 and XI-8. Section X-9 was inspired by a remark made by Professor A. (shrink)

From García-Carpintero and Kölbel, eds, Relative Truth.

The verb 'knows' is often taken to be context-sensitive in an interesting way. What 'knows' means seems to be sensitive to the epistemic features of the context, e.g. the epistemic standard in play, the set of relevant alternatives, etc. There are standard model-theoretic semantic frameworks which deal with both intensional operators and context-sensitive expressions. In this chapter, we provide a brief overview of the various moving parts of these frameworks, the roles of context and index, the need for double indexing, (...) and the relationship between semantic value and content. With the best version of the standard framework explicated we then return at the end to the treatment of ‘know’ as a context-sensitive intensional operator (contrasting it with an invariantist treatment). (shrink)

The phrase ‘in virtue of’ is a mainstay of metaphysical discourse. In recent years, many philosophers have argued that we should understand this phrase, as metaphysicians use it, in terms of a concept of metaphysical dependence called ‘grounding’.This dissertation explores a range of central issues in the theory of grounding. Chapter 1 introduces the intuitive concept of grounding and discusses some compulsory questions in the theory of grounding. Chapter 2 focusses on scepticism on grounding, according to which the recent philosophical (...) interest in the topic is misguided. In chapter 3 I discuss grounding’s explanatory roles. Chapter 4 focusses on the claim that if an entity is grounded then it is an ontological free lunch. Chapter 5 discusses and rejects the claim that groundingis a relation between facts. This conclusion raises a problem: if grounding is not a relation between facts it becomes difficult to specify the connections between grounding and explanation and grounding and necessity. But not only is it desirable to specify these relations, it is essential for establishing that grounding is able to play the explanatory roles that are discussed in chapter 3. Chapter 6 responds to this problem by outlining an approach to grounding based on David Lewis’s (2003) theory of truthmaking. Against this backdrop I discuss, in chapter 7, some issues in the logic of grounding. (shrink)

Moorean constructions are famously odd: it is infelicitous to deny that you believe what you claim to be true. But what about claiming that p, only to immediately put into question your evidence in support of p? In this paper, we identify and analyse a class of quasi-Moorean constructions, which we label counterevidentials. Although odd, counterevidentials can be accommodated as felicitous attempts to mitigate one’s claim right after making it. We explore how counterevidentials differ from lexicalised mitigation operators, parentheticals, and (...) anaphoric mitigation devices, and consider some cognate non-assertoric constructions. We conclude by exploring the implications of our analysis for theorising about linguistic responsibility, assertion, and lying. (shrink)

I discuss and defend two arguments against semantic theories which wish to avoid commitment to propositions. The first holds that on the most plausible semantics of a class of natural language sentences, the truth of sentences in that class requires the existence of propositions; and some sentences in that class are true. The second holds that, on the best understanding of the form of a semantic theory, the truth of a semantic theory itself entails the existence of propositions. Much of (...) the discussion engages Davidsonian alternatives to a propositionalist semantic theory. (shrink)

In response to Stephen Neale (2016), I argue that aphonic expressions, such as PRO, are intentionally uttered by normal speakers of natural language, either by acts of omitting to say something explicitly, or by acts of giving phonetic realization to aphonics. I argue, also, that Gricean intention-based semantics should seek divorce from Cartesian assumptions of transparent access to propositional attitudes and, consequently, that Stephen Schiffer's so-called meaning-intention problem is not powerful enough to banish alleged cases of over-intellectualization in contemporary philosophy (...) of language and mind. (shrink)

The Realist that investigates questions of ontology by appeal to the quantificational structure of language assumes that the semantics for the privileged language of ontology is externalist. I argue that such a language cannot be (some variant of) a natural language, as some Realists propose. The flexibility exhibited by natural language expressions noted by Chomsky and others cannot obviously be characterized by the rigid models available to the externalist. If natural languages are hostile to externalist treatments, then the meanings of (...) natural language expressions serve as poor guides for ontological investigation, insofar as their meanings will fail to determine the referents of their constituents. This undermines the Realist’s use of natural languages to settle disputes in metaphysics. (shrink)

The dispute between the Fregean and the Neo-Meinongian approach to existence has become entrenched: it seems that nothing but intuitions may be relied upon to decide the issue. And since contemporary analytic philosophers clearly are inclined towards the intuitions that support Frege's approach, it looks as if Fregeanism has won the day. In this paper, however, I try to develop a compromise solution. This compromise consists in abandoning the assumption shared by both Fregeanism and Neo-Meinongianism, namely that the notion of (...) existence adds something to the content of a statement. To the contrary, we should think of existence as a redundant notion. In other words, I will argue that we should be deflationist about existence. Moreover, the kind of deflationism I propose relies on what I call the existence equivalence schema, a schema which follows the blueprint of the well-known truth equivalence schema. From such a perspective, we can say that Fregean philosophers rightly deny the status of a discriminating property to existence; and, conversely, Neo-Meinongians, too, rightly reject the view that existence is captured by quantification or expresses a universal property of objects. Finally, the argument that we should take a deflationist approach to existence builds upon an analysis of natural language (general) existential statements and their intuitive entailment-relations. (shrink)

This paper provides a proof-theoretic account of imperative logical consequence by generalising Greg Restall’s multiple conclusion bilateralism for declarative logic. According to imperative bilateralism, a sequent Γ ⊢ Δ is valid iff jointly commanding all the imperatives Φ ∈ Γ and prohibiting all the imperatives Ψ ∈ Δ clashes. This account has three main virtues: (1) it provides a proof-theoretic account of imperatives; (2) it does not rely on the controversial notion of imperative inference; and (3) it is neutral regarding (...) cognitivism about imperatives. (shrink)

Given the undeniable influence of the linguistic turn, it is common to characterize epistemology in the twentieth century as centrally concerned with meaning. But many of the early twentieth-century figures who helped to inspire that turn did not characterize meaning exclusively in terms of language. In response to contemporary accounts that tend to limit the scope of meaning to the semantic, pragmatic or conceptual, I use the work of Husserl and Wittgenstein to argue for the importance of non-linguistic aspects of (...) lived experience (Erlebnis) to the theory of meaning, situating the project historically as a legacy of Kant's Critical epistemology and systematically in terms of contemporary debates about the role and status of nonconceptual content. -/- I argue in Chapter One that a robust theory of meaning must take account of the way the conditions of the possibility for meaning are determined by intrinsically value-bearing features of everyday experience, features that are not themselves inherently linguistic or conceptual. Most contemporary nonconceptualist accounts of perceptual experience fail to adequately theorize the role of the nonconceptual on its own terms, reducing nonconceptual elements of experience to that of mere "fodder" for conceptualization and ignoring the epistemic role the nonconceptual plays in determining structural conditions of possibility. This can be overcome through a transcendental-constitutional approach that examines the full range of experiential structures--including those not mediated by language or concepts--by which meaning is constituted. -/- Tracing a series of parallel developments in the theories of meaning of Husserl and Wittgenstein in Chapters Two through Five, I argue that--despite important differences--both authors' later conceptions of meaning necessarily include accounts of its relation to an inexact, non-linguistic dimension of experiential life: the lifeworld (Husserl) or form(s) of life (Wittgenstein). What appears from the standpoint of linguistic and conceptual analysis to be an unfortunate inexactness is in terms of the later conceptions of both philosophers not the result of incomplete analysis, but of a recognition of the ontological primacy of the lived and fundamentally social phenomenon of meaningfulness that characterizes our experience in a way that outstrips conceptual and linguistic representation. (shrink)

Type-logical semantics studies linguistic meaning with the help of the theory of types. The latter originated with Russell as an answer to the paradoxes, but has the additional virtue that it is very close to ordinary language. In fact, type theory is so much more similar to language than predicate logic is, that adopting it as a vehicle of representation can overcome the mismatches between grammatical form and predicate logical form that were observed by Frege and Russell. The grammatical forms (...) of ordinary language sentences consequently may be taken to be much less misleading than logicians in the first half of the 20th century often thought them to be. This was realized by Richard Montague, who used the theory of types to translate fragments of ordinary language into a logical language. Semantics is commonly divided into lexical semantics, which studies the meaning of words, and compositional semantics, which studies the way in which complex phrases obtain a meaning from their constituents. The strength of type-logical semantics lies with the latter, but type-logical theories can be combined with many competing hypotheses about lexical meaning, provided these hypotheses are expressed using the language of type theory. (shrink)

This paper outlines Lewis’s favoured foundational account of linguistic representation, and outlines and briefly evaluates variations and modifications. Section 1 gives an opinionated exegesis of Lewis’ work on the foundations of reference—his interpretationism. I look at the way that the metaphysical distinction between natural and non-natural properties came to play a central role in his thinking about language. Lewis’s own deployment of this notion has implausible commitments, so in section 2 I consider variations and alternatives. Section 3 briefly considers a (...) buck-passing strategy involving fine-grained linguistic conventions. (shrink)