Predicate Logic and the language PL  In SL, the smallest unit is the simple declarative sentence.  But many arguments (and other relationships between.

Slides:



Advertisements
Similar presentations
First-Order Logic Chapter 8.
Advertisements

SUBJECT-VERB AGREEMENT
Indefinite Pronouns.
Intro to First-Order Logic. Propositional Logic Propositional Logic is a language for creating functions that take N binary values (true or false) as.
Logic & Critical Reasoning Translation into Propositional Logic.
The Logic of Quantified Statements
Chapter Two Symbolizing in Sentential Logic This chapter is a preliminary to the project of building a model of validity for sentential arguments. We.
Pronouns A matter of agreement. Pronouns A pronoun is a word used in place of a noun. Pronouns may refer to the person speaking: This is a first-person.
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.
Vocabulary Parts of Speech Study Guide
Test 4 Review For test 4, you need to know: Definitions the recursive definition of ‘formula of PL’ atomic formula of PL sentence of PL bound variable.
The Language P 8 9 ( 8 x) ( 9 y) ( 8 z) 9 8. Quantificational Logic Quantificational Logic: Quantificational Logic is the logic of sentences involving.
Antecedent = the noun or other pronoun that a pronoun refers to. Pronouns and antecedents must agree.
INDEFINITE PRONOUNS ARE USED WHEN WE DON`T KNOW SPECIFICALLY WHO, HAT, WHERE, OR WHEN WE ARE TALKING ABOUT. ALSO WE CAN USE AN INDEFINITE PRONOUN WHEN.
Exam #3 is Friday. It will consist of proofs, plus symbolizations in predicate logic.
Review Test 5 You need to know: How to symbolize sentences that include quantifiers of overlapping scope Definitions: Quantificational truth, falsity and.
March 5: more on quantifiers We have encountered formulas and sentences that include multiple quantifiers: Take, for example: UD: People in Michael’s office.
PL continued: Quantifiers and the syntax of PL 1. Quantifiers of PL 1. Quantifier symbols 2. Variables used with quantifiers 2. Truth functional compounds.
Tweedledum: “I know what you’re thinking, but it isn’t so. No how.” Tweedledee: “Contrariwise, if it was so, it might be; and if it were so, it would be;
Indefinite Pronouns LC 1.2 Students should be able to identify and correctly use indefinite pronouns.
Pronouns in Compound Subjects and Objects *Sometimes you use a pronoun as part of a compound subject.
PRONOUNS. 1) They are angry with them. 2) This is mine and that is yours. 3)Both of them completed their assignments themselves.
FIRST ORDER LOGIC Levent Tolga EREN.
The Foundations: Logic and Proofs
A pronoun is a word used in place of one or more nouns. Zac Lawrence Taylor Crowder.
Pronouns A matter of agreement. Pronouns A pronoun is a word used in place of a noun. Pronouns may refer to the person speaking: This is a first-person.
First Order Logic Chapter 7. PL is a Weak Representational Language §Propositional Logic (PL) is not a very expressive language because: §Hard to identify.
Directions: Press F5 to begin the slide show. Press the enter key to view each part of the review.
* You wouldn’t want to say, “Alex said Alex lost Alex’s watch.” You’d say instead, “Alex said he lost his watch.” The words he and his are called pronouns.
Pronouns replace nouns Pronouns come in many different varieties.
A sentence (S) is composed of a noun phrase (NP) and a verb phrase (VP). A noun phrase may be composed of a determiner (D/DET) and a noun (N). A noun phrase.
Class Notes Pronouns © Copyright Academic Year , by M. Baltsas. All Rights Reserved.
Quantifiers, Predicates, and Names Kareem Khalifa Department of Philosophy Middlebury College Universals, by Dena Shottenkirk.
CMPF144 FUNDAMENTALS OF COMPUTING THEORY Module 5: Classical Logic.
PART TWO PREDICATE LOGIC. Chapter Seven Predicate Logic Symbolization.
CMSC 330: Organization of Programming Languages Context-Free Grammars.
Pronouns 2nd part of speech.
1 Introduction to Computational Linguistics Eleni Miltsakaki AUTH Spring 2006-Lecture 8.
First Order Logic Dr. Rogelio Dávila Pérez Professor - Researcher Information Technologies Department ITESM, Campus Guadalajara.
The Adventures of Tom Sawyer by Mark Twain. Robert Fulton Robert Fulton is popularly, if inaccurately, considered the inventor of the steamship. Born.
Conjunction A conjunction is used to join words or group of words. Kinds of conjunctions: coordinating conjunctions; correlative conjunctions; conjunctive.
Nested Quantifiers Section 1.5.
Topic 3: predicates Introduction to Semantics. Definition Any word which can function as the predicator of a sentence. Predicators The parts which are.
Word Problem Consider the following problem: To register, you will need either a yellow card or a note from the Dean. To obtain a note from the Dean you.
Pronouns and Antecedents TN Language Arts Checks for Understanding
Discrete Mathematics CS 2610 August 22, Agenda Last class Propositional logic Logical equivalences This week Predicate logic & rules of inference.
Pronouns and Antecedents. What is a pronoun?  You would probably never say, “Michael said Michael lost Michael’s watch.”  Once you had clearly identified.
AHSGE Review.  A word that replaces a noun  A pronoun should have one antecedent  An antecedent the noun that is replaced later in the sentence by.
Pronouns Fill in your chart as we discuss the types/cases of pronouns.
26 March 2013 Miss Rice NOTE CARDS. Warm-Up In your own words, what is plagiarism? *Take out suffix assignment to be collected *Take out source cards.
Section 1.5. Section Summary Nested Quantifiers Order of Quantifiers Translating from Nested Quantifiers into English Translating Mathematical Statements.
Pronouns 11 English Grammar Review. Nominative Case The nominative case of a personal pronoun is used when the pronoun functions as a subject or a predicate.
REVISION FOR TEST Aulas 5 e 6 If CLAUSES.
Chapter Eight Predicate Logic Semantics. 1. Interpretations in Predicate Logic An argument is valid in predicate logic iff there is no valuation on which.
Essential Question: How do we Evaluate Algebraic Expressions? (+ & -) U3D4.
Angelika Gorobej. All rights reserved. Mariupol.Ukraine.1.
Indefinite Pronouns Goal: Students should be able to identify and correctly use indefinite pronouns.
Working WITH Sets Section 3-5. Goals Goal To write sets and identify subsets. To find the complement of a set. Rubric Level 1 – Know the goals. Level.
Lecture 3 Ling 442. exercises 1.What is the difference between implicature and entailment? 2.What is the difference between presuppositions and entailments?
PRONOUNS A pronoun is a word that takes the place of a noun. The noun being replaced is called the antecedent. Ex. He sneezed. (John sneezed.) George.
Pronouns in Compound Subjects and Objects
Course Instructor: kinza ch
Indefinite Pronouns.
The Foundations: Logic and Proofs
Indefinite Pronouns LC 1.2 Students should be able to identify and correctly use indefinite pronouns.
Indefinite Pronouns 11 Indefinite pronouns are pronouns that do not refer to a specific noun. Ex. Does anybody know where the post office is? Ex. No one.
Nested Quantifiers Nested quantifiers are often necessary to express the meaning of sentences in English as well as important concepts in computer science.
Indefinite Pronouns LC 1.2 Students should be able to identify and correctly use indefinite pronouns.
Introduction to Computational Linguistics
Presentation transcript:

Predicate Logic and the language PL  In SL, the smallest unit is the simple declarative sentence.  But many arguments (and other relationships between sentences) are actually based on sub-sentential units. Including: None of Mary’s friends supports Libertarians. Sarah supports Matlow and Matlow is a Libertarian. So Sarah is no friend of Mary’s.  Although we could symbolize this argument in SL, its logic would be lost.

Predicate Logic Sub-sentential units in predicate logic 1. Singular terms:   Names (The Washington Monument, Boston, Marie Curie, Harry Reid, Henry, Sherlock Holmes…)   Definite descriptions (the Senate majority leader, the discoverer of radium, Michael’s only brother, the present king of France, the person Mary is now talking to…)   Issues:   “Non-designating” singular terms   Singular terms and context   Pronouns

Predicate Logic Singular terms and pronouns:   “If John voted for Hillary Clinton, then he’s no Libertarian.”   “If John voted for Hillary Clinton, then John’s no Libertarian.”   “This test is so easy that if anyone fails it, it’s his or her own fault.”   We can’t use: “This test is so easy that if anyone fails it it’s John’s or Cynthia’s own fault”

Predicate Logic Sub-sentential units continued 2. Predicates:   Sentences can have more than one singular term, for example: ‘New York is between Philadelphia and Boston’   Predicates of English are parts of English sentences that are obtained by removing one or more singular terms from an English sentence.

Predicate Logic 2. Predicates:   (Or, a predicate is a string of words with one or more blanks in it such that when the blanks are filled in, a sentence results.) ‘New York is between Philadelphia and Boston’ _______ is between Philadelphia and Boston New York is between _______ and Boston. _______ is between ________ and Boston. _______ is between Philadelphia and ______. _______ is between _________ and _______.

Predicate Logic 2. Predicates:   So there are one-place predicates such as _______ is between Philadelphia and Boston New York is between _______ and Boston.   And there are many-place predicates.   This is a two-place predicate: _______ is between ________ and Boston. This is a three-place predicate: _______ is between _________ and _______.

Predicate Logic 2. Predicates:   In general, where n is a positive integer, a predicate with n blanks is an n-place predicate.   One way of generating a sentence from a predicate is filling the blanks with singular terms – any singular term may be put in any blank, and the same singular term can be put in more than one blank.

Predicate Logic   Using variables:   Instead of blanks, we use the lower case letters ‘w’, ‘x’, ‘y’ and ‘z’ (with numerical subscripts when necessary) to mark the blanks in predicates.   So one predicate early discussed can be displayed as: x is between y and z.   Another can be displayed as x is taller than y.

Predicate Logic   So from the two-place predicate ‘x is taller than ‘y, and the singular terms ‘The Washington Monument’, ‘Mary’, ‘John’, and ‘the smallest prime number’, we can generate:   Mary is taller than The Washington Monument.   John is taller than Mary.   Mary is taller than John.   The Washington Monument is taller than John.   The smallest prime number is taller than Mary.   And so forth…

Predicate Logic   We also retain the sentential connectives ‘and’, ‘or’, ‘if then’, ‘if and only if’, and ‘not’   So given a stock of predicates, singular terms, and the sentential connectives, we can generate a wide variety of sentences of English.   From the sentential connectives, the singular terms ‘Michael’, ‘Sue’ and ‘Rita’, and the predicates ‘x is easygoing’, ‘x likes y’, and ‘x is taller than y’, we can generate:

Predicate Logic   From the sentential connectives, the singular terms ‘Michael’, ‘Sue’ and ‘Rita’, and the predicates ‘x is easygoing’, ‘x likes y’, and ‘x is taller than y’, we can generate: Michael is easygoing. Michael is easygoing but Sue isn’t easygoing. Sue likes Rita and Rita likes Michael. If Rita likes Michael, then Michael is taller than Sue and he is easygoing. Either Rita or Sue is taller than Michael, but not both.

Predicate Logic   Except when our domain is limited, what we can’t yet generate (but eventually will) are claims such as:   Everyone is easygoing.   No one is easygoing.   Someone is easygoing.   Someone is not easygoing.   No one is taller than his or herself.   Everyone likes him or herself.   ‘every’, ‘some’, ‘all’, ‘each’, and ‘none’ are quantity terms and quantity terms are not singular terms.

The language PL   Vocabulary: The sentential connectives ‘&’, ‘v’, ‘  ’, ‘  ’ and ‘~’ Individual constants (lowercase Roman letters ‘a’ through ‘v’, with or without subscripts) to symbolize singular terms that denote (names and definite descriptions) Predicates of PL: uppercase Roman letters ‘A’ through ‘Z’ with or without subscripts and followed by variables…

The language PL Vocabulary: Predicates of PL: uppercase Roman letters ‘A’ through ‘Z’ with or without subscripts and followed by one or more variables, n of the letters ‘w’, ‘x’, ‘y’ and ‘z’ after the predicate letter. Fx is a one place predicate Fxy is a two place predicate Fxyz is a three place predicate..

The language PL As with sentence letters in SL, we can use a predicate (say, ‘Lxy’) to symbolize, on different occasions, a variety of 2 place predicates of English, including ‘x loathes y’ ‘x loves y’ ‘x is larger than y’ ‘x is less than y’…

The language PL Vocabulary:   Constants of PL: lower case Roman letters ‘a’ through ‘v’ are used to symbolize singular terms: a is a constant b is a constant…   Sentential connectives and punctuation (parentheses and brackets)

The language PL Symbolizing in PL 1. We begin with a symbolization key a. Specify the universe of discourse (abbreviated ‘UD’) for the occasion. Examples of UD’s: the positive integers the jellybeans in the jar on my desk all persons everything people in Michael’s office

The language PL Symbolizing in PL 1. We begin with a symbolization key b. Specify symbols for the predicates Ex: x is easygoing Txy: x is taller than y Lxy: x likes why c. Specify symbols for constants (if there are any) a: Anita b: The Brooklyn Bridge

The language PL A symbolization key: UD: People in Michael’s office Lxy: x likes y Ex: x is easygoing Txy: x is taller than y m: Michael r: Rita s:Sue

UD: People in Michael’s office Lxy: x likes y Ex: x is easygoing Txy: x is taller than y m: Michael r: Rita s:Sue ‘Sue is easygoing’ Es ‘Sue is taller than Michael, and Michael is taller than Rita’ Tsm & Tmr ‘If Rita likes Sue, then Rita is taller than Sue Lrs  Trs ‘If Michael is easygoing, Sue is not’ Em  ~Es

The language PL We can symbolize some English sentences involving quantity terms with the resources we have so far if we have a UD that makes it possible. Given the UD: People in Michael’s office and the predicates and constants we have in the symbolization key – which include a constant for each of the people) we can symbolize ‘Michael likes everyone’ as (Lmm & Lmr) & Lms

The language PL UD: People in Michael’s office We can symbolize ‘Michael likes someone’ as (Lmm v Lmr) v Lms And ‘Michael likes no one’ as (~Lmm & ~Lmr) & ~Lms or ~[(Lmm v Lmr) v Lms] And ‘Everyone is easygoing’ as (Em & Er) & Es

Given the symbolization key shown or handed out, symbolize: Alice was born in Boston, so she wasn’t born in Seattle. Bonnie was born in Cleveland but she lives in Philadelphia. Philadelphia is larger than Seattle, but Boston is larger than Philadelphia. If Bonnie is taller than Charles, and Charles is taller than Alice, then Bonnie is taller than Alice. No one lives in Boston. Everyone was born in Cleveland.

Create a symbolization key that has ‘Alex, Bruce, Cathy and Danielle’ as its UD And the predicates: x is attracted to y x is intimidated by y x is intelligent x is shorter than y x is sitting between y and z And the singular terms: Alex Bruce Cathy Danielle

UD: Alex, Bruce, Cathy and Danielle Axy:x is attracted to y Ixy:x is intimidated by y Cx: x is curious Sxy:x is shorter than y Bxyz:x is sitting between y and z a:Alex b:Bruce c:Cathy d:Danielle

Symbolize: ‘Cathy is attracted to Bruce, but she is intimidated by him’ (Acb) & (Icb) ‘Bruce is sitting between Alex and Danielle’ Bbad ‘If Cathy is shorter than Alex, she is attracted to him’ Sca  Aca ‘No one is curious’ (~Ca & ~Cb) & (~Cc & ~Cd) or ~[(Ca v Cb) v (Cc v Cd)]

Homework: 7.2E (all) 7.3E As much as you can of exercises 1-3.