Phi 270 F00 test 5

Phi 270 F00 test 5 in pdf format

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. Notice the additional instructions given for each of the first two.
1.	`There is a yak that someone yoked`. [Give this analysis also using an unrestricted quantifier.] [answer]
2.	`Each explorer mapped a route`. [This sentence is ambiguous. Analyze it in two nonequivalent ways, and describe a situation in which the sentence is true on one of your analyses and false on the other.] [answer]
3.	`Exactly one reindeer was red nosed`. [You may leave the predicate λx (x `was red nosed`) unanalyzed.] [answer]

Analyze the sentence below using each of the two ways of analyzing the definite description `the fireplace`. That is, analyze it using Russell's analysis of definite descriptions as quantifier phrases and then analyze it again using the description operator.
4.	`Santa gained entry through the fireplace.` [answer]

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

∃x (∀y: Fy) Rxy

(∀x: Fx) ∃y Ryx

[answer]
That is: Something is relevant to all findings ⇒ Each finding has something relevant to it
[Don't hesitate to ignore this English reading if it doesn't help you think about the argument.]

Use a derivation to show that the following argument is not valid and describe a structure dividing an open gap.

∃x (∃y: ¬ y = x) Rxy

∃x ¬ Rxx

[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]

Complete the following truth table by calculating the truth value of the sentence on the given assignment. Show the value of each component by writing it under the main connective of that component.

∨

∧

→

[answer]

Describe a structure (i.e., an assignment of extensions to the non-logical vocabulary) which makes the sentences below all true. (You may use either tables or a diagram.)
9.	a = c, fc = b, d = e, Fc, Fd, ¬ Fb, Rab, Rea, R(fa)b, ¬ Re(fc) [answer]

Phi 270 F00 test 5 answers

There is a yak that someone yoked

something is a yak that someone yoked

something is such that (it is a yak that someone yoked)

∃x x is a yak that someone yoked

∃x (x is a yak ∧ someone yoked x)

∃x (Yx ∧ someone is such that (he or she yoked x))

∃x (Yx ∧ (∃y: y is a person) y yoked x)

∃x (Yx ∧ (∃y: Py) Kyx)
∃x (Yx ∧ ∃y (Py ∧ Kyx))

[K: λxy (x yoked y); P: λx (x is a person); Y: λx (x is a yak)]

first analysis:

Each explorer mapped a route

each explorer is such (he or she mapped a route)

(∀x: x is an explorer) x mapped a route

(∀x: Ex) some route is such that (x mapped it)

(∀x: Ex) (∃y: y is a route) x mapped y

(∀x: Ex) (∃y: Ry) Mxy

second analysis:

Each explorer mapped a route

some route is st (each explorer mapped it)

(∃x: x is a route) each explorer mapped x

(∃x: Rx) each explorer is such that (he or she mapped x)

(∃x: Rx) (∀y: y is an explorer) y mapped x

(∃x: Rx) (∀y: Ey) Myx

[P: λx (x is an explorer;) M: λxy (x mapped y); R: λx (x is a route)]
The first is true and the second false if every explorer mapped some route or other but no one route was mapped by all explorers

Exactly one reindeer was red nosed

at least one reindeer was red nosed ∧ ¬ at least two reindeer were red nosed

some reindeer is such that (it was red nosed) ∧ ¬ at least two reindeer were such that (they were red nosed)

(∃x: x is a reindeer) x was red nosed ∧ ¬ (∃x: x is a reindeer) (∃y: y is a reindeer ∧ ¬ y = x) ( x was red nosed ∧ y was red nosed)

(∃ x: Rx) Nx ∧ ¬ (∃ x: Rx) (∃ y: Ry ∧ ¬ y = x) (Nx ∧ Ny)

or:

Exactly one reindeer was red nosed

some reindeer is such that (it was red nosed and no other reindeer was red nosed)

(∃x: x is a reindeer) (x was red nosed and no other reindeer was red nosed)

(∃x: Rx) (Nx ∧ no reindeer other than x was red nosed)

(∃x: Rx) (Nx ∧ no reindeer other than x is such that (it was red nosed)

(∃x: Rx) (Nx ∧ (∀y: y is a reindeer ∧ ¬ y = x) ¬ y was red nosed)

(∃ x: Rx) (Nx ∧ (∀y: Ry ∧ ¬ y = x) ¬ Ny)
or:
(∃ x: Rx) (Nx ∧ (∀y: Ry ∧ Ny) x = y)

[N: λx (x was red nosed); R: λx (x is a reindeer)]
The generalization using the variable y must be resricted to reindeer or else the sentence will say that some reindeer is the only and only thing that is red nosed--i.e., that there is exactly one red-nosed thing and it is a reindeer.

using Russell's analysis:

Santa gained entry through the fireplace

the fireplace is such that (Santa gained entry through it)

(∃x: x and only x is a fireplace) Santa gained entry through x

(∃x: x is a fireplace ∧ (∀y: ¬ y = x) ¬ y is a fireplace) Gsx

(∃x: Fx ∧ (∀y: ¬ y = x) ¬ Fy) Gsx
or:
(∃x: Fx ∧ (∀y: Fy) x = y) Gsx

using the description operator:

Santa gained entry through the fireplace

G s (the fireplace)

G s (Ix x is a fireplace)

Gs(Ix Fx)

[F: λx (x is a fireplace); G: λxy (x gained entry through y); s: Santa]

	│∃x (∀y: Fy) Rxy
	├─
	│ⓐ
	││(∀y: Fy) Ray	b:3
	│├─
	││ⓑ
	│││Fb	(3)
	││├─
3 SB	│││Rab	(4)
4 EG	│││∃y Ryb	X, (5)
	│││●
	││├─
5 QED	│││∃y Ryb	2
	│├─
2 RUG	││(∀x: Fx) ∃y Ryx	1
	├─
1 PCh	│(∀x: Fx) ∃y Ryx

	│∃x (∃y: ¬ y = x) Rxy
	├─
	│ⓐ
	││(∃y: ¬ y = a) Ray
	│├─
	││ⓑ
	│││¬ b = a
	│││Rab
	││├─
	││││∀x Rxx	a:4,b:5
	│││├─
4 UI	││││Raa
5 UI	││││Rbb
	││││○	¬ b = a, Rab, Raa, Rbb ⇏ ⊥
	│││├─
	││││⊥	3
	││├─
3 NcP	│││∃x ¬ Rxx	2
	│├─
2 PRCh	││∃x ¬ Rxx	1
	├─
1 PCh	│∃x ¬ Rxx

7.	A set Γ is inconsistent if and only if there is no possible world in which every member of Γ is true

∨

∧

→

Ⓣ

a = c, fc = b, d = e, Fc, Fd, ¬ Fb, Rab, Rea, R(fa)b, ¬ Re(fc)

alias sets	IDs	values
a c	1	a: 1 c: 1
b fa fc	2	b: 2 f1: 2 f1: 2
d e	3	d: 3 e: 3

resources	values
Fc Fd ¬ Fb Rab Rea R(fa)b ¬ Re(fc)	F1: T F3: T F2: F R12: T R31: T R22: T R32: F

range: 1, 2, 3

a	b	c	d	e
1	2	1	3	3

τ	fτ
1	2
2	2
3	3

τ	Fτ
1	T
2	F
3	T

R	1	2	3
1	F	T	F
2	F	T	F
3	T	F	F