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)
answer
∃x Gx |
7. |
∃x (Fx ∧ ∃y Rxy)
answer
∃x ∃y (Fy ∧ Ryx) |
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. |
|
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
P: [ _ is a person]; S: [ _ was singing]
∃x (Px ∧ Sx) |
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 sleigh ∧ Santa drove x))
R(Ix (Sx ∧ Dsx))
D: [ _ drove _ ]; R: [ _ was red]; S: [ _ is a sleigh]; s: Santa
|
7. |
|
or |
|
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. |
|
10. |
|