phi_270_F97_test

Phi 270 F97 test 1

1.	Define (a special case of) entailment by completing the following: φ, ψ ⊨ χ if and only if … . (Your answer need not replicate the wording of the text’s definitions, but it should define entailment 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.	Provide an example of a true sentence that has a false implicature. (Be sure to state both the sentence and its implicature and to explain why one is true and the other false and also why one implicates 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.

Ann and Bill helped to plan the campaign, but Carol directed it and reported its results

answer

5.	Use the basic system of derivations (i.e., no replacement rules) to establish the following: A ∧ B, C ∧ D ⊨ (A ∧ C) ∧ B answer

Use the basic system of derivations (i.e., no replacement rules) to show that the entailment below fails; provide a table in which you calculate the truth values of the premises and conclusion on an extensional interpretation (i.e., an assignment of truth values) which makes the premises true and conclusion false:

(A ∧ B) ∧ C ⊨ A ∧ (D ∧ C)

answer

Phi 270 F97 test 1 answers

1.	φ, ψ ⊨ χ if and only if there is no possible world in which χ is false while φ and ψ are both true.

2.	Yes. In any possible world, each of φ and χ must have the same truth value as ψ, so they must have the same truth value as each other.

I pushed the button but the motor shut off is true even if the button is an emergency shutoff button for the motor, but it implicates (at least) The button did not shut off the motor, which is false in this case. The implicature arises because the word but is not appropriate in cases where the clause it introduces describes an expected result of the truth of the other clause.

Ann and Bill helped to plan the campaign, but Carol directed it and reported its results
Ann and Bill helped to plan the campaign ∧ Carol directed the campaign and reported its results(Ann helped to plan the campaign ∧ Bill helped to plan the campaign) ∧ (Carol directed the campaign ∧ Carol reported the campaign’s results)

(A ∧ B) ∧ (D ∧ R)
both both A and B and both D and R

A: Ann helped to plan the campaign; B: Bill helped to plan the campaign; D: Carol directed the campaign; R: Carol reported the campaign’s results

	│A ∧ B	1
	│C ∧ D	2
	├─
1 Ext	│A	(5)
1 Ext	│B	(7)
2 Ext	│C	(6)
2 Ext	│D
	│
	│││●
	││├─
5 QED	│││A	4
	││
	│││●
	││├─
6 QED	│││C	4
	│├─
4 Cnj	││A ∧ C	3
	│
	││●
	│├─
7 QED	││B	3
	├─
3 Cnj	│(A ∧ C) ∧ B

	│(A ∧ B) ∧ C	1
	├─
1 Ext	│A ∧ B	2
1 Ext	│C	(6)
2 Ext	│A	(5)
2 Ext	│B
	│
	││●
	│├─
5 QED	││A	3
	│
	│││○	A, B, C ⊭ D
	││├─
	│││D	4
	││
	│││●
	││├─
6 QED	│││C	4
	│├─
4 Cnj	││D ∧ C	3
	├─
3 Cnj	│A ∧ (D ∧ C)

∧

Ⓣ

Ⓕ