On the pale blue dot

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

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

유효한 패턴과 함께라면, 전제가 옳을 때 결론이 틀리는게 불가능하다 연역적 논증에서 기본적 법칙/패턴이 있다. 이들을 소개하면 다음과 같다. Modus ponens 긍정논법 : p, p->q 이면 q이다. 네가 택시를 탄다면, 제시간에 도착할 것이다. 너는 택시를 탔다. 그러므로 제시간에 도착할 것이다. If you take a taxi, you will get there in time. You took a taxi, so you will get there in time. Modus Tollens 부정논법 : ~q, p->q 이면 ~p이다. 네가 택시를 탄다면, 제시간에 도착할 것이다. 너는 제시간에 도착하지 못했다. 그러무로 너는 택시를 타지 않았을 것이다. If you take a taxi, you ..

용어 기본적 설명 예시 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..

첫 단원만 몇 번째야 고등학교 1학년 수학 첫단원 집합과 명제는 고등학교 졸업자라면 반드시 1번 이상은 봤을 법 한 부분이다. 나는 여기만 너무봐서 문제였지만... 아마 수학을 암기과목으로 받아들이게 되면 'p이면 q이다' 라는 명제에 대한 내용 바로 다음부터 외우기를 시작했을 것이다. 그 부분이 바로 여기, 논리학의 기본으로 다뤄지는 가정과 결론의 관계에 있다. p이면 q이다 우선 명제의 정의부터 알아볼 필요가 있다. 명제(命題)는 논리학적으로 뜻이 분명한 문장을 말한다. 즉, '참' 혹은 '거짓'임을 검증할 수 있는 '객관적 사태'가 포함된 문장을 말한다. - 위키백과 - '모든 사람은 죽는다', '지구는 태양 주위를 돈다', '우영우는 거꾸로 해도 우영우다' 등등 참과 거짓을 분명히 판별할 수 있어..