phi_270_F03_test

Phi 270 F03 test 1

Define 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. Remember that Γ is a set, not a sentence, though its members are sentences.)
answer

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

Is it possible for there to be a pair of sentences φ and ψ where (i) φ ≃ ψ (i.e., φ and ψ are equivalent) and (ii) φ and ψ together form an inconsistent set (i.e., the set {φ, ψ} is inconsistent)? If it is possible for both (i) and (ii) to be true of a pair of sentences φ and ψ, describe (in terms of the possibilities for truth values) what φ and ψ must be like. If it is not possible, explain why in terms of possibilities for truth values. (Hint: this is not a trick question but it may trip you up if you try to answer it intuitively; you’ll do better to just think through the consequences of the definitions of equivalence and inconsistency.)
answer

Give an example of implicature, presenting a sentence and describing situations in which it (i) is true and not misleading, (ii) is true but misleading, and (iii) is false. Explain your answer.
answer

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

The road was completed and opened to traffic, but it was closed for repairs and has not been re-opened

answer

Use derivations to check whether each of the entailments below holds. If one fails, present a counterexample by providing 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 divides an open gap.
	6.	A ∧ B, C ∧ (D ∧ E) ⊨ B ∧ D answer
	7.	A ∧ B, D ∧ E ⊨ (A ∧ C) ∧ D answer

Phi 270 F03 test 1 answers

1.	Γ ⊨ φ if and only if there is no possible world in which φ is false while all members of Γ are true

2.	φ is absurd if and only if there is no possible world in which φ is true

If φ and ψ are equivalent they must have the same truth value as each otherin every possible world. If they form an inconsistent set, there is no possibleworld in which both are true. Both of these are possible if there is no possible world in which either φ or ψ is true; that is, it is possible if both are absurd.

To re-use an example from class, if I say My class was taught this morning to someone, my statement (i) would be true and not misleading if someone else taught my class, (ii) would be true but misleading if I taught it, and (iii) would be false if it wasn’t taught at all. (i) and (ii) differ regarding the truth of an implicature of the sentence, which arises because saying My class was taught instead of I taught my class would usually be inappropriate unless I didn’t teach my class.

The road was completed and opened to traffic, but it was closed for repairs and has not been re-opened
The road was completed and opened to traffic ∧ the road was closed for repairs and has not been re-opened
(the road was completed ∧ the road was opened to traffic) ∧ (the road was closed for repairs ∧ the road has not been re-opened)

(C ∧ O) ∧ (R ∧ N)
both both C and O and both R and N

C: the road was completed; N: the road has not been re-opened; O: the road was opened to traffic; R: the road was closed for repairs

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

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

This derivation could be ended after the first dead-end open gap appears at stage 4.

∧

Ⓣ

Ⓕ