| 1. |
Define inconsistency by completing the following: Γ is inconsistent (i.e., Γ ⇒) if and only if ... . (Your answer need not replicate the wording of the text’s definitions, but it should define inconsistency 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. |
Define equivalence by completing the following: φ ⇔ ψ if and only if ... . (Your answer need not replicate the wording of the text’s definitions, but it should define equivalence in terms of the ideas of truth values and possible worlds.)
[answer] |
|||
| 3. |
Suppose you know that (i) φ ⇒ ψ (i.e., φ entails ψ), (ii) ψ ⇒ χ (i.e., ψ entails χ), and (iii) ψ is true (in the actual world). What, if anything, can you conclude about the truth values of φ and χ (in the actual world)? Be sure to say what can be known about each of φ and χ and be sure to explain your answers in terms of the definition of entailment.
[answer] |
|||
| 4. |
Suppose that φ implies ψ and also that φ implicates χ. Which of the following patterns of truth values are ruled out and which are permitted by the cited relations among the three sentences? Explain your answer using the definitions of implication and implicature.
|
|||||||||||||||||||
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.
|
||||||
| 5. |
Ed tried the door, but it was locked; however, the window was open, and he climbed through it
[answer] |
|||||
| Use derivations to check whether each of the claims of entailment below holds. If an entailment 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) that divides an open gap. Do not use the rule Adj in the first derivation, but you may use it in the second. | ||
| 6. |
A ∧ C, B ∧ D ⇒ B ∧ (C ∧ D)
[answer] |
|
| 7. |
A ∧ (B ∧ C) ⇒ (A ∧ B) ∧ (C ∧ D)
[answer] |
|
| 1. | Γ is inconsistent (i.e., Γ ⇒) if and only if there is no possible world in which all members of Γ are true. (Or: ... if and only if, in each possible world, at least one member of Γ is false.) |
| 2. | φ ⇔ ψ if and only if there is no possible world in which φ and ψ have different truth values. (Or: ... if and only if, in each possible world, φ has the same truth value as ψ.) |
| 6. |
|