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

Phi 270 F03 test 1

F03 test 1 topics

The following are the topics to be covered. The proportion of the test covering each will approximate the proportion of the classes so far that have been devoted to that topic. Your homework and the collection of old tests will provide specific examples of the kinds of questions I might ask.

Basic concepts of deductive logic. You will be responsible for entailment (or validity), equivalence, tautologousness, absurdity, and inconsistency. You should be able to define each in terms of possible worlds and truth values, and you should be prepared to answer questions about them, justifying your answer by reference to the definitions.

Implicature. Be able to define it and distinguish it from implication. Be able to give examples and explain them. Be ready to answer questions about it, justifying your answer by reference to its definition.

Analysis. Be able to analyze the logical form of a sentence as fully as possible using conjunction and present the form in both symbolic and English notation (that is, with the symbol ∧ and with the bothand … way of expressing forms).

Derivations. Be able to construct derivations to show that entailments hold and to show that they fail. I may tell you in advance whether an entailment holds or leave it to you to check that using derivations. There may be some derivations where the new rule Adj would be convenient to use but, of course, it is never necessary (but you should be ready to use EFQ and ENV as well as Ext, Cnj, and QED).


F03 test 1 questions

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
2.

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
3.

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
4.

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
5.

Analyze the sentence below in as much detail as possible, presenting the result in both symbolic and English notation (i.e., using bothand). 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, confirm 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 is a counterexample lurking in an open gap.

  6. A ∧ B, C ∧ (D ∧ E) ⊨ B ∧ D
answer
  7. A  ∧ B, D ∧ E ⊨ (A ∧ C) ∧ D
answer

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

3.

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.

4.

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.

5.

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

6.
│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
7.
│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.

ABCDEAB,DE/(AC)D
TTFTT       F