논리학 이야기
게시글 주소: 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를 선물하세요.
-
아니 0
학교에서 장학금 신청해서 장학회에서 사진 찍히고 개쪽 당하면서 받아온 장학금인데...
-
여르비 구함 6
같이 음료 한잔할 여르비 구한다 ㅇㅇ
-
네..
-
최고의 현장감 4
똥참으면서 풀기 진짜 똥줄타면서 푸는게 뭔지 알 수 있음 물론 터질거 같으면 다녀오셔야합니다..
-
목소리 엄청 낮고 굵다는 소리 많이 듣는데...마이너스이려나
-
천안아산 사는데 순천향 vs 한경중 vs 충남대 (의) 붙으면 어디 갈건가요?
-
양승진 유형코드 0
내년에 수능보고 수1쎈발점 끝나서 실코 기코 들어가려하는데 Qna에 쎈을 했어도...
-
역대 goat 수특표지 13
반박시 풀피
-
오전 10시반에한번 저녁먹고 한번 괜찮을련지요 많이틀려야 4개틀리는거 같은데
-
수능 국어에서 리트에 그렇게 집착하는 이유를 모르겠음.. 31
진짜로.. 시험 치르는 대상도 다르고 애초에 평가하는 목적이 다를텐데 그렇게 막...
-
안녕하세요. 첫 칼럼으로 찾아뵙는 Si vales bene, valeo 입니다. 첫...
-
너무 힘들어 ㅜㅜ
-
구해요
-
우우 12
옵붕이 심심해...
-
9모 막전위 다시 풀어봐도 또 시간 겁나 씀;; 논리적 회로가 안보임 수능때는 더...
-
올해도 걍 84 84 5% 할꺼 같음
-
다 드럼통에 담가서 태평양 한가운데 버리고 싶네 진짜
-
n제랑 병행할지 그시간에 n제를 한 권이라도 더 풀지 고민중입니다
-
원래 간이 안좋긴한데 상관없겠지
-
영어 발화와 유사하게 끊어읽는거랑 영어를 언어 그대로 문맥 활용하는 거시기독해법이...
-
조정식선생님의 기출해설강의를 듣고싶은대 어떤 커리를 들으면 될까요? 빈칸삽입...
-
수학을 젤 많이 했는데 해치운 양은 국어가 젤 많아 보이네 얼탱 정시 이대 합격 기원...
-
러셀평균 84점인가 그렇다는데
-
때려치면 그만이야~~
-
외부생 신청 하려는데..아직 안 뜬거 맞나요?
-
롤인터페이스 ㅈㄴ 불편해짐
-
숙제는 다 맞아오라는건데 난이도도 어렵던데 7문제를 어케 14분만에 다 맞게 풀어요
-
킬캠은 메가가없어서 강의는 못들어요
-
네라이오 사다메타 쿄후오
-
아니 ㅅㅂㅋㅋㅋㅋㅋ 소리가 거슬리는 거도 있는대 무슨 소리인지가 궁금해서 집중이 안...
-
이제부터 좀 풀려고 하는데 22회차 사는건 좀 과한가? 그냥 이감 12회차만 살까요
-
현역이 ㅇㅈ
-
09들 ㅈ됏노 ㅋㅋㅋ 온갖게 다 짬뽕된 느낌
-
난 내 수준에 맞춰서 해야지...ㅠㅠ 황새 형님들 따라가려다가 뱁새 가랑이 찢어질듯
-
로스쿨 임용 생각 없고 사교육 업계 취업or지역인재로 공기업이면 어디가 더 나을까요?
-
내일 더프구만 0
국어잘치고싶담
-
ㅜㅜㅜ
-
연어>>>>고등어라서
-
그럴때는 테프라를 벅벅 근데 다들 인데놀을 많이 받더라 내가 특이 케이슨가
-
해탈후 무아지경으로 더프응시
-
외고에서 이대 선호 강해요? 이대 다니는 분이 특목자사에서는 문과 기준 선호도나...
-
졸려 4
자지마
-
투표결과로 사먹음
-
메가패스 양도 0
11.30까지 전강좌 수강 가능 합니다 20에 양도해여
-
정법황분들 모여주세요 17
2023학년도 수능 문제입니다. 11번문제입니다. 전 3번 선지가 잘납득돼지...
-
국어 장클 2주차 강의 수학 pre 기출 100제 9~10강 영어 스피드보카...
-
엮으면 유레카 하나 나올 거 같은데 하루 날잡고 좀 파봐야겠다...
그런 명제를 사소하게 타당하다고 하죠 ㅎㅎ