논리학 이야기
게시글 주소: https://susi.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를 선물하세요.
-
아침 냠냠
-
여사친이랑 화장실??에서 키스하고 제가 ㅈㄴ 주물주물한 기억이 있는데 어카죠 장문에...
-
미쳤어 이건 아니야
-
잘봤다고 생각하면 복기 답안 올려보도록 하겠슴
-
대통령이 5년이니까 광역자치단체장도 5년일까요? 서울시장 오세훈이 5세훈이니까...
-
지금 출발... 0
서울살고싶다
-
경기도 사는데 연세대까지 2시간 걸림 준비하고 하면 지각 확정이노
-
안 그러면 지금 가고 있는 내가 너무 화가날듯해요
-
인간인 이상 4
사람과의 관계에서 오는 기쁨보다 큰 기쁨을 느낄 수가 있을까
-
어디로 가오? 2
“연세대”
-
벡터 어려운 문제일수록 벡터의 핵심인 길이와 방향을 설정한다 특히 문제에서 주어진...
-
잘시간 0
-
잠 안 와서 실모 하나 풀었다 매기는 건 내일 해야지…. 굿나잇
-
진심 궁금하다 일베나 정치적 의도 1도 없이 단순히 사람대 사람으로써 궁금증임
-
라면에 8
술한잔하고 진짜자야지
-
국어실모를 많이 풀어서 문학수특안에 작품들 한번씩은 본 것 같은데.. 문학수특...
-
..
-
완벽하지 못한 내가, 완벽하지 않아서 좋다. 사사로운 감정들에 쉽게 흔들리는 내가,...
-
지나간 그 여름 바닷가에서 꿈처럼 눈부신 그녈 만났지 믿을 수가 없어 아름다운 그녀...
-
뭔 전쟁이노 1
아까까지 카투사 애들이랑 테슬라가 어쩌고 하다가 왔는데
-
단골 칵테일바 당일 입고 양주 할인까지… 사장님 싸랑해요
-
만족했다 0
4시간뒤에 보자
-
대유쾌마운틴 0
슬슬 우울함을 넘어서 유쾌하다 ㅋㅋㅋㅋㅋ
-
서바 브릿지 제외
-
독서실 가자..
-
귀에 튀어나온 이주?라는 부위 누르면 좋아진데서 눌렀더니 ㄹㅇ 안간지러움요 이게...
-
최근에 여친이랑 헤어졌는데 그거보다 감동적이라서 눈물 흘림
-
ㅆㅂㅅㅂㅅㅂㅅㅂㅅㅂㅅㅂㅅㅂㅅㅂㅅㅂㅂㅅㅂㅅㅂㅅㅂㅅㅂㅅㅂ 그래프 해석 쥰내 어려워
-
이야
-
가계도까지만 공부했습니다, 1문제는 버리고.. 근데 나머지 19문제가 이제 웬만해선...
-
드릴5 드랍 1
미적분 1컷~2중반 왔다갔다 거리는데 수2 미적분/미적분 미분,적분 부분 거의...
-
잠이 안 와 2
어휴
-
아으 12
이번엔 또 잠이 안오네
-
딱 70점만 나오냐 십..그래도 아직 8일 남았으니 늘겠지...? 개념 꼼꼼히 더 보기 싫은데
-
여자한테 안겨서 자는 느낌이라고 해서 해봤는데 찐이노 시발잠이나자야지
-
잠이 안 와용 6
-
자퇴 예정인 07입니다. 문학개념어나 고전같은 거도 잘 모르는 상황입니다. 기출...
-
수학 ebs 1
아직 수학 ebs를 하나도 안했는데,,, 지금 수특 수완을 다 풀 시간이 없을 것...
-
6평 생 4 사 2 9평 생 4 사 4 입니다 남은 기간 사설 풀면 거진 44~37...
-
ㄹㅇ
-
머나먼 곳을 볼 수 밖에 없구나
-
밥친구 0
무한도전 1박2일 푸른거탑 고독한미식가
-
늘 있는 wwe 1
-
설거지 안 해도 되는 게 ㄹㅇ 고트
-
소주 맥주 막걸리 맛대가리없음
-
아니면 탐구가 수능때만 망할수가 없음
-
공부 열심히 해서 왔더니 온 국민과 정부가 나를 천하의 나쁜 놈으로 매도함 진로의...
-
프메기본 머리줘뜯으면서 하는 중인데 끝내고 바로 프메랑 원솔멀텍으로 넘어가는 건 무리일까요?
-
아이롱 리프펌 했는데 뒷머리 한쪽이 휘어서 갈라지고 앞머리 왼쪽은 오히려 더 펴지고...
그런 명제를 사소하게 타당하다고 하죠 ㅎㅎ