소요의 철학 아카이브

2023-2 Modal Logic (Segment 2) Q) Use tableaux to show the difference between what we have called the A semantics and the B semantics (+ inclusion requirement) and the C-semantics for quantified modal logic. Be sure to explain by reference to the question of the validity of the Carnap-Barcan Formula (BF) and its converse. Be sure to explain the situation with Ax1 (∀x) (ϕx) ⊃ ϕy, where y is free ..

2023-2 Modal Logic (Segment 3) Q) Use the tableau method (which involves non-normal world idea) to determine whether the following are valid in Lewis’ systems S2, S3: 1. Lp ⊃ LLp 2. L( M(p ∧ q) ⊃ Mp) 3. L(L(p ⊃ q ) ⊃ L(Lp ⊃ Lq))

2023-2 Modal Logic (Segment 3) Q) Explain the system S1. In what sense is it the case that the “unrestricted” rules of Necessitation does not hold in S1. Does pc tautology necessitation hold in S1 ? What is the Cresswell argument (See my SS1 paper) that S1 has no theorems of the form LL(p⊃ p)? Explain the semantic system for S2 and S3 and S4 where one introduces odd vs normal worlds. Note that b..

2023-2 Modal Logic (Segment 3) Q) How might one use relevant logic to interpret C. I. Lewis’ strict implication as relevant entailment where we have: Give proofs of the wffs K and T in Lewis’s S1, i.e., prove: 1. L(p ⊃ q) : ⊃: Lp ⊃ Lq 2. Lp ⊃ p

2023-2 Modal Logic (Segment 3) Q) Routley-Meyer Semantics for Relevant Logic has this: Prove (using the semantics) the following: 1. A & B .–▶. A v B 2. ¬¬A ◀– –▶ A 3. ¬(A & B) ◀– –▶. ¬A v ¬B 4. ¬A –▶ B .–▶. ¬B –▶ A

2023-2 Modal Logic (Segment 3) Q) Explain why that (∀x)Roox yields (∀x)Roxo and collapses Relevent logic into classical logic. If is sufficient (for the present purposes) to just prove something that doesn’t hold in Relevant Logic, e.g., ¬A ∧ (A ∨ B) .–Ȝ. B. Why does it seem not to be viable to take relevant logic to be a universal logic (a logic that can capture all others?) #2) Generally speak..

2023-2 Modal Logic (Segment 1) ① Give a recipe justifying the following derived rule: ├K p ∨ q ⇒ ├K Lp ∨ Mq ② Some Drived Rules

2023-2 Modal Logic (Segment 1) Q) Use the technique of Modal Conjunctive Normal form to test the follow for S5 Validity and if Valid construct a proof using the technique. ML(p ⊃ LMp) M(Lp ⊃Mq)⊃ M(p⊃ q) L(p ∨ Lq) .⊃. Lp ∨ Lq LMLp ⊃ Lp

2023-2 Modal Logic (Segment 1) Q) Give a proof of the following in the systems indicated: ├S5 Mp ∧ Mq .⊃. M(p ∧ Mq) ├B MLp ⊃ LMp ├S5 Lp ⊃ LLp ├S5 p ⊃ LMp ├S5 L(p ∨ Lq) .⊃. Lp ∨ Lq ├S4 M(p ∧ Mq) .⊃. Mp ∧ Mq

2023-2 Modal Logic (Segment 1) ① Check to see which of the following are S4 valid or S5 only valid and give a proof in S4 if it is S4 valid and give a proof in S5 if it is S5 only valid: MMLMp ⊃ Mp Lp ⊃ LLMLp LLMLp ⊃ Lp ② Give a proof of the following in the systems indicated: ├K L(p ∨ q) .⊃. Lp ∨ Mq ├S4 Lp ∨ Lq .⊃. L(p ∨ Lq) ├T M(p ⊃Mp )