Читать книгу Formal Semantics in Modern Type Theories - Stergios Chatzikyriakidis - Страница 12

Simple examples in Montague semantics can be found in Table 1.1, briefly showing how to interpret some of the basic linguistic categories in the Montagovian setting, including common nouns (CN), verbs (IV), adjectives (ADJ), verb-modifying adverbs (ADV_VP), modified CNs, quantifiers and sentences (S). In the following section, we can find Table 1.3 with examples for these categories interpreted in MTT-semantics. For example, in Montague semantics, verb phrases are interpreted as predicates of type e → t and sentences as formulas of type t, as (1.5) and (1.6) illustrate (see, the lines for IV and S in Table 1.1):

(1.5) talk : e → t

(1.6) ∃x : e.man(x) ∧ talk(x)

A remark we should make is that, in type theories, typing judgments and logical formulas are different. In particular, a typing judgment is not a logical formula: (1.5) is a typing judgment stating that talk is of type e → t, while (1.6) is a logical formula of type t. With such examples, the difference seems to be apparent and there is no need to be emphasized. However, this becomes more important in the setting of modern type theories where much richer typing mechanisms are employed (see, for example, Chapter 2).

A notational convention is adopted in this book: we shall use a different font to represent semantics of a natural language phrase. For instance, for the natural language words “man” and “talk”, we shall use man and talk for their semantics (as in Table 1.1).

A linguistic feature that has been studied carefully in the Montagovian framework is intensionality, following the proposal made by Carnap (1947) that the intension of an expression be modeled by a function on possible states of affairs whose value, at a particular state, is the extension of the expression in that state. Nearly all constructions in English have some intensional instances (see, for example, a discussion on this in Partee (1988), among others). This has led Montague to give a special treatment of intensionality in his IL. It can be treated by adding a special base type s to simple type theory C, which allows one to consider types like s → A.¹¹

For instance, we may interpret the intension of a sentence as a function from possible worlds to truth values, of type s → t. This approach to intensionality has been extensively studied, although it is not regarded as completely satisfactory in some aspects: for example, it suffers from the so-called problem of logical omniscience in that logically equivalent sentences are regarded as having the same meaning, which may be incorrect in an intensional context. In this book, we shall largely ignore the intensionality issue, with some exceptions,¹² not because it is not important (it obviously is), but rather that it is orthogonal to most, if not all, of the issues we are going to discuss.