LING 364: Introduction to Formal Semantics Lecture 2 January 17th.

Slides:



Advertisements
Similar presentations
Kaplan’s Theory of Indexicals
Advertisements

SEMANTICS.
Unlocking the mind to critical thinking. “Thinking about Thinking”
Albert Gatt LIN3021 Formal Semantics Lecture 5. In this lecture Modification: How adjectives modify nouns The problem of vagueness Different types of.
Chapter 5 Semantics The First Week.
Albert Gatt LIN1180 – Semantics Lecture 10. Part 1 (from last week) Theories of presupposition: the semantics- pragmatics interface.
LING 364: Introduction to Formal Semantics Lecture 8 February 7th.
LING 581: Advanced Computational Linguistics Lecture Notes April 23rd.
LING 364: Introduction to Formal Semantics Lecture 26 April 20th.
LING 364: Introduction to Formal Semantics Lecture 9 February 9th.
LING 364: Introduction to Formal Semantics
CAS LX 502 Semantics 1b. The Truth Ch. 1.
LING 364: Introduction to Formal Semantics Lecture 4 January 24th.
CSCI 5582 Fall 2006 CSCI 5582 Artificial Intelligence Lecture 9 Jim Martin.
LING 364: Introduction to Formal Semantics Lecture 1 January 12th.
LING1001: Semantics I S.Matthews ‘That’s just semantics’ – George Bush, Senior.
LING 364: Introduction to Formal Semantics Lecture 3 January 19th.
Saying the Same Thing. Concepts Counting by –Sentence token –Sentence type –Proposition –Statement Synonomy Ambiguity Context Dependence Sense Reference.
LING 438/538 Computational Linguistics Sandiway Fong Lecture 17: 10/24.
LING 364: Introduction to Formal Semantics Lecture 5 January 26th.
Meaning and Language Part 1.
Unit Three: Simple & Progressive Verbs; Gerunds & Infinitives
Logic In Part 2 Modules 1 through 5, our topic is symbolic logic. We will be studying the basic elements and forms that provide the structural foundations.
Test Preparation Strategies
 Please take out a piece of paper and label it with the following: ◦ Name, Date, English, Period ◦ Title: Quiz R2.7 Make an Assertion ◦ #1-5.
Copyright © Cengage Learning. All rights reserved.
Module Code CT1H01NI: Study Skills For Communication Technology Lecture for Week Autumn.
Unit 7 Critical Thinking and Reading Comprehension
The Writing Process Prewriting.
LING 581: Advanced Computational Linguistics Lecture Notes April 16th.
MATH 224 – Discrete Mathematics
Kareem Khalifa Department of Philosophy Middlebury College.
LING 581: Advanced Computational Linguistics Lecture Notes February 16th.
Dr. Shazzad Hosain Department of EECS North South Universtiy Lecture 04 – Part A Knowledge Representation and Reasoning.
LOGIC AND ONTOLOGY Both logic and ontology are important areas of philosophy covering large, diverse, and active research projects. These two areas overlap.
1 Predicate (Relational) Logic 1. Introduction The propositional logic is not powerful enough to express certain types of relationship between propositions.
Entity Theories of Meaning. Meaning Talk Theory should make sense of meaning talk Theory should make sense of meaning talk What sorts of things do we.
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
Due Thursday, June 7. No late projects will be accepted. If students will be out on Thursday they need to hand their projects in early.
Quote Analysis “ ”. Review: The format of an essay Intro Paragraph:  although you do not need to have a whole intro paragraph with IN CLASS ESSAYS, it.
The Vocabulary Library An Introduction. Introduction Vocabulary is always a struggle for students, especially in a class where terms are just as “foreign”
Lecture 1 Ling 442.
Knowledge LO: To understand the distinction between three different types of knowledge. To learn some basic epistemological distinctions. To understand.
Questioning as Formative Assessment: GRECC Math Alliance February 4 th - 7 th, 2008.
Meaning and Language Part 1. Plan We will talk about two different types of meaning, corresponding to two different types of objects: –Lexical Semantics:
Logics for Data and Knowledge Representation ClassL (part 1): syntax and semantics.
CHAPTER SIX Copyright © 2012 Pearson Education Inc. Becoming an Effective Reader PowerPoint by Mary Dubbé Thomas Nelson Community College PART ONE Outlines.
Reading Strategies Developing a Plan to Implement Reading Skills.
Artificial Intelligence Logical Agents Chapter 7.
Science Journals An introduction to Science Journals.
Reading Critically Chapter 8 Fact and Opinion PART 4 The Art of Critical Reading Mather ▪ McCarthy © 2009 The McGraw-Hill Companies, Inc. All rights reserved.
Introduction to CSCI 1311 Dr. Mark C. Lewis
Hidden Slide for Instructor
Chapter 3: Measurement: Accuracy, Precision, and Error
LING 581: Advanced Computational Linguistics
Knowledge and reasoning – second part
Language, Logic, and Meaning
Writing a Comparative Essay
Saying the Same Thing.
CS100: Discrete structures
Chapter 1 The Foundations: Logic and Proof, Sets, and Functions
Title of notes: Text Annotation page 7 right side (RS)
Logics for Data and Knowledge Representation
Knowledge and reasoning – second part
Introduction to Semantics
Selection—Making Decisions
Topics discussed in this section:
Validity and Soundness, Again
Truth tables.
Presentation transcript:

LING 364: Introduction to Formal Semantics Lecture 2 January 17th

Administrivia Reminders –you should have already sent me an Name/Contact /Year/Major/Background/ Relevant Background/ Why are you interested in natural language semantics? –this Thursday: computer lab lecture meet in the SBRI lab (Social Sciences 224)

Administrivia SWI-Prolog –have you successfully installed SWI-Prolog on your computer? –

Today’s Topic Chapter 1: –The Fundamental Question –from the book: What is Meaning? Fundamentals of Formal Semantics P. Portner Blackwell 2005 Short Quiz 4:30pm –you have 15 mins –hand it in at the end

Formal Semantics –(page 1) Why formalize? can construct precise theories precise theories are better –“they don’t allow the theorists to fudge the data quite so easily as less precise theories do”

Formal Semantics –We all understand the rationale here –But how would you encode the reasoning? –Why formalize? can construct precise theories precise theories are better –“they don’t allow the theorists to fudge the data quite so easily as less precise theories do”

Formal Semantics –We all understand the rationale here –But how would you encode the reasoning? Example: – let f be a function “formalize” – f(theory) = precise_theory – precise_theory < theory “they don’t allow the theorists to fudge the data quite so easily as less precise theories do”

Simple past vs. present perfect –(1) Mary received the most votes in the election –(2) Mary has received the most votes in the election –(so) Mary will be the next president Idea –(1) reports a past event –(2) reports a past event and a current “result” –present perfect expectation... (entailment)

Simple past vs. present perfect –(3) Will Mary be able to finish Dos Passos’ USA trilogy by the next club meeting? It’s so long! –Well, she has read Remembrance of Things Past, and its even longer –what’s a “result” here? expectation... (entailment) Mary has read a really long book before and therefore...

Question What is a Meaning? –difficult sometimes to pin down precisely –by reference to other words –foreign language: 犬 = “dog”

Question What is a Meaning? Example: –important –Merriam-Webster (sense 1): marked by or indicative of significant worth or consequence : valuable in content or relationship

Question What is a Meaning? Example: –important –Thesaurus –Text: 1 having great meaning or lasting effect – –Synonyms big, consequential, eventful, major, material, meaningful, momentous, significant, substantial, weighty –Related Words decisive, fatal, fateful, strategic; earnest, grave, serious, sincere; distinctive, exceptional, impressive, outstanding, prominent, remarkable; valuable, worthwhile, worthy; distinguished, eminent, great, illustrious, preeminent, prestigious; famous, notorious, renowned; all-important, critical, crucial

Question What is a Meaning? Meaning = Concept (or thought or idea) –“dog” maps to DOG – maps to Problems –need to provide a concept for every meaningful piece of language –how about expressions “whatever”, “three” –need to map different expressions into same concept –twin earth experiment –DOG a shared concept?

Question What is a Meaning? Meaning = Concept (or thought or idea) –twin earth experiment –same except H2O = XYZ –“water” refers to H2O –“water” refers to XYZ –identical twins on the two earths don’t mean the same thing by the word “water”

Question What is a Meaning? Meaning = Concept (or thought or idea) Skip the “Meaning = Concept” definition reason the word “dog” means the same thing for you and me –not that we have the same mental constructs relating to the word –it’s because of our intention to apply the word “dog” to the same things out there in our environment

Truth Conditions –The circle is inside the square Can draw a picture of scenarios for which the statement is true and the statement is false truth-conditions different from truth- value

Truth Conditions –The circle is inside the square Proposition expressed by a sentence is its truth-conditions i.e. sets of possible worlds –dog –set of dogs –set of things that aren’t dogs

Truth Conditions –The circle is inside the square and the circle is dark –and = set intersection –Mary is a student and a baseball fan

Truth Conditions –Mary and John bought a book –and = set intersection ? are Mary and John sets? how about “and = set union”?

Truth Conditions –The square is bigger than the circle –The circle is smaller than the square –Given two sentences, evaluate Synonymous Contrary Entailment Tautology: P or not P

Quiz 1. Does sleep entail snore? 2. Does snore presuppose sleep? 3. Given the statement “All crows are black”, give an example of a sentence expressing a tautology involving this statement?