Formal semantics is an approach to SEMANTICS1, the study of meaning, with roots in logic, the philosophy of language, and linguistics, and since the 1980’s a core area of linguistic theory. Characteristics of formal semantics to be treated in this article include the following: Formal semanticists treat meaning as mind-independent (though abstract), contrasting with the view of meanings as concepts “in the head” (see I-LANGUAGE AND E-LANGUAGE and MEANING EXTERNALISM AND INTERNALISM); formal semanticists distinguish semantics from knowledge of semantics (Lewis (...) 1975, Cresswell 1978), which has consequences for the notion of semantic COMPETENCE. A central part of the meaning of a sentence on this approach is its TRUTH CONDITIONS, and most although not all formal semantics is model-theoretic, relating linguistic expressions to model-theoretically constructed semantic values cast in terms of truth, REFERENCE, and possible worlds. This sets formal semantics apart from approaches which view semantics as relating a sentence just to a representation on another linguistic “level” (LOGICAL FORM) or a representation in an innate LANGUAGE OF THOUGHT. The formal semanticist could accept such representations as an aspect of semantics but would insist on asking what the model-theoretic semantic interpretation of the given representationlanguage is (Lewis 1970). Formal semantics is centrally concerned with COMPOSITIONALITY at the SYNTAX-SEMANTICS INTERFACE, how the meanings of larger constituents are built up from the meanings of their parts on the basis of their syntactic structure, and with the relation between compositional SENTENCE MEANING and meaning in discourse. (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)

This paper investigates the semantics of derived statives, deverbal adjectives that fail to entail there to have been a preceding (temporal) event of the kind named by the verb they are derived from, e.g. darkened in a darkened portion of skin. Building on Gawron’s (The lexical semantics of extent verbs, San Diego State University, ms, 2009) recent observations regarding the semantics of extent uses of change of state verbs (e.g., Kim’s skin darkens between the knee and the calf) and Kennedy (...) and Levin’s (Adjectives and adverbs: syntax, semantics and disclosure, Oxford University Press, Oxford, 2008) theory of change, it is shown, contrary to previous analyses, that a fully compositional semantic analysis is possible, and thus that there is no argument from derived statives for word formation differing from semantic composition above the word level in requiring deletion operations, as in Dubinsky and Simango’s (Language 72:749–781, 1996) analysis. Further, such an analysis, by contrast with previous ones, both compositional (Jackson in Resultatives, derived statives, lexical semantic structure, Doctoral dissertation, UCLA, 2005b; Condoravdi and Deo in Proceedings of the 18th International Congress of Linguists (CIL 18), Seoul, 2008 and non-compositional (Dubinsky and Simango 1996), correctly predicts, as shown by a range of arguments, that the meaning of the derived stative contains the meaning of the verb it is derived from and that it therefore contrasts fundamentally with morphologically simple adjectives in the kind of meaning that it has. (shrink)

This paper propounds a systematic examination of the link between the Knower Paradox and provability interpretations of modal logic. The aim of the paper is threefold: to give a streamlined presentation of the Knower Paradox and related results; to clarify the notion of a syntactical treatment of modalities; finally, to discuss the kind of solution that modal provability logic provides to the Paradox. I discuss the respective strength of different versions of the Knower Paradox, both in the framework of first-order (...) arithmetic and in that of modal logic with fixed point operators. It is shown that the notion of a syntactical treatment of modalities is ambiguous between a self-referential treatment and a metalinguistic treatment of modalities, and that these two notions are independent. I survey and compare the provability interpretations of modality respectively given by Skyrms, B. (1978, The Journal of Philosophy 75: 368–387) Anderson, C.A. (1983, The Journal of Philosophy 80: 338–355) and Solovay, R. (1976, Israel Journal of Mathematics 25: 287–304). I examine how these interpretations enable us to bypass the limitations imposed by the Knower Paradox while preserving the laws of classical logic, each time by appeal to a distinct form of hierarchy. (shrink)

The paper is in two parts. In Part I, a semantics for embedded and query uses of interrogatives is put forward, couched within a situation semantics framework. Unlike many previous analyses,questions are not reductively analysed in terms of their answers. This enables us to provide a notion of ananswer that resolves a question which varies across contexts relative to parameters such as goals and inferential capabilities. In Part II of the paper, extensive motivation is provided for an ontology that distinguishes (...) propositions, questions, and facts, while at the same time the semantics provided captures an important commonality between questions and propositions: factsprove propositions andresolve questions. This commonality is exploited to provide an explanation for why predicates such as know carry presuppositions such as factivity and for a novel account of the behaviour of adverbially modified predicates with interrogative, declarative and fact-nominal arguments. (shrink)

Generics and frequency statements are puzzling phenomena: they are lawlike, yet contingent. They may be true even in the absence of any supporting instances, and extending the size of their domain does not change their truth conditions. Generics and frequency statements are parametric on time, but not on possible worlds; they cannot be applied to temporary generalizations, and yet are contingent. These constructions require a regular distribution of events along the time axis. Truth judgments of generics vary considerably across speakers, (...) whereas truth judgments of frequency statements are much more uniform. A generic may be false even if the vast majority of individuals in its domain satisfy the predicated property, whereas a frequency statement using, e.g., usually would be true. This paper argues that all these seemingly unrelated puzzles have a single underlying cause: generics and frequency statements express probability judgments, and these, in turn, are interpreted as statements of hypothetical relative frequency. (shrink)

2020 update of the entry "Properties".