쿠쿠리의 고장난 시계(폭발원리 칼럼)
*학부 레벨 내 정도에서는 노력은 했으나 mathematical foundation으로 그 이상 깊게 들어갔을때 부족한 내용이 있을수도 있어요.
(근황 : https://orbi.kr/00069518123)
이 십 진짜
비모순율 : not(A and not A)
따라서
모순<->(A and not A)<->거짓
(A and not A)가 거짓이면 A또는 not A가 거짓
따라서
모순이면->어떤명제가 거짓
대우명제
모든 명제가 참이면->무모순
이렇게 말했는데
결론에 있는 증명은 (단어 선택이 좋지 않지만) roughly 맞는말임.
(그리고 앞에 있는 잡 논증들은 단어의 선택은 빈약하지만 틀린얘기는 아님)
폭발원리와 관련해 논리학적으로 뜯어볼만한 가치도 있기는 하고.
요약 :
1. 맞는말을 했다.
2. 모순을 가정하면 모든 명제는 참이다(폭발원리)
3. (술어)논리체계의 무모순은 참이다.
4. 어떤 명제가 거짓이라는것을 부정하면 모순이 도출된다.
5. 결론적으로 단어 선택만 좋지 않고 크게 이상한건 없었다.
여러방면으로 뜯어보자.
“모순이면“을 “논리체계가 모순이면“정도로 말한것같음. 이렇게 바꿔서 좀 더 얘기해야하는데
누가 “모순“은 명제 하나에만 적용된다고 했는데 ㄴㄴ 논리체계에 모순 가정하는것도 가능함.
대신 "논리체계가 모순이면"을 "논리체계"안에서 다루는건 살짝 위험하기 떄문에, 조금 돌아가서 "어떤 참인 명제가 모순이면" 정도로 쉽게 갑시다.
설명하면
어떤 참인 명제가 모순임을 가정하면 아무런 명제나 참임.
아무런 명제가 참이라는건 곧 논리체계가 모순이라는 것.
따라서
(논리체계가)모순이면 -> 어떤 명제가 거짓이다
이건 일단 참인 명제임.
이걸 폭발 원리, Principle of explosion, Ex falso quodlibet이라고 함.
https://en.m.wikipedia.org/wiki/Principle_of_explosion
https://namu.wiki/w/%EB%AA%85%EC%A0%9C%20%EB%85%BC%EB%A6%AC#s-4.10
나무위키의 간략 증명 퍼오면
소크라테스는 죽었다.
소크라테스는 죽었거나, P이다. (죽었다 or P)
소크라테스는 죽지 않았다. (죽었다가 거짓이므로, P는 참)
모순을 가정하면 아무 명제나 참이라는걸 보일수 있음.
쿠쿠리가 한 얘기는
어떤 참인 명제가 모순이면 P이다 (A)
P가 아니면, 모든 참인 명제가 모순이 아니다. (A의 대우)
이란 꼴의 주장임.
A는 폭발원리에 의해 P에 뭐가와도 참인 항진명제임.
또 대우도 참임.
왜 말이 되냐면, 기본적으로 1차논리에서는 “모든 참인 명제가 모순이 아니다“는 참인 명제임.
앞서 봤듯이, 어떠한 한 명제라도 모순이면 논리체계가 박살나기때문.
그래서 맞는말을 하고있음.
왜 역설처럼 보이는지는 쿠쿠리가 집어넣은 P가 문제임.
또 쿠쿠리가 말한 P 가 “어떤 명제가 거짓이다“인데
이것을 부정한다는것은 모순을 함의함. 거짓인 명제가 하나도 없다는건 모두 참이라는것, 그렇다면 P와 ~P가 참이라는것, 그러면 모순이고, 또 모든 명제가 거짓이기도 하고.
즉 쿠쿠리의 논증은
사실상
논리체계가 모순이면 -> ~(논리체계가 모순)
의 대우
논리체계가 모순이면 -> ~(논리체계가 모순)
이런 꼴임.
근데 맞는 명제인게 전제가 모순이라서.
헷갈릴만함
어떤 명제가 거짓이라는걸 부정하는게 안 와닿으니 다들 개소리라고 느낀것같고, 본인도 “모든 명제가 참인 세상도 다뤄야 한다“라고 말했는데 그게 곧 모순을 참이라고 가정한 세상인건 잘 모른거같고.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
작년에는 그냥 하위 지거국을 수시로 최저 맞춰서 들어온 수시러였어요.(내신은 3점...
-
프사 투표해주삼 3
-
시험기간이니까 마지막 양심으로 도서관은 갔는데 걍 앉아서 폰보고 졸고 딴생각 하다가...
-
그래도 죽지는 않았으니 살아남았음 인셍에 해낸게 없진 않구나
-
어떻게생각하시나요? 차라리 최근6개년기출을 푸는게 나을까요? ~
-
1 2 3이아니라
-
10일쯤 합시다.관리자님.
-
대성 19패스 0
이번에 사전패스 떴는데 지금 사면 바로 사용가능한가요?
-
6평 2컷(찍맞1), 9평 1컷(찍맞×)인데 수학 실모만 보면 60점대에 4등급 뜸...
-
현재-2컷 나오면 바로 108배 함
-
수학 영역: 헬파이어. 역대 최고난도였던 9월 학평보다는 쉽지만 여전히 매우...
-
실력이 부족해....
-
가 말이 안되는게 그럼 통통이컷은 96이냐?
-
기출을 풀어줘야해서 수분감을 사려고 하는데 2025수분감을 사면 올해 나왔던...
-
ㅎㅇㅎㅇ 2
반가워요
-
8만덕만 주실뿐 2
-
실모 양치기할때 올해, 작년 교육청뽑아서 같이 병행하는거 어떰? 요새실모 난이도...
-
7시간 동안 한 번도 안 일어나고 집중해서 가계도만 풀다가 밥 먹으려고 일어났는데...
-
사문 도표 2
강k나 적중예감 시대인재 같은 사설 모고 풀면 40점대 초반 정도가 나오기는 하는데...
-
현역 ㅇㅈ 4
미국인이 되.
-
적생모 앙코르 4회차입니다 해설지에선 각각 A,B,C당을 문자로 잡고 합이 240...
-
ㅅㅂ 고딩때부터 몇등급 이상 아니면 나에게 죽음을 이런 마인드로 살다보니 뇌가 많이 망가진듯
-
난 면허가없거든
-
좆됐다.... 0
3월부터 사탐 유기해도 점수 잘나와서 가만히 뒀다가 9모 사탐 망하고 지금 좆된거가틈
-
이거랑 S대 Y대는 ㄱ과 ㄴ을 순서없이 나열한것이다 (ㄱ:명문대 집합의 원소,...
-
기출 뽑는데 개정교육과정이 언제부터인가요? 싹다뽑으려구요 기출, 경찰,...
-
( 서울의대 교수들 "정부, 연구 보고서 왜곡 멈춰야… 전문가 의견 숙지 바라" ) 0
서울의대 교수들 "의사수, 가정따라 편차 커…새 연구를"...
-
어쩌다 여기까지 온 4수생이지만... 22수능 47 23수능 47 24수능 48...
-
쉽다고 제목 해서 1Q달아주면 빨리 답변해주지 않을까
-
정법 사문 ox 2
정법이나 사문 ox 판단하는 컨텐츠 있나요?
-
라고들 하는데 아, 물론 많이 잘 수록 컨디션은 좋겠죠 근데 솔직히 걱정되잖아요....
-
이거 난이도 7,10모 교육청이랑 비교하면 어떤가요? 10모 73점인데 수능때까지...
-
4페이지 개어려운데 이거 정상인가요
-
난 1등급
-
지문 하나 날려도 1이 뜨네
-
크하 4
새로 한잔하고 잘테니까 스터디플래너에 새로 모의고사 체크해놔
-
궁금함.... 개인적으로 대학와서 진로고민 안하고 우직하게 정하고 나가기만 해도...
-
속보 팔로워 400명 10
死〇壹명 達成
-
정확히 말하면 라인은 아니고 수능 때 국어1+3합 6 가능한지 국영수로 맞춥니다...
-
이틀동안 인터넷을 못하게 만드냐
-
아수라 8권은 0
뭔가 다른게 있음..?
-
이런거 싫어하는데 기분이 좋아서 참고로 공통3에서 백99 찍음
-
LNG뭐냐? 4
개씹 똥꾸릉내나네 ㅋㅋㅋㅋㅋㅋㅋㅋ 어? 이러면 LPL롤드컵우승하는데 흠...
-
필자는 3수때까지 문과로만 수능응시하고 학교 잘 다니다 이상한 바람이 들어서 올해...
-
아가취침 3
-
수학 4등급 현역입니다 남은 기간동안 김기현t 파이널디렉션 2회독 + 매일 빨더텅...
-
세상이 미울때 1
음악이 날 위로해주네~
-
Ebs 선별은 0
뭘 보는거임? 이감같은 사설 말하는거?
-
gx위아래 식을 빼면(같아지는 지점) f(x)=x 고 주어진 조건도...
-
단군왕검으로부터 시작되는 건국 신화는 다양한 수단을 통해 후손에게 전해지고 있다. 축적 아님?
대쿠리
요것도맞는말인가요
사실은... 이번에만 맞음... 고장난 시계라고 해야하나
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
특히 신 논증은 인과론의 모델 안에 전지전능한 신을 집어넣는게 부적절한데 꾸준히 이상하게 얘기하더라
개웃겨 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
위에 잡 논증들은 모르겠고 결론은 컴퓨터로도 증명되는얘기임
쿠쿠리가 논리화학을 호출했다!
ㅋㅋㅋㅋㅋㅋㅋ
근데 논리학적반박도 보고싶긴하달까
이거보고..
"한줄로 찍으면 하나는 맞더라"
논리화학님 저런거는 몇학년때 배우나요?
학부 가서 배우신건지, 아님 대입 전에도 알고 계셨던 건가요?
전공이신지도 궁금합니다
저쪽 분야에 관심이 있어서..
Software foundation 분야에서 공부중이라서 자연스럽게 논리학 공부중이에요
학부가서 배울수는 있는데 기초적이에요. 논리 전공 교수님들도 엄청 적고. 논리학자체가 씹 마이너라... 철학과나 극히 일부의 수학과나 컴공 제쪽분야가 자연스럽게 공부합니다.
수업이 안열려서 사실상 자습해야함
굳이 학년을 따지면 응애응애하게는 1학년때 배우고
딥하게 배우려면 집합론 배우면서 같이 배우는데 4학년과목이나 대학원과목입니다
아니면 기호논리 교수 있는 철학과
위에서 컴퓨터로 증명 가능하다는게 이 얘기에요
논리학 증명에 좋은 컴퓨터 프로그래밍 언어가 있고
이 언어를 이용해서 프로그램 검증을 함
https://softwarefoundations.cis.upenn.edu/lf-current/index.html
감사합니다. 철학이 아니라 인공지능쪽이셧군여
ㄴㄴ 인공지능이랑 거리가 많이 멀어요
쿠쿠리!쿠쿠리!쿠쿠리!
내가 아는 쿠쿠리는 이것뿐
내용 진짜 재밌네용
논화 앞에서 논리를 논하는자
쿠쿠리 그는 신...은 아니고 병신
논리화학슨수 화내는거 처음봤는데
ㅈㄴ웃김 ㅋㅋ