논리학 이야기
명제 "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
시발개춥다
-
어 왜 춥냐? 5
어...?.
-
농어촌이 엄청 크구나
-
아침부터왜저러는 1
'논리학을 논하는 나!'
-
https://orbi.kr/00069316804 이게...
-
망했다 2
깊은잠 1분 ㅋㅋㅋㅋ 아.
-
ㅇㅂㄱ 3
-
진짜?
-
혹시 이러는분 계신가요? 대처법좀 지난 3년 정도 힘든 일이 좀 많았었는데,, 그때...
-
헤헤 7시 방향으로 오줌 양갈래로 발싸
-
아가 기상 1
자고싶다
-
좋은 아침이에요 4
-
역시 자기객관화 joat과 날먹마인드는 농어촌 평균 ㅋㅋㅋㅋ
-
난 누구나 말할수 있는 자유가 있다고 생각함
-
아 잇올가기싫다 2
라고 생각했다가도 전적대(예정) 꼬라지를 보면 그런 생각이 싹 사라짐 ㄹㅇ 어차피...
-
그걸 비난하는게 잘못아닌가
-
공간이 풍선의 표면이고 풍선에 바람을 넣으면 풍선표면이 늘어나면서 풍선에 찍힌...
-
그렇군..
-
얼버기 13
-
ㄹㅈㄷ ㅇㅂㄱ 2
는 아니고 모기 세마리 잡고 좀만 더 자러갑니다...
-
얼리 버드 기상 5
좋은 아침
-
학원쌤이 풀어보라 하셔서 풀어봤는데 이감만 풀다가 이거 푸니까 시험지가 더 커서...
-
이공계, 특히 생명쪽 지망하면 무조건 국어 비문학 잘해야 합니다 1
분야별로 다르겠지만 AI나 바이오쪽은 공부하다보면 언젠가 반드시 논문을 많이 읽어야...
-
의대 2년조기입학하는사람 유튜브보니깐 조금 있던데요 2년조기입하면 과외는 못하겠죠?...
-
요즘 마스터들 불매운동 중이네요 할 만큼 하고 하직합니다..!
-
안자는사람 2
너무놀아서 생활패턴 망했다.. 그냥 ㅈ같다ㅏ
-
Ky 정시 농어촌으로 간 사람이 일반전형으로 쓰면 어디대학가나여?
-
이제서야 언매고정적으로 다 맞기시작..! 과연 이게 이득일까
-
아 너무 속상하다
-
불키고 과제한다 시부레
-
이거 어케빼지?......... 슬슬 평균 넘을거같은데 야식을 줄일까요 아니면 수능...
-
고2 수학 1
김기현 파데킥오프 하고 아이디어 듣고 있는데 제가 고2 9모 수학 6등급인 너무...
-
얘만 돈받으려고 않았을거 같긴 한데 솔직히 두창이도 정부 당 동원해서 여론선동...
-
오르비잘자 5
-
머가 좋을까요 시간상 하나만 할 수 있을듯해서
-
최애 정진솔이던 극성 닰붕이었는데 파생그룹인 아르테미스나 루셈블은 뭔가 그때 그...
-
기하 선택 작수 92 / 9평 96
-
너무 힘들다 사실 그냥 다 지치고 버거운 느낌 새벽이니까 가짜 힘듬이겠지
-
도박묵시록 카이지 슈타인즈게이트 데스노트 이런거 되게 재밌게 봤고 아인...
-
문학계속 기출위주로 공부하는데 계속 시간이 빨리거나 선지가 깔끔히 안맞아 떨어져...
-
원래 온라인에서 무료로 다운받을 수 있었는데 갑자기 바껴서 교사만 다운로드 할 수...
-
원정에서 토트넘 현실이 이랬는데 그 분 사라지니 ㄷㄷㄷㄷㄷㄷ 대승 손흥민 있었으면...
-
고2 아수라 0
정파인데 들을까요?
-
교과서는 에너지띠 이론 그냥 파울리의 배타원리로 퉁치고 조국광복회도 북한이...
-
미대 입시생이라 이쪽밖에 모름 이대 미대로는 상위권인디.. 서울대 디자인과 넣는...
-
텐하흐 나가 ㅗㅗ
-
알바하면서 내 또래 서양인지 유렵인지 모르겠는데 백인 여자들 손님으로 오면 너무...
-
지금 반토막임 코묻은돈 용케 모아서 셀트리온에 50넣었는데 잠깐 40%찍고 이후로...
-
진짜 농어촌.. ㅂㄷㅂㄷ...
그런 명제를 사소하게 타당하다고 하죠 ㅎㅎ