몸과 맘

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

*함축(따라 나옴, implication)(=필함, 반드시 따라 나옴, entailment) - “P로부터 Q가 따라 나온다.”, “P로부터 Q가 반드시 따라 나온다.”, “P는 Q를 함축한다.”, “P는 Q를 필함한다.”, “P⇒Q”, “P⊢Q” 등으로 표현 - “P로부터 Q가 따라 나온다.”는 다음과 같은 뜻이다. : “P가 참이면 반드시 Q도 참이다.”, “P가 참인 모든 세계에서 Q도 참이다.”, “P는 참이지만 Q가 거짓인 세계는 없다.” - “P로부터 Q가 따라 나온다.”는 다음과 같은 뜻이 아니다. : “Q로부터 P가 따라 나온다.” - 전제1, 전제2, 전제3, 결론으로 이루어진 마땅한 추론은 다음과 같이 나타낼 수 있다. : 전제1이고 전제2이고 전제3 ⇒ 결론 *“X&Y⊢X”의 증명 -..