그냥 이면 2

[자연어 논리학] 「042 반사실 조건문」, 『두뇌보완계획100』

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

오르가논/논리 2022.07.13

[자연어 논리학] 「038 그냥 이면과 반드시 이면」, 『두뇌보완계획100』

*그냥 이면문장(단순조건문, conditional sentence) - 어쩌다 참말인 “P이면 Q”. 조건의 진리표에 나타난 뜻만을 가짐. 여기에서 말꼴은 “→”를 사용. - “P이면 Q”가 참이라고 해서 우리는 “P로부터 Q가 따라 나온다”가 참이라고 생각해선 안 됨 ex. 하늘이 푸르다면 눈은 희다. : “하늘이 푸르다”가 참이지만 “눈이 희다”가 거짓인 세계를 얼마든지 생각할 수 있음. 즉, “하늘이 푸르다”가 참이라고 해서 반드시 “눈이 희다”가 참이 되는 것은 아님. *반드시 이면문장 - 반드시 참말인 “P이면 Q”. 여기서 “P이면 Q”는 “Q는 P로부터 따라 나온다”를 뜻함. 여기에서 말꼴은 “⊢” 또는 “⇒”를 사용. ex. 만일 하늘이 푸르고 눈이 희다면 눈은 희다. : “하늘은 푸르고 ..

오르가논/논리 2022.04.06