몸과 맘

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

*조건증명법(이면 넣기, conditional proof) - 다음의 왼쪽 추론이 마땅하면, 오른쪽 추론도 마땅하다. 1. A 2. X 따라서 Y 1. A 따라서 X이면 Y 1. A 2. X ∴ Y 1. A ∴ X→Y *조건증명법의 타당함 - 조건증명법도 기본 추론규칙들 가운데 하나이기 때문에, 조건증명법 자체를 다른 규칙들을 써서 이끌어낼 수는 없음. 그래서 우리는 조건증명법을 사용한 추론이 타당한 추론이라고 그냥 처음부터 받아들여야 함. - 다음의 예시를 통해 조건증명법을 사용한 추론이 여타 기본 추론규칙들을 사용한 추론들과 같이 마땅하다는 사실을 알 수 있음 1, 만일 희수가 철학을 좋아한다면, 그는 논리학을 좋아한다 2. 희수는 논리학을 좋아하지 않거나 깊이 생각하는 것을 좋아한다. 3, 희수는 ..

*타당한 추론(마땅한 이끌기/마땅한 추론, valid inference) - 전제들이 모두 참이면서 결론이 거짓인 상황을 생각할 수 없는 추론 - 전제들이 참인지 거짓인지 모른다 하더라도, 나아가 전제들이 실제로 거짓이라 하더라도, 우리가 전제들을 참이라고 여기면 반드시 결론도 참이라고 여겨야 하는 추론 *추론규칙(이끌기 틀, rule of inference) - 타당한 추론의 형식 - 추론규칙을 따르는(사용한) 추론은 무슨 추론이든 타당함 *기본 추론규칙(으뜸 이끌기 틀, basic rule of inference) - 기본 추론규칙은 이른바 “논리학의 공리”임. 우리는 기본 추론규칙이 마땅하다는 것을 그냥 받아들이기로 함. 즉, 우리는 기본 추론규칙이 마땅하다는 것을 증명할 수 없으며, 오히려 이 기..