What makes communication by language possible? Striking fact (a) If someone utters a sentence and you know which proposition her utterance expresses, then.

Slides:



Advertisements
Similar presentations
Artificial Intelligence
Advertisements

1 Knowledge Representation Introduction KR and Logic.
First-Order Logic Chapter 8.
Computer Science CPSC 322 Lecture 25 Top Down Proof Procedure (Ch 5.2.2)
The Said and the Unsaid meets Figuration Steve Barker (Nottingham) A speech-act theoretic treatment of metaphor and irony.
Meaning Skepticism. Quine Willard Van Orman Quine Willard Van Orman Quine Word and Object (1960) Word and Object (1960) Two Dogmas of Empiricism (1951)
Objective Develop an understanding of Appendix B: CA ELD Standards Part II: Learning About How English Works.
L41 Lecture 2: Predicates and Quantifiers.. L42 Agenda Predicates and Quantifiers –Existential Quantifier  –Universal Quantifier 
Introduction: The Chomskian Perspective on Language Study.
Modality Possible Worlds. Possibility and Necessity Triangles have three sides. The Wassermans have two kids.
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.
What is Science? We are going to be studying science all year long! Take a moment and write down on your paper in several sentences what you think science.
Chapter 1, Section 2 Answers to review for worksheet pages
Knowledge Representation Methods
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.
Notes on Logic Continued
Copyright © Cengage Learning. All rights reserved. CHAPTER 2 THE LOGIC OF COMPOUND STATEMENTS THE LOGIC OF COMPOUND STATEMENTS.
Outline Recap Knowledge Representation I Textbook: Chapters 6, 7, 9 and 10.
Logic. Propositional Logic Logic as a Knowledge Representation Language A Logic is a formal language, with precisely defined syntax and semantics, which.
FIRST-ORDER LOGIC FOL or FOPC
Predicate Calculus.
Logical and Rule-Based Reasoning Part I. Logical Models and Reasoning Big Question: Do people think logically?
Meaning and Language Part 1.
THE TRANSITION FROM ARITHMETIC TO ALGEBRA: WHAT WE KNOW AND WHAT WE DO NOT KNOW (Some ways of asking questions about this transition)‏
What makes communication by language possible? Striking fact (a) If someone utters a sentence and you know which proposition her utterance expresses, then.
CAS LX 502 Semantics 3a. A formalism for meaning (cont ’ d) 3.2, 3.6.
Turing Test and other amusements. Read this! The Actual Article by Turing.
Chapter 1: The Foundations: Logic and Proofs
VCE Learning. To unpack the challenge of enhancing the quality of VCE learning What does the student need to know about how to interpret the task ? Ho.
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.
What is linguistics  It is the science of language.  Linguistics is the systematic study of language.  The field of linguistics is concerned with the.
Understanding PML Paulo Pinheiro da Silva. PML PML is a provenance language (a language used to encode provenance knowledge) that has been proudly derived.
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)
(CSC 102) Lecture 3 Discrete Structures. Previous Lecture Summary Logical Equivalences. De Morgan’s laws. Tautologies and Contradictions. Laws of Logic.
Pattern-directed inference systems
Advanced Topics in Propositional Logic Chapter 17 Language, Proof and Logic.
Slide 1 Propositional Definite Clause Logic: Syntax, Semantics and Bottom-up Proofs Jim Little UBC CS 322 – CSP October 20, 2014.
First-Order Logic Chapter 8. Outline Why FOL? Syntax and semantics of FOL Using FOL Wumpus world in FOL Knowledge engineering in FOL.
The Derivative Function
Copyright © Curt Hill Quantifiers. Copyright © Curt Hill Introduction What we have seen is called propositional logic It includes.
Function Symbols & Arithmetic PHIL012 January 22, 2001.
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
1 Introduction to Computational Linguistics Eleni Miltsakaki AUTH Spring 2006-Lecture 8.
CTM 2. EXAM 2 Exam 1 Exam 2 Letter Grades Statistics Mean: 60 Median: 56 Modes: 51, 76.
CS344 : Introduction to Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 9- Completeness proof; introducing knowledge representation.
What makes communication by language possible? “What makes the task [of understanding others] practicable at all is the structure the normative character.
What is Science?. The Goal of Science to investigate and understand the natural world To explain events in the natural world To use those explanations.
First-Order Logic Chapter 8 (not 8.1). Outline Why FOL? Why FOL? Syntax and semantics of FOL Syntax and semantics of FOL Using FOL Using FOL Wumpus world.
First-Order Logic. Outline Why FOL? Syntax and semantics of FOL Using FOL Knowledge engineering in FOL.
INDETERMINATE FORMS AND L’HOSPITAL’S RULE
Mathematics for Comter I Lecture 2: Logic (1) Basic definitions Logical operators Translating English sentences.
First-Order Logic Semantics Reading: Chapter 8, , FOL Syntax and Semantics read: FOL Knowledge Engineering read: FOL.
Propositional Logic Rather than jumping right into FOL, we begin with propositional logic A logic involves: §Language (with a syntax) §Semantics §Proof.
SPEECH ACTS Saying as Doing See R. Nofsinger, Everyday Conversation, Sage, 1991.
Pragmatics. Definitions of pragmatics Pragmatics is a branch of general linguistics like other branches that include: Phonetics, Phonology, Morphology,
PHILOSOPHY OF LANGUAGE Some topics and historical issues of the 20 th century.
1 Section 7.1 First-Order Predicate Calculus Predicate calculus studies the internal structure of sentences where subjects are applied to predicates existentially.
Artificial Intelligence Knowledge Representation.
Artificial Intelligence Logical Agents Chapter 7.
What does ‘and’ mean?  ‘and’ may be ambiguous:  An utterance of a sentence of the form ‘A and 1 B’ is true if and only if ‘A’ is true and ‘B’ is true.
CS-7081 Application - 1. CS-7082 Example - 2 CS-7083 Simplifying a Statement – 3.
Chapter 1, Section 2 Answers to review for worksheet pages
Conditional Statements
Functions.
Copyright © Cengage Learning. All rights reserved.
Logical and Rule-Based Reasoning Part I
Presentation transcript:

What makes communication by language possible? Striking fact (a) If someone utters a sentence and you know which proposition her utterance expresses, then it’s likely that you will also understand which propositions other utterances of the same sentences express. Conversely, if you don’t understand one utterance of a sentence, it is likely that you won’t understand other utterances of it either. The natural approach to explaining this fact is encoded in what I called Hypotheses 1:  sentences have meanings  language users know the meanings of sentences  knowing the meanings of sentences enables language users to know which propositions utterances of those sentences express

Striking fact (b) Linguistic abilities are systematic— someone who understands an utterance of “Leo ate John” can probably also understand an utterance of “John ate Leo”  Systematicity “there are definite and predictable patterns among the sentences we understand. For example, anyone who understands ‘The rug is under the chair’ can understand ‘The chair is under the rug’” {Szabó, 2004 #800}. Striking fact (c) Linguistic abilities are productive— we can understand utterances of an indefinitely large range of sentences we have never heard before. Example: “John ate Leo who ate Ayesha who ate …”  Productivity we can understand utterances of an indefinitely large range of sentences we have never heard before.

Hypothesis 2:  words have meanings  speakers know the meanings of words  the meanings of words, together with rules of composition, determine the meanings of sentences  speakers are thus able to know the meanings of sentences by virtue of knowing the meanings of words and rules of composition

Recall that we can extract purely functional characterisations of meanings from the hypothetical explanation of productivity and systematicity.  meaning of a sentence: whatever it is knowledge of which enables language users to understand utterances of that sentence (that is, to know which proposition the utterer expresses)  meaning of a word: whatever it is knowledge of which, together with knowledge of rules for composition, enables language users to know the meanings of sentences containing the word.

We need a model of what it is you know when you know the meaning of a sentence We need a model of what it is you know when you know the meaning of a component of a sentence, e.g. a name, like ‘Nick Clegg’, or a word like ‘and’. Going to start with something familiar from last term….

FOL Your abilities to use FOL are systematic and productive. Systematic. If you understand: A  B then you can probably also understand: B  A Productive. If you understand: AA then you can probably also understand:  A and also:  A and so on … sentence connective -- an operator that joints zero or more sentences to produce a new sentence; in FOL sentential connectives include ,  and .

In trying to say what meanings are, what we are looking for is things knowledge of which enable us to understand sentences of FOL. Suppose you can translate a sentence of FOL into English. Since you understand English, the translation enables you to understand the FOL sentence too. For instance, if you know that: (T) ‘A  B’ can be translated as ‘Ayesha is tall and Mo is rich’ Then you understand the FOL sentence A  B.

meaning of a word: whatever it is knowledge of which, together with knowledge of rules for composition, enables language users to know the meanings of sentences containing the word. To know the meaning of a sentence of FOL it would be sufficient to know a statement translating it into English. So to find out what the meanings of the symbols of FOL are we should ask: What do you need to know about a symbol of FOL in order to be able to translate sentences containing that symbol into English? For the sentential connectives ,  and so on, the answer is that you need to know their truth tables. Knowing the truth table for  enables you to translate sentences containing this symbol into English. Therefore the truth table gives the meaning of the symbol.

In summary: 1. Knowing the truth table for a sentential connective is sufficient, together with knowledge of the syntax of FOL, to work out the truth table of any complex sentence containing that connective. 2. Knowing the truth table for a sentence of FOL is sufficient, together with knowledge of what the sentence letters mean, for translating the sentence of FOL into English. 3. Being able to translate a sentence of FOL into English is sufficient, together with knowledge of English, for knowing what that sentence of FOL means.

Consider this sentence of FOL: F(a) What could you know that would enable you to translate this into English? Consider an interpretation which assigns an extension to the predicate and an object to the name: F : the set of tall things a : Ayesha We can write these more fully thus: The extension of ‘F’ is the set of tall things The referent of ‘a’ is Ayesha Given this interpretation, you could translate the sentence F(a) into English. It ‘F(a)’ means Ayesha is tall. And given the above statements, you could translate any sentences of FOL involving ‘F’ and ‘a’ into English, e.g. F(a)  F(a)

Consider this sentence of English: ‘Ida rocks’ In the case of FOL, we suggested that a translation into English gives the meaning of FOL sentences. We said the meaning of ‘A  B’ is given by this statement: (T) ‘A  B’ can be translated as ‘Ayesha is tall and Mo is rich’ In the case of English, the comparable statement would be: (T) ‘Ida rocks’ can be translated as ‘Ida rocks’ The problem is that we have English sentences on both sides of the statement. Remember ‘and’, what about: * ’A and B’ is true iff A is true and B is true Davidson’s suggestion, consider (W): (W) ‘Ida rocks’ is true if and only if Ida rocks. Knowledge of the statement would be sufficient for understanding utterances of this sentence. And that is what our functional characterisation says meanings are.

Now that we know what the meanings of sentences are, we can evaluate the proposal about the meanings of words. Recall the functional characterisation: meaning of a word: whatever it is knowledge of which, together with knowledge of rules for composition, enables language users to know the meanings of sentences containing the word. Now consider the statements about the words in ‘Ida rocks’: The referent of ‘Ida’ is Ida The extension of ‘rocks’ is the set of things which rock. In English, a name plus a predicate constitutes a sentence. Any such a sentence is true if and only if the referent of the name is in the extension of the predicate. In the case of this particular sentence, ‘Ida rocks’, it is true if and only if Ida is in the set of things which rock. That is: (W) ‘Ida rocks’ is true if and only if Ida rocks.

Deriving the meanings of sentences Statements giving the meanings of sentences can be derived from statements giving the meanings of words. How? Consider ‘Ida rocks or Louie rocks’ From the meaning of ‘or’ we have: (1) ‘Ida rocks or Louie rocks’ is true if and only if ‘Ida rocks’ is true or ‘Louie rocks’ is true. From the rules of composition for English we have: (2) ‘Ida rocks’ is true if and only if the referent of ‘Ida’ is in the extension of ‘rocks’ From the meanings of ‘Ida’ and ‘rocks’ we have: (3) ‘Ida rocks’ is true if and only if Ida rocks And similarly: (4) ‘Louie rocks’ is true if and only if Louie rocks Putting (3) and (4) into (1) we get: (5) ‘Ida rocks or Louie rocks’ is true if and only if Ida rocks or Louie rocks.

trivial? Compare (meaning of a sentence): (i) You know ‘Ida rocks’ is true iff Ida rocks and, (ii)You know “’Ida rocks’ is true iff Ida rocks” is a truth (iii) You know “‘Y mae’r ddraig goch’ is true iff Y mae’r ddraig goch’ is a truth (iv) You don’t know ‘Y mae’r ddraig goch’ is true iff Y mae’r ddraig goch (v) You know ‘A and B’ is true iff A is true and B is true (vi) You know “’A and B’ is true iff A is true and B is true” is a truth Compare (meaning of a name): (v) You know ’Ida’ refers to Ida (vi) You know “‘Ida’ refers to Ida” is a truth

trivial? So, what is it to know the meaning of ‘Nick Clegg’? It’s to know that ‘Nick Clegg’ refers to Nick Clegg If that is right, there are no empty names – if ‘NN’ is a name, it must have a bearer.

structure This is a compositional theory of meaning. This is the key to explaining productivity and systematicity. It’s the only game in town for such an explanation. It’s contentious and, arguably, plain wrong, it even gets the meaning of ‘and’ wrong!