소요의 철학 아카이브

이미경 (2004) 경제난 이후 북한여성의 삶과 의식의 변화

이미경. (2004). 경제난 이후 북한여성의 삶과 의식의 변화: 탈북 여성과의 심층면접을 중심으로. 아세아연구, 47(2), 183-212.Mi-Kyung, Lee (2004). The Limited Change of North Korea Women's Life & Consciousness in the Situation of Economic Difficulties, The Journal of Asiatic Studies, 47(2), 183-212. ① 경제난 이전의 북한 여성:국가발전전략: "사회 한쪽의 수레바퀴를 떠밀고 나가는 역군,"양성평등의 원칙과 여성해방의 명분 아래 정권 차원에서 사회경제활동을 장려함.북한체제에서 여성들의 사회경제활동 참여는 거의 필수사항 [184]그러나 남편의 수입이 여전히..

A List of Works in Progress

보호되어 있는 글입니다.

Proofs (4) Free Logic

2023-2 Modal Logic (Segment 2) Q)UG, MP. E! is primitive, ∼ , ∨ are primitive and we have the usual definitions. Sketch proofs of:① ├FL (∀x)( E!x ≡ (∃y)(x = y)).② ├FL (∀y) ((∀x) ϕx ⊃ ϕy).Now consider the system FL* which is just like the above except that (∀y) ((∀x) ϕx ⊃ ϕy) replaces axiom schemas 2 and 3, and E! is dropped as a primitive sign.Sketch proofs of:③ ├FL* (∀x) (∃y)(x = y)④ ├FL* (∀x)B..

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 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 withAx1 (∀x) (ϕx) ⊃ ϕy, where y is free f..

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 ∨ LqLMLp ⊃ Lp

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 2) Q) Quantification theory may be formalized this way: Prove the following in the systems indicated.1. ├ L(∀x)ϕx . ⊃. (∀x)Lϕx2. ├ β (∀x)Lϕx . ⊃. L(∀x)ϕx (Recall that system β is T + p ⊃ LMp. )3. ├ M(∃x)ϕx . ⊃. (∃x)Mϕx (The system is QML + (∀x)Lϕx . ⊃. L(∀x)ϕx)4. ├ (∀x)Lα ⊃ L(∀x)α (The system is QML+ (∀x)L(α ⊃ β) .⊃. L((∀x)α ⊃ (∀x)β)

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 ⊃ MpLp ⊃ LLMLpLLMLp ⊃ 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 )