논리학 이야기
게시글 주소: 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를 선물하세요.
-
걍 시험지에 글자 너무 많고 풀이공간은 너무 좁고 고이다 못해 썩어서 컷은...
-
풀때마다 40번 틀리는데 ㅅㅂ 뭔 문학처럼 허용가능성 따져야됨 5선지 다...
-
148
-
시즌1 1회만 풀어봤는데 미적 80점 나왔어요 빡모 시즌2 랑 비슷하거나...
-
ㅇㅇ..
-
중철 표기인 것심
-
안녕하세요 올해 분리변표 쓰는 대학 많을까요?…
-
ㄹㅇ이네
-
그럼 젖지 이제 없고 오르비 디렉터만 활동하는 거임? 3
아니면 둘 모두 하는데 좀 유해지는 건가?
-
더 나은 학습 환경을 제공하기 위한 새로운 교육 생태계 구축 프로젝트, SYNC가...
-
드릴 푸는데 절반정도는 안풀리는데 1,2등급들은 이런거 대부분 막힘없이 잘...
-
몇점 나옴?...ㄹㅈㄷ로 조져버림
-
아닌가 우리 동생 학교만 이러는 건가
-
헐레벌떡;; 으아~! 수능 얼마 남지 않았는데 지금 딱! 실모 빨리 풀 시기잖아요!...
-
카페같은 시끄러운 곳에서 국어 실모 푸는거 어떻게 생각해세여 7
제가 우울증이랑 공황이랑 겹쳐서 혼자 적막한 곳에서 혼자서 공부하면 눈물나고 심장...
-
이건 내가 할 수 있는게아니다.
-
맞팔구합니다 16
첫 맞팔구 잡담태그 잘다시는분이면 좋겠어요
-
국어푸는순서 6
집중력이 가면갈수록 떨어지는사람, 성급하면 화작 문학 비문학인가요? 자신만의...
-
쉬면서 잠깐 폰보다가 요즘 하도 쇼츠랑 릴스에 흑백요리사 뜨길래 재밌어보였음 하지만...
-
은혜 ㄱㅅㅎㄴㄷ ㄱㅅㅎㄴㄷ..
-
ㅈㄴ 어렵네
-
지문형 문법 맞은 문제가 하나도 없네 이유: 현장에서 문제 구경도 안하고 찍고 나옴...
-
(한 번만 읽어주세요ㅠㅠ!) 수학 5월 시작 9모 14111 3등급 목표입니다 7
고3, 미대 입시를 그만두면서 수학을 올해 5월에 시작했습니다 다른 과목들(언매...
-
잘하면 오늘 한완수 수2 끝낼 수 있겠네요
-
오 이건 좋은데 22
수능끝나고 금테 찍고 과외모집글을 벅벅
-
그런거보고 궁상 많이 떨었는데 적어도 젊으면 궁상보다는 돈벌궁리가 맞지않음??...
-
아무회차나 기억나시면 말 좀 해주세요 ㅠㅠ 유빈이로 풀어서 등급컷을 못봐요..
-
당시엔 지금 당연시 사용되는 어둠의스킬같은거 대부분이 없는걸 감안하고 봐야한다고...
-
오리비 티비로 돌아와줘요
-
신기하노
-
설렌다 0
가성비 무슨일이야진짜
-
계정이 나보다 5살이나 많아 응애
-
공부한 느낌이 안나네 그냥 하루에 하나씩 풀세트 모고 풀까…….음
-
n제 한 번도 풀어본적 없는 뉴비고 서바랑 브릿지 실모만 돌리다가 n티켓 시즌2...
-
아수라 0
올라왔당히히
-
단심가 ㅋㅋㅋㅋ
-
요즘 어지간한 실모 풀어도 28, 29, 30 3개중 2개는 맞추는데 이건 3개 다...
-
ㅋㅋㅋ
-
베테랑2 봤습니다
-
수능에선 실수하지말자
-
실제로 뛴 거리보다 짧게 측정되는데.... 평소 뛰는 코스에 산 코스도 있고 언덕도...
-
이해원 s3 3
이해원 모고 시리즈로 샀는데 s3 초중순에 배송이라면서 말일에 다다르는데 아직도...
-
GO2WORK 0
luvshmunky
-
수능때 갑자기 6
삼도극이나 무등비 부활하면 웃기겠네
-
아니 진짜 실제말할때 처럼 적용되는데...? Ai발전 체감되네
-
언매이고 3모부터 32231이고 9모 공통다맞고 언매만 2개틀렸습니다 겨울방학때는...
-
이것만 들어도 ebs대비 가능함뇨?
그런 명제를 사소하게 타당하다고 하죠 ㅎㅎ