today’s topics
DESCRIPTION
Today’s Topics. Limits to the Usefulness of Venn’s Diagrams Predicates (Properties and Relations) Variables (free, bound, individual, constants). Limits to Venn’s diagrams. We cannot construct a proper diagram (no region left out, none duplicated) for an argument involving 6 or more terms. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/1.jpg)
Today’s Topics• Limits to the Usefulness of Venn’s Diagrams• Predicates (Properties and Relations)• Variables (free, bound, individual,
constants)
![Page 2: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/2.jpg)
Limits to Venn’s diagrams• We cannot construct a proper diagram (no region
left out, none duplicated, same shape for classes) for an argument involving 6 or more terms.
• We CAN construct 16 and 32 region “Venn type diagrams” for both 4 and 5 term arguments, but they are really hard to use.
• This limit is linked to what mathematicians call the 4 color problem. Any may can be colored with 4 colors and have no adjoining regions the same color.
![Page 3: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/3.jpg)
An Imposter Venn-type diagram for a 4 term argument
![Page 4: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/4.jpg)
A 16 region Venn-type diagram for a 4 term argument
![Page 5: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/5.jpg)
A 16 region diagram (different shapes for classes)
![Page 6: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/6.jpg)
A 32 region Venn-type diagram for a 5 term argument
![Page 7: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/7.jpg)
A 64 region diagram (different shapes for classes)
![Page 8: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/8.jpg)
128 regions
![Page 9: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/9.jpg)
Venn diagrams are good for jokes
![Page 10: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/10.jpg)
Things that aren’t supposed to be funny
Things I find funny.Why I’m going to Hell.
![Page 11: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/11.jpg)
The Joker “Venn Diagram”
![Page 12: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/12.jpg)
Propositional and syllogistic logic have serious limitations.
• Some arguments that are clearly valid cannot be shown valid in our system (remember DeMorgan’s valid sentence).
• Propositional logic misses the internal structure of sentences.
• Syllogistic logic cannot deal with more than 4 terms, nor can it deal with relations.
• We need a new, more powerful, tool: Predicate Logic.
![Page 13: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/13.jpg)
The two central concepts in predicate logic are:
• The Predicate (Property Constant)• The Variable
![Page 14: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/14.jpg)
A PREDICATE is either a property of an object or a relation between a group of objects.
• A predicate is represented symbolically by a capital letter followed by one or more lower case variable letters.
• Hx = ‘x is happy’• Txy = ‘x is taller than y’
![Page 15: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/15.jpg)
Monadic and Polyadic (Relational) Predicates
• A predicate that expresses a property of an object is monadic, it applies to only one thing.
• A predicate that expresses a relation between objects is polyadic or relational, it applies to an ordered set of objects.
![Page 16: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/16.jpg)
A VARIABLE is a place-holder in a formulaic expression.
• An individual variable is a true place holder, expressed symbolically with lower case letters taken from the end of the alphabet, t, u, v,...z.
• An individual constant stands for a specific individual, represented by a lower case letter taken from the beginning of the alphabet).
![Page 17: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/17.jpg)
Predicates plus variables allow us to describe individual and relations more fully
• Let Hx = ‘x is happy’ and Txy = ‘x is taller than y’ and ‘a’ be the individual constant for Alice and ‘b’ the individual constant for Bob.
• Hb says that Bob is happy.• Tba says that Bob is taller than Alice
![Page 18: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/18.jpg)
Sentences containing free individual variables are called open sentences and have no truth value.• Hx says only that x, whoever that is, is
happy. Since the value of x is open, we can’t assign a truth value to Hx.
• Replacing free variables with individual constants turns the open sentence into a closed sentence with a truth value.
![Page 19: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/19.jpg)
Another way to close an open sentence is to BIND the free individual variables with QUANTIFIERS.• There are only 2 quantifiers in English:
All and Some.
![Page 20: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/20.jpg)
Symbolizing quantifiers• The universal quantifier, all, is represented
with an upside down A-- -- followed by a variable letter ( x says ‘for any x’) – Some systems of logic (the text, LogicWorks)
use a variable in parens—(x)--as the symbol for the Universal Quantifier. We shall simply be symbolically polyglot.
• The existential quantifier, some, is represented with a backwards E----followed by a variable letter ( x says ‘there exists an x such that’)
![Page 21: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/21.jpg)
Any variable that falls within the scope of a quantifier is bound by that
quantifier (see pp. 362-372).• The parentheses following a quantifier mark
its scope.• xHx says “everybody is happy.”• x(Txb Hx) says “someone is taller than
Bob and that person is happy.”
![Page 22: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/22.jpg)
• If all the variables in a sentence are either bound or individual constants, the sentence is closed.
• So, while ‘Hx’ is an open sentence, ‘ xHx,’ in which the second ‘x’ is a bound
variable, is closed and means ‘someone is happy.’
• However, in ‘xHx Txy’ both the third x and the y are free, outside the scope of any quanitfier, and thus the sentence is open.
![Page 23: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/23.jpg)
In which, if any, of the following WFF’s are there free variables?
1. x(Fx (Ga ● Hx))2. x(Fx (Ga ● Hy))3. xFx y(Fy ● Rxy)4. x(Fx y(Fy ● Rxy))5. xFx y(Fy ● Gy)6. x(Tx (Se▼Bxe))7. x(Tx y(Sy▼Bzy))
![Page 24: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/24.jpg)
Answers
• 1. No free variables• 2. The ‘y’ is free• 3. The second ‘x’ is free• 4. No free variables• 5. No free variables• 6. No free variables• 7. The ‘z’ is free
![Page 25: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/25.jpg)
Symbolizing with Quantifiers:• The material inside the parenthesis following a
quantifier is called the matrix of the formula.• The dominant operator in the matrix of a
universally quantified proposition will almost always be the conditional.1. The word “are” indicates the dominant operator2. Relative clauses (All ’s who are ’s are ’s)
indicate a compound antecedent.• The dominant operator in the matrix of an
existentially quantified proposition will almost always be conjunction.
![Page 26: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/26.jpg)
Common Errors in Symbolizing with Quantifiers
• Sentences beginning with “A” do not follow strict rules:– ‘A barking dog never bites’ is a universal claim,
but– ‘A barking dog is in the road’ is an existential
claim.
![Page 27: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/27.jpg)
Common Errors in Symbolizing with Quantifiers
• Sentences beginning with “A” do not follow strict rules:
• ‘He who’ sentences are universal claims
![Page 28: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/28.jpg)
Common Errors in Symbolizing with Quantifiers
• Sentences beginning with “A” do not follow strict rules:
• ‘He who’ sentences are universal claims– ‘He who lives by the sword dies by the sword’
is a universal claim
![Page 29: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/29.jpg)
‘Common Errors in Symbolizing with Quantifiers
• Sentences beginning with “A” do not follow strict rules:
• ‘He who’ sentences are universal claims• ‘Any’ and ‘every’ are not synonymous when
following negations– ‘Hamner is not taller than any NBA player’ is false, but– ‘Hamner is not taller than every NBA player’ is true.
![Page 30: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/30.jpg)
Common Errors in Symbolizing with Quantifiers
• Sentences beginning with “A” do not follow strict rules:
• ‘He who’ sentences are universal claims• ‘Any’ and ‘every’ are not synonymous
when following negations• The problem of ‘only’
![Page 31: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/31.jpg)
• The problem of ‘only’– In English sentences beginning with
‘only,’ the grammatical subject is the logical predicate. ‘Only freshmen are eligible’ means ‘All who are eligible are freshmen.’
![Page 32: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/32.jpg)
Troubling occurrences of ‘and.’
• Sometimes ‘and’ does not signal conjunction.– ‘Hamner and Peggy are married’ indicates a
relational predicate, not a conjunction– ‘Women and children are exempt’ says that
whoever is either a woman or a child is exempt, NOT that whoever is a woman/child is exempt.
– ‘Some dogs and cats do not make good pets’ does not, the cartoon notwithstanding, indicate that there are cat-dogs who do not make good pets
![Page 33: Today’s Topics](https://reader034.vdocument.in/reader034/viewer/2022051821/56815bef550346895dc9e172/html5/thumbnails/33.jpg)
Try some on your own.
• Download the Predicate Study Guide from the Handouts section and review it.
• Download the Handout entitled Predicate Translation Exercises and try some. Post and discuss your answers. Be careful to use quantifiers when necessary, but remember that we do not quantify across individual constants—names have a fixed value.