몸과 맘

*필연 문장(반드시 글월, logical sentence) - 항진문장(반드시 참말, logical truth)과 항위문장(반드시 거짓말, logical false)을 일컬음 - 항진문장은 생각할 수 있는 모든 세계에서 참인 문장 ex. X는 참이거나 X는 거짓이다. - 항위문장은 생각할 수 있는 모든 세계에서 거짓인 문장 ex. X는 참이고 X는 거짓이다. *우연 문장(어쩌다 글월, contingent sentence) - 우연진실(어쩌다 참말, contingent truth)과 우연허위(어쩌다 거짓말, contingent false)를 일컬음 - 우연진실은 우리가 사는 이 세계에서 참이지만 거짓인 세계를 생각할 수 있는 문장 ex. 세종은 한글을 만들었다. - 우연허위는 우리가 사는 이 세계에서 거짓..

*상호함축(서로 따라 나옴, mutual entailment) - "P와 Q는 상호함축한다.", “P와 Q는 서로 함축한다.”, “P와 Q는 서로 따라 나온다.”, “P⇔Q” 등으로 표현 - “P와 Q는 상호함축한다.”는 다음과 같은 뜻이다. : “P로부터 Q가 따라 나오고, Q로부터 P가 따라 나온다.”, “P가 참이면 반드시 Q도 참이고, Q가 참이면 반드시 P도 참이다.”, “P가 참인 모든 세계에서 Q도 참이고, Q가 참인 모든 세계에서 P도 참이다.”, “P는 참이지만 Q가 거짓인 세계는 없고, Q는 참이지만 P가 거짓인 세계는 없다.”, “생각할 수 있는 모든 세계에서 P와 Q는 참값이 같다.”, “P와 Q는 참값모눈이 같다.”, “P가 참이면 반드시 Q도 참이고, P가 거짓이면 반드시 Q도 ..