predicate logic splitting the atom what propositional logic can’t do it can’t explain the...
TRANSCRIPT
![Page 1: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/1.jpg)
Predicate LogicPredicate LogicSplitting the AtomSplitting the Atom
![Page 2: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/2.jpg)
What Propositional Logic can’t do• It can’t explain the validity of the Socrates Argument
• Because from the perspective of Propositional Logic
its premises and conclusion have no internal
structure.
![Page 3: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/3.jpg)
The Socrates Argument
1. All men are mortal
2. Socrates is a man
_______________________
3. Therefore, Socrates is mortal
Translates as:
1. H
2. S
__
3. M
![Page 4: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/4.jpg)
The Problem
The problem is that the validity of this argument
comes from the internal structure of these
sentences--which Propositional Logic cannot “see”:
1. All men are mortal
2. Socrates is a man
_______________________
3. Therefore, Socrates is mortal
![Page 5: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/5.jpg)
Solution
• We need to split the atom!
• To display the internal structure of those “atomic”
sentences by adding new categories of vocabulary
items
• To give a semantic account of these new vocabulary
items and
• To introduce rules for operating with them.
![Page 6: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/6.jpg)
Singular statements
Make assertions about persons, places, things or
times
Examples:
• Socrates is a man.
• Athens is in Greece.
• Thomas Aquinas preferred Aristotle to Plato
To display the internal structure of such sentences
we need two new categories of vocabulary items:
• Individual constants (“names”)
• Predicates
![Page 7: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/7.jpg)
Individual Constants Individual Constants & PredicatesPredicates
SocratesSocrates is a manis a man.
The name of a person—which we’ll express by an individual constant
The name of a person—which we’ll express by an individual constant
A predicate—assigns a property (being-a-man) to the person named
![Page 8: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/8.jpg)
More Vocabulary
• So, to the vocabulary of Propositional Logic we add:
• Individual Constants: lower case letters of the Individual Constants: lower case letters of the
alphabet (a, b, c,…, u, v, w)alphabet (a, b, c,…, u, v, w)
• Predicates: upper case letters (A, B, C,…, X, Y, Z)Predicates: upper case letters (A, B, C,…, X, Y, Z)
– These represent predicates like “__ is human,” “__
the teacher of __,” “__ is between __ and __,” etc.
– Note: Predicates express properties which a single
individual may have and relations which may hold
on more than one individual
![Page 9: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/9.jpg)
Predicates
• 1-place predicates assign properties to individuals:
__ is a man
__ is red
• 2-place predicates assign relations to pairs of individuals
__ is the teacher of __
__ is to the north of __
• 3-place predicates assign relations to triples of individuals
__ preferred __ to __
• And so on…
![Page 10: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/10.jpg)
Translation
SocratesSocrates is a man.
Hss
SocratesSocrates is mortal.
Mss
AthensAthens is in GreeceGreece
Iagag
ThomasThomas preferred AristotleAristotle to Plato.Plato.
Ptaptap
We always put the predicate first followed by the names of the things to which it applies.
![Page 11: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/11.jpg)
What are properties & relations?
Are they ideas in people’s heads?
Are they Forms in Plato’s heaven?
All this is controversial so we resolve to treat properties and relations as things that aren’t controversial, viz. sets.
![Page 12: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/12.jpg)
Predicates designate sets!
• Individual constants name individuals—persons,
places, things, times, etc.
• We resolve to understand properties and relations as
sets—of individuals or ordered n-tuples of individuals
(pairs, triples, quadruples, etc.)
Fido
{ brown things }
is brown
![Page 13: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/13.jpg)
Predicate Logic Vocabulary• Individual Constants: lower case letters of the alphabet (a,
b, c,…, u, v, w)
• Predicates: upper case letters (A, B, C,…, X, Y, Z)
• Connectives: , , • , , and
• Variables: x, y and z
• Quantifiers:
– Existential ( [variable]), e.g. (x), (y)…
– Universal ( [variable]) or just ([variable] ), e.g. (x), (y), (x), (y)…
![Page 14: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/14.jpg)
Sets
• A set is a well defined collection of objects.
• The elements of a set, also called its members, can be anything: numbers, people, letters of the alphabet, other sets, and so on.
• Sets A and B are equal iff they have precisely the same elements.
• Sets are “abstract objects”: they don’t occupy time or space, or have causal powers even if their members do.
![Page 15: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/15.jpg)
Venn Diagrams
• Set theoretical concepts, like union and intersection can be represented visually by Venn Diagrams
• Venn Diagrams represent sets as circles and
• Represent the emptiness of a set by shading out the region represented by it and
• Represent the non-emptiness of a set by putting an “X” in it.
![Page 16: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/16.jpg)
Set Membership & Set Inclusion
Mama GrandmaThe Kids
The Babushka Family: C is the daughter of D and D is the daughter of E, but C is not the daughter of E!
![Page 17: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/17.jpg)
Set Membership & Set Inclusion
• x S : x is a member of the set S
– 2 {1, 2, 3}
– C {daughters of D}
• Anything can be a member of a set…including
another set!
– {1, 2, 3} {{1, 2, 3}, 4}
• But members of members aren’t members!
– 4 {1, 2, 3}, 4}, but 2 {{1, 2, 3}, 4} !
• C is a daughter of D and D is the daughter of E but C
is not the daughter of D!
![Page 18: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/18.jpg)
Set Membership & Set Inclusion
S1 ⊆ S2 : S1 included in (is a subset of) S2
•This means every member of S1 is a member of S2
– {1, 2, 3} {1, 2, 3, 4}⊆
The numbers 1, 2, and 3 are members of {1, 2, 3, 4},
but the set {1, 2, 3} is not a member!
– {1, 2, 3} {1, 2, 3, 4}
•It is however a member of this set:
– {1, 2, 3} {{1, 2, 3}, 4}
•Sets are identical if they have the same members so
– {1, 2, 3, 4} ≠ {{1, 2, 3}, 4}
![Page 19: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/19.jpg)
Ordered Sets• We use curly-brackets to designate sets so, e.g. the
set of odd numbers between 1 and 10 is {3, 5, 7, 9}
• Order doesn’t matter for sets so, e.g.
– {3, 5, 7, 9} = {3, 9, 5, 7}
• But sometimes order does matter: to signal that we
use pointy-brackets to designate ordered n-tuples—
ordered pairs, triples, quadruples, quintuples, etc.
– <Adam, Eve> ≠ <Eve, Adam>
– <1, 2, 3> ≠ <3, 2, 1>
![Page 20: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/20.jpg)
The Set of Russian Doll Sets
• C {Babushkas}• {Babushkas} {Russian Doll Sets}• C {Russian Doll Sets}
• C is a doll—not a set of dolls!
![Page 21: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/21.jpg)
Having a property• An individual’s having a property is understood as its
being a member of a set.
• “Fido is brown” says that Fido is a member of the set of brown things.
Fido { brown things }ε
![Page 22: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/22.jpg)
What Singular Sentences Say
• Singular sentences are about set membership.
• Ascribing a property to an individual is saying that it’s a member of the set of individuals that have that property, e.g.
– “Descartes is a philosopher” says that Descartes is a member of {Plato, Aristotle, Locke, Berkely, Hume, Quine…}
• Saying that 2 or more individuals stand in a relation is saying that some ordered n-tuple is a member of a set so, e.g.
– “San Diego is north of Chula Vista” says that <San Diego,Chula Vista> is a member of {<LA,San Diego>, <Philadelphia,Baltimore>…}
![Page 23: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/23.jpg)
Singular Sentences
1. All men are mortal
2. Socrates is a man
_______________________
3. Therefore, Socrates is mortal
• We can now understand what 2
and 3 say:
• 2 says that Socrates ε {humans}
• 3 says that Socrates ε {mortals}
![Page 24: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/24.jpg)
Singular statementsTranslation
![Page 25: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/25.jpg)
Ducati is brown.
Bd
![Page 26: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/26.jpg)
Tweety bopped Sylvester
Bts
![Page 27: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/27.jpg)
General Statements
![Page 28: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/28.jpg)
General Sentences
1. All men are mortal
2. Socrates is a man
_______________________
3. Therefore, Socrates is mortal
• But we still don’t have an account
of what 1 says
• Because it doesn’t ascribe a
property or relation to any
individual or individuals.
![Page 29: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/29.jpg)
Emptiness
Shading in a region says that the set it represents is empty.
A
This says that there are no As.
![Page 30: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/30.jpg)
There are no unicorns.
unicorns
(x) Ux
![Page 31: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/31.jpg)
Non-emptiness
‘X’ in a region says that the set it the region represents is non-empty, i.e. there’s something there
A
This says that at least one thing is an A.
![Page 32: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/32.jpg)
There are horses.
horses
X
(x) Hx
![Page 33: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/33.jpg)
Intersection
Intersection of the sets A and B, denoted A ∩ B, is the set of all objects that are members of both A and B.
This is the intersection of sets A and B
A B
![Page 34: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/34.jpg)
No horses are carnivores
(x) (Hx • Cx)
horses carnivores
![Page 35: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/35.jpg)
Intersection & Conjunction
This region represents the set of things that are both A and B.
A B
X
![Page 36: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/36.jpg)
Some horses are brown
brown things
(x)(Hx • Bx)
X
horses
![Page 37: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/37.jpg)
Set Complement
The complement of a set if everything in the universe that’s not in the set.
The shaded area is the complement of A—the set of things that are not A.
A
![Page 38: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/38.jpg)
Set Complement
This says that something is in both A but not B.
A B
X
![Page 39: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/39.jpg)
Some horses are not brown
brown thingshorses
X
(x)(Hx • Bx)
![Page 40: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/40.jpg)
All horses are mammals
(x)(Hx Mx)
horses mammalshorses
![Page 41: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/41.jpg)
All horses are mammals
horses mammals
There are no non-mammalian horseshorses ∩ non-mammals = { } (the empty set)
![Page 42: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/42.jpg)
Set Union
Union of the sets A and B, denoted A ∪ B, is the set of all objects that are a member of A, or B, or both.
This is the union of sets A and B
A B
![Page 43: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/43.jpg)
Union and Disjunction• If we say something is in the union of A and B we’re
saying that it’s either in A or in B.
A B
![Page 44: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/44.jpg)
General Sentences
1. All men are mortal
2. Socrates is a man
_______________________
3. Therefore, Socrates is mortal
• We can’t treat “all men” as the
name of an individual as, e.g. the
sum or collection of all humans
• Consider: “All men weigh under
1000 pounds.”
• We want to ascribe properties to
every man individually.
![Page 45: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/45.jpg)
The Socrates Argument is Valid!
1. All men are mortal
2. Socrates is a man
_______________________
3. Therefore, Socrates is mortal
• 1 says that there are no men that
don’t belong to the set of mortals
• 2 says that Socrates ε {men}
• 3 says that, therefore, Socrates ε
{mortals}
![Page 46: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/46.jpg)
All men are mortals
There’s nothing in the set of men outside of the set of mortals;
the set of immortal men is empty.
men mortals
immortal men: nothing here!
![Page 47: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/47.jpg)
Socrates is a man.
• This is the only place in the men circle Socrates can go since we’ve already said that there are no immortal men.
men mortals
![Page 48: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/48.jpg)
Therefore, Socrates is a mortal.
• So Socrates automatically ends up in the mortals circle: the argument is, therefore, valid!
men mortals
![Page 49: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/49.jpg)
Arguments Involving Relations
1. All dogs love their people
2. Bo is Obama’s Dog
____________________
3. Bo loves Obama
If we treat the predicates in these 3 sentences as one-place predicates, we can’t explain the validity of this argument!
It looks like we’re ascribing 3 different properties that don’t have anything to do with one another: people-loving, being-Obama’s-dog and Obama-loving
![Page 50: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/50.jpg)
Relations
• We understand relations as sets of ordered n-tuples,
e.g.
• being to the north of is {<Los Angeles, San Diego>,
<Philadelphia, Baltimore>, <San Diego, Chula
Vista>…}
• being the quotient of one number divided by another:
x into y is {<2,2,1>, <2,4,2>, <5,45,9>…}
![Page 51: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/51.jpg)
Singular sentences about relations
• Standing in a relation is also understood in terms of
set membership.
• It’s a matter of being a member of an ordered n-tuple
which is a member of a set.
Michelle is Barak’s wife.
ε {<Eve, Adam>, <Hillary, Bill>…}
![Page 52: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/52.jpg)
Validity of the Dog Argument
1. All dogs love their people
2. Bo is Obama’s Dog
____________________
3. Bo loves Obama
We can consider being the dog of and loves as relations and designate them by the 2-place predicates “D”and “L”
Now the 3 sentences have something in common--they don’t involve 3 different properties; they involve 2 relations: being the dog of and loves
So we can link them to show validity
![Page 53: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/53.jpg)
Bo is Obama’s dog: Dbo
![Page 54: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/54.jpg)
All dogs love their people
(x)(y)(Dxy Lxy)For all x, y, if x is the dog of y then x loves y
![Page 55: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/55.jpg)
Validity of the Dog Argument
1. All dogs love their people
2. Bo is Obama’s Dog
____________________
3. Bo loves Obama
1. (x)(y)(Dxy Lxy)
2. Dbo______________
3. Lbo
1 says that for any x and y, if x is the dog of y then x loves y.
2 says that Bo is the dog of Obama.
So it follows that Bo loves Obama!
![Page 56: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/56.jpg)
All dogs love their people
(x)(y)(Dxy Lxy)
__ is the dog of __ __ loves __
![Page 57: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/57.jpg)
Bo is Obama’s Dog
Dbo
__ is the dog of __ __ loves __
<Bo,Obama>
![Page 58: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/58.jpg)
Bo loves Obama
Lbo
__ is the dog of __ __ loves __
<Bo,Obama>
![Page 59: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/59.jpg)
Scope
![Page 60: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/60.jpg)
There are dogs and there are cats.
(x)Dx (x)Cx : There exists an x such that x is a dog and
there exists an x such that x is a cat
![Page 61: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/61.jpg)
There are dog-cats
(x)(Dx Cx): There exists an x such that x is a dog-and-a-
cat
![Page 62: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/62.jpg)
Overlapping quantifiers
![Page 63: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/63.jpg)
Everybody loves somebody
(x)(y)Lxy: for all x, there exists a y such that x loves y
![Page 64: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/64.jpg)
Everybody is loved by somebody
(x)(y)Lyx: for all x, there exists a y such that y loves x
![Page 65: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/65.jpg)
There’s somebody everybody loves
(x)(y)Lyx: There exists an x such that for all y, y loves x
![Page 66: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/66.jpg)
There’s somebody who loves everybody
(x)(y)Lxy: there exists an x such that for all y, x loves y
![Page 67: Predicate Logic Splitting the Atom What Propositional Logic can’t do It can’t explain the validity of the Socrates Argument Because from the perspective](https://reader036.vdocuments.us/reader036/viewer/2022070412/56649edc5503460f94bec497/html5/thumbnails/67.jpg)
The EndThe End