Phi 270 F05 test 1

F05 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) and implication, 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. (You can find the definitions in 1.4 and also in Appendix A.1.)

•

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 logical-and symbol ∧ and with the both … and … 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 rule Adj introduced in 2.4 would be convenient to use; but it is never necessary. You should be ready to use EFQ and ENV as well as Ext, Cnj, and QED; but derivations involving the latter three are much more likely.

F05 test 1 questions

1.

Define entailment by completing the following: Γ entails φ (i.e., Γ ⊨ φ) if and only if … . (Your answer need not replicate the wording of the text’s definitions, but it should define entailment in terms of the ideas of truth values and possible worlds. Remember that Γ is a set, not a sentence, so it does not have a truth value; but any members of it are sentences and have truth values.)

answer
2.

Suppose you know that (i) the set containing φ and ψ is inconsistent (i.e., φ, ψ ⊨) and (ii) the set containing ψ and χ is inconsistent (i.e., ψ, χ ⊨). What, if anything, can you conclude about the consistency or inconsistency of the set containing φ and χ? That is, what can you conclude about the truth of a claim that φ, χ ⊨? Be sure to explain your answers in terms of the definition of inconsistency.

answer
3.

Consider the following exchange:

Al: I’m going to the restaurant Chuck told us about.
Bob: I was there yesterday. Do you have health insurance?

Bob could be said to convey information about the restaurant not only through his assertion but also through the question that follows it. Use the idea of implicature to explain how this might work. (Just what information you think might be conveyed by the question is less important than your explanation of how that information would be conveyed.)

answer

Analyze the sentences 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.

4. The water was cool and clear.
answer
5. Adam found Barb’s number and called her, but she was out; nevertheless, he went to the party.
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. Do not use the rule Adj in the first derivation, but you may use it in the second.

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

F05 test 1 answers

1.

Γ is entails φ (i.e., Γ ⊨ φ) if and only if there is no possible world in which all members of Γ are true but φ is false. (Or: … if and only if, in every possible world in all members of Γ are true, φ is true as well.)

2.

You know, from (i), that φ and ψ cannot be true together and, from (ii), that ψ and χ cannot be true together. But it may still be possible for φ and χ to be true together (provided ψ is false). Therefore, (i) and (ii) do not provide enough information for you to be able to conclude that the set containing φ and χ is inconsistent.

3.

The specific information conveyed will depend on the circumstances; but Bob’s question fits into the conversation—i.e., is appropriate—only if eating at the restaurant makes having health insurance somehow relevant. So it would be an implicature of the question that eating at the restaurant makes whether you have health insurance in some way significant. (In most contexts, the specific suggestion would probably be that eating at the restaurant puts one’s health in danger; but, in certain contexts, the suggestion might be something different—for example, that the restaurant is very expensive.)

4.

The water was cool and clear

The water was cool ∧ the water was clear

C ∧ R
both C and R

C: the water was cool; R: the water was clear

5.

Adam found Barb’s number and called her, but she was out; nevertheless, he went to the party

Adam found Barb’s number and called her, but she was out ∧ Adam went to the party

(Adam found Barb’s number and called her ∧ Barb was out) ∧ Adam went to the party

((Adam found Barb’s number ∧ Adam called Barb) ∧ Barb was out) ∧ Adam went to the party

((F ∧ C) ∧ O) ∧ W
both both both F and C and O and W

C: Adam called Barb; F: Adam found Barb’s number; O: Barb was out; W: Adam went to the party

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