쿠쿠리의 고장난 시계(폭발원리 칼럼)
*학부 레벨 내 정도에서는 노력은 했으나 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를 선물하세요.
-
잘하면 더 좋아할 자신 있는데… 아무튼 화이팅
-
불가피하게 방에 향초를 켜놓음
-
모순이 참이라면 25
(A and not A)=참 notnot(A and not A)=notnot참...
-
6평 69 (3) 9평 76 (4) 이후로 충격받고 2주동안 수분감 세 과목 다...
-
배터리 상태가 상당히 위긴데 지금
-
제발 그 영상좀 찾아주세요 고려대 출신 남자 수능강사인데 돌아가신 걸로 기억해요...
-
10월 4일에 주문했는데 아직도 안 옴…
-
초코하임
-
작년에 서바 서바 하도 얘기하길래 구해서 풀었는데 개념은 너무 쉽고 도표를 너무...
-
내가 처음 메가패스 샀을땐 국어1타가 이원준t였는데 2
영어는 이충권 수학은 현우진(데뷔 1년차)
-
풀어봤는데 1회차 34번 틀리고 97점 일단 평소엔 듣기 포함해서 45~50분...
-
수능때 나온다면 1컷 80 정도 나올만한 걸로요!!
-
논술 도움 되나요
-
95점 10번,16번 틀림 10번 풀면서 뭔가 비타민k 생각남 독서론:짧길래 개이득...
-
ㅅㅂ? 좆됐다 이해가 되는 파트가 하나도 없네
-
현역땐 1,2타 말고 안유명한 강사들 듣는거 이해못했는데 2
지금은 유명하고자시고 그냥 자기귀에 잘들어오는 강사 듣는게 짱임
-
안녕하세요..ㅠ 제가 지금 적생모 7회를 학교에 가져와서 풀었는데 답을 놓고와서...
-
걔네는 어떻게 싸우는지 미군이 어떤 정보를 주고 그걸 어케 써먹는지 보고오면 좋지...
-
풀다가 진짜 N제화 시키고 싶었음 개인적으로 작수를 아득히 뛰어넘는듯 언매 제외...
-
왜벌써시월중순임 5
진짜클났네
-
10모처럼 나왔음 좋겠다 ㅋㅋㅋㅋㅋ 1등급 실력이 안되지만 1등급을 노려볼 수 있는……
-
지구 수완 0
수특은 했는데 N제를 할까요 수완을 할까요? 솔텍 파트1 다풀고 다음으로 풀 생각
-
3둥급뜨는데 뭐가문제지 2회때 딱한번 1떠보고 지금6화꺼지풀엇는데 다 한문제차이로...
-
남자인지 여자인지 물어보고 싶은 오르비언이 있는데 19
진짜 실례되겠지
-
음...
-
화작확통 백분위 6평 78 88(72점 76점)이었고, 10모 80 91(84점...
-
국정원 지하에서까지 그런짓을… 에휴
-
전 관독에서 악깡버하는데… 진짜 몸 안좋을때도 맨날 버티는데 안좋다는건 알지만.....
-
아 뭔 자신감이지.. 10
왜 원광치대는 될 것 같냐 너무 기대하면 실망하는데
-
????????????? ????????????? 진짜 뭐지
-
화작 2컷 간당 미적 100 영어 1 사탐 2개 3, 4 등급 앞의글 답변해주셔서...
-
하..시발
-
예상해보는것도 메타인지에 속하는건가요
-
나도 레어가 사고 싶다 37
덕코가 부족하다 ㅠ
-
야 솔직히 스벅 자바칩 프라프치노 미만잡 아니냐? 31
반박시 초알못(초코를 잘 모르는 이) ㅋㅋ
-
언매 vs 화작 2
둘의 차이점이 시간인가요? 고2 국어 모고 3등급 나오는데 뭘 하는게 좋을까요?...
-
인생 ㅈ같다 0
내신 좆같다 진짜
-
행복하다 수능때까지만 열심히하자
-
생1 교육청 0
교육청이랑 평가원 난이도 차이 심한가요?? 지금 3개년치 교육청+평가원 싹 다...
-
국어 1~2 왔다갔다 하시는분들 실모 지금 몇개 푸시나요 8
1주일에 2개씩 푸는데 적은걸까요
-
‘주 44시간, 월급 3000만원’ 한국 의사들, 베트남 병원 수십명 지원 6
[파이낸셜뉴스] 한국 의사들의 베트남 진출이 활발해 지고 있다. 16일 조선일보에...
-
님이 지금 응시한 시험지는 붙는 성적이고 재시험 시험지는 유형이 다르니 다른...
-
이제는 뭔가 안쓰러움.. 과연 무슨 사연이 있는걸까..?
-
연세대 수험생 "집단소송"…전형료 32억 받고도 부실관리 논란 1
연세대학교 수시 논술 문제 유출과 관련해 수험생들이 논술시험 무효를 청구하는...
-
무슨요일에 들으시나요?? 저는 원래 수욜마다 들었다가 사정때매 이틀 미뤄서 금욜에 듣는데
-
컨디션 영 별로이면 걍 조퇴때리나요?아니면 걍 끝까지 악깡버하나요
-
포괄적 권리(자유, 평등, 행복추구권)라고 보나요?
-
연세대 수험생 ‘양심 선언’…“논술문제 3개, 다른 수험생에 문자로 전달” 13
2025학년도 연세대 수시모집 자연계열 논술시험 문제 유출 논란과 관련해 ‘시험지를...
-
국어 별로 못하는데 검토까지 다해도 20분 남네...
-
38점 뭣.. 봇치는 지구과학을 몬해
대쿠리
요것도맞는말인가요
사실은... 이번에만 맞음... 고장난 시계라고 해야하나
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
특히 신 논증은 인과론의 모델 안에 전지전능한 신을 집어넣는게 부적절한데 꾸준히 이상하게 얘기하더라
개웃겨 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
위에 잡 논증들은 모르겠고 결론은 컴퓨터로도 증명되는얘기임
쿠쿠리가 논리화학을 호출했다!
ㅋㅋㅋㅋㅋㅋㅋ
근데 논리학적반박도 보고싶긴하달까
이거보고..
"한줄로 찍으면 하나는 맞더라"
논리화학님 저런거는 몇학년때 배우나요?
학부 가서 배우신건지, 아님 대입 전에도 알고 계셨던 건가요?
전공이신지도 궁금합니다
저쪽 분야에 관심이 있어서..
Software foundation 분야에서 공부중이라서 자연스럽게 논리학 공부중이에요
학부가서 배울수는 있는데 기초적이에요. 논리 전공 교수님들도 엄청 적고. 논리학자체가 씹 마이너라... 철학과나 극히 일부의 수학과나 컴공 제쪽분야가 자연스럽게 공부합니다.
수업이 안열려서 사실상 자습해야함
굳이 학년을 따지면 응애응애하게는 1학년때 배우고
딥하게 배우려면 집합론 배우면서 같이 배우는데 4학년과목이나 대학원과목입니다
아니면 기호논리 교수 있는 철학과
위에서 컴퓨터로 증명 가능하다는게 이 얘기에요
논리학 증명에 좋은 컴퓨터 프로그래밍 언어가 있고
이 언어를 이용해서 프로그램 검증을 함
https://softwarefoundations.cis.upenn.edu/lf-current/index.html
감사합니다. 철학이 아니라 인공지능쪽이셧군여
ㄴㄴ 인공지능이랑 거리가 많이 멀어요
쿠쿠리!쿠쿠리!쿠쿠리!
내가 아는 쿠쿠리는 이것뿐
내용 진짜 재밌네용