논리학 이야기
명제 "P이면 Q이다" 에서 전건 P가 그 자체로 거짓이라면 전체 명제는 항상 참이 됩니다. 수학적으로 생각해보면 모든 집합은 공집합을 부분집합으로 가지기 때문이라고 할 수 있고, 더 쉽게 생각해보면 다음과 같이 직관적으로 설명할 수 있습니다. (수학을 이용한 공집합 논리 역시 논증을 하려면 아래의 공허한 참 논리가 필요합니다.)
선생님께서 "다음 시간까지 숙제를 해 오지 않으면 혼을 내겠다." 라고 하셨는데, 그 말을 들은 철수는 다음 시간까지 숙제를 해 갔으나 숙제를 했음에도 혼이 났다. 철수는 본인이 숙제를 했는데 왜 혼을 내느냐고 항의했으나, 선생님은 이에 다음과 같이 답했다. "숙제를 하지 않으면 혼을 내겠다고 했지, 숙제를 하면 혼을 내지 않겠다고 하지 않았다. 따라서 나는 거짓말을 하지 않았다."
이 예시와 같은 자연어적 표현에서는 인과관계가 들어있지만, 인과관계를 배제하고 단순 진리함수적 관계만을 살펴본다면 선생님은 숙제를 해 오는 경우에 대해서는 아무 말을 한 적이 없기 때문에 숙제를 해 오는 경우 혼을 내든 내지 않든 거짓말을 했다고 볼 수가 없는 것입니다. 즉, 거짓을 가능성 자체가 사라진 상황에서 반드시 참 또는 거짓 둘 중 하나여야 하므로 참으로 간주할 수 있다는 것이죠.
노
이를 공허한 참(공허한 진리)라고 부르는데, P가 항상 거짓이므로 P가 참인 경우가 존재하지 않기에 P가 참인 모든 경우에 Q가 참이 된다고 할 수 있는 허무한 경우입니다.
중요한건 이 공허한 참 이야기가 아니라, 문장 연결사의 진리함수적 사용에 대한 이야기입니다. 진리함수적 사용이란, 단순히 말하면 자연어적 문장 논리가 논리적으로 잘 정의된다는 것입니다.
예를 들어, "그들은 결혼을 했다. 그리고 아이를 낳았다." 를 문장 문자를 이용하여 표현하면 P : "그들은 결혼을 했다.", Q : "그들은 아이를 낳았다." 에 대하여 P and Q (P & Q)가 될 것입니다. 하지만 순서가 반대가 된 "그들은 아이를 낳았다. 그리고 결혼을 했다." 는 의미가 완전히 다르죠 (속도위반). 이렇듯 "그리고" 라는 자연어는 &로 해석이 되며 자연어적 서술이 가지는 뉘앙스를 문장 연결사에 모두 담을 수가 없기 때문에 이러한 문제가 생깁니다. 이 경우 P & Q와 Q & P는 자명하게 동치임에도 불구하고 둘 중 하나만 참이게 되어, 오직 P와 Q의 진리값에 의해서만 전체 명제의 진리값이 결정되지 않는 상황이 발생하여 문장 연결사가 진리함수적으로 사용되지 않은 경우가 됩니다.
또 다른 재밌는 예시는 역설의 일종으로, 마찬가지로 문장 연결사가 진리함수적으로 사용되지 않은 예시입니다.
"만약 이 나무 막대가 금속으로 만들어져 있다면, 열을 가했을 때 수축할 것이다."
이 문장 자체는 직관적으로 생각했을 때 거짓입니다. 금속이었으면 (그리고 굳이 금속이 아니더라도) 당연히 열팽창을 하겠죠. 하지만 이 "나무 막대"는 금속이 아니기 때문에 전건이 거짓이 되어 공허한 참에 의해 전체 명제는 참이 됩니다. 따라서 이 경우 이 문장 전체를 하나의 문장 문자로 생각해야 합니다.
더 직접적인 예시로 다음과 같은 예시도 있을 것입니다.
"만약 내가 로또에 당첨되었더라면, 나는 로또에 당첨되지 않았을 것이다."
직관적으로 생각해보면 당연히 말이 안 되는 거짓인 문장입니다. 하지만 저는 로또에 당첨되지 않았기에 전건이 거짓이 되어 문장이 참이 되어버리죠. 이 경우 전체 문장은 참일까요? 거짓일까요?
* 비전공자가 논리학 수업을 듣고 간단하게 작성한 내용이라 틀린 내용이 있을 수 있습니다. 재미로만 읽어주시길
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ㅜㅜ
-
평가원 #~#
-
구라치지마ㅅㅂ................ 축제인데 오늘 반에서 가장 똑똑한사람...
-
상지대 우석대 고신대 배재대 목원대 우송대 경동대 한서대 중부대 는 폐교 안 한대요!
-
우리보다 후각이 그렇게 발달되어 있으면서도 그 피냄새가 아무렇지 않은건가
-
일단 난 고딩때 메이플하다가 만났었음
-
이거 몇분 컷 내셨나요?? 이제 막 처음 배운 참이고 의원내각제조건 대충봐서...
-
ㅊㅊ모자없는거
-
피방가니까 여자들 옵치 많이하던데 깔아볼까
-
을지의 충남수 1
을지의는 최초합 됐고 충남수의는 오늘 추합 됐습니다 당연히 의대라고 생각하고...
-
이과학생인데 수학점수가 상대적으로 낮게 나와서 서강대로 보면 현재 경영경제 합격률...
-
지거국수는 1~2등 7칸 심지어 8칸 건수는 4칸 불합격ㅜㅜ 진짜 억까아님?ㅜㅜ...
-
낮과 계속 꼬리털리고 위상 더 박살나기 싫으면 인문 어문 농대 싹다 계열제로 돌려야할텐데
-
뭔가 공허하다 1
이제 내 목표는 뭐지
-
표본분석 해보려하는데 몇명을 감안해야할지 감이 안잡히네
-
진짜인생이 0
오늘 내일 할것도없고 그러니까 오늘이 크리스마스 이브라는것도 몰랐고 왜이렇게됏지;
-
무조건 공대 가고 싶어서 자율전공 인문 (5칸에서 현 3칸..)을 넣을지 아니면...
-
5
-
고대 변표 1
사탐 백분위 둘다 99한테는 좀 상황이 괜찮은걸까요…?
-
대충 찾아보긴 했는데... 완전 쉽다는 분들도 계시고 아니다 시험/면접 봐야 하고...
-
ㅈㄱㄴ
-
그냥 진짜 선호도 떨어져서 지원안하는거면 좋겠네..
-
지방대 타 학과랑 평균으로 칸수합격률 보여줘서 5칸 합격확률 48퍼 이지랄남
-
지학사 보고 다군 성글경영 어렵다고 하는거 보니까 갑자기 신뢰도 상승함
-
걍 좆같다 1
내 성적으로 중앙대를 가야된다는게
-
1.사과계는 1차추합 안에 붙을듯 2.인과계는 쓰기 아까움 경영은 반반 근데 글리는...
-
부모님이 죽일 거 같아서 못하겠는데 저 세무사 일 개잘할거같은 느낌적인 느낌인데
-
기계가 정밴가 근데 물리가 개싫은데 어떡함
-
복귀!!! 13
성뱃 등장!
-
25수능 언매1등급임
-
인천글로벌캠퍼스 1
이번에 수능을 잘 못본 학생인데 국내 대학에 진학할 경우 재수를 하는게 낫겠다는...
-
다군이 하나도 없어서 계속 뺑뺑이 돌아감 ㅋㅋㅋㅋㅋ
-
고려대 5배수 면접 폐지로 이전보다 정시 이월 감소 상대적으로 연세대 정시 이월...
-
성형외과 추천받습니다 32
일단 서울이 낫겠죠? 요샌 네이버가 다 광고천국이라
-
고속봤을때는 홍익대 걸치는거같긴한데..혹시 상향으로 지를만한 학교 있을까요???
-
바자관 대기 0
바자관 대기로 넣었는데 언제쯤 될까요? 이번 겨울방학에 가고 싶은데 완전 무리겠죠?...
-
아주대 변표 3
뜨기전 906.42에서 907.03으로 바꼈는데 ㄱㅊ은겨?
-
얘가 나이 정상화 시켜서 우리 그만큼 나중에 더 살 수 있음 ㅋㅋ
-
김범준 풀커리 타고 드릴 풀려는데 드릴드1,2에 드릴5까지 풀면 이미 차고...
-
만 나이가 좋다 8
난 아직 20살이라고
-
중앙대 경영 2
210명 뽑는데 663등 붙을만 한가요??
-
이 또한 대 석 열의 은혜겠지요
-
17살임 4
반박안받음.
-
난 19살이야 6
아직 20대 아님 팔팔한 젊은이다
-
올해 솔크라 포기하려 했는데 저번주 주말에 어쩌다가 마음에 맞는 사람 만나서 솔크...
-
윤석열식 나이로
그런 명제를 사소하게 타당하다고 하죠 ㅎㅎ