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)

This study offers syntactic and semantic evidence that there are three types of locative modifiers within the verbal domain that differ with respect to their syntactic base position and interpretation. Two of them are subject to semantic indeterminacy, thereby leading to multiple utterance meanings. The study aims at showing that the full range of interpretations can be derived within a rigid account of lexical and compositional semantics. Locative modifiers are invariably treated as first-order predicates adding a locative constraint. All semantic (...) differences originate from the structural environment they are embedded in and the pragmatic resolution of semantic indeterminacy. The syntactic distribution of locative modifiers is shown to be derivable from interface conditions. (shrink)

The Negation Problem states that expressivism has insufficient structure to account for the various ways in which a moral sentence can be negated. We argue that the Negation Problem does not arise for expressivist accounts of all normative language but arises only for the specific examples on which expressivists usually focus. In support of this claim, we argue for the following three theses: 1) a problem that is structurally identical to the Negation Problem arises in non-normative cases, and this problem (...) is solved once the hidden quantificational structure involved in such cases is uncovered; 2) the terms ‘required’, ‘permissible’, and ‘forbidden’ can also be analyzed in terms of hidden quantificational structure, and the Negation Problem disappears once this hidden structure is uncovered; 3) the Negation Problem does not arise for normative language that has no hidden quantificational structure. We conclude that the Negation Problem is not really a problem about expressivism at all but is rather a feature of the quantificational structure of the required, permitted, and forbidden. (shrink)

Linguistic expressions frequently make reference to the situation in which they are uttered. In fact, there are expressions whose whole point of use is to relate to their context of utterance. It is such expressions that this article is primarily about. However, rather than presenting the richness of pertinent phenomena (cf. Anderson & Keenan 1985), it concentrates on the theoretical tools provided by the (standard) two-dimensional analysis of context dependence, essentially originating with Kaplan (1989)--with a little help from Stalnaker (1978) (...) and Lewis (1979a, 1980), and various predecessors including Kamp (1971) and Vlach (1973). The current article overlaps in content with the account in Zimmermann (1991), which is however much broader (and at times deeper).. (shrink)

In this thesis, I develop a nonreductive and general conception of potentiality, and explore the prospects of a realist account of possibility based on this account of potentiality. Potentialities are properties of individual objects; they include dispositions such as fragility and abilities such as the ability to play the piano. Potentialities are individuated by their manifestation alone. In order to provide a unified account of potentialities, I argue in chapter 2 that dispositions, contrary to philosophical orthodoxy, are best understood in (...) terms only of their manifestations (as disposi- tions to ...), rather than in terms of a stimulus and a manifestation condition (as dispositions to ... if ...). Chapter 3 provides some preliminary motivation for a nonreductive and gen- eral account of potentiality, and chapter 4 develops such an account. The guiding question is how far the notion of potentiality can be extended from the initial ex- amples of familiar dispositions and abilities, and it is argued that it can be extended very far. Various features of potentialities are explored, among them extrinsicality, iterations of potentiality, and the behaviour of potentiality with regard to logical equivalence. In chapter 5, the account is set to work in providing the outlines and a defense of a potentiality-based account of possibility. The basic idea of such an account is that it is possible that p just in case some thing has a potentiality for p. The account is defended against the objection that there may not be enough potential- ities to ground all the possibilities that there are. Finally, in chapter 6, a logic of potentiality is formulated and the logic of possibility derived from it, showing that the potentiality-based account of possibility is formally adequate: it provides pos- sibility with the formal features that modal logicians have studied. I conclude that the proposed account of possibility is a promising research programme. (shrink)

A critical review of the main themes arising out of recent literature on the semantics of ordinary event talk. The material is organized in four sections: (i) the nature of events, with emphasis on the opposition between events as particulars and events as universals; (ii) identity and indeterminacy, with emphasis on the unifier/multiplier controversy; (iii) events and logical form, with emphasis on Davidson’s treatment of the form of action sentences; (iv) linguistic applications, with emphasis on issues concerning aspectual phenomena, the (...) telicity/atelicity distinction, the treatment of statives, and temporal quantification. (shrink)

This paper introduces two languages and associated logics designed to afford perspicuous representations of a range of natural language arguments involving adverbs and the like: first-order logic with basic adverbs (FOL-BA) and first-order logic with scoped adverbs (FOL-SA). The guiding logical idea is that an adverb can come between a term and the rest of the statement it is a part of, resulting in a logically stronger statement. I explain various interesting challenges that arise in the attempt to implement the (...) guiding idea, and provide solutions for some but not all of them. I conclude by outlining some directions for further research. (shrink)

We propose an account of dynamic predicates which draws on the notion of force, eliminating reference to events in the linguistic semantics. We treat dynamic predicates as predicates of forces, represented as functions from an initial situation to a final situation that occurs ceteris paribus, that is, if nothing external intervenes. The possibility that opposing forces might intervene to prevent the transition to a given final situation leads us to a novel analysis of non-culminating accomplishment predicates in a variety of (...) languages, including the English progressive. We then apply the force-theoretic framework to the composition of basic Vendlerian eventuality types within a lexical-decomposition syntax. The difference between predicates of forces and predicates of situations is argued to underlie the dynamic/stative contrast, and also to allow for a formal treatment of the difference between be and stay. Consequences for the relationship between language and cognition are discussed. (shrink)

Work on the nature and scope of formal logic has focused unduly on the distinction between logical and extra-logical vocabulary; which argument forms a logical theory countenances depends not only on its stock of logical terms, but also on its range of grammatical categories and modes of composition. Furthermore, there is a sense in which logical terms are unnecessary. Alexandra Zinke has recently pointed out that propositional logic can be done without logical terms. By defining a logical-term-free language with the (...) full expressive power of first-order logic with identity, I show that this is true of logic more generally. Furthermore, having, in a logical theory, non-trivial valid forms that do not involve logical terms is not merely a technical possibility. As the case of adverbs shows, issues about the range of argument forms logic should countenance can quite naturally arise in such a way that they do not turn on whether we countenance certain terms as logical. (shrink)

Four groups of intentional action sentences can be distinguished. An intentional action sentence belongs in a given group as a consequence of the range of intentions, i.e. it may record an action in which someone intends that he should intentionally do something in a particular manner, for a particular purpose, to a particular object, or it may record an action in which someone intends that he should intentionally do something though he intends no particular manner or no manner at all (...) and intends no particular object. Thus the range of intention affects entailments, compatibility and inconsistency among intentional action sentences. A fragment of a theory of the range of intentions is set out and some of its implications are examined. (shrink)

In this paper we present a study of adjectival/adverbial modification using modern type theories, i.e. type theories within the tradition of Martin-Löf. We present an account of various issues concerning adjectival/adverbial modification and argue that MTTs can be used as an adequate language for interpreting NL semantics. MTTs are not only expressive enough to deal with a range of modification phenomena, but are furthermore well-suited to perform reasoning tasks that can be easily implemented given their proof-theoretic nature. In MTT-semantics, common (...) nouns are interpreted as types rather than predicates. Therefore, in order to capture the semantics of adjectives adequately, one needs to meet the challenge of modeling CNs modified by adjectives as types. To explicate that this can be done successfully, we first look at the mainstream classification of adjectives, i.e. intersective, subsective and non-subsective adjectives. There, we show that the rich type structure available in MTTs, along with a suitable subtyping framework, offers an adequate mechanism to model these cases. In particular, this modelling naturally takes care of the characterising inferences associated with each class of adjectives. Then, more advanced issues on adjectival modification are discussed: degree adjectives, comparatives and multidimensional adjectives. There, it is shown that the use of indexed types can be usefully applied in order to deal with these cases. In the same vein, the issue of adverbial modification is discussed. We study two general typings for sentence and VP adverbs respectively. It is shown that the rich type structure in MTTs further provides useful organisational mechanisms in giving formal semantics for adverbs. In particular, we discuss the use of \-types to capture the veridicality/non-veridicality distinction and further discuss cases of intensional adverbs using the type theoretic notion of context. We also look at manner, subject and speech act adverbials and propose solutions using MTTs. Finally, we show that the current proof technology can help mechanically check the associated inferences. A number of our proposals concerning adjectival and adverbial modification have been formalised in the proof assistant Coq and many of the associated inference patterns are checked to be correctly captured. (shrink)

For various reasons several authors have enriched classical first order syntax by adding a predicate abstraction operator. “Conservatives” have done so without disturbing the syntax of the formal quantifiers but “revisionists” have argued that predicate abstraction motivates the universal quantifier’s re-classification from an expression that combines with a variable to yield a sentence from a sentence, to an expression that combines with a one-place predicate to yield a sentence. My main aim is to advance the cause of predicate abstraction while (...) cautioning against revisionism. In so doing, however, I shall pursue a secondary aim by conveying mixed blessings to those who hold the view that in the logical sense of “existence” some existing object is such as to exist contingently. Advocates of this view must concede Williamson’s recent contention that the domain of unrestricted objectual quantification could not have been narrower than it is actually, but predicate abstraction affords them some hope of accommodating this concession. (shrink)

A selection function based semantics is offered for the 'can' of ability based on the idea that 'John can run a four minute mile' is true iff John would do so under the right conditions, meaning that he would do so under at least one appropriately chosen test condition. Completeness is proved for an axiom system and semantics based on this idea, and the logic turns out to be interestingly different from any standard system of modal logic.

It seems generally agreed that a theory of sensory episodes that mentions sensory objects and a sensing relation — the ‘act-object’ theory — is unacceptable and should be replaced by some other account. A chief competitor is the Adverbial Theory, and one of its chief advocates is Wilfrid Sellars. While it is clear that there are serious difficulties for the act-object theory not facing the adverbial theory, I will argue that the latter has difficulties of its own.

It seems generally agreed that a theory of sensory episodes that mentions sensory objects and a sensing relation — the ‘act-object’ theory — is unacceptable and should be replaced by some other account. A chief competitor is the Adverbial Theory, and one of its chief advocates is Wilfrid Sellars. While it is clear that there are serious difficulties for the act-object theory not facing the adverbial theory, I will argue that the latter has difficulties of its own.

Is there a principled difference between entailments in natural language that are valid solely in virtue of their form or structure and those that are not? This paper advances an affirmative answer to this question, one that takes as its starting point Gareth Evans’s suggestion that semantic theory aims to carve reality at the joints by uncovering the semantic natural kinds of the language. I sketch an Evans-inspired account of semantic kinds and show how it supports a principled account of (...) structural entailment. I illustrate the account by application to a case study involving the entailment properties of adverbs; this involves developing a novel proposal about the semantics for adverbs like ‘quickly’ and ‘slowly’. In the course of the discussion I explore some implications of the account for the place of model-theoretic tools in natural language semantics. (shrink)

This paper investigates the semantics of tense and aspect in Romance languages. Its goal is to develop a compositional, model-theoretic semantics for tense and temporal adverbs which is sensitive to aspectual distinctions. I will consider durative adverbial distributions and aspectual contrasts across different morphological tense forms. I will examine tense selection under habitual meanings, generic meanings and state of result constructions. In order to account for these facts I will argue that temporal homogeneity plays a fundamental role in tense selection (...) in Romance languages. (shrink)

The main aim of the thesis is to give a semantic account of implicit content – the kind of content that plays a crucial role in implicit communication. Implicit communication is a species of communication in which a speaker communicates certain contents that go over and above the contents retrievable from the linguistic meaning of the words used. The focus of the thesis is a certain kind of implicit communication involving locations (when sentences such as “It is raining” are used (...) to communicate that it is raining at a certain location) and judges (when sentences such as “Avocado is tasty” are used to communicate that avocado is tasty for a certain person, called “the judge”). The way the topic of implicit content is approached is via the notion, widespread in contemporary philosophy of language, of “unarticulated constituents”. The thesis contains an investigation of this notion, with the specific aim of disentangling the many senses it has been used and of providing a general definition of the notion. A direct product of this investigation is a partitioning of the logical space; three positions are then selected, which correspond to the main contenders in the current debate involving unarticulated constituents: truth-conditional semantics, truth-conditional pragmatics and relativism. The biggest part of the thesis is dedicated to investigating certain arguments that have surfaced in the debate between these positions, with the ultimate goal of proposing a relativist account of implicit content. The particular version of relativism offered consists in the combination of the claim that locations and judges are part of the circumstances of evaluation, rather than the content of utterances, with “the variadic functions approach” to certain natural language expressions. Also, several arguments against a truth-conditional semantic approach to predicates of personal taste are provided. (shrink)

How questions are understudied in philosophy and linguistics. They can be answered in very different ways, some of which are poorly understood. Jaworski identifies several types: ‘manner’, ‘method, means or mechanism’, ‘cognitive resolution’, and develops a logic designed to enable us to distinguish among them. Some key questions remain open, however, in particular, whether these distinctions derive from an ambiguity in how, from differences in the logical structure of the question or from contextual underspecification. Arguing from two classes of responses, (...) adverbs and by gerunds, I give the answer that the logical structure of the question is indeed relevant: loosely, manners are adjuncts but methods are arguments. (shrink)

In this paper I argue that descriptive content associated with a proper name can serve as a truth-conditionally relevant adjunct and be an additional contribution of the name to the truth-conditions. Definite descriptions the so-and-so associated by speakers with a proper name can be used as qualifying prepositional phrases as so-and-so, so sentences containing a proper name NN is doing something could be understood as NN is doing something as NN (which means as so-and-so). Used as an adjunct, the descriptive (...) content of a proper name expresses the additional circumstances of an action (a manner, reason, goal, time or purpose) and constitute a part of a predicate. I argue that qualifying prepositional phrases should be analyzed as predicate modifiers and propose a formal representation of modified predicates. The additional truth-conditional relevance of the descriptive content of a proper name helps to explain the phenomenon of the substitution failure of coreferential names in simple sentences. (shrink)

There is a puzzle about the use of paraphrase in philosophy, presented most famously in Alston's [1958] ‘Ontological Commitments’, but found throughout the literature. The puzzle arises from the fact that a symmetry required for a paraphrase to be successful seems to necessitate a symmetry sufficient for a paraphrase to fail, since any two expressions that stand in the means the same as relation must also stand in the has the same commitments as relation. I show that, while this problem (...) does undermine some conceptions of paraphrase, on a proper understanding of paraphrase the puzzle gets no purchase. Since paraphrase is an important component of Quinean approaches to meta-ontology, this paper constitutes a partial defence of Quinean meta-ontology. Since paraphrase is an important component of traditional methods of philosophical inquiry, this paper constitutes a partial defence of traditional modes of philosophizing as well. (shrink)

Formal semantics constitutes the framework of this thesis, and the aim is to characterise the semantics of the progressive, as it appears in sentence. Max was running towards the station Among the problems is one known as the "imperfective paradox". According to intuitions, sentence entails, but no entailment holds between and. Max was running towards the station Max ran towards the station Max was running to the station Max ran to the station Since and would seem to have the same (...) logical form, they ought to have similar entailments. Why is this not so? This thesis is divided into two parts. The first part, containing chapters 2 to 5, evaluates the current formal theories that tackle the imperfective paradox. Solving the imperfective paradox consists of two tasks: the first is to characterise a semantic distinction between and, and the second is to supply a semantic analysis of the progressive that is sensitive to this distinction and so results in a solution to the imperfective paradox. According to how the current theories tackle these two tasks, they can be classified into three camps which I will name as follows: the Heterogeneous Strategy provides one approach for fulfilling the first task, the Eventual Outcome Strategy provides an approach for defining the semantics of the progressive, and the Event-based Strategy provides a further alternative for achieving the two tasks at hand. All these strategies are intuitively motivated, but we will argue that they are ultimately untenable. The Heterogeneous Strategy and the Event-based Strategy fail to mesh with the treatment of point adverbials such as "At 3pm", and the Eventual Outcome Strategy produces a definition of the progressive that is viciously circular. Thus although the current theories that tackle the imperfective paradox are highly intuitively motivated, we will ultimately show that the formulations of these intuitions give rise to conflicts and tensions when it comes to explaining the natural language data. The second part of the thesis, containing chapters 6 and 7, offers a new approach for tackling the imperfective paradox. This new approach invokes two tools; the interval-based temporal logic IQ, and Moens' event-based AI model of temporal reference. IQ is an interval-based temporal logic with several innovations. First, unlike the previous interval-based theories, IQ maintains a high level of homogeneity: an atomic sentence is true at an interval I only if it is true at all subintervals of I. Second, IQ offers a technique whereby temporal expressions can have representations that receive their semantic interpretation with respect to context. We use the roles of homogeneity and context in IQ to characterise the semantics of aspect, where the characterisation is based on Moens' model. This provides an arena in which to tackle the imperfective paradox anew. We explain the entailment between and, and at the same time explain why no entailment holds between and. Furthermore, we overcome the problems concerning the treatment of adverbials such as "At 3pm" that are encountered in the Heterogeneous Strategy and the Event-based Strategy, and, since we do not adopt the Eventual Outcome Strategy in defining the progressive, we overcome that strategy's problem of circularity. Hence our solution to the imperfective paradox will provide answers to the puzzles posed in the earlier chapters of the thesis. (shrink)

Arguments from analogy are pervasive in everyday reasoning, mathematics, philosophy, and science. Informal logic studies everyday argumentation in ordinary language. A branch of fuzzy logic, approximate reasoning, seeks to model facets of everyday reasoning with vague concepts in ill-defined situations. Ways of combining the results from these fields will be suggested by introducing a new argumentation scheme—a fuzzy analogical argument from classification—with the associated critical questions. This will be motivated by a case study of analogical reasoning in the virtual friendship (...) debate within information ethics. The virtual friendship debate is a disagreement over whether virtual friendships are genuine friendships. It will be argued that the debate could move away from its current impasse, caused by unproductive metaphysical and logical assumptions, if extant arguments are reinterpreted as fuzzy analogical arguments from classification, and subjected to a new set of critical questions which would replace the quest for facts of essence about friendship with an emphasis on empirical data, persuasion, and definitional power. (shrink)

Event semantics is concerned with the formal structure of sentences which appear to describe an event of some kind, e.g. ‘Brutus kills Caesar,’ or ‘My tooth fell out.’ Phenomenologists should be interested in work in this field, if they hope to rescue Husserl’s phenomenology of judgment from its narrow focus on copular judgments of the form ‘S is p.’ An adequate phenomenology of judgment must ultimately develop an account of judgments whose intentional correlates seem to be events, rather than states (...) of affairs, since such judgments are ubiquitous. For this endeavor, existing work on the formal structure of event sentences provides a crucial foothold. However, phenomenologists cannot simply import semantic theories for their own use, without first evaluating them for phenomenological plausibility. This concern is particularly acute in the case of the widely-adopted “Davidsonian” approach, according to which the logical structure of event sentences diverges radically from natural language syntax. The Davidsonian form introduces a “covert” variable, which stands in for an event. Thus, the sentence ‘Brutus kills Caesar’ becomes, ‘There is an event e that is a killing of Caesar by Brutus.’ Such a theory, if correct, would have decisive consequences for the phenomenology of event sentences, and even of events themselves. Yet the introduction of covert variables in turn introduces—I argue—a covert intentional object, without assessing this idea for phenomenological plausibility. Building on Husserl’s phenomenology of predication, I develop a criterion for evaluating this hypothesis, and argue that the Davidsonian approach, as it stands, is phenomenologically untenable. (shrink)

Kriegel has revived adverbialism as a theory of consciousness. But recent attacks have shed doubt on the viability of the theory. To save adverbialism, I propose that the adverbialist take a stance on the nature of adverbial modification. On one leading theory, adverbial modification turns on the instantiation by a substance of a psychological type. But the resulting formulation of adverbialism turns out to be a mere notational variant on the relationalist approaches against which Kriegel dialectically situates adverbialism. By contrast, (...) I argue that the way to be an adverbialist is to adopt an event ontology, emphasizing the active contribution of the mind to the phenomenology of experience. My close examination of the semantics of adverbial modification throws this metaphysical distinction into sharp relief. The event-based semantics overcomes recent objections in a way superior to the methods that would have been obviously available in the absence of a sophisticated semantics. (shrink)