추론은 특정한 전제와 결론으로 구분지어 생각할 수 있다.
가장 기본적인 추론인 참과 거짓을 분별하는 것부터 논리에 대한 구조를 알아내 보자.
"'내가 여자라는 것은 거짓이다'라는 문장은 거짓이다." 라는 문장은 단순히 "내가 여자라는 것은 참이다" 라는 문장으로 치환이 가능하다. 만약 성별이 남성과 여성만 존재한다는 전제를 두면, "나는 남자가 아니다"라고 결론을 낼 수도 있다.
이와 같은 형식의 추론을 이중부정논법이라고 부른다고 한댄다.
단순하게 '~가 거짓이다 라는 것은 거짓이다'는 원 문장이 갖고 있는 진실성에 영향을 끼치지 않는다. 그러나 "'모든 사람은 착하지 않다' 라는 문장은 거짓이다"와 같이 특정 집합체의 범위를 설정하는 성격을 가진 문장에서는 '~거짓이다'라는 문장성분을 단순히 여길 수는 없다.
모든 사람은 착하지 않다라는 문장은 거짓이다는 모든 사람은 착한 경우, 일부는 착하고 일부는 그렇지 않은 경우에 적용될 수 있다. 즉, 모든 사람이 착하지 않은 경우에 해당하는 경우에 적용된다.
가장 기본적인 추론인 참과 거짓을 분별하는 것부터 논리에 대한 구조를 알아내 보자.
"'내가 여자라는 것은 거짓이다'라는 문장은 거짓이다." 라는 문장은 단순히 "내가 여자라는 것은 참이다" 라는 문장으로 치환이 가능하다. 만약 성별이 남성과 여성만 존재한다는 전제를 두면, "나는 남자가 아니다"라고 결론을 낼 수도 있다.
이와 같은 형식의 추론을 이중부정논법이라고 부른다고 한댄다.
단순하게 '~가 거짓이다 라는 것은 거짓이다'는 원 문장이 갖고 있는 진실성에 영향을 끼치지 않는다. 그러나 "'모든 사람은 착하지 않다' 라는 문장은 거짓이다"와 같이 특정 집합체의 범위를 설정하는 성격을 가진 문장에서는 '~거짓이다'라는 문장성분을 단순히 여길 수는 없다.
모든 사람은 착하지 않다라는 문장은 거짓이다는 모든 사람은 착한 경우, 일부는 착하고 일부는 그렇지 않은 경우에 적용될 수 있다. 즉, 모든 사람이 착하지 않은 경우에 해당하는 경우에 적용된다.