If an English sentence is ambiguous, it may allow for more than one adequate transcription.



Similar documents
10.4 Traditional Subject Predicate Propositions

Predicate Logic. Example: All men are mortal. Socrates is a man. Socrates is mortal.

TERMS. Parts of Speech

Invalidity in Predicate Logic

Handout #1: Mathematical Reasoning

THERE ARE SEVERAL KINDS OF PRONOUNS:

CHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs

Translation Guide. Not both P and Q ~(P Q) Not either P or Q (neither/nor)

Sentence Structure/Sentence Types HANDOUT

1 Shapes of Cubic Functions

Week 1: Functions and Equations

Grammar Unit: Pronouns

Propositional Logic. A proposition is a declarative sentence (a sentence that declares a fact) that is either true or false, but not both.

Click on the links below to jump directly to the relevant section

How To Understand The Theory Of Algebraic Functions

Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products

The Syntax of Predicate Logic

FACTORING TRINOMIALS IN THE FORM OF ax 2 + bx + c

Real Roots of Univariate Polynomials with Real Coefficients

Predicate Logic. For example, consider the following argument:

LESSON THIRTEEN STRUCTURAL AMBIGUITY. Structural ambiguity is also referred to as syntactic ambiguity or grammatical ambiguity.

Average rate of change

Quantifiers II. One is red. Two are red. Half are red. Some are red. All are red. Each is red. Enough are red.

Quine on truth by convention

How To Understand The Logic Of Ibsen'S Play \"Ibsen\"

Lecture 2. Marginal Functions, Average Functions, Elasticity, the Marginal Principle, and Constrained Optimization

Mathematical Induction

Predicate Logic Review

24. PARAPHRASING COMPLEX STATEMENTS

Guide to Ground. A number of philosophers have recently become receptive to the idea that, in addition to

Mind on Statistics. Chapter 10

Things to remember when transcribing speech

Variables in Mathematics Education

The Book of Grammar Lesson Six. Mr. McBride AP Language and Composition

EAP Grammar Competencies Levels 1 6

Rules of Inference Friday, January 18, 2013 Chittu Tripathy Lecture 05

Chapter 2: Linear Equations and Inequalities Lecture notes Math 1010

INSTRUCTIONS FOR FILING BANKRUPTCY (for Assistance Ddesk visitor)

How To Proofread

3. Logical Reasoning in Mathematics

STEP UP TO WRITING PARENT GUIDE

Comparatives, Superlatives, Diminutives

Pronouns. Their different types and roles. Devised by Jo Killmister, Skills Enhancement Program, Newcastle Business School

c 2008 Je rey A. Miron We have described the constraints that a consumer faces, i.e., discussed the budget constraint.

Introduction to tuple calculus Tore Risch

Independent Listening Task: Stereotypes

Laying the Foundation English Diagnostic Activity Comparison/Contrast Grade 7 KEY

P1. All of the students will understand validity P2. You are one of the students C. You will understand validity

INTRODUCTORY SET THEORY

Sample Questions with Explanations for LSAT India

8 Polynomials Worksheet

Get Ready for IELTS Writing. About Get Ready for IELTS Writing. Part 1: Language development. Part 2: Skills development. Part 3: Exam practice

TOPIC 4: DERIVATIVES

CHAPTER 2. Logic. 1. Logic Definitions. Notation: Variables are used to represent propositions. The most common variables used are p, q, and r.

=

SQL Database queries and their equivalence to predicate calculus

Linear Programming Notes V Problem Transformations

Writing Thesis Defense Papers

A Few Basics of Probability

Polynomial Invariants

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.

The Citizenship Test

Parts of Speech. Skills Team, University of Hull

JOB ANALYSIS QUESTIONNAIRE

Practical Guide to the Simplex Method of Linear Programming

20-30 minutes, can be used within a longer activity

6.080/6.089 GITCS Feb 12, Lecture 3

POLITE ENGLISH. Giving advice FREE ON-LINE COURSE. Lesson 2: version without a key SZKOLENIA JĘZYKOWE DLA FIRM ZREALIZUJEMY TWÓJ CEL!

Participants Manual Video Seven The OSCAR Coaching Model

LOGIC AND SETS CLAST MATHEMATICS COMPETENCIES

A Knowledge-based System for Translating FOL Formulas into NL Sentences

Chapter 1. Use the following to answer questions 1-5: In the questions below determine whether the proposition is TRUE or FALSE

BBC LEARNING ENGLISH 6 Minute Grammar Past perfect continuous

Refer to: Present & future If-clause Main clause. ZERO Present + Present. If you can meet me at the car, that s easiest for me.

MICROECONOMIC PRINCIPLES SPRING 2001 MIDTERM ONE -- Answers. February 16, Table One Labor Hours Needed to Make 1 Pounds Produced in 20 Hours

Lesson: Adjectives Length minutes Age or Grade Intended 6 th grade special education (direct instruction)

Test 1: Inference. Directions

Keep your English up to date 4. Teacher s pack Lesson plan and student worksheets with answers. Pre-owned

Grammar Review 1: Parts of Speech & Subject-verb Agreement

and because he donated too much of his income to charities, Isaac declared bankruptcy last year.

What is the Gospel of Jesus Christ?

(LMCS, p. 317) V.1. First Order Logic. This is the most powerful, most expressive logic that we will examine.

Introduction to Finite Fields (cont.)

DISCRETE MATH: LECTURE 3

The neurobiology of energy healing...a hands on approach.

More Quadratic Equations

Chapter 10. Key Ideas Correlation, Correlation Coefficient (r),

DEVELOPING HYPOTHESIS AND

1. Current situation Describe the problem or opportunity (the need for your proposal).

Ch. 11.2: Installment Buying

James is a five year old boy and spends his days at the. spends time with each individually. One of activities James loves is to sit down on the

Deriving Demand Functions - Examples 1

Practice with Proofs

Changing a Decimal or Fraction to a Percent

Algebra I Notes Relations and Functions Unit 03a

1 Lecture: Integration of rational functions by decomposition

Transcription:

Transcription from English to Predicate Logic General Principles of Transcription In transcribing an English sentence into Predicate Logic, some general principles apply. A transcription guide must be provided. It should be determined in advance whether you are using restricted quantifiers or are giving a complete transcription. You should symbolize as much of the logical structure of the sentence as possible. If two sentences of Predicate Logic are equivalent, then neither is more adequate than the other, although one of the two may make the logical form of the English sentence more perspicuous. If an English sentence is ambiguous, it may allow for more than one adequate transcription. In different contexts, we will hear the sentence in different ways. The Indefinite Article The indefinite article a can function as a universal and an existential quantity term. A car can go very fast. Any car can go very fast (universal). At least one car can go very fast (existential). Generally, we use the article as a universal quantity term when the subject is taken to be a class of things, e.g. cars. We generally use the article as an existential quantity term when the subject is taken to be a specific thing which we do not wish to or cannot identify. Sometimes how we understand the predicate of the sentence makes a difference: Fast in comparison to the speed of non-motorized vehicles indicates that the universal might be the best reading. Fast is taken in comparison to the highest speeds of modern motorized vehicles, indicates the existential. 1

Anyone Generally, anyone indicates a universal quantifier. Anyone has the right to vote. ( x) P Vx. When used in the antecedent of a conditional without cross-reference, anyone can function as an existential quantifier. If anyone is at home, the lights will be on. ( x) P Hx J. If there is cross-reference between the antecedent and the consequent, then the universal quantifier is usually called for. Someone If anyone is at home, it is a boy. ( x) P (Hx Bx). Generally, someone indicates an existential quantifier. Someone is a registered voter. ( x) P Rx. If there is cross-reference between the antecedent and the consequent, then someone can function as a universal quantifier. If someone is at home, it is a boy. ( x) P (Hx Bx). Ambiguity with Anyone and Someone Some uses of anyone in the antecedent of a conditional without cross-reference can be interpreted as universal quantifiers. These will be cases of logical truths in which the conditional expresses universal instantiation. If anyone is a boy, then John is a boy. ( x) P Bx Bj. Some uses of someone which seem to apply to classes of things, and thus call for the universal quantifier, apply to a single thing and thus call for an existential quantifier. Someone who is a registered voter has the right to vote. ( x)(rx & Vx). 2

Classes and Members of a Class Generally, we use the universal quantifier when we want to talk about a class of objects. Sometimes in a sentence we have more universal quantity expressions, each being about a class of objects. All the boys kissed all the girls. This is perhaps most naturally taken to relate each member of the class of boys to each member of the class of girls. ( x) B ( y) G Kxy. But it may also taken as stating that the boys, taken as a class, kissed the girls, taken as a class. The boys as a class all gave kisses to girls, and the girls as a class all received kisses from boys. ( x) B ( y) G Kxy & ( x) G ( y) B (Kyx). The Scope of Negation Expressions Ambiguity can arise because of the variability of the scope of natural language operators, including negation, and (in modal logic) words like necessarily and possibly. All the boys are not at home. The word not might have narrow scope, governing the phrase at home. ( x) P (Bx Hx). Or not may have wide scope, governing the whole sentence. ( x) P (Bx Hx). Scope and Quantifiers Scope ambiguities also arise with the use of multiple quantifiers. All the boys kissed a girl. We interpret a as an existential quantifier. Its scope might be the whole sentence. There is at least one girl whom each of the boys kissed. ( x) G ( y) B Kyx. 3

Or, the scope might be internal to the sentence. Each of the boys is such that there is at least one girl whom he kissed. ( x) B ( y) G Kxy. Class and Scope Ambiguities Combined When we combine ambiguities of class and scope, even more interpretive possibilities arise. All the boys did not kiss all the girls. The class/member ambiguity led to two different transcriptions of the sentence without negation. ( x) B ( y) G Kxy. ( x) B ( y) G Kxy & ( x) G ( y) B (Kyx). On the second reading (boys and girls as classes), the negation seems to govern the conjunction: [( x) B ( y) G Kxy & ( x) G ( y) B (Kyx)]. On the first reading (boys and girls as members of classes), there are three positions the negation sign could take. ( x) B ( y) G Kxy. ( x) B ( y) G Kxy. ( x) B ( y) G Kxy. Transcribing Only In sentence logic, only reverses the order of a conditional. If Adam is an adult, then he has the right to vote. Aa Va Only if Adam is an adult does he have the right to vote. Va Aa This reversal holds when quantifiers are involved. If a person is an adult, then he has the right to vote (adults have the right to vote). ( x) P (Ax Vx). Only if a person is an adult does he have the right to vote (only adults have the right to vote). ( x) P (Vx Ax). 4

Negative Quantifier Expressions Nothing makes a negative claim about everything in a whole class of objects, while not everything negates the universality of a statement about a class of objects. Nothing is furry: ( x) Fx. Not everything is furry: ( x)fx. None and none but are generally used to indicate a restricted class of things, where none but says the same thing as only and reverses the order of subject and predicate terms in the English sentence. None of the boys are registered voters: ( x) B Rx, or ( x)(bx Rx). None but adults are registered voters: ( x) R Ax, or ( x)(rx Ax). No Ps are Qs is transcribed as ( u) P Q(u), or as ( u)(p(u) Q(u)). 5