Phi 270
Fall 2013
(Site navigation is not working.)

Phi 270 F96 test 1

F96 test 1 questions

1.

Define equivalence by completing the following: φ ≃ ψ if and only if … . (Your answer need not replicate the wording of the text’s definitions, but it should define equivalence in terms of truth values and possible worlds.)

answer
2.

Suppose you know that φ, ψ ⊨ χ and that θ ⊨ ψ. Can you conclude that φ, θ ⊨ χ ? Explain why or why not by considering possibilities of truth and falsity.

answer
3.

Give an example of a case of implicature that is not a case of implication, referring to defintions of implication and implicature to explain why your example is a case of one but not the other.

answer

Analyze the sentence below in as much detail as possible, presenting the result in both symbolic and English notation. Be sure that the unanalyzed components of your answer are complete and independent sentences; also try to respect any grouping in the English.

4.

Although Mikita and Stapleton assisted him, Hull scored the goal

answer

Use the basic system of derivations (i.e., no replacement rules) to establish the following:

5.

A, C ∧ D ⊨ C ∧ (A ∧ D)

answer

Use the basic system of derivations (i.e., no replacement rules) to show that the entailment below fails (as a generalization); give an extensional interpretation (i.e., an assignment of truth values) which makes its premises true and conclusion false:

6.

(D ∧ C) ∧ B ⊨ A ∧ C

answer

F96 test 1 answers

1.

φ ≃ ψ if and only if there is no possible world in which φ and ψ differ in their truth values.

2. Yes. In any possible world in which φ and θ are true, ψ will be true (since θ ⊨ ψ), so χ will be true (since φ, ψ ⊨ χ). So there can be no world in which φ and θ are true while χ is false.
3. For example: A car is in my driveway implicates but does not imply A car other than mine is in my driveway; for, while it would in general be inappropriate to say A car is in my driveway (rather than say, for example, My car is in the driveway) if the car is mine, it would not be false when the driveway contained only my car.
4.

Although Mikita and Stapleton assisted him, Hull scored the goal

Mikita and Stapleton assisted Hull ∧ Hull scored the goal

(Mikita assisted Hull ∧ Stapleton assisted Hull) ∧ Hull scored the goal

(M ∧ S) ∧ H
both both M and S and H

H: Hull scored the goal; M: Mikita assisted Hull ; S: Stapleton assisted Hull

5.
│A(5)
│C ∧ D 1
├─
1│C(3)
1│D(6)
││
│├─
3 QED││C2
│││●
││├─
5 QED│││A4
││
│││●
││├─
6 QED│││D4
│├─
4 Cnj││A ∧ D 2
├─
2 Cnj│C ∧ (A ∧ D)
6.
│(D ∧ C) ∧ B 1
├─
1 Ext│D ∧ C 2
1 Ext│B
2 Ext│D
2 Ext│C(4)
││○B, C, D ⊭ A
│├─
││A3
││●
│├─
4 QED││C3
├─
3 Cnj│A ∧ C
ABCD(DC)B/AC
FTTTT