몸과 맘

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

*연언문(이고글월/이고문장, conjunction) - “이고”(“이지만”, “이며”, “이면서”, “인데”, “일 뿐만 아니라”, “또한” 등)로 이어져 있는 문장 - “이고 앞말”은 “이고” 앞에 있는 문장을, “이고 뒷말”은 “이고” 뒤에 있는 문장을 뜻함 ex. 순이는 착하고 순이는 예쁘다. *선언문(이거나글월/이거나문장, disjunction) - “이거나”(“또는”, “아니면” 등)로 이어져 있는 문장 - “이거나 앞말”은 “이거나” 앞에 있는 문장을, “이거나 뒷말”은 “이거나” 뒤에 있는 문장을 뜻함 ex. 순이는 착하거나 순이는 예쁘다. *조건문(이면글월/이면문장, conditional) - “이면”(“일 때”, “인 경우” 등)으로 이어져 있는 문장 - “이면 앞말(전건, antecen..

*“거짓이다”(“아니다”) - 우리 믿음과 세계 사이의 틈을 나타내기 위해 사용하는 낱말 - 참인 문장을 거짓 문장으로 바꾸고, 거짓 문장을 참인 문장으로 바꾸는 기능 so. 아무 평서문 X에 대해 다음은 맞는 말이다. X는 거짓이다. ≡ X는 아니다. ≡ X는 참이 아니다. ≡ “X는 참이다”는 거짓이다. ≡ “X는 거짓이다”는 참이다. *진리표(참값모눈, truth table) - 한 문장 X에 대해 두 가지 가능한 상황 또는 가능한 세계를 생각해볼 수 있음. 하나는 X가 참인 세계, 다른 하나는 X가 거짓인 세계. 진리표는 어떤 문장에 대해 이러한 가능한 세계에서의 진리값(참값, truth value)을 정리한 표. - 모든 평서문은 다음과 같은 진리값을 가짐 X가 참일 때 X의 참값은 “참” X가..

*추론 표시어(이끌기 보람말, inference indicator) - “따라서”(“∴”, “//”), “왜냐하면”(“∵”) - 문장들의 한 모임을 보고 이것이 추론이라는 것을 쉽게 알아볼 수 있도록 하는 표시어 *결론(따름말, 귀결/논지, conclusion) - “따라서” 뒤에 나오는 문장, “왜냐하면” 앞에 나오는 문장 - 전제로부터 따라 나오는 문장 *전제(받침말, 근거/논거/가정, premise) - “따라서” 앞에 나오는 문장, “왜냐하면” 뒤에 나오는 문장 - 결론을 뒷받침하는 문장 *추론(이끌기, inference) - 전제와 결론으로 이루어진 문장들의 집합 - 전제는 결론을 뒷받침하고, 결론은 전제들로부터 따라 나옴 - 하나의 추론에서 전제는 여러 개일 수 있지만 결론은 하나여야 함 ex..