언어학 ) 배중률(모든 명제는 참이거나 거짓이다)이 무엇인지 설명하고, 이에 기초해서 귀류논증을 간단히 설명하세요.

목차

1. 배중률(모든 명제는 참이거나 거짓이다)이 무엇인지 설명하고, 이에 기초해서 귀류논증을 간단히 설명하세요.
2. 1에서 제시한 배중률에 기초해서, 존재론적 논증을 재구성하세요. (신에 대한 정의에 기초해서 존재론적 논증을 재구성하고, 이 논증이 성립하는 이유를 설명하세요)
3. 2의 논의에 기초해서, 존재론적 논증이 ‘존재’가 속성이라는 것을 가정해야 하는 이유를 제시하세요.
4. ‘이름’과 ‘술어’의 의미를 ‘참’과 ‘거짓’ 및 ‘대상’과 ‘속성’과 관련해서 설명하고, 이에 기초해서 ‘존재(한다)’가 술어가 아닌 이유를 설명하세요. (일반적인 이유를 제시한 후, 예를 들어 설명하세요) 그리고 이것에 기초해서 존재론적 논증을 비판하세요.

본문내용

1) 배중률(모든 명제는 참이거나 거짓이다)이 무엇인지 설명하고, 이에 기초해서 귀류논증을 간단히 설명하세요.
배중률(排中律)은 “모든 명제는 참이거나 거짓이다”라는 논리학의 사유 법칙의 하나로, 서로 모순되는 두 개의 명제 모두가 거짓이거나 참일수 없다는 법칙이다. 귀류 논증이란 제시한 명제를 부정하는 명제는 필연적으로 모순에 다다름을 증명한 것으로, 하나의 명제를 증명할 때 그 명제를 부정하는 새로운 명제를 제시하고, 이 새로운 명제가 거짓임을 증명함으로써 원 명제가 참임을 증명하는 간접증명의 방법이다. 예를 들어, “a는 b이다”라는 명제를 제시했을 때, 귀류법을 통하면 “a는 b가 아니다”라는 새로운 명제를 제시한 후, 그 명제가 거짓임을 증명해 처음 명제가 참임을 증명하는 증명법이다. 이 중, “a는 b이다”를 명제 1, “a는 b가 아니다”를 명제 2로 가정했을 때, 명제 1과 2는 서로 모순되는 명제로서 “a는 b가 아니면서 동시에 b이다”라는 개념은 존재할 수 없다.

참고 자료

박찬수, “안셀무스의 존재론적 논증”, 한국분석철학회, (2007)
최동호, “이름과 술어에 대한 내용 이론에 관점-투영성이 추가될 필요가 있을까?”, 서울대학교 철학사상연구소, (2018)