논리학 이야기
게시글 주소: https://ebsi.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를 선물하세요.
-
유독 계산문제만 틀려서 슬프네 극복방법 있나요?
-
국어 화작 83 수학 기하 90 영어 3 사문 100 화학2 80 정도 받으면 가능할까요
-
조와용
-
수학 몰빵 2
한 2~3주 동안 수학만 파는거 어떰ㅜㅠ? 다른 과목은 하루에 2,3시간 정도만...
-
안타까워라…
-
바탕 6차 - 13차 상상 파이널 전회차 혜윰모의고사 이감오프파이널 전회차 +문학...
-
공부하는 기분 안난다고 하는 학생들 꼭있음 ㅠㅠ 근데 그 공부하는 기분내며 완강...
-
네이버 카페 2
들어가지시나요? 오류머지
-
아 실모풀고싶다 0
국어실모벅벅 수학실모벅벅 물리실모벅벅 지구는 벅벅하다가 모르는거 50개 나오고 개같이 5등급
-
간쓸개 인질 좀 빼서 팔아주지..ㅠㅠ 승리햄 모고랑 하나 더 붙여서 실모 풀어보려...
-
전설의 설사과 합 연경 떨 이에 비하면 작년 고경 폭은 새발의 피
-
프로섬 떴냐? 6
떴으니까 올리지 아 ㅋㅋㅋㅋ 최대한 빠르게 끝내고 후기 올리겠슴다 내년엔 제가...
-
밤을 샜더니 3
너무 피곤하다
-
유튜브,틱톡 영상 댓글보면 이쁜애,못생긴애 나오면 댓글에 못생긴애한테 이뻐요 ㅈㄴ댓글다ㅁ
-
안녕하세요. 처음 인사드립니다. 오르비 디렉터입니다....
-
abc 를 각비로 보고 풀었음 각a는 120 각b는 15 각c는 45 그대로...
-
이감 잘 아시는 분 꼭 읽어보시고 도와주세요ㅠㅠ 작년에 다니던 독재에서 간쓸개...
-
일단 명학t모고 사서 푸는 중인데 어제 4회차 끝내서 3회분밖에 안 남았네요 ㅠㅠ...
-
안녕하세요 통통인데요 이번 9모는 84점 나왔어요 엔티켓 시즌1, 2 다풀었는데...
-
89점 소요시간 80분 28초 독서는 문제가 너무 쉬워서 그렇지 악보랑 풍력 지문...
-
지금은 최상위권 중에 문과를 선택하는 사람 자체가 거의 없어서 아예 관심...
-
Ot에서 좀 더 쉬워진다 하셔서 편하게 생각하고 풀었는데 은근 어려ㅇㅜㅁ
-
28번 이차 분수 근 설계 **...
-
지구 공전궤도 그릴 때, 사문 도표 풀 때 등등 풀이공간 확보하는 팁좀여
-
이감 on,킬캠 시즌 1 풀었고 지금 한석원 모의고사 푸는중인데요 다 풀면...
-
23수능같은 게 저한테는 최악 아예 22 24처럼 나오거나 2209 2509처럼...
-
모고나 실모 치면 늘 3등급(75,6점대)을 받는데 작수나 올해 6,9모 난이도로...
-
커뮤에서 드릴5가 드릴 중에 제일 쉽다길래 샀는데 이것도 어려워서 끙끙대는 나는...
-
집중 안해도 9
왜케 수업 직후엔 기가 빨려있는거지
-
눈감고 만져보면 미세하게 다른 선지가 있는데 그거 바로 아래선지 찍어야함
-
인문 논술이고 학원 안 다니는데 2024 경희대 모의논술 써봤거든요 ㅜ.ㅜ 논술...
-
가나지문 통으로 버리고 나머지 지문을 보기까지 풀기 vs 보기만 버리고 다 풀기
-
생각해보니까 0
미적분 물리 지구가 남았잖아?...
-
애가 얼굴이 차은우,강동원,서강준급이었는데 어느날 학교에 왔는데 대머리가 되고...
-
또 열받게 하네 5
욕을 안 할 수가 없는
-
시즌1 96점 ㅅㅅ 11번 의문사..
-
연계 공부 안했는데 아수라랑 총정리만 봐도 될까요?
-
작년에 다니던 학원 선생님도 권해주셨고 수능 점점 가까워지니까 실전 연습겸 풀고...
-
논리실증주의자는 예측이 맞을 경우에, 포퍼는 예측이 틀리지 않는 한, 1
논리싫증주의자는 관심이 없다
-
맞팔구합니당ㅇ 8
-
이창용 "강남 학생들이 상위권대 휩쓸어…극단적 해결책 필요" 2
"제조업 기반 성장 모델 고갈…한국 경제, 말 갈아타야" (서울=연합뉴스) 한지훈...
-
법과 정치 2
-
오늘 100주 더 살거임 230마넌 벌자 ㅋㅋ
-
2는 "1의 역함수이다" 3는 "1의 역함수이다" 근데 왜 2와3이 같은 표현이...
-
마지막 수2 남은 문제들도 이틀안에 끝내야지
-
확통 기출,n제수강평은 기하보다 적음
-
.
-
진짜 도와주시면 치킨? 아니 레스토랑도 사드릴 마음입니다ㅜㅠㅠ 3
현역이고 내신으로 수시 5교과, 학종 넣고 가천대라도 가자는 생각으로 자연계 약술...
그런 명제를 사소하게 타당하다고 하죠 ㅎㅎ