LOGIC

?
How can the Universal Quantifier be read?
For all x OR for every x
1 of 15
How can the existential Quantifier be read?
for at least one x OR for some x OR something
2 of 15
Names in FOL
a, b, c, d etc.
3 of 15
Predicates in FOL
Fx, Gx, Hx etc.
4 of 15
Predicate
not a full sentence, has a gap becomes complete when the gap is filled
5 of 15
One place predicate
Predicate has one gap.
6 of 15
two place predicates
are when you remove two singular terms from a sentence. Also called relations
7 of 15
What is a domain
the set of things which we are talking about. Quantifiers range over the domain
8 of 15
What does multiple generality mean?
refers to cases of the use of more than one quantifier in a single sentence, some sentences combine more than one quantifier
9 of 15
when is multiple generality interesting
when one quantifier is within the scope of the other one
10 of 15
what is an equivalence relation
one which is reflexive, symmetric and transitive
11 of 15
What is identity
An equivalence relation in which everything stands to itself and nothing else. Crucial part is Leibniz Law
12 of 15
What is qualitative identity
just sameness in certain respects
13 of 15
what is numerical identity
being the same thing
14 of 15
is identity a one or two place relation?
two
15 of 15

Other cards in this set

Card 2

Front

How can the existential Quantifier be read?

Back

for at least one x OR for some x OR something

Card 3

Front

Names in FOL

Back

Preview of the front of card 3

Card 4

Front

Predicates in FOL

Back

Preview of the front of card 4

Card 5

Front

Predicate

Back

Preview of the front of card 5
View more cards

Comments

No comments have yet been made

Similar Philosophy resources:

See all Philosophy resources »See all LOGIC resources »