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