Lecture 10 (de re/de dicto) Ling 442. Exercises Translate the following into the logical language w/ restricted quantifiers. 1.Every dog that has a bone.

Slides:



Advertisements
Similar presentations
The Logic of Quantified Statements
Advertisements

Techniques for Proving the Completeness of a Proof System Hongseok Yang Seoul National University Cristiano Calcagno Imperial College.
First-Order Logic (and beyond)
LING 364: Introduction to Formal Semantics Lecture 24 April 13th.
Semantics (Representing Meaning)
SEMANTICS.
Modality Possible Worlds. Possibility and Necessity Triangles have three sides. The Wassermans have two kids.
Lecture 15 Ling 442. Exercises (part 1) Do the following examples receive “continuous state” interpretations? 1.Gemma has been a juggler since she was.
CAS LX 502 8a. Formal semantics Truth and meaning The basis of formal semantics: knowing the meaning of a sentence is knowing under what conditions.
ISBN Chapter 3 Describing Syntax and Semantics.
8a. Sense, reference, intension, extension, modality 5.1-2,3-4;7
CAS LX 502 Semantics 8b. Propositional attitudes 7, 9.
CAS LX 502 Semantics 1b. The Truth Ch. 1.
1 Chapter 7 Propositional and Predicate Logic. 2 Chapter 7 Contents (1) l What is Logic? l Logical Operators l Translating between English and Logic l.
1 Modal logic(s). 2 Encoding modality linguistically Auxiliary (modal) verbs can, should, may, must, could, ought to,... Adverbs possibly, perhaps, allegedly,...
Describing Syntax and Semantics
Meaning and Language Part 1.
Lecture 6 Ling 442. Exercises (part 1) Why do the following two sentences have the same truth conditions? (1)You must not smoke here. (2)You may not smoke.
Predicates and Quantifiers
February 2009Introduction to Semantics1 Logic, Representation and Inference Introduction to Semantics What is semantics for? Role of FOL Montague Approach.
LIN1180/LIN5082 Semantics Lecture 3
Albert Gatt LIN1180 Semantics. In this lecture More on the concept of truth A priori / necessary / analytic Presupposition.
November 2003CSA4050: Semantics I1 CSA4050: Advanced Topics in NLP Semantics I What is semantics for? Role of FOL Montague Approach.
Propositional Logic: Logical Agents (Part I) This lecture topic: Propositional Logic (two lectures) Chapter (this lecture, Part I) Chapter 7.5.
Lecture 13 Ling 442. Exercises (part 1) (1) p. 173 Classify the predicates into four different types. a.The door [creaked open]. b.Sam [got the joke]
1 Special Electives of Comp.Linguistics: Processing Anaphoric Expressions Eleni Miltsakaki AUTH Fall 2005-Lecture 2.
1 LIN 1310B Introduction to Linguistics Prof: Nikolay Slavkov TA: Qinghua Tang CLASS 24, April 3, 2007.
Lecture 7 Natural Language Determiners Ling 442. exercises 1. (a) is ambiguous. Explain the two interpretations. (a)Bill might have been killed. 2. Do.
1 Predicate (Relational) Logic 1. Introduction The propositional logic is not powerful enough to express certain types of relationship between propositions.
Albert Gatt LIN3021 Formal Semantics Lecture 4. In this lecture Compositionality in Natural Langauge revisited: The role of types The typed lambda calculus.
LECTURE 2: SEMANTICS IN LINGUISTICS
Sense of Properties and Stereotypes
SEMANTICS An Introduction to Linguistics. What does semantics study? Semantics studies the meaning of language.
Unit 4: REFERRING EXPRESSIONS
Artificial Intelligence 2004 Non-Classical Logics Non-Classical Logics Specific Language Constructs added to classic FOPL Different Types of Logics.
November 2006Semantics I1 Natural Language Processing Semantics I What is semantics for? Role of FOL Montague Approach.
Chapter 1: The Foundations: Logic and Proofs
Lectures on English Grammar, 11
Lectures 8-9 Ling 442. Exercises (1) Reconstruct the original English sentence for each: 1.|birds  fly| > ½ |birds| 2.dog  bite  {} 3.student  study_hard.
CS 285- Discrete Mathematics Lecture 4. Section 1.3 Predicate logic Predicate logic is an extension of propositional logic that permits concisely reasoning.
Lecture 2 (Chapter 2) Introduction to Semantics and Pragmatics.
Lecture 16 Ling 442. exercises 1.What is the difference between an event sentence and a state sentence in a discourse context? E.g. (a) and (b) a.Mary.
SYNTAX.
(SYNTAX-DRIVEN) SEMANTICS Yılmaz Kılıçaslan. Outline  Semiotic Triangle –Syntax –Semantics –Pragmatics  (Syntax-driven) Semantics –Semantics via languages.
Lecture 1 Ling 442.
Introduction to Philosophy Lecture 1-b What is Philosophy? (Part 2) By David Kelsey.
First-Order Logic Semantics Reading: Chapter 8, , FOL Syntax and Semantics read: FOL Knowledge Engineering read: FOL.
EEL 5937 Content languages EEL 5937 Multi Agent Systems Lecture 10, Feb. 6, 2003 Lotzi Bölöni.
PHILOSOPHY OF LANGUAGE Some topics and historical issues of the 20 th century.
Lecture 2 Discrete Mathematics 9/3/ Introduction What is Discrete Mathematics? Discrete Mathematics concerns processes that consist of a sequence.
Lecture 2 Ling 442. Review/Preview Qs 1. What does our theory of semantics say about the following two syntactic categories? I.e. what semantic entities.
Lecture 3 Ling 442. exercises 1.What is the difference between implicature and entailment? 2.What is the difference between presuppositions and entailments?
Conditionals: If __________ [then] __________ statements
Counterfactuals.
Propositional Logic: Logical Agents (Part I)
PRESUPPOSITION AND ENTAILMENT
Lecture 6 Modality: Possible worlds
Lecture 7 Modality: Metaphysics of possible worlds
Natural language processing Lecture 7
Referring Expression unit 4.
Lecture 2 The Language of S5
Natural Language processing
Lecture 5 (Modality) Ling 442.
Language, Logic, and Meaning
An Introduction to Linguistics
Conditionals: If __________ [then] __________ statements
Conditionals: If __________ [then] __________ statements
Semantics 2: Syntax-Semantics Interface
Validity and Soundness, Again
Presentation transcript:

Lecture 10 (de re/de dicto) Ling 442

Exercises Translate the following into the logical language w/ restricted quantifiers. 1.Every dog that has a bone is happy. 2.Every person who owns a house invited some celebrities. 3.An apple in every basket is rotten.

Conservativity Conservativity: D is said to be conservative iff D N VP = D N is a N that VPs More precisely, when calculating the truth condition of a sentence of the form D N VP, use N  VP wherever the original truth conditions require VP and see whether the same truth conditions are preserved. If this has no effect on the truth conditions, then the determiner D is said to be conservative. All “regular” determiners are conservative, but only is not presumably because it is not a determiner.

Semantics of modal verbs (1) deontic  x  y [respect (x, y)] (2)(1) is true in w 0 iff in all worlds w that conform to an appropriate set of rules in force in w 0,,  x  y [respect (x, y)] is true. (3) ◊ deontic smoke_here (you) (4)(3) is true in w 0 iff in some worlds w that conform to an appropriate set of rules in force in w 0,, smoke_here(you) is true.

Semantics of (non-material) conditionals Epistemic conditionals: (1)If Oswald did not kill K., then someone else did. (2) (1) is true in w 0 iff in all worlds w’ that conform to what the speaker believes/knows in w 0, O did not kill K is false, or Someone else killed K is true. Note: Given that the accessible worlds all conform to what the speaker knows/believes, s/he is NOT certain that O killed K.

Semantics of (non-material) conditionals Counterfactual conditionals: (3) If Oswald had not killed Kennedy, someone else would have. (4) (3) is true in w 0 iff in all worlds w that are closest from w 0 among those in which O. did not kill K. is true, someone else killed K is true. Note: Given that in counterfactuals, the antecedent is almost always FALSE in the actual world, the speaker believes/knows that O. killed K.

De dicto vs. de re 1.John believes that the President of UW is a nice person. 2.Mary is looking for the President of UW. (1) and (2) have two readings each.

Examples (1)Clive wants to visit the university where Chomsky received his PhD. (2)Mary is looking for the plumber that John hired and liked. (3)Clive visited the university where Chomsky received his PhD. (4)Mary kissed the plumber that John hired and liked.

The semantics of believe, look_for (1)Mary believes S is true in w 0 iff in all worlds w that conform to what Mary believes in w 0, S is true. (2)Mary looks for the NP is true in w 0 iff in all worlds w in which Mary finds what she is looking for in w 0, Mary finds the NP. (This is very rough.)

Specific vs. non-specific Mary wants to marry a Canadian. John is looking for a plumber.

“opaque” contexts Some predicates (believe, look for, need, want) produce a context in which two expressions denoting the same object (for example, two definite descriptions referring to the same entity) do not necessarily produce the same reading. (But note that this is only true of de dicto readings of the expressions in quesiton.)