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.

Slides:



Advertisements
Similar presentations
A bit of history 30 logical positivism : sentence is meaningful i it can be veried (i.e. testedfor truth and falsity). Wittgenstein 1958: meaning is use:
Advertisements

The Said and the Unsaid meets Figuration Steve Barker (Nottingham) A speech-act theoretic treatment of metaphor and irony.
Kaplan’s Theory of Indexicals
Rigorous Software Development CSCI-GA Instructor: Thomas Wies Spring 2012 Lecture 11.
Kaplan’s Theory of Indexicals
Definitions of pragmatics
Conversational Implicature (Based on Paltridge, chapter 3)
Conversations  Conversation are cooperative events:  Without cooperation, interaction would be chaotic. Would be no reason to communicate  Grice's.
Review Exercises 1) Do the COMPONENTIAL analysis (not the compositional one) of the following words: hen b) rooster Componential analysis 2) Does ‘A’
CAS LX 502 Semantics 10b. Presuppositions, take
SEMANTICS.
Presuppositions (and Focus) Sabine Iatridou. What does it mean to understand (the meaning of) a sentence? Do you understand this sentence? 1.The instructor.
Week #7: Conversational Implicature and Explicature A Follow-up from Previous Presentation and Discussion by Students.
Presupposition General definition: entailment under negation. I don’t regret saying it. I regret saying it. A topic of much interest in philosophy: the.
CAS LX 502 Semantics 10a. Presupposition Presupposition Frege 1892: Frege 1892: Referring expressions (names, definite descriptions) carry the presupposition.
Albert Gatt LIN1180 – Semantics Lecture 10. Part 1 (from last week) Theories of presupposition: the semantics- pragmatics interface.
Comp 205: Comparative Programming Languages Semantics of Imperative Programming Languages denotational semantics operational semantics logical semantics.
Logic in general Logics are formal languages for representing information such that conclusions can be drawn Syntax defines the sentences in the language.
Matakuliah: G0922/Introduction to Linguistics Tahun: 2008 Session 9 Semantic 2.
The Square Root of 2, p, and the King of France: Ontological and Epistemological Issues Encountered (and Ignored) in Introductory Mathematics Courses Martin.
LIN1180 Semantics Lecture 4 Albert Gatt.
PSY 369: Psycholinguistics Some basic linguistic theory part3.
C SC 520 Principles of Programming Languages 1 C SC 520: Principles of Programming Languages Peter J. Downey Department of Computer Science Spring 2006.
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.
Pragmatics.
Semantics 3rd class Chapter 5.
Gazzara / ENG 252 *with thanks to Dr. Seth Cable, MIT.
Translating English ‘or’ into ‘v’ Some uses of ‘or’ suggest an exclusive meaning: (1) My wife is in London or in Oxford (2) Isabel is my daughter or Lily.
CAS LX 502 8b. Formal semantics A fragment of English.
Albert Gatt LIN1180 Semantics. In this lecture More on the concept of truth A priori / necessary / analytic Presupposition.
1st-order Predicate Logic (FOL)
1 Knowledge Based Systems (CM0377) Lecture 4 (Last modified 5th February 2001)
Meaning. Semantics (the study of meaning) Semantics: the study of meaning, or to be more specific, the study of the meaning of linguistic units, words.
Dr. Shazzad Hosain Department of EECS North South Universtiy Lecture 04 – Part A Knowledge Representation and Reasoning.
Presupposition and Entailment James Pustejovsky September 23, 2005.
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 CMSC 250 Discrete Structures CMSC 250 Lecture 1.
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
Presupposition is what the speaker assumes to be the case prior to making an utterance. Entailment, which is not a pragmatic concept, is what logically.
Dr. Katie Welch LING  Heretofore, we have talked about the form of language  But, this is only half the story.  We must also consider the.
MLS 570 Critical Thinking Reading Notes Fogelin: Ch. 1 Fall Term 2006 North Central College Dr. Sally Fowler.
Presentation about pragmatic concepts Implicatures Presuppositions
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.
LDK R Logics for Data and Knowledge Representation First Order Logics (FOL) Originally by Alessandro Agostini and Fausto Giunchiglia Modified by Fausto.
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.
Mathematics for Comter I Lecture 2: Logic (1) Basic definitions Logical operators Translating English sentences.
Lecture 1 Ling 442.
Lecture 10 Semantics Sentence Interpretation. The positioning of words and phrases in syntactic structure helps determine the meaning of the entire sentence.
Albert Gatt LIN3021 Formal Semantics Lecture 3. Aims This lecture is divided into two parts: 1. We make our first attempts at formalising the notion of.
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.
Review: What is a logic? A formal language –Syntax – what expressions are legal –Semantics – what legal expressions mean –Proof system – a way of manipulating.
Lecture 8-2CS250: Intro to AI/Lisp What do you mean, “What do I mean?” Lecture 8-2 November 18 th, 1999 CS250.
Powerpoint Templates Page 1 Presupposition By Rina Husnaini Febriyanti.
Meaning and Language Part 1. Plan We will talk about two different types of meaning, corresponding to two different types of objects: –Lexical Semantics:
PRESUPPOSITION PRESENTED BY: SUHAEMI.
Artificial Intelligence Logical Agents Chapter 7.
Lecture 3 Ling 442. exercises 1.What is the difference between implicature and entailment? 2.What is the difference between presuppositions and entailments?
1884 – Grundlagen der Arithmetik (Foundations of Arithmetics)
COMMUNICATION OF MEANING
Aguilar-Guevara & Schulpen
Language, Logic, and Meaning
Review from long ago.
What is Linguistics? The scientific study of human language
EPISTEMIC LOGIC.
1st-order Predicate Logic (FOL)
Pragmatics Predmetni nastavnik: doc. dr Valentna Boskovic Markovic
Presupposition and Entailment
1st-order Predicate Logic (FOL)
Presentation transcript:

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 are they associated with? names E.g. Seattle sentences E.g. Portland is in Washington State. 2. What are the two levels of meaning proposed by Frege? 3. What is presupposition? 4. What is implicature?

notation  = the meaning of  Barack Obama = Seattle =

cow = happy =

Implicature (P. Grice) Rules of conversation Principle of relevance (22) We don’t want any rows about politics. Principle of informativeness (no need to distinguish between type 1 and type 2) (24a) Most of them passed.

Context Dependency Indexicality/deixis I, you, here, there, now, then, etc They are arguably part of pragmatics in that their denotations cannot be determined unless how/where/when the sentence containing them is used. E.g. Think about I, here.

Presuppositions Some of what a sentence conveys is not asserted; it is presupposed. Roughly: a presupposition is something that is taken for granted for the sentence to be used felicitously. Did you stop embezzling public funds? I would like another beer. The Kind of France is bald. (controversial)

Entailment Concept closely related to presupposition. Main difference: When p presupposes q, the falsity of q results in p’s not being felicitous. When p entails q, the falsity of q results in the falsity of p.

Predicate Logic (basics) binary: and, or, if … then, iff (if and only if) unary: it is not the case that … , , ,   Syntax: S  S Conn S, S   S Semantics: E.g. S1  S2 = true iff S1 = true and S2 = true Similarly for other connectives.