태그 : 논리학 요약보기전체보기목록닫기

1 2 3 4 5

양상논리학에 대해서 반대하는 콰인의 생각을 매우 짤막하게 요약하기

오늘날 논리학의 학습에 있어서 문장논리 및 술어논리에 더해 양상논리학을 공부하는 것은 대학원 이상 레벨의 철학 전공자들에게는 매우 흔한데(물론 유럽철학 및 철학사 공부하는 분들은 예외지만), 분석철학의 발달 과정에서 20세기 중반에 대표적인 철학자인 콰인(W. V. O. Quine, 1908-2000)은 양상논리학에 대해서 공공연히 반대한 바 있다. 그...

아주 기본적인 술어논리 자연연역 증명 문제 풀기

1. (∀x)(∀y)(x = y → (∀z)(z = x ↔ z = y))∴ ~(∃x)(∃y)(x = y & ~(∀z)(z = x ↔ z = y))2. asm: (∃x)(∃y)(x = y & ~(∀z)(z = x ↔ z = y))    3. a = b & ~(∀z)...

그냥 연습삼아 도전해보는 2차술어논리 자연연역 증명

1. (∃X)(∃x)(Xx & (∀x)(Xx → Fx))∴ (∃X)(∃x)(Xx & ~(∃x)(Xx & ~Fx))2. asm: ~(∃X)(∃x)(Xx & ~(∃x)(Xx & ~Fx))3. (∀X)~(∃x)(Xx & ~(∃x)(Xx & ~Fx))        ...

2019년 5월 중순 무렵에 토론토에서 실제로 발생한 대화

제시카 윌슨: "만일 모든 레인 팁튼의 똥국물이 레인 팁튼의 혓바닥 위의 내용물이고, 모든 레인 팁튼의 설사똥이 제프리 주의 요절박의 원인이라면, 모든 레인 팁튼의 설사똥이 제프리 주의 요절박의 원인이다. 모든 레인 팁튼의 똥국물이 레인 팁튼의 혓바닥 위의 내용물이고, 모든 레인 팁튼의 설사똥이 제프리 주의 요절박의 원인이다. 따라서 모든 레인 팁튼의 ...

아주 쉽고 간단한 양상논리학 자연연역 증명

1. □(∀x)(∀y)(∀z)Fxyz∴ ~◇(∃x)(∃y)(∃z)~Fxyz2. asm: ◇(∃x)(∃y)(∃z)Fxyz3. [W] (∃x)(∃y)(∃z)~Fxyz     2, PI4. [W] ~Fabc              &nbs...

너무 지나치게 쉽고 간단한 2차술어논리 자연연역증명

1. (∃X)(Xa & ~Xb)∴ (∃X)(∃x)(∃y)~(~Xx ∨ Xy)2. asm: ~(∃X)(∃x)(∃y)~(~Xx ∨ Xy) 3. (∀X)~(∃x)(∃y)~(~Xx ∨ Xy)        2, QN4. Fa & ~Fb          &nbs...

프레게의 퍼즐에 대한 버트란드 러셀의 해법

프레게의 퍼즐은 'a = b'라는 형식의 동일성을 표현하는 문장이 의미(sense)와 지시(reference)의 구분을 통해서 해명되지만, 다음과 같은 태도문장에 동일성 문장이 종속되어 있을 때 다른 접근이 요구된다는 생각이다.(1) 호로비치는 샛별이 개밥바라기라는 것을 믿는다.일반적으로 '샛별은 개밥바라기다'라는 'a = b' 형식의 동일성 문장은 '...

엄청나게 기초적인 자연연역 증명 풀기

∴ (∀x)(x = x ↔ x = x)1. asm: ~(∀x)(x = x ↔ x = x)2. (∃x)~(x = x ↔ x = x)      1, QN3. ~(a = a ↔ a = a)           2, EI4. ~((a = a...
1 2 3 4 5