| 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 j and y 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 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.
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] |
|
| 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 |
| 6. |
|