Composing intensions. Thomas Ede Zimmermann (Frankfurt) University of Hyderabad March 2012

Similar documents
Explicit and implicit world variables

Introduction to Intensional Logic. Ling 406/802 Read Meaning and Grammar, Ch

Focus in complex noun phrases

Intensionality. 1. Intensional Propositional Logic (IntPL).

Kripke on Frege on Sense and Reference. David Chalmers

It is not the case that ϕ. p = It is not the case that it is snowing = It is not. r = It is not the case that Mary will go to the party =

Topics in Lexical-Functional Grammar. Ronald M. Kaplan and Mary Dalrymple. Xerox PARC. August 1995

Introduction to Semantics (EGG Wroclaw 05)

Fregean Compositionality MCMP, June 2015 Thomas Ede Zimmermann (Goethe University, Frankfurt)

Reflexives and non-fregean quantifiers

English as a programming language?

Semantics and Generative Grammar. An Introduction to Intensional Semantics 1

Introduction to fuzzy logic

How to determine if a statement is true or false. Fuzzy logic deal with statements that are somewhat vague, such as: this paint is grey.

Compositionality Problems and How to Solve Them Thomas Ede Zimmermann, Goethe-Universität Frankfurt Hyderabad CogSci Colloquium, March 09

THE LANGUAGE OF FIRST-ORDER LOGIC (FOL) Sec2 Sec1(1-16)

Philosophy 220. Truth-Functional Equivalence and Consistency

Bringing machine learning & compositional semantics together: central concepts

Worlds and Models Hyderabad CogSci Colloquium, March 09

Presupposition and Montague Grammar (Krahmer 1998, Ch. 5)

Relations. Carl Pollard. October 11, Department of Linguistics Ohio State University

Grundlagenmodul Semantik All Exercises

Brief Introduction to Prolog

A Review of the Essentials of Extensional Semantics 1

1. The Semantic Enterprise. 2. Semantic Values Intensions and Extensions. 3. Situations

Intensional semantics: worlds, modals, conditionals

a. ~p : if p is T, then ~p is F, and vice versa

A Logic Primer. Stavros Tripakis University of California, Berkeley. Stavros Tripakis (UC Berkeley) EE 144/244, Fall 2014 A Logic Primer 1 / 35

CHAPTER THREE: RELATIONS AND FUNCTIONS

Relative meanings and other (unexpected) applications of the synonymy calculus

Generalized Quantifiers Logical and Linguistic Aspects

Mathematics for linguists

A Logic Primer. Stavros Tripakis University of California, Berkeley

The two-dimensionalism of The Conscious Mind

Semantics 2 Part 1: Relative Clauses and Variables

THE SYNTAX AND SEMANTICS OF STANDARD QUANTIFICATION THEORY WITH IDENTITY (SQT)

Propositional Logic. Yimei Xiang 11 February format strictly follow the laws and never skip any step.

INTENSIONS MARCUS KRACHT

Meaning and Reference INTENSIONAL AND MODAL LOGIC. Intensional Logic. Frege: Predicators (general terms) have

Class 29 - November 3 Semantics for Predicate Logic

Epistemic Informativeness

Spring 2018 Ling 620 The Basics of Intensional Semantics, Part 1: The Motivation for Intensions and How to Formalize Them 1

Karttunen Semantics. Last week. LING 147. Semantics of Questions Week 4 Yimei Xiang September 22, I. Intensionality

Ling 130 Notes: Syntax and Semantics of Propositional Logic

Computational Semantics

240 Metaphysics. Frege s Puzzle. Chapter 26

Propositional Logic. Testing, Quality Assurance, and Maintenance Winter Prof. Arie Gurfinkel

Knowledge base (KB) = set of sentences in a formal language Declarative approach to building an agent (or other system):

Computational Semantics Day 4: Extensionality and intensionality

Logic Overview, I. and T T T T F F F T F F F F

First Order Logic: Syntax and Semantics

Chapter 4: Classical Propositional Semantics

Ling 98a: The Meaning of Negation (Week 5)

First-Degree Entailment

cis32-ai lecture # 18 mon-3-apr-2006

Exhaustive interpretations: what to say and what not to say

An inquisitive approach to occasion-sensitivity

1. Propositions: Contrapositives and Converses

Where are we? Operations on fuzzy sets (cont.) Fuzzy Logic. Motivation. Crisp and fuzzy sets. Examples

Moreno Mitrović. The Saarland Lectures on Formal Semantics

Advanced Topics in LP and FP

5. And. 5.1 The conjunction

15414/614 Optional Lecture 1: Propositional Logic

cse541 LOGIC FOR COMPUTER SCIENCE

System f2lp Computing Answer Sets of First-Order Formulas

In Meaning and Necessity (1947), Carnap laid the foundations for much of the

Kaplan s Paradox and Epistemically Possible Worlds

LING 106. Knowledge of Meaning Lecture 3-1 Yimei Xiang Feb 6, Propositional logic

Propositional Logic 1

1 Zimmermann, Formal Semantics

Focus Marking, Focus Interpretation & Focus Sensitivity. Malte Zimmermann & Daniel Hole ESSLI 2009, Bordeaux

Ling 130 Notes: Predicate Logic and Natural Deduction

CSE 20: Discrete Mathematics

CSCE 222 Discrete Structures for Computing. Propositional Logic. Dr. Hyunyoung Lee. !!!!!! Based on slides by Andreas Klappenecker

CS256/Spring 2008 Lecture #11 Zohar Manna. Beyond Temporal Logics

Logica e Linguaggio. Raffaella Bernardi. March 22, University of Trento

Hamblin Semantics & Focus

Logic: Propositional Logic (Part I)

Introduction to Semantics. The Formalization of Meaning 1

Artificial Intelligence Knowledge Representation I

Identity. We often use the word identical to simply mean looks the same. For instance:

Propositional Logic Logical Implication (4A) Young W. Lim 4/21/17

Partitioning Logical Space

1.1 Language and Logic

Propositional Languages

CHAPTER 4 CLASSICAL PROPOSITIONAL SEMANTICS

Model-theoretic Vagueness vs. Epistemic Vagueness

n-ary Quantifiers and the Expressive Power of DP-Compositions

Introduction to the semantics of questions

Reasoning. Inference. Knowledge Representation 4/6/2018. User

So, we can say that fuzzy proposition is a statement p which acquires a fuzzy truth value T(p) ranges from(0 to1).

COMP219: Artificial Intelligence. Lecture 19: Logic for KR

Model-Theory of Property Grammars with Features

Introduction to Decision Sciences Lecture 2

Logic for Computer Science - Week 4 Natural Deduction

CSC Discrete Math I, Spring Propositional Logic

THE PREDICATE CALCULUS

Semantics and Generative Grammar. A Little Bit on Adverbs and Events

Homogeneity and Plurals: From the Strongest Meaning Hypothesis to Supervaluations

COMP219: Artificial Intelligence. Lecture 19: Logic for KR

Transcription:

Composing intensions Thomas Ede Zimmermann (Frankfurt) University of Hyderabad March 2012

PLAN 0. Compositionality 1. Composing Extensions 2. Intensions 3. Intensional Contexts 4. Afterthoughts

0. Compositionality Semantic values of complex expressions are determined by combining semantic values of their immediate parts: =

Example =

VP = NP V NP John likes Mary = NP V John likes NP Mary

VP = NP V NP John likes Mary = NP V John likes NP Mary (strictly speaking)

VP = NP V NP John likes Mary = NP V John likes NP Mary = John likes Mary

1. Composing Extensions Extensions: rough characterization The extension of an expression is its contribution to extra-linguistic reference (relative to a given possible situation).

Extensions: examples in (possible) situation s* John s* = j; Mary s* = m; sleeps s* = {(x) in s*, x sleeps} = {(a),(c), } likes s* = {(x,y) in s*, x likes y} recommends s* = {(a,a), (b,b),,(a,m), } = {(x,y,z) in s*, x recommends y to z} ={(a,b,c), }

Extensional composition: direct objects likes Mary s* = {(x) in s*, x likes Mary} E.g.: likes s* = {(a,a), (b,b), (c,b),(m,b),(h,c),,(a,m),(h,m), (m,m),(a,n),(d,n), } likes Mary s* = {(a),(h),(m)} = {(a,a), (b,b), (c,b),(m,b),(h,c),,(a,m),(h,m), (m,m),(a,n),(d,n), }

likes Mary s* = {(x) in s*, x likes Mary} = {(x) (x, Mary s* ) likes s* } = likes s* Mary s* L u = {(x) (x,u) L} i.e.: (x) L u (x,u) L (where L is the extension of a transitive verb and u is an individual)

Extensional composition: indirect objects recommends Mary s* = {(x,y) in s*, x recommends y to Mary} E.g.: recommends s* = {(a,b,c),,(a,c,m),(h,a,m),(f,b,m),(a,b,n), } recommends Mary s* = {(a,c),(h,a),(f,b)} = {(a,b,c),,(a,c,m),(h,a,m),(f,b,m),(a,b,n), }

recommends Mary s* = {(x,y) in s*, x recommends y to Mary} = {(x,y) (x,y, Mary s* ) recommends s* } = recommends s* Mary s* R u = {(x,y) (x,y,u) R} i.e.: (x,y) R u (x,y,u) R (where R is the extension of a ditransitive verb and u is an individual)

Parallelism between saturation and -arity - from 3 places to 2: R u = {(x,y) (x,y,u) R} - from 2 places to 1: L u = {(x) (x,u) L} - from 1 places to 0? P u = {( ) (u) L}

Extensional composition: subjects If likes Mary s* = {(a),(j),(m)}: then: John likes Mary s* = {( a ), ( j ), ( m )} = {( )}! If likes Mary s* = {(a),(r)}: then: John likes Mary s* = {( a ), ( r )} = {} = Ø!

Truth values NP VP s* = {()} if ( NP s* ) VP s* Ø if (u) P 1 := {()} TRUE 0 := Ø FALSE

2. Intensions Intensions: rough characterization The intension of an expression is its contribution to informational content. The intension of a sentence may depend on the contex of utterance; this aspect will be suppressed in what follows.

Propositions and Logical Space (Declarative) Sentence Truth value in situation s 0 s 1 s 2 s 2 It is raining. 1 1 1 0 It is not raining. 0 0 0 1 It is raining heavily. 1 0 0 0

The truth value profile of a sentence mirrors its information value: the possible situations it rules out, make up the information it conveys. Information value measured by truth value profiles is qualitative, not (just) quantitative. Information value depends on (epistemic) background: the elimination of a particular situation is only valuable if it has not been ruled out before.

Definition The proposition expressed by a sentence is its maximal truth value profile, i.e. the truth value profile relative to Logical Space, the set of all situations possible. The information value of a particular sentence on a particular background can be obtained from the proposition it expresses by relativizing it to the situations compatible with the background.

Extension profiles Referential term Referent in s 0, s 1, the mayor of Paris a b c a the oldest person alive c d e a Mary m m m m Predicate is sleeping Extension in s 0, s 1, {a,b,c } Ø {a, c } {f,g, } is snoring {a} Ø Ø {f,g, }

Definition The intension of an expression A A is its maximal extension profile, i.e. the extension profile relative to Logical Space, the set of all situations possible. The intension of a sentence is the proposition it expresses. A s = A (s)

Pointwise composition For any s: John likes Mary (s) = John likes Mary s = John s likes s Mary s = John (s) likes (s) Mary (s) where is as above The intension of John likes Mary is that function that assigns the above value to any s.

Generalizing NP VP = λs. NP (s) VP (s) etc. where λx. x means: the function that assigns x to any x Pointwise composition of extensions guarantees intensional compositionality.

3. Intensional Contexts Compositionality and Substitutivity If: and: then: X = Y Z Y Z Y = U Y X Z = U X Z

More generally If A derives from B by substituting a (not necessarily immediate) constiuent C by some expression D such that C = D then: A = (A) Every person who came to the party brought a bottle (B) Every member of the department brought a bottle (C) member of the department (D) person who came to the party B (given compositionality)

Substitution failure (A) John knows that Mary is a postdoc (B) John knows that Hannover is the capitol of Lower Saxony (C) Hannover is the capitol of Lower Saxony (D) Mary is a postdoc Mary is a postdoc s* = H. is the capital of L. S. s* = 1 John knows that H. is the capital of L.S. s* = 0 John knows that Mary is a postdoc s* = 1

Frege s solution John knows that Mary is a postdoc s* = John s* knows that Mary is a postdoc s* = John s* knows s* Mary is a postdoc = John s* knows s* λs. Mary is a postdoc s = John s* knows s* λs. Mary s is a postdoc s = John s* knows s* λs. Mary s postdoc s =

Fregean Compositionality Extensions of compound expressions are determined by the extensions or intensions of their immediate parts and the mode of composition.

More precisely: (thanks to Peter Pagin) The extension of a compound expressions is determined by the extensions of their immediate parts (and the relevant mode of composition) if the latter satisfy extensional substitution; otherwise its extension is determined by the intension(s) of the immediate constituent(s) defying extensional substitution and the extension(s) of the other constituents (plus the relevant mode of composition).

Fregean Compositionality Extensions of compound expressions are determined by the extensions or intensions of their immediate parts and the mode of composition. implies Intensional Compositionality Intensions of compound expressions are determined by the intensions of their immediate parts and the mode of composition.

E.g.: knows that Mary is a postdoc = λs. knows that Mary is a postdoc s = λs. knows s Mary is a postdoc = λs. knows (s) Mary isa postdoc

Intensional Compositionality Intensions of compound expressions are determined by the intensions of their immediate parts and the mode of composition. does not imply Fregean Compositionality Extensions of compound expressions are determined by the extensions or intensions of their immediate parts and the mode of composition.

(Artificial) Counter-examples If, for any situation s, S s = 1 S s = S s* (where S is the result of some morpho-syntactic process operating on S) or: X Y s = 1 X s Y s = 1 & s = s* (where is some extensional operation resulting in truth values) then Fregean Compositionality fails, but Intensional Compositionality may still hold.

4. Afterthoughts Compositionality, characters and monsters Frege on intensional compositionality