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


 Jared French
 1 years ago
 Views:
Transcription
1 Translation Guide If P, then Q (P Q) P, if Q (Q P) What follows if is the antecedent of a conditional. P, provided that Q (Q P) Provided that means if. Assuming that, given that, etc., work the same way. Since they all mean if, what follows them is the antecedent of a conditional. P only if Q (P Q) This says that P is true only if Q is true. So, if P is true, so is Q. Unlike iff, it doesn t tell us that P is false only when Q is false. So, What follows only if is the consequent of a conditional. P if and only ( iff ) Q (P Q) Note that this is equivalent to the conjunction of P if Q i.e., (Q P), and P only if Q i.e., (P Q). P unless Q (P v Q) or (~Q P) Think: P is true, unless Q is, i.e., P is true if Q isn t, i.e., (~Q P). But (~Q P) is logically equivalent to (P v Q). While either answer is correct, it is simpler to remember that unless just means or. P just if Q (P Q) My ear tells me just if is more like only if than if and only if. But this is how the author wants it translated, and this is what is expected in Logicola. I won t put examples of just if on the test. P is sufficient for Q ( enough ) (P Q) P is necessary for Q (Q P) or (~P ~ Q) Since P is necessary for Q, Q can t be true unless P is. So, if Q is true, then it must be that P is also. Hence, P is necessary for Q means If Q, then P. You might also think: without P, no Q, i.e., (~P ~ Q). These are equivalent. P is necessary and sufficient for Q (P Q) P but Q (P. Q) P or Q, but not both ((P v Q) ~(P Q)) or ~(P Q) Not both P and Q ~(P Q) Not either P or Q (neither/nor) ~(P v Q
2 Quantified Logic All As are Bs. (Every A is a B.) Everything is A. Some As are Bs. (At least one A is a B.) Something is A. Nothing is A. (Not even one thing is A.) Everything is nona. No As are Bs. (Not even one A is B.) Not all As are Bs. Some As are not Bs (are nonbs). a has property Q. (a is a Q; a Qs) the soandso (this names an object) (x)(ax Bx) (x)ax ( x)(ax Bx) ( x)ax ~( x)ax log. equiv. to (x)~ax ~( x)(ax Bx) log. equiv. to (x)~ (Ax Bx) ~(x)(ax Bx) log. equiv. to ( x)(ax ~Bx) Qa t (a constant) Something/everything is either A or/and B. ( x)(ax Bx) ( x)(ax Bx) (x)(ax Bx) (x) (Ax Bx) Note that these are quantified statements. But, Both/Either something/everything is A and/or something/everything is B. (( x)ax v ( x)bx) (( x)ax ( x)bx) ((x) Ax v ( x)bx) ((x)ax ( x)bx) Note that these are not quantified statements, but disjunctions or conjunctions (the left column are disjunction, the right column conjunctions). In general: Quantified statements begin with (x) or ( x). (You can apply drop quantifier rules only to quantified statements.) Negated quantified statements begin with ~(x) or ~( x). (You can apply reverse squiggle rules only to negated quantified statements.) If the statement begins with anything else, you cannot apply drop universal or reverse squiggle rules to it!
3 Quantified Translations With Identity a is identical to (the same things as) b. a=b or b=a (In general, the order in identity statements doesn t matter.) a isn t identical to b. Bob is a dentist. ( Being a dentist is a property Bob has.) Bob is the dentist. ( The dentist is a thing that is identical to Bob.) Someone other than Bob is a dentist. Someone in addition to Bob is a dentist. Bob alone is a dentist. (No else besides Bob is a dentist.) ~a=b or ~b=a Db b=d ( x)(dx ~x=b) (Db ( x)(dx ~x=b)) (Db ~( x)(dx ~x=b)) There is at least one dentist. ( x)dx (At least one is means something is, but says nothing about whether or not anything else is ) There is exactly one dentist. ( x)(dx ~( y)(~x=y Dx)) There is something such that it is a dentist and such that there is nothing else (i.e., other than the first thing) that is a dentist. There is something, call it x, such that it is a dentist and such that it is not the case that there is something, call it y, where x isn t identical to y and y is a dentist. Or ( x)(dx (y)(dy y=x)) There is an x such x is a dentist and is such that for all y, if y is dentist, then y is identical to x. There are at least two dentists. ( x)( y)((dx Dy) ~x=y)) (At least two are means something is and something not identical to it is, but says nothing about whether or not anything further is ) There are exactly two dentists. ( x)( y)(((dx Dy) ~x=y) ~( z)(dz (~z=x ~z=y))) There are an x and y such that x and y are dentists, are not identical to one another, and such that there is no z that is a dentist and isn t identical to either x or y. Or similar to exactly one
4 Quantified Translations, with Identity and other relations Romeo loves Juliet. Lrj Juliet loves Romeo. Ljr (the order matters!) Romeo gave the flowers to Juliet. Grfj Someone loves Romeo. ( x)lxr Romeo loves someone. ( x)lrx Everyone loves Romeo. (x)lxr Romeo loves everyone. (x)lrx No one loves Romeo. ~( x)lxr or (x)~lxr Romeo loves no one. ~( x)lrx or (x)~lrx All logicians admire Gensler. (x)(lx Axg) Some logicians admire Gensler. ( x)(lx Axg) No logician admires Gensler. (Sorry, Harry!) ~( x)(lx Axg) Gensler admires all logicians. (x)(lx Agx) Gensler admires some logicians. ( x)(lx Agx) Gensler admires no logicians. ~( x)(lx Lgx) Some logicians besides Baldner admire Gensler. ( x)((lx ~x=b) Axg) There are logicians who aren t Baldner that admire Gensler. Some logicians in addition to Baldner admire Gensler (Abg ( x)((lx ~x=b) Axg)) No logicians except Baldner admire Gensler. (Abg ~( x)((lx ~x=b) Axg)) Note on the previous three examples: Do we need to add that Baldner is a logician (thus adding Lb somewhere) to the above? This is like the is a boastful druggist in the previous chapter. It all depends on the context of the argument. Is there anything in the argument as a whole that depends upon the explicit claim that Baldner is a logician? If we wanted to add this clause to the last example, it would come out: ((Lb Abg) ~( x)((lx ~x=b) Axg)) On the test I will either, like last time, make it clear how I want it translated, or I will accept either (correct!) answer.
5 And With Multiple Relations and Mixed Quantifiers! Someone loves someone. Someone loves everyone. ( x)( y)lxy ( x)(y)lxy Everyone loves everyone. (x)(y)axy Everyone loves someone. Note: This might be understood in two distinct ways: Everyone loves someone or other, this is generally what is meant versus There is some specific person that everyone loves. These are not equivalent. Thus: Everyone loves someone or other. (x)( y)lxy Everyone is such that there is someone they love. For everyone, there is someone they love. There is some specific person who everyone loves. ( x)(y)lyx There is someone such that everyone loves that person. There is someone that is loved by everyone. Pay attention to the difference in the order of x and y in the above examples! All dentists love one another. Every banker loves some dentist. Some banker loves every dentist. (x)(y)((dx Dy) Lxy) (x)(bx ( y)(dx Lxy)) ( x)(bx (y)(dy Lxy)) Jones is a lover. ( x)ljx In the text, the author understands x is a lover as there is someone that x loves. There is an unloved lover. ( x)(~( y)lyx ( y)lxy) There is someone such that no one loves that person, but there is someone that person loves. For some x, it is false that there is a y such that y loves x and it is true that there is a y such that x loves y. Everyone loves a lover. (x)(( y)lxy (y)lyx) Everyone loves anybody who loves somebody. Everyone is such that, if there is someone they love, then they are loved by everyone. For all x, if there is a y that x loves, then, for all y, y loves x. Everybody doesn t love something, but nobody doesn t love Sara Lee. (an ad slogan from before your time!) ((x)( y)~lxy). ~( x)~lxs) It is true both that for all x there is some y such that x doesn t love y, and there is no x such that x doesn t love Sara Lee.
Last time we had arrived at the following provisional interpretation of Aquinas second way:
Aquinas Third Way Last time we had arrived at the following provisional interpretation of Aquinas second way: 1. 2. 3. 4. At least one thing has an efficient cause. Every causal chain must either be circular,
More informationSwitching Algebra and Logic Gates
Chapter 2 Switching Algebra and Logic Gates The word algebra in the title of this chapter should alert you that more mathematics is coming. No doubt, some of you are itching to get on with digital design
More informationWHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?
WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? introduction Many students seem to have trouble with the notion of a mathematical proof. People that come to a course like Math 216, who certainly
More informationRevised Version of Chapter 23. We learned long ago how to solve linear congruences. ax c (mod m)
Chapter 23 Squares Modulo p Revised Version of Chapter 23 We learned long ago how to solve linear congruences ax c (mod m) (see Chapter 8). It s now time to take the plunge and move on to quadratic equations.
More informationAll of mathematics can be described with sets. This becomes more and
CHAPTER 1 Sets All of mathematics can be described with sets. This becomes more and more apparent the deeper into mathematics you go. It will be apparent in most of your upper level courses, and certainly
More information4. FIRST STEPS IN THE THEORY 4.1. A
4. FIRST STEPS IN THE THEORY 4.1. A Catalogue of All Groups: The Impossible Dream The fundamental problem of group theory is to systematically explore the landscape and to chart what lies out there. We
More informationType Theory & Functional Programming
Type Theory & Functional Programming Simon Thompson Computing Laboratory, University of Kent March 1999 c Simon Thompson, 1999 Not to be reproduced i ii To my parents Preface Constructive Type theory has
More informationIf A is divided by B the result is 2/3. If B is divided by C the result is 4/7. What is the result if A is divided by C?
Problem 3 If A is divided by B the result is 2/3. If B is divided by C the result is 4/7. What is the result if A is divided by C? Suggested Questions to ask students about Problem 3 The key to this question
More informationTest 1: Inference. Directions
Test 1: Inference An inference is a conclusion a person can draw from certain observed or supposed facts. For example, if the lights are on in a house and voices can be heard coming from the house, a person
More informationSelecting a Subset of Cases in SPSS: The Select Cases Command
Selecting a Subset of Cases in SPSS: The Select Cases Command When analyzing a data file in SPSS, all cases with valid values for the relevant variable(s) are used. If I opened the 1991 U.S. General Social
More informationThe Set Data Model CHAPTER 7. 7.1 What This Chapter Is About
CHAPTER 7 The Set Data Model The set is the most fundamental data model of mathematics. Every concept in mathematics, from trees to real numbers, is expressible as a special kind of set. In this book,
More informationA Puzzle about Ontology
NO ^US 39:2 (2005) 256 283 A Puzzle about Ontology THOMAS HOFWEBER University of North Carolina at Chapel Hill 1 Ontology Ontology is the philosophical discipline that tries to find out what there is:
More informationSkepticism about the external world & the problem of other minds
Skepticism about the external world & the problem of other minds So far in this course we have, broadly speaking, discussed two different sorts of issues: issues connected with the nature of persons (a
More informationHow to Study Mathematics Written by Paul Dawkins
How to Study Mathematics Written by Paul Dawkins Before I get into the tips for how to study math let me first say that everyone studies differently and there is no one right way to study for a math class.
More informationHow Expressivists Can and Should Solve Their Problem with Negation
NOÛS 42:4 (2008) 573 599 How Expressivists Can and Should Solve Their Problem with Negation MARK SCHROEDER University of Southern California Expressivists have a problem with negation. The problem is that
More informationBoonin on the FutureLikeOurs Argument against Abortion. Pedro Galvão Centro de Filosofia da Universidade de Lisboa
Boonin on the FutureLikeOurs Argument against Abortion Pedro Galvão Centro de Filosofia da Universidade de Lisboa David Boonin s recent book 1 is an impressively deep and detailed attempt to establish
More informationGuide to Ground. A number of philosophers have recently become receptive to the idea that, in addition to
1 Guide to Ground A number of philosophers have recently become receptive to the idea that, in addition to scientific or causal explanation, there may be a distinctive kind of metaphysical explanation,
More informationMEP Y9 Practice Book A
1 Base Arithmetic 1.1 Binary Numbers We normally work with numbers in base 10. In this section we consider numbers in base 2, often called binary numbers. In base 10 we use the digits 0, 1, 2, 3, 4, 5,
More informationGroup Theory and the Rubik s Cube. Janet Chen
Group Theory and the Rubik s Cube Janet Chen A Note to the Reader These notes are based on a 2week course that I taught for high school students at the Texas State Honors Summer Math Camp. All of the
More informationIntroduction (I) Present Value Concepts. Introduction (II) Introduction (III)
Introduction (I) Present Value Concepts Philip A. Viton February 19, 2014 Many projects lead to impacts that occur at different times. We will refer to those impacts as constituting an (inter)temporal
More informationFigure out the early start and early finish. Early start. Early finish
Figure out the early start and early finish oming up with the float for each activity is useful, but you can actually do better! When you have a long critical path, but the other paths in your network
More informationCritical analysis. Be more critical! More analysis needed! That s what my tutors say about my essays. I m not really sure what they mean.
Critical analysis Be more critical! More analysis needed! That s what my tutors say about my essays. I m not really sure what they mean. I thought I had written a really good assignment this time. I did
More informationChapter 8 Maxwell relations and measurable properties
Chapter 8 Maxwell relations and measurable properties 8.1 Maxwell relations Other thermodynamic potentials emerging from Legendre transforms allow us to switch independent variables and give rise to alternate
More informationIs there a problem about nonconceptual content?
Is there a problem about nonconceptual content? Jeff Speaks (forthcoming in the Philosophical Review) 1 Two understandings of nonconceptual content.................. 1 2 The case for nonconceptual content..........................
More information3. SETS, FUNCTIONS & RELATIONS
3. SETS, FUNCTIONS & RELATIONS If I see the moon, then the moon sees me 'Cos seeing's symmetric as you can see. If I tell Aunt Maude and Maude tells the nation Then I've told the nation 'cos the gossiping
More informationTips for writing good use cases.
Transforming software and systems delivery White paper May 2008 Tips for writing good use cases. James Heumann, Requirements Evangelist, IBM Rational Software Page 2 Contents 2 Introduction 2 Understanding
More informationTHE CONGRUENT NUMBER PROBLEM
THE CONGRUENT NUMBER PROBLEM KEITH CONRAD 1. Introduction A right triangle is called rational when its legs and hypotenuse are all rational numbers. Examples of rational right triangles include Pythagorean
More informationRecall this chart that showed how most of our course would be organized:
Chapter 4 OneWay ANOVA Recall this chart that showed how most of our course would be organized: Explanatory Variable(s) Response Variable Methods Categorical Categorical Contingency Tables Categorical
More informationRational Number Project
Rational Number Project Fraction Operations and Initial Decimal Ideas Lesson 1: Overview Students review how to model fractions with fraction circles by ordering unit fractions, using 1half as a benchmark
More information(LMCS, p. 317) V.1. First Order Logic. This is the most powerful, most expressive logic that we will examine.
(LMCS, p. 317) V.1 First Order Logic This is the most powerful, most expressive logic that we will examine. Our version of firstorder logic will use the following symbols: variables connectives (,,,,
More information