연역법 4

연역법 논증과 귀납법 논증 구분하기

아무말이나 논증이 아니다. 전제와 결론이 존재하는 명제들의 집합을 논증이라고 한다. 이때 이 논증이 연역적인지, 귀납적인지 구분하면 그 논증의 옳고 그름을 따질때 유용하다. 연역법의 신뢰성 연역법은 유효성validity과 타당성soundness으로 평가된다. 모든 전제가 참일때 결론이 거짓이되는게 불가능할 경우 그 논증은 유효하다(valid). 다만 이때 전제가 진실인지 아닌지는 상관이 없다. "모든 사람은 당근이다. 모든 사람은 감자이다. 그러므로 모든 사람은 당근이자 감자이다." 이 말도안되는 논증이라도 유효성에는 전혀 문제가 없다. 하지만 타당성soundness을 평가하면서 우리는 그 전제가 참인지 아닌지도 고려한다. 유효한 논증일지라도 전제가 거짓이라면 타당하지 않은 논증이다. 귀납법의 신뢰성 귀..

Fallacy 오류

"그건 진짜 틀렸다." 라고 말할수 있는 상황 오류란, 논리학에서 일반적으로는 옳지 않은 추리를 가리키나, 특히 옳은 듯이 겉으로만 보이려는 옳지 않은 추론(推論)을 말한다. 오류는 논리적 형식상에서 논증구조가 잘못되어 발생하거나 혹은 비형식상 명제의 내용에서 비롯되기도 한다. 누군가가 말하는 논증이 아래와 같은 패턴을 보인다면 잘못된 추론이라고 답변할수 있다. 하지만 charity자애를 가지면서 상대의 의도를 악의적으로 폄하하지 말자. Fallacy Basic Description Example Notes Formal Fallacies Denying the antecedent 전건부정 For an implication P → Q, denying the antecedent is to state ¬P an..

Formal analysis 정형분석 관련 용어정리

용어 기본적 설명 예시 Notes Deduction 연역법 몇몇 명제들을 전제로 하여 논리적 결론을 세우는 일. 이미 알고 있는 판단(전제)을 근거로 새로운 판단(결론)을 유도하는 추론. Argument 논증 Statements contains reason and conclusion 전제와 결론이 있는 문장 All humans are animal because they are born and consume other organics to live. Logical sentence 논리적 문장 A statement that can be arguable and be supported by reasons. 논쟁의 여지가 있고 이유에 의해 뒷받침될 수 있는 진술. 참거짓이 판단 가능해야함 All humans ar..

귀납법과 연역법

귀납적 추론(歸納的推論, inductive reasoning)은 개별적인 특수한 사실이나 현상에서 그러한 사례들이 포함되는 일반적인 결론을 이끌어내는 또는 역으로 보편성에서 구체성을 유도하는 추론 형식 · 추리 방법이다. -위키백과- 연역적 추론(演繹的推論, deductive reasoning)은 이미 알고 있는 판단을 근거로 새로운 판단을 유도하는 추론이다. 여기서 이미 알고 있는 판단은 전제, 새로운 판단은 결론이다. -위키백과- 맨날 헷갈려 볼때마다 한 템포 쉬고 생각하게 되고, 정의를 찾아봐도 쉽게 이해가 되지 않는다면 단어의 어근을 이해하고자 노력해 볼 필요가 있다. '귀납'이라는 단어의 뿌리는 다음과 같다. 歸 돌아갈 귀 돌아가다, 돌아오다 돌려보내다 따르다, 붙좇다(존경하거나 섬겨 따르다) ..