Meaning and Language Part 1.

Slides:



Advertisements
Similar presentations
Semantics (Representing Meaning)
Advertisements

Kaplan’s Theory of Indexicals
Copyright © Cengage Learning. All rights reserved.
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.
Chapter Chapter Summary Languages and Grammars Finite-State Machines with Output Finite-State Machines with No Output Language Recognition Turing.
Albert Gatt LIN3021 Formal Semantics Lecture 5. In this lecture Modification: How adjectives modify nouns The problem of vagueness Different types of.
Knowledge Representation I Suppose I tell you the following... The Duck-Bill Platypus and the Echidna are the only two mammals that lay eggs. Only birds.
Outline Recap Knowledge Representation I Textbook: Chapters 6, 7, 9 and 10.
Comp 205: Comparative Programming Languages Semantics of Imperative Programming Languages denotational semantics operational semantics logical semantics.
Introduction to Linguistics and Basic Terms
Logic in general Logics are formal languages for representing information such that conclusions can be drawn Syntax defines the sentences in the language.
CAS LX 502 Semantics 1b. The Truth Ch. 1.
CSRU 1100 Logic. Logic is concerned with determining: Is it True? Is it False?
CAS LX a. A notational holiday. Sets A set is a collection of entities of any kind. They can be finite: {√2, John Saeed, 1984}. They can be infinite:
PSY 369: Psycholinguistics Some basic linguistic theory part3.
Let remember from the previous lesson what is Knowledge representation
CAS LX 502 Semantics 2b. A formalism for meaning 2.5, 3.2, 3.6.
Syntax.
CAS LX 502 Semantics 3a. A formalism for meaning (cont ’ d) 3.2, 3.6.
Grammars.
1 What does “meaning” mean? Linguistics lecture #3 November 2, 2006.
CAS LX 502 8b. Formal semantics A fragment of English.
Atomic Sentences Chapter 1 Language, Proof and Logic.
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 Knowledge Based Systems (CM0377) Lecture 4 (Last modified 5th February 2001)
Propositional Calculus Composed of symbols –P – some true statement P might represent something like “It is Monday” or “the car is red” And sentences –a.
Syntax Specification and BNF © Allan C. Milne Abertay University v
Extending the Definition of Exponents © Math As A Second Language All Rights Reserved next #10 Taking the Fear out of Math 2 -8.
CSNB143 – Discrete Structure Topic 11 – Language.
Pattern-directed inference systems
Slide 1 Propositional Definite Clause Logic: Syntax, Semantics and Bottom-up Proofs Jim Little UBC CS 322 – CSP October 20, 2014.
Common Fractions © Math As A Second Language All Rights Reserved next #6 Taking the Fear out of Math 1 3 ×1 3 Multiplying.
Artificial Intelligence: Natural Language
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.
Propositional Calculus CS 270: Mathematical Foundations of Computer Science Jeremy Johnson.
Semantic Construction lecture 2. Semantic Construction Is there a systematic way of constructing semantic representation from a sentence of English? This.
Interpreting Language (with Logic)
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
Programming Languages and Design Lecture 3 Semantic Specifications of Programming Languages Instructor: Li Ma Department of Computer Science Texas Southern.
Rules, Movement, Ambiguity
Chapter 3 Describing Syntax and Semantics
Artificial Intelligence: Natural Language
Logical Agents Chapter 7. Outline Knowledge-based agents Logic in general Propositional (Boolean) logic Equivalence, validity, satisfiability.
CSCI-383 Object-Oriented Programming & Design Lecture 10.
Naïve Set Theory. Basic Definitions Naïve set theory is the non-axiomatic treatment of set theory. In the axiomatic treatment, which we will only allude.
1 LIN 1310B Introduction to Linguistics Prof: Nikolay Slavkov TA: Qinghua Tang CLASS 16, March 6, 2007.
Computer Science CPSC 322 Lecture 22 Logical Consequences, Proof Procedures (Ch 5.2.2)
Lecture 2 (Chapter 2) Introduction to Semantics and Pragmatics.
SYNTAX.
3 Phonology: Speech Sounds as a System No language has all the speech sounds possible in human languages; each language contains a selection of the possible.
◦ Process of describing the structure of phrases and sentences Chapter 8 - Phrases and sentences: grammar1.
Lecture 1 Ling 442.
1 LIN 1310B Introduction to Linguistics Prof: Nikolay Slavkov TA: Qinghua Tang CLASS 11, Feb 9, 2007.
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.
1 Lecture 3 The Languages of K, T, B and S4. 2 Last time we extended the language PC to the language S5 by adding two new symbols ‘□’ (for ‘It is necessary.
Meaning and Language Part 1. Plan We will talk about two different types of meaning, corresponding to two different types of objects: –Lexical Semantics:
Chapter 2 1. Chapter Summary Sets (This Slide) The Language of Sets - Sec 2.1 – Lecture 8 Set Operations and Set Identities - Sec 2.2 – Lecture 9 Functions.
Artificial Intelligence Logical Agents Chapter 7.
Chapter 2 Sets and Functions.
Lecture 1 – Formal Logic.
Semantics (Representing Meaning)
SYNTAX.
Language, Logic, and Meaning
Chapter Eight Syntax.
Part I: Basics and Constituency
Chapter Eight Syntax.
ALI JABBER KARAM Presented by :
Semantics 2: Syntax-Semantics Interface
Starting out with formal logic
Presentation transcript:

Meaning and Language Part 1

Plan We will talk about two different types of meaning, corresponding to two different types of objects: Lexical Semantics: Roughly, the meaning of individual words Compositional Semantics: How larger objects (clauses, sentences) come to mean what they do. Relatedly, how formal logic can be used as a tool to study language However: These two fit together, as discussed in the reading (Partee) That is, aspects of what we want to say about what words mean will interact with what we say about larger structures Today: Some distinctions Basic sets and truth conditions Working towards logic for language

Some Initial Points Remember that for (content) words like cat, tree, horse, etc. there is an arbitrary connection between sound form and meaning:

Sound and Meaning This pairing of sound and meaning is one component of language “arbitrary” component: stressed by de Saussure “predictable” component: logic, etc. Rock bottom: basic connections in small units (morphemes,words) between sound and meaning The full range of things that we associate with human language is found only when such connections are part of a generative system for creating larger units from smaller ones, i.e. the syntax (remember last week)

Outline Traditional distinctions for sound/meaning connections (homophony, polysemy) Words and sets (as in set theory) Basic cases (nouns and adjectives) Wednesday: Using formal logic to model meaning relations in language

Some Distinctions First: cases in which the “one to one” mapping between sound forms and meanings is not so direct. Homophony: A cases in which two words have the same sound form, but distinct and unrelated meanings Bank-1 ‘side of a river’ Bank-2 ‘financial institution’

Representation In any case, with homophony we are dealing with distinct words; that is: Bank-1 is to Bank-2 as cat is to dog or bank-1is to cat This is equivalent to saying that in such cases, the identity in sound form is an accident In other cases of the same sound form but differing meaning, this is not the case

Polysemy We speak of polysemy ‘many meanings’ in cases in which we have the same word but with distinct yet related senses; one case: Pool: water on the ground Pool: swimming pool In this case, there is no need to say that there are different words; perhaps really different senses of the same word

Polysemy, cont. Sometimes with polysemy the intuition is that the word is basically ‘vague’, and that its fuller meanings are supplied by context Something similar is found with verbs, where the context comes from the syntactic structure: The whistle sirened lunch time. The police car sirened the speeder to a stop. Cases like this indicate that the basic meaning of words can be augmented with information from the syntactic structure John shinned the ball. Mary shinned the ball to John. Etc. The “core”meaning of the word shin or siren exists, but is augmented by what happens in the syntactic structure

Words and Sets Let’s take an example of how we think of word meanings… More interesting: how meanings of combinations of words are derived We can think of the meaning of some words as relating to a system of categories, some more general, some more specific This lends itself to representation in terms of sets A set is, for our purposes, an abstract collection

Examples Consider the relationship between dog and mammal: All dogs are mammals. (true) mammals dogs

Examples, cont. The set relationship is one of inclusion; the set denoted by dog is a subset of the set denoted by mammal Other relationships are possible as well, both in terms of ‘some’ and ‘no’ We will formalize an extension to this in the next lecture

‘Some’ and overlapping It is not true that all snakes are poisonous: All snakes are poisonous. (false) But some are: Some snakes are poisonous. (true) In cases like this, the set denoted by snake and the set denoted by poisonous overlap: Poisonous things snakes

Non-overlapping: ‘No’ It can also be the case that sets do not overlap, in addition to overlapping in very small ways Consider the following: No mammals are poisonous. Ok, we want to know what no means, but is this a good example (is it true)?

As far as I know… As far as I know, the statement ‘No mammals are poisonous’ is false The duck-billed platypus has a kind of poisonous thing on its leg

Sets So we need another example of sets that don’t overlap No dogs are reptiles. (true) dogs reptiles

Truth Conditions One way of approaching meanings is to look at the truth conditions of sentences The truth conditions specify in precise terms the circumstances that obtain in order for a sentence to be true (or false) Specifying the truth conditions is a necessary component of the study of meaning; if we can show that two sentences are true under different conditions, then we would like to say that they have different meanings

Some examples Sometimes it seems like the specification of truth conditions is trivial: The cat is on the mat. The dog is on the mat. Different truth conditions But what about more complex cases? Consider: The glass is half full. The glass is half empty.

The ‘Glass’ Example On the face of it, ‘half full’ and ‘half empty’ seem to have the same truth conditions. But: Consider the following examples: The glass is almost half full. (e.g. 48%) The glass is almost half empty. (e.g. 53%) These have different truth conditions Assuming that ‘almost’ is the same in the two sentences, it must be the case that ‘half full’ and ‘half empty’ actually have different meanings If these two phrases were not different in meaning, where else could the difference come from??

Other fractions As a further point, consider what happens when we replace ‘half’ by other fractions: The glass is three eighths full. The glass is three eighths empty. These do not mean the same thing It looks as if ‘half full’ and ‘half empty’ mean different things, but sometimes can be true under the same circumstances

More on Adjectives Some further cases from the study of adjectives illustrate The relevance of our use of sets above The interaction of lexical meaning with compositional meaning Let’s take another simple example: poisonous snake

Interpreting poisonous snake One way of thinking of the adjective meaning with respect to the noun follows on what we were doing above What we would like are some general rules that tell us how to interpret certain syntactic objects in terms of the semantics we are using Rule (informal): When an adjective A modifies a noun N ([A N]), the interpretation of this object is the set defined by the intersection of A’s meaning with N’s meaning

On the interpretation, cont. This is just like the rule we saw above: snakes Poisonous things With poisonous snake, we are indicating a member of the overlap between two sets This can be indicated in a logical notation as well

Some notation We need a notation for sets and their interaction || X || = the set of things denoted by property X Example: || red || = the set of red things This can also be written as {x| x is red}, read as ‘the set of all things x such that x is red’ What about how adjectives and nouns combine by the reasoning above? We need notation for ‘and’; why? Because the things that are poisonous snakes are the set of things that are (1) poisonous AND (2) snakes

Putting the pieces together So, for poisonous snake: || poisonous || = {x|x is poisonous} || snake || = {x|x is a snake} || poisonous snake || = {x| x is poisonous AND x is a snake} We can also use set notation for this, e.g.: || poisonous ||  || snake ||

So… Is it always so simple? Consider: Reasoning 1: Reasoning 2: Larry is a poisonous snake Larry is a chess player. Therefore: Larry is a poisonous chess player (valid…but this is more complicated than it looks) Reasoning 2: Larry is a skillful artist. Larry is a chess player Therefore: Larry is a skillful chess player. (invalid!!)