몸과 맘

*반사실 조건문(반사실 이면문장, counterfactual conditional) - 우리는 “내 스마트폰이 스티로폼으로 만들어졌다면 그것은 물에 뜰 텐데.”는 참이라고 생각하지만, “내 스마트폰이 스티로폼으로 만들어졌다면 그것은 물에 뜨지 않을 텐데.”는 거짓이라고 생각함. 그러나 둘 다 그냥 이면문장이라면 참임. - 따라서, “내 스마트폰이 스티로폼으로 만들어졌다면 그것은 물에 뜰 텐데.”는 그냥 이면문장(단순조건문)이 아님. 우리는 그 문장을 말할 때 “내 스마트폰은 물에 뜨지 않는다.”라는 점도 이미 말하고 있음. 즉, 우리는 “‘내 스마트폰이 스티로폼으로 만들어졌다면 그것은 물에 뜰 테지만’ 사실은 내 스마트폰은 물에 뜨지 않는다.”라고 말하고 있는 것. - 이런 이면문장을 반사실 조건문 또는..

*논리 레고(말길 잇기) - 주어진 문장들과 낱말들을 남김없이 써서 마땅한 추론을 하나 만드는 놀이 - 답은 여럿일 수 있음 ex. 뉴턴은 유신론자이다. 뉴턴은 유신론자이다. 뉴턴은 무신론자이다. 뉴턴은 무신론자이다. 뉴턴은 물리학자이다. 뉴턴은 물리학자이다. 는 것은 거짓이다. 이거나 이고 따라서 ⇒ 뉴턴은 유신론자이거나 무신론자이다. 뉴턴은 무신론자이다는 것은 거짓이다. 뉴턴은 물리학자이다. 따라서, 뉴턴은 물리학자이고 뉴턴은 유신론자이다. ⇒ 뉴턴은 유신론자이거나 무신론자이다. 뉴턴은 유신론자이다는 것은 거짓이다. 뉴턴은 물리학자이다. 따라서, 뉴턴은 물리학자이고 뉴턴은 무신론자이다.

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