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

Phi 270 F09 test 1

F09 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, tautologousness and absurdity, and the relations between pairs of sentences (i.e., implication, equivalence, exclusiveness, joint exhaustiveness, and contradictoriness). You should be able to define any of these ideas in terms of truth values and possible worlds (see appendix A.1 and 1.2.8 for samples of such definitions), and you should be ready to answer questions about these concepts and explain your answers in a way that uses 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 in a way that uses the 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 logical-and symbol ∧ and with the both … and … way of expressing forms).

Synthesis. Be able to synthesize an English sentence that has a given logical form.

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 rule Adj introduced in 2.4.4 would be convenient to use; but it is never necessary. You should be ready to use EFQ and ENV (the rules for ⊤ and ⊥) as well as Ext, Cnj, and QED; but derivations involving the latter three are much more likely.


F09 test 1 questions

1.

Define the idea of a sentence φ implying a sentence ψ by completing the following with a definition in terms of truth values and possible worlds:

φ implies ψ (i.e., φ ⊨ ψ) if and only if …
answer
2.

Suppose that φ and ψ are mutually exclusive (i.e., that φ ▵ ψ) and also that χ and ψ are mutually exclusive (i.e., that χ ▵ ψ). Can you conclude that φ and χ are equivalent (i.e., that φ ≃ χ)? Say why or why not in a way that makes use of the definitions of mutual exclusiveness and equivalence.

answer
3.

In the right circumstances, a tautology like Dave is Dave can convey genuine information—i.e., can convey information that rules out some possible worlds. (i) Use the definition of tautology to explain why this information cannot come from what is said—i.e., from the proposition expressed by the tautology. And (ii) use the definition of implicature to explain how such information might be conveyed as a suggestion.

answer
4.

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

 

Al saw the meteor go by and Bill did, too; but Cal actually saw it land

answer
5.

Synthesize an English sentence that has the analysis below. Choose a simple and natural sentence whose organization reflects the grouping of the logical form.

(L ∧ S) ∧ (V ∧ F)

F: Al told Hugh about Florence; L: Al told Lew about Paris; S: Al told Sue about Paris; V: Al told Hugh about Venice

answer

Use derivations to check whether each of the claims of entailment below holds. If an entailment fails, confirm a counterexample by providing a table in which you calculate the truth values of the premises and conclusion on an assignment of truth values that is a counterexample lurking in an open gap. (Your table should indicate the value of any compound component by writing this value under the main connective of the component.) Do not use the rule Adj.

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

F09 test 1 answers

1.

φ implies ψ if and only if there is no possible world in which φ is true and ψ is false (or: if and only if ψ is true in each possible world in which φ is true)

2.

No. It does not follow that φ ≃ χ; that is, there are sentences φ and χ as described that are not equivalent. While φ and χ are each false in any possible world in which ψ is true, this still allows them to have different truth values in a possible world in which ψ is false. And, if they do have different truth values in any possible world, they are not equivalent. (For example, It’s very hot and It’s very cold each exclude The temperature is moderate and thus each forms a mutually exclusive pair when taken together with the latter sentence, but the first two sentences are clearly not equivalent.)

3.

(i) A tautology cannot convey genuine information by way of the proposition it expresses because there is no possible world in which it is false, so the proposition expressed by a tautology rules out no possibilities. (ii) However, if the tautology is appropriate in only certain circumstances, using the tautology will suggest that such circumstances do occur. This suggestion will be false if the circumstances do not in fact occur, so it rules out some possibilities and provides genuine information.

[For example, if someone asked the question Why did Dave do that?, the answer Dave is Dave would tend to suggest that Dave might be expected to do that sort of thing. This may be because the tautology could not do much that is relevant to answering the question apart from calling attention to features of Dave—such as his personality, character, or habits—so it would be appropriate as an answer only if such things sufficed to explain Dave’s action.]

4.

Al saw the meteor go by and Bill did, too; but Cal actually saw it land

Al saw the meteor go by and Bill did, tooCal actually saw the meteor land

(Al saw the meteor go byBill saw the meteor go by) ∧ Cal saw the meteor land

(A ∧ B) ∧ C
both both A and B and C

A: Al saw the meteor go by; B: Bill saw the meteor go by; C: Cal saw the meteor land

[Although there would be nothing really wrong with leaving the word actually in C, this term serves merely to emphasize the contrast between this sentence on the one hand and A and B on the other, so it loses its point once C is considered independently.]

5.

(Al told Lew about ParisAl told Sue about Paris) ∧ (Al told Hugh about VeniceAl told Hugh about Florence)

Al told Lew and Sue about Paris Al told Hugh about Venice and Florence

Al told Lew and Sue about Paris, and he told Hugh about Venice and Florence

[Or you might say … but he told Hugh … if there was reason to emphasize the fact that Al told different people about different places or different numbers of places.]

6.
│(C ∧ D) ∧ F 1
├─
1 Ext │C ∧ D 2
1 Ext │F (4)
2 Ext │C
2 Ext │D
││●
│├─
4 QED ││F 3
││○ C, D, F ⊭ G
│├─
││G 3
├─
3 Cnj │F ∧ G
  C   D   F   G     (C ∧ D) ∧ F   /   F  ∧ G   
  T   T   T   F       T         
7.
│ A ∧ (B ∧ D) 1
│ C ∧ E 2
├─
1 Ext │A
1 Ext │B ∧ D 3
2 Ext │C (7)
2 Ext │E
3 Ext │B (6)
3 Ext │D (8)
│││●
││├─
6 QED │││B 5
││
│││●
││├─
7 QED │││C 5
│├─
5 Cnj ││B ∧ C 4
││●
│├─
8 QED ││D 4
├─
4 Cnj │(B ∧ C) ∧ D