논증중간 중간리포트

목차

없음

본문내용

1. 다음 각 진술들이 참인지 거짓인지 답하시오. (사용기호 : ~, ＆, V, →, ↔)
(1) 만약 어떤 논증의 거짓이 결론이라면, 그것은 타당하지 않은 추론일 수밖에 없다.
→ ″거짓″
타당성(validity)은 '전제들이 참이면 결론도 반드시 참'인 형식적 속성이다. 결론이 ″거짓″이라 해도 전제 중 적어도 하나가 ″거짓″이면 그 논증은 타당할 수 있다.
(즉, 전제가 ″거짓″이면 타당한 형식일 수 있음)
ex) 전제 : ″모든 새는 포유류이다(거짓)″,
″비둘기는 새다(참)″
결론 : ″비둘기는 포유류이다(거짓)″
형식은 ″타당″
(2) 타당하지는 않지만 건전한 추론이 가능하다.
→ ″거짓″
건전한(sound) 추론은 타당하고, 모든 전제가 참이어야 한다. 따라서, "타당하지 않지만 건전"은 불가능하다.
(3) 타당한 형식이라 하더라도, 그 대입 사례 논증 하나는 타당하지 않을 수도 있다.
→ ″거짓″
어떤 형식(형식적 논증 구조)이 타당하다면, 그 형식의 모든 대입 사례(instantiation)는 타당하다. 즉, ″타당한 형식″이면 모든 대입 사례가 타당하다.
(4) 타당한 연역 논증이라 하더라도 거기에 새로운 전제가 추가된다면 타당하지 않게 될 수 있다. → ″거짓″
기존 논증이 타당하면, 그 타당성은 전제의 추가로 파괴되지 않는다. 전제를 추가하면 전제 집합이 커지므로 결론이 전제들로부터 여전히 따라오면(기존 타당성이 유지되면) 추가 전제로 인해 타당하지 않게 되지는 않는다.(단, 동일한 ″결론″을 유지할 때 추가 전제가 결론의 타당성을 해칠 수 없으므로 ″거짓″임)
(5) 부당한 형식의 모든 대입 사례 논증은 타당하지 않다.
→ ″참″

참고자료

· 없음