몸과 맘

*연역논리(반드시 논리, deductive logic) - 연역논리는 연역추론을 다스리는 논리 - 연역추론(반드시 추론, deductive inference)은 전제들로부터 결론이 반드시 따라나오기(타당한 추론이기)를 바라는 추론 - 문장논리는 연역논리의 한 종류 *문장논리(글월 말길, sentential logic)(=명제논리, 진리함수 논리, (truth-functional) propositional logic) - 이고, 이거나, 이면, 거짓이다 따위로 이루어진 문장들에 적용되는 논리 - 8가지 기본 추론규칙은 문장 논리를 이룸 - 8가지 기본 추론규칙이 마땅하다는 주장을 밝혀 보임 없이 처음부터 참말이라고 여기는 논리를 고전 논리라고 부름 *추론규칙 정리 기본 추론규칙 이고 이고 넣기 1. X 2..

*경우에 의한 논증(양도논법, 이러나저러나, argument by cases) 1. X이거나 Y 2. X이면 Z 3. Y이면 Z 따라서 Z 1. X∨Y 2. X→Z 3. Y→Z ∴ Z ex. 내가 정신 자본이 풍요롭기를 희망한다면, 나는 지속가능한 성숙을 모색해야 한다. 내가 경제 자본이 풍요롭기를 희망한다면, 나는 지속가능한 성숙을 모색해야 한다. 나는 정신 자본이 풍요롭기를 희망하거나 나는 경제 자본이 풍요롭기를 희망한다. 따라서, 나는 지속가능한 성숙을 모색해야 한다. *경우에 의한 논증의 증명 1. X이거나 Y 2. X이면 Z 3. Y이면 Z // Z 4*. 거짓이다 넣기 시작: Z는 거짓이다. 5*. 4*로 2에서 뒤로 이면 없애, X는 거짓이다. 6*. 4*로 3에서 이면 없애, Y는 거짓이다..

*가언 삼단논법(이면 잇기, hypothetical syllogism) 1. X이면 Y 2. Y이면 Z 따라서 X이면 Z 1. X→Y 2. Y→Z ∴ X→Z ex. 내가 지혜를 사랑한다면, 나는 철학자이다. 내가 철학자라면, 나는 세계를 사랑한다. 따라서, 내가 지혜를 사랑한다면, 나는 세계를 사랑한다. *가언 삼단논법의 증명 1. X이면 Y 2. Y이면 Z // X이면 Z 3*. 이면 넣기 시작: X 4*. 3*로 1에서 이면 없애, Y 5*. 4*로 2에서 이면 없애, Z 6. 3*에서 5*까지로 3*과 5*에 이면 넣어, X이면 Z. “끝”

*파생 추론규칙(딸림 이끌기 틀, derived rule of inference) - 기본 추론규칙들로부터 만들어진 추론규칙 - 다음과 같은 3개의 파생 추론규칙이 있음 9. 뒤로 이면 없애기 10. 이면 잇기 11. 이러나저러나 *부정논법(뒤로 이면 없애기, Modus Tollens) 1. X이면 Y 2. Y는 거짓이다. 따라서 X는 거짓이다. 1. X→Y 2. ~Y ∴ ~X ex. 만일 물이 생물이면, 물은 죽는다. 물이 죽는다는 것은 거짓이다. 따라서, 물이 생물이라는 것은 거짓이다. *부정논법의 증명 1. X이면 Y 2. Y는 거짓이다. // X는 거짓이다. 3*. 거짓이다 넣기 시작: X 4*. 3*로 1에서 이면 없애, Y 5*. 2와 4*에 이고 넣어, Y는 참이고 Y는 거짓이다. 6. 3*..