Instances

Question 1

What is an instance?

Answer 1

A schema, S, is an instance of (∀u)T if…

(1) S replaces all FREE occurrences of u with v.
(2) The newly introduced occurrences of v are also free.
(3) There are no other differences between S and T.

Question 2

What is a conservative instance?

Answer 2

An instance is conservative if it contains free v ONLY where the initial schema contained free u.

Question 3

Do universal generalizations require conservative instances?

Answer 3

Yes.

Question 4

Are quantified polyadic schema always conservative instances?

Answer 4

No. Quantified monadic schema are always instances.

Question 5

Are quantified monadic schema always conservative instances?

Answer 5

Yes. Quantified monadic schema are always instances.

Question 6

Do existential generalizations require conservative instances?

Answer 6

No.

Question 7

Do existential instantiations require conservative instances?

Answer 7

Yes.

Question 8

Do universal instantiations require conservative instances?

Answer 8

No.

Question 9

Is the instance of an instance an instance?

Answer 9

No.

Question 10

How do you check to see if an instance is conservative?

Answer 10

(1) Make sure S is an instance of (∀u)T.
(2) Identify the instantial variable, v.
(3) Check whether v is free in (∀u)T.
3a. If v is not free in (∀u)T then S is a conservative instance.
3b. If v is free in (∀u)T, then S is a not a conservative instance.

Question 11

What is an instantial variable?

Answer 11

???????????