본문 바로가기

논리학4

논리적 비선험주의와 무모순의 "법칙"(Logical Non-Apriorism and the 'Law' of Non-Contradiction- by O. Bueno and M. Colyvan) O. Bueno and M. Colyvan, "Logical Non-Apriorism and the 'Law' of Non-Contradiction," The Law of Non-Contradiction, ed. G. Priest, JC Beall, B. Armour-Garb. 1. 도입 논리철학이 어려운 이유는 논리철학에서의 논쟁을 전개하기 위해서는 우리가 탐구하고 있는 논리학을 전제해야 하기 때문이다. 논리학에서 이론 선택을 할 때, 그 어려움은 특히 두드러진다. 두 개의 논리 이론 사이에서 선택을 하기 위해서, 우리는 각각의 이론에 대해서 증거와 논증을 제시해야 한다. 이러한 증거와 논증은 어떤 논리학의 맥락에서 평가되어야 한다. 그러나 그 논리학은 또 어떻게 선택할 것인가? 무한퇴행에 빠지는 것 .. 2022. 10. 22.
벤슨 메이츠 <기호논리학> 4장 해답 (Solutions for the Chapter 4 of Benson Mates's Elementary Logic) 이어지는 벤슨 메이츠 연습문제 4장 해답입니다. 틀릴 수 있으니 오류가 있으면 언제든지 알려주세요. (1) 벤슨메이츠 1장 답. (2) 벤슨메이츠 2장 답. (3) 벤슨메이츠 3장 답. 그리고 벤슨 메이츠 영문판 pdf는 여기를 클릭해 주세요. 그럼 시작합니다. 저자인 벤슨 메이츠는 언어 L의 모든 비논리 상항(non-logical constants)에 외연(denotation)을 할당하기 때문에 문장에 나타나는 비논리상항들이 지시체를 지니고 있음을 전제하도록 하겠습니다. 일반적으로 ‘타당하다’라는 표현은 논증에 적용하는 것입니다만 이 책에서는 문장이 하나인 경우도 논증으로 바라보고 어떤 문장이 타당하다는 것을 그 문장이 모든 해석에서 참인 경우를 고려하는 것으로 보입니다. 정리해서, ‘주어진 문장이 타.. 2021. 5. 18.
벤슨 메이츠 <기호논리학> 3장 해답 (Solutions for the Chapter 3 of Benson Mates's Elementary Logic) 이어지는 벤슨 메이츠 3장 해답입니다. 아래는 다른 장들의 해답입니다. (1) 벤슨 메이츠 1장 답. (2) 벤슨 메이츠 2장 답. (3) 벤슨 메이츠 4장 답. 그리고 벤슨 메이츠 영문판 pdf는 여기를 클릭해 주세요. 그럼 시작합니다. 1. 식(a formula), 문장(a sentence), 원자문장(an atomic sentence), 보편문장(a general sentence), 분자문장(a molecular sentence)로 번역했습니다. 'a general sentence'는 문장 전제를 속박하는 보편 혹은 존재양화사로 문장이 시작하는 경우로 판단했습니다. 문제 번호 식인가? 문장인가? 원자/양화/분자? 'x'는 자유로운가? 'x'는 속박되었나? (1) 예 아니오 해당없음 예 아니오 (2).. 2020. 4. 30.
논리실증주의(Logical Positivism)와 에이어(Ayer)의 검증주의 원리(Verification Principle) 논리실증주의(Logical Positivism)는 경험주의자 흄(Hume), 버클리(Berkeley) 그리고 가깝게는 프레게(Frege), 러셀(Russel)그리고 비트겐슈타인(Wittgenstein)l의 영향을 받은 입장으로 생각되어질 수 있을 것이다. 논리실증주의자들은 언어적으로 의미 있는(literary significant) 명제는 선험적 명제와 후험적 명제라고 말하고 그 이외의 것, 특히 전통 형이상학에서 사용하는 명제는 의미 없는 것이라고 말한다. 이에 따라 논리실증주의자에게 의미 있는 명제는 다음의 두 가지로 요약될 수 있을 것이다. 선험적 명제 : 경험에 의해 검증(verified, pictured in Wittgenstein's notion)되지 않았으나 의미에 의해 참인 분석적 참(an.. 2020. 2. 29.