논리학 이야기
게시글 주소: https://orbi.kr/00069271896
명제 "P이면 Q이다" 에서 전건 P가 그 자체로 거짓이라면 전체 명제는 항상 참이 됩니다. 수학적으로 생각해보면 모든 집합은 공집합을 부분집합으로 가지기 때문이라고 할 수 있고, 더 쉽게 생각해보면 다음과 같이 직관적으로 설명할 수 있습니다. (수학을 이용한 공집합 논리 역시 논증을 하려면 아래의 공허한 참 논리가 필요합니다.)
선생님께서 "다음 시간까지 숙제를 해 오지 않으면 혼을 내겠다." 라고 하셨는데, 그 말을 들은 철수는 다음 시간까지 숙제를 해 갔으나 숙제를 했음에도 혼이 났다. 철수는 본인이 숙제를 했는데 왜 혼을 내느냐고 항의했으나, 선생님은 이에 다음과 같이 답했다. "숙제를 하지 않으면 혼을 내겠다고 했지, 숙제를 하면 혼을 내지 않겠다고 하지 않았다. 따라서 나는 거짓말을 하지 않았다."
이 예시와 같은 자연어적 표현에서는 인과관계가 들어있지만, 인과관계를 배제하고 단순 진리함수적 관계만을 살펴본다면 선생님은 숙제를 해 오는 경우에 대해서는 아무 말을 한 적이 없기 때문에 숙제를 해 오는 경우 혼을 내든 내지 않든 거짓말을 했다고 볼 수가 없는 것입니다. 즉, 거짓을 가능성 자체가 사라진 상황에서 반드시 참 또는 거짓 둘 중 하나여야 하므로 참으로 간주할 수 있다는 것이죠.
노
이를 공허한 참(공허한 진리)라고 부르는데, P가 항상 거짓이므로 P가 참인 경우가 존재하지 않기에 P가 참인 모든 경우에 Q가 참이 된다고 할 수 있는 허무한 경우입니다.
중요한건 이 공허한 참 이야기가 아니라, 문장 연결사의 진리함수적 사용에 대한 이야기입니다. 진리함수적 사용이란, 단순히 말하면 자연어적 문장 논리가 논리적으로 잘 정의된다는 것입니다.
예를 들어, "그들은 결혼을 했다. 그리고 아이를 낳았다." 를 문장 문자를 이용하여 표현하면 P : "그들은 결혼을 했다.", Q : "그들은 아이를 낳았다." 에 대하여 P and Q (P & Q)가 될 것입니다. 하지만 순서가 반대가 된 "그들은 아이를 낳았다. 그리고 결혼을 했다." 는 의미가 완전히 다르죠 (속도위반). 이렇듯 "그리고" 라는 자연어는 &로 해석이 되며 자연어적 서술이 가지는 뉘앙스를 문장 연결사에 모두 담을 수가 없기 때문에 이러한 문제가 생깁니다. 이 경우 P & Q와 Q & P는 자명하게 동치임에도 불구하고 둘 중 하나만 참이게 되어, 오직 P와 Q의 진리값에 의해서만 전체 명제의 진리값이 결정되지 않는 상황이 발생하여 문장 연결사가 진리함수적으로 사용되지 않은 경우가 됩니다.
또 다른 재밌는 예시는 역설의 일종으로, 마찬가지로 문장 연결사가 진리함수적으로 사용되지 않은 예시입니다.
"만약 이 나무 막대가 금속으로 만들어져 있다면, 열을 가했을 때 수축할 것이다."
이 문장 자체는 직관적으로 생각했을 때 거짓입니다. 금속이었으면 (그리고 굳이 금속이 아니더라도) 당연히 열팽창을 하겠죠. 하지만 이 "나무 막대"는 금속이 아니기 때문에 전건이 거짓이 되어 공허한 참에 의해 전체 명제는 참이 됩니다. 따라서 이 경우 이 문장 전체를 하나의 문장 문자로 생각해야 합니다.
더 직접적인 예시로 다음과 같은 예시도 있을 것입니다.
"만약 내가 로또에 당첨되었더라면, 나는 로또에 당첨되지 않았을 것이다."
직관적으로 생각해보면 당연히 말이 안 되는 거짓인 문장입니다. 하지만 저는 로또에 당첨되지 않았기에 전건이 거짓이 되어 문장이 참이 되어버리죠. 이 경우 전체 문장은 참일까요? 거짓일까요?
* 비전공자가 논리학 수업을 듣고 간단하게 작성한 내용이라 틀린 내용이 있을 수 있습니다. 재미로만 읽어주시길
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
남들이 뭐라고 하든 난 내 갈 길을 가고 내가 믿는 걸 한다 도전도 못 해보고...
-
아님 독서론합쳐서 20분이면 된단 마인드?
-
자꾸 들어오는거 이상한 질문 글 그만 올리고 오늘부터 공부인증이나 하겠슴다.. 국어...
-
오르비에 6갸월정도 전에 본것 같은데 말죽거리 잔혹사 짤에다가 왕사슴? 같은 문구가...
-
내일 봅시다 바이바이
-
목표를 낮춘다
-
강대x 풀패키지 0
사도 다 못 풀거 같은데 2회차 정도만 사는거 어떻게 생각하시나요 많이 손해인가요
-
일대일대응,함수 2
이거 너무 어려워요 ㅠ 팁좀 주세요 형님들
-
입시도 파이팅하고 다이어트도 파이팅하자 올해 개억까당해서 진짜 보란듯이 이겨내고 대학 가야함..
-
쓰레기자식 이기회에 자정작용해야됨 선배로 보지도않음 절대 의협도 제발 품위위반때리고...
-
허거덩
-
신은 망가뜨리고 싶은 사람에게 가장 먼저 자만을 불어 넣는다. 3
자만하지말자.방심하지말자.오만하지말자.
-
영어 파이널 0
키센스랑 그불구중에 뭐가 나을까요
-
4월말에 샀는데 2회까지풀고 유기했는데 ㅁㅌㅊ?
-
We all are particles in a field. 1
제가 가장 좋아하는 말이에요
-
04 남자 삼반수 공감 13
주위애들이 아무도 없음 다 군대라는 이세계로 가버리고 혼자 쓸쓸히 독서실에서...
-
난이도 어떤가요…? 나머지회차랑 총정리2 풀었을땐 다 2-3개 틀렸는ㄷ 여기만 7개…
-
현강 평균 30점중반아래대임 아마 현역들이라 현강표본이 못하는걸수도있음
-
평가원국어만 요상하게 1이 나온적이없음 항상 2등급.. 높2 중2에서 요동치는데 뭐가 문젤까..
-
안녕히 주무십쇼 행님덜 내일도 공부 열심히 해봐요!
-
룰러 4수생 블루아카이브함 ㅋㅋㅋ
-
리트는 그런사람들한테 나쁘진않음 8월에 더워죽겠고 공부도안될때 리트 꺼내는게 국룰임ㅋㅋ
-
어때요
-
어디서봐요? 원래 보던 사이트가 안들어가져요..
-
오르비 탈퇴합니다
-
더 기조 반영도 되고 수특 반영도 되고
-
작년의 추억..
-
맞짱깔사람 8
컴온
-
오히려 좋아
-
ㅔ… 스포츠 잘 몰라도 그냥 가서 놀구 오는 거?
-
자네가 꿈꾸는 것이 무엇이든.. 자네 뜻대로 쉬이 흘러가지 않을 걸세. 그건 누군가...
-
7주남았구나 3
이생활 이제그만 청산하고싶다 이젠 탈출할수있을까
-
D-49 오공완 8
반성: 킬캠 22번 다 구하고 마지막에 이상한수 대입함 정신차리자 제발..
-
왜 안하지?? ㅜㅜ 온몸으로 ㅈ되기를 그냥 가만히 앉아서 기다리는중 그냥 압도적 ㅂㅅ같음
-
백분위 5퍼에서 벗어나지 못하는 사람입니다. 수완 실모보다 살짝 어려운 난이도의...
-
얼마 정도였나요?
-
아니 0
학교에서 장학금 신청해서 장학회에서 사진 찍히고 개쪽 당하면서 받아온 장학금인데...
-
여르비 구함 6
같이 음료 한잔할 여르비 구한다 ㅇㅇ
-
네..
-
최고의 현장감 4
똥참으면서 풀기 진짜 똥줄타면서 푸는게 뭔지 알 수 있음 물론 터질거 같으면 다녀오셔야합니다..
-
목소리 엄청 낮고 굵다는 소리 많이 듣는데...마이너스이려나
-
천안아산 사는데 순천향 vs 한경중 vs 충남대 (의) 붙으면 어디 갈건가요?
-
양승진 유형코드 0
내년에 수능보고 수1쎈발점 끝나서 실코 기코 들어가려하는데 Qna에 쎈을 했어도...
-
역대 goat 수특표지 13
반박시 풀피
-
오전 10시반에한번 저녁먹고 한번 괜찮을련지요 많이틀려야 4개틀리는거 같은데
-
수능 국어에서 리트에 그렇게 집착하는 이유를 모르겠음.. 31
진짜로.. 시험 치르는 대상도 다르고 애초에 평가하는 목적이 다를텐데 그렇게 막...
-
안녕하세요. 첫 칼럼으로 찾아뵙는 Si vales bene, valeo 입니다. 첫...
-
너무 힘들어 ㅜㅜ
그런 명제를 사소하게 타당하다고 하죠 ㅎㅎ