Phi 270 F97 test 5

F97 test 5 questions

(These questions are from the last of the 6 quizzes given in F97.)

Analyze the following sentences in as much detail as possible, providing a key to the non-logical vocabulary (upper and lower case letters) appearing in your answer.

1. Tom phoned someone who had left a message for him. [Give this analysis also using an unrestricted quantifier.]
answer
2. Santa said something to each child. [This sentence is ambiguous. Analyze it in two different ways, and describe a situation in which the sentence is true on one of your interpretations and false on the other.]
answer
3. Ron asked Santa for at least two things.
answer

Analyze the sentence below using each of the two ways of analyzing definite descriptions. That is, analyze it using Russell’s analysis of definite descriptions as quantifier phrases and then analyze it again using the description operator.

4. Bill lent the book Ann gave him to Carol
answer

Use derivations to show that the following argument is valid. You may use any rules.

5.
∃x ∃y (Rxy ∧ Sxy)
∃y ∃x (Sxy ∧ Rxy)
answer

Use a derivation to show that the following argument is not valid and describe a counterexample lurking in an open gap.

6.
∃x Rax
∃x Rxa
answer

Complete the following to give a definition of inconsistency in terms of truth values and possible worlds:

7. A set Γ is inconsistent if and only if …
answer

Describe a structure (i.e., an assignment of extensions to the non-logical vocabulary) which makes the list of 5 sentences below all true and use it to calculate a truth value for the sentence that follows them. (You may present the structure using either tables or a diagram.)

8. make true: b = ga, fa = f(ga), Rab, R(fa)a, ¬ R(fb)b
  calculate: (b = gb ∨ Ra(ga)) → (R(fa)(ga) ∧ f(gb) = g(fb))
  answer

Give two different restatements of the sentence below in expanded form as a complex predicate (i.e., an abstract) applied to a term.

9. ∃y Rayb
answer

F97 test 5 answers

1.

Tom phoned someone who had left a message for him

someone who had left a message for Tom is such that (Tom phoned him or her)

(∃x: x is a person who had left a message for Tom) Tom phoned x

(∃x: x is a person ∧ x had left a message for Tom) Htx

(∃x: Px ∧ some message is such (x had left it for Tom)) Htx

(∃x: Px ∧ (∃y: y is a message) x had left y for Tom) Htx

(∃x: Px ∧ (∃y: My) Lxyt) Htx
∃x ((Px ∧ ∃y (My ∧ Lxyt)) ∧ Htx)

H: [ _ phoned _ ]; L: [ _ had left _ for _ ]; M: [ _ is a message]; P: [ _ is a person]; t: Tom

2.

first analysis:

each child is such that (Santa said something to him or her)

(∀x: x is a child) Santa said something to x

(∀x: Cx) something is such that (Santa said it to x)

(∀x: Cx) ∃y Santa said y to x

(∀x: Cx) ∃y Dsyx

second analysis:

something is such that (Santa said it to each child)

∃x Santa said x to each child

∃x each child is such that (Santa said x to him or her)

∃x (∀y: y is a child) Santa said x to y

∃x (∀y: Cy) Dsxy

C: [ _ is a child]; D: [ _ said _ to _ ]; s: Santa

The sentence is true on the first analysis and false on the second in a situation where Santa spoke to each child but said different things to different children

3.

Ron asked Santa for at least two things

∃x (∃y: ¬ y = x) (Ron asked Santa for x ∧ Ron asked Santa for y)

∃x (∃ y: ¬ y = x) (Arsx ∧ Arsy)

A: [ _ asked _ for _ ]; r: Ron; s: Santa

4.

using Russell’s analysis:

Bill lent the book Ann gave him to Carol

the book Ann gave Bill is such that (Bill lent it to Carol)

(∃x: x and only x is a book Ann gave Bill) Bill lent x to Carol

(∃x: x is a book Ann gave Bill ∧ (∀y: ¬ y = x) ¬ y is a book Ann gave Bill) Lbxc

(∃x: (x is a book ∧ Ann gave Bill x) ∧ (∀y: ¬ y = x) ¬ (y is a book ∧ Ann gave Bill y)) Lbxc

(∃x: (Bx ∧ Gabx) ∧ (∀y: ¬ y = x) ¬ (By ∧ Gaby)) Lbxc
or:
(∃x: (Bx ∧ Gabx) ∧ (∀y: By ∧ Gaby) x = y) Lbxc

using the description operator:

Bill lent the book Ann gave him to Carol

Lb(the book Ann gave Bill)c

Lb(Ix x is a book Ann gave Bill)c

Lb(Ix (x is a book ∧ Ann gave Bill x))c

Lb(Ix (Bx ∧ Gabx))c

B: [ _ is a book]; G: [ _ gave _ _ ]; L: [ _ lent _ to _ ]; a: Ann; b: Bill; c: Carol

5.
│∃x ∃y (Rxy ∧ Sxy) 1
├─
│ⓐ
││∃y (Ray ∧ Say) 2
│├─
││ⓑ
│││Rab ∧ Sab 3
││├─
3 Ext │││Rab (4)
3 Ext │││Sab (4)
4 Adj │││Sab ∧ Rab X, (5)
5 EG │││∃x (Sxb ∧ Rxb) X, (6)
6 EG │││∃y ∃x (Sxy ∧ Rxy) X, (7)
│││●
││├─
7 QED │││∃y ∃x (Sxy ∧ Rxy) 2
│├─
2 PCh ││∃y ∃x (Sxy ∧ Rxy) 1
├─
1 PCh │∃y ∃x (Sxy ∧ Rxy)
6.
│∃x Rax
├─
│ⓑ
││Rab
│├─
│││∀x ¬ Rxa a:3,b:4
││├─
3 UI │││¬ Raa
4 UI │││¬ Rba
│││○ Rab, ¬Raa, ¬Rba ⊭ ⊥
││├─
│││⊥ 2
│├─
2 NcP ││∃x Rxa 1
├─
1 PCh │∃x Rxa
7. A set Γ is inconsistent if and only if there is no possible world in which every member of Γ is true.
8.
range: 1, 2, 3
ab
12
τfτ
13
23
32
τgτ
12
23
33
R123
1FTF
2FFF
3TFF
 
 
(b=gb ∨Ra(ga)) →(R(fa)(ga) ∧f(gb)=g(fb))
2F32 TT121 ⒻF3121 F232F332
 

Your values for some of the compound terms and equations may differ from those shown here in gray, but your values for other predications and for truth-functional compounds should be the same as those shown.

The diagram above provides a complete answer, and so do the tables to its left. The tables below show a way of arriving at these answers.

 
alias sets  IDs  values
a 1 a: 1
b
ga		 2 b: 2
g1: 2
fa
fb
f(ga)		 3 f1: 3
f2: 3
f2: 3
resources values
Rab
R(fa)a
¬ R(fb)b 		R12: T
R31: T
R32: F
9. The following are 3 possibilities (up to choice of the variable) from which your two might be chosen; in the last, τ may be any term:
[∃y Rxyb]xa, [∃y Rayx]xb, [∃y Rayb]xτ