Phi 270 F04 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 special instructions given for 1 and 3.
1. Someone was singing [Present your analysis also using an unrestricted quantifier.]
[answer]
2. There is a package that isn't addressed to anyone.
[answer]
3. An airline served each airport. [This sentence is ambiguous. On one way of interpreting it, it could be true even if no one airline served all airports. Analyze the sentence according to that interpretation of it.]
[answer]
4. At least two people called.
[answer]
Analyze the sentence below using each of the two ways of analyzing the definite description the sleigh Santa drove. That is, give an analysis that uses Russell's treatment of definite descriptions as quantifier phrases and another analysis that uses the description operator.
5. The sleigh Santa drove was red.
[answer]
Use derivations to show that the following arguments are valid. You may use any rules.
6.
∃x (Fx ∧ Gx)
∃x Gx
[answer]
7.
∃x (Fx ∧ ∃y Rxy)
∃x (∃y: Fy) Ryx
[answer]
Complete the following to give a definition of entailment in terms of truth values and possible worlds:
8. A sentence φ is entailed by a set Γ (i.e., Γ ⇒ φ) if and only if ...
[answer]
Complete the following truth table for the two rows shown. Indicate the value of each component of the sentence on the right by writing the value under the main connective of that component.
9.
ABCD¬(AB)CD)
TTFF
FFTF
[answer]
Use either tables or a diagram to describe a structure in which the following sentences are true. (That is, do what would be required to present a counterexample when a dead-end gap of a derivation had these sentences as its active resources.)
10. a = c, fa = fb, ¬ Ga, Gb, G(fc), Ra(fb), Rb(fa)
[answer]

Phi 270 F04 test 5 answers

1.

Someone was singing

Someone is such that (he or she was singing)

(∃x: x is a person) x was singing

(∃x: Px) Sx
∃x (Px ∧ Sx)
[P: λx (x is a person); S: λx (x was singing)]
2.

There is a package that isn't addressed to anyone

Something is a package that isn't addressed to anyone

∃x x is a package that isn't addressed to anyone

∃x (x is a package ∧ x isn't addressed to anyone)

∃x (Kx ∧ ¬ x is addressed to someone)

∃x (Kx ∧ ¬ someone is such that (x is addressed to him or her))

∃x (Kx ∧ ¬ (∃y: y is a person) x is addressed to y)

∃x (Kx ∧ ¬ (∃y: Py) Axy)
or: ∃x (Kx ∧ (∀y: Py) ¬ Axy)
[A: λxy (x is addressed to y); K: λx (x is a package); P: λx (x is a person)]
3.

An airline served each airport

Every airport is such that (an airline served it)

(∀x: x is an airport) an airline served x

(∀x: Ax) some airline is such that (it served x)

(∀x: Ax) (∃y: y is an airline) y served x

(∀x: Ax) (∃y: Ly) Syx
[P: λx (x is an airport); L: λx (x is an airline); S: λxy (x served y)]

(∃x: Lx) (∀y: Ay) Sxy would be incorrect since it is true only if there is a single airline that serves all airports

4.

At least two people called

At least two people are such that (they called)

(∃x: x is a person) (∃y: y is a person ∧ ¬ y = x) (x called ∧ y called)

(∃x: Px) (∃y: Py ∧ ¬ y = x) (Cx ∧ Cy)
[C: λx (x called); P: λx (x is a person)]
5.

Using Russell's analysis:

The sleigh Santa drove was red

The sleigh Santa drove is such that (it was red)

(∃x: x is a sleigh Santa drove ∧ (∀y: ¬ y = x) ¬ y is a sleigh Santa drove) x was red

(∃x: (x is a sleighSanta drove x) ∧ (∀y: ¬ y = x) ¬ (y is a sleighSanta drove y)) x was red

(∃x: (Sx ∧ Dsx) ∧ (∀y: ¬ y = x) ¬ (Sy ∧ Dsy)) Rx
 

Using the description operator:

The sleigh Santa drove was red

R (the thing such that (it is a sleigh Santa drove))

R (Ix x is a sleigh Santa drove)

R (Ix (x is a sleighSanta drove x))

R(Ix (Sx ∧ Dsx))
[D: λxy (x drove y); R: λx (x was red); S: λx (x is a sleigh); s: Santa]
6.
│∃x (Fx ∧ Gx) 1
├─
│ⓐ
││Fa ∧ Ga 2
│├─
2 Ext ││Fa
2 Ext ││Ga (3)
3 EG ││∃x Gx X, (4)
││●
│├─
4 QED ││∃x Gx 1
├─
1 PCh │∃x Gx
or
│∃x (Fx ∧ Gx) 1
├─
│ⓐ
││Fa ∧ Ga 2
│├─
2 Ext ││Fa
2 Ext ││Ga (5)
││
│││∀x ¬ Gx a: 4
││├─
4 UI │││¬ Ga (5)
│││●
││├─
5 Nc │││⊥ 3
│├─
3 NcP ││∃x Gx 1
├─
1 PCh │∃x Gx
7.
│∃x (Fx ∧ ∃y Rxy) 1
├─
│ⓐ
││Fa ∧ ∃y Ray 2
│├─
2 Ext ││Fa (4)
2 Ext ││∃y Ray 3
││
││ⓑ
│││Rab (4)
││├─
4 REG │││(∃y: Fy) Ryb X, (5)
5 EG │││∃x (∃y: Fy) Ryx X, (6)
│││●
││├─
6 QED │││∃x (∃y: Fy) Ryx 3
│├─
3 PCh ││∃x (∃y: Fy) Ryx 1
├─
1 PCh │∃x (∃y: Fy) Ryx
or
│∃x (Fx ∧ ∃y Rxy) 1
├─
│ⓐ
││Fa ∧ ∃y Ray 2
│├─
2 Ext ││Fa
2 Ext ││∃y Ray
││
││ⓑ
│││Rab (9)
││├─
││││∀x ¬ (∃y: Fy) Ryx b: 5
│││├─
5 UI ││││¬ (∃y: Fy) Ryb 6
││││
││││││(∀y: Fy) ¬ Ryb a :8
│││││├─
8 UI ││││││¬ Rab (9)
││││││●
│││││├─
9 Nc ││││││⊥ 7
││││├─
7 NcP │││││(∃y: Fy) Ryb 6
│││├─
6 CR ││││⊥ 4
││├─
4 NcP │││∃x (∃y: Fy) Ryx 3
│├─
3 PCh ││∃x (∃y: Fy) Ryx 1
├─
1 PCh │∃x (∃y: Fy) Ryx
8. A sentence φ is entailed by a set Γ if and only if there is no possible world in which φ is false while all members of Γ are true
or
A sentence φ is entailed by a set Γ if and only φ is true in every possible world in which all members of Γ are true
9.
ABCD¬(AB)(¬CD)
TTFFFTTT
FFTFTFFF
10.
range: 1, 2, 3
abc
121
τ
13
23
33
τ
1F
2T
3T
R123
1FFT
2FFT
3FFF
(The diagram provides a complete answer, and so do the tables to its left. The tables below show a way of arriving at these answers.)
alias setsIDsvalues
a1a: 1
cc: 1
b2b: 2
fa3f1: 3
fbf2: 3
fcf1: 3
resourcesvalues
¬ GaG1: F
GbG2: T
G(fc)G3: T
Ra(fb)R13: T
Rb(fa)R23: T