쿠쿠리의 고장난 시계(폭발원리 칼럼)
*학부 레벨 내 정도에서는 노력은 했으나 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를 선물하세요.
-
대체 어캐함? 대칭성 이런것도 이제와서 당연스럽게 하는거지 진짜이거 20문제 어케다품?
-
어떻게 공부하셨나요? 안정2받는게 진짜 간절한데 남은기간 실모 자주돌리면서 오답...
-
4등급: 노베이스 3등급:허수 2등급:인간 1등급:수험생 메디컬:준수한 수험생
-
6모 2등급 9모 밀려써서 5등급................. 9모 처럼 좀...
-
동물,식물>>각각 자신만의 고유한 목적을 추구
-
잘봤다 해주셈 자랑하러 올린거임
-
개당 만원에 팔아요 전부 포장도 안뜯은 새거인데 풀 일이 없어서 팔아요
-
내 점수 추이 보면 이감중에는 가장 쉬운게 맞는거같은데 수능이 이정도면 잘볼수있을거같음
-
AI노래에 대한 이야기 들으면서 자꾸 신창섭 떠올라서 웃을뻔함 ㅋㅋㅋ 영어듣기...
-
확통, 수1, 수2 셋 다 기출 풀 때 킬러 문제도 해야 할까요...? 나형...
-
생겼는데 이거 뭔가유?? 검색해도 안보이길래...ㅎㅅㅎ
-
확통 난이도 3
수학 노베라 과외 구했는데 그분은 미적 선택자셔서 확통은 못해주시거든요,,, 확통은...
-
오늘 우리학교 표준편차 보니깐 29.9나오던데 ㅋㅋ개ㅈ반고인가??
-
최저땜에 수학 확통 4등급이 목표인데 지금 세젤쉬+미친기준 시작편은 다 해놨습니다....
-
군수를 했어야함 1
공부하기 최적의 환경이었는데 논다고 투폰쓴다고 안했는데 2년 날린거 너무 후회됨
-
1교시: 꿀잠 2교시: 꿀잠 22 3교시: 전국 서바 물1 5회 / 34+6점...
-
... 수능이 얼마 안남고 쉽게 끝낼 수 있는 책이어서인지 증쇄한 책이 하루만에...
-
안녕하세요 2
닥눈삼도 아니고 닥눈십은 정말 기네요 강제 10일 눈팅 ㄷㄷㄷㄷ
-
만세전 처음 대충 읽었을땐 무슨 이런 위선적인 놈의 얘기가 다 있나 했는데, 지금...
-
나 15학번인데 입시 때 인강 도움 받았던 선생님 중에 지금껏 남아있는 사람이...
-
예를 들어 약간 이런 맥락 아님? ‘어떻게 이름이 조진년 ㅋㅋ‘ 이런거 아닌가요??...
-
난이도가 좀 더 어려운 편으로 출제되나요 ??
-
9모 국어 7
복기하는데 이런 시험에서 6모보다 원점수 낮아서 울었어 1점 차이나는데 백분위...
-
암만봐도 그럼
-
상염색체 열성 1
별거 아니긴 한데 ‘상염색체 열성‘으로 많은 생명과학 교과서가 낭포(성) 섬유증을...
-
실기 76퍼센트만 합격함 정부가 어지간하면 다 합격시키려고 노력했을텐데 역시...
-
열성공유 5
백호가 안가르쳐준거임? 아님내가 제대로 안들은건가.. 예전에 수완 풀때 ebs에서 배운거같은데
-
수학 n제 추천 0
학원에서 계속 사설만 봐서 감이 잘 안잡히기는한데 2~3 왔다갔다하고 초반엔...
-
(문과임) ㅅㅂ
-
국어 잘하는애들이 문제 빤히 쳐다보더니 그냥 푸는게 눈알굴리는게 아니라 이해를...
-
수학 개같이 말아먹었다고 했는데 그 시절엔 한과목을 말아먹어도 서울대가 됐나요 뭐...
-
지구n제 0
9모 평가원 47점 백분위 98인데 애매하게 푼 문제들이 많았고 학원에서 보는...
-
위 사진들은 우크라vs러시아 전투 중 찍힌 실제 영상입니다 사진 속 우크라 군인이...
-
뭐가 정답이냐
-
15페이지 6번인데 형광펜 그어둔게 근거입니다 .. 답은 5번인데 1번도 틀리지 않나요?
-
5000부 판매돌파 지구과학 막판 핵심모음자료를 소개합니다. (현재 오르비전자책...
-
9평 언매 35번 문제인데 ‘여기는 그저께 낮만큼 더웠다.’ 에서 ‘그저께‘의...
-
오늘의 점심은 1
버거리에서 부거를 먹겠다
-
생1지1 -> 물2생1 -> 물1생1 물2하려다가 재종반 책 받을때 갑자기 물1으로...
-
서강대 화학과 53%?? 참고로 제 성적 아님
-
bc판 이동속도 왜 다르나요..??c가 더 작다는데
-
히히 오줌발싸 5
으히히히헤리리히헤헤헤ㅔㅎ 헤헤헤ㅔ헤헿헤헿
-
그때 이투스 수학 타수는 1타 정승제 2타 신승범 3타 이미지 신승범이 2019년...
-
책 추천 4
감명 깊게 읽으신 책이 있으면 추천해주세요!! 최근에 데미안 감명깊게 읽어서...
-
(언매 37번을 화작으로 채점해서 틀린줄) 언매-쉬움 독서-4,6,9틀림(9번은...
-
전 관상은 크게 맹신하지는 않는데 눈빛은 무조건 봄 특유의 흐리멍텅하고 탁하거나...
-
저는 2번일거라 생각했는데 답은 5번이랍니다... 5번은 importance라는...
-
작수 212114 (생지) 5모 111131 (물생) 7모 112122 9평...
-
이런 삼차함수 그래프는 최고차항 계수가 1일 때 식이 어떻게 나오나요? 갑자기 문제...
대쿠리
요것도맞는말인가요
사실은... 이번에만 맞음... 고장난 시계라고 해야하나
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
특히 신 논증은 인과론의 모델 안에 전지전능한 신을 집어넣는게 부적절한데 꾸준히 이상하게 얘기하더라
개웃겨 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
위에 잡 논증들은 모르겠고 결론은 컴퓨터로도 증명되는얘기임
쿠쿠리가 논리화학을 호출했다!
ㅋㅋㅋㅋㅋㅋㅋ
근데 논리학적반박도 보고싶긴하달까
이거보고..
"한줄로 찍으면 하나는 맞더라"
논리화학님 저런거는 몇학년때 배우나요?
학부 가서 배우신건지, 아님 대입 전에도 알고 계셨던 건가요?
전공이신지도 궁금합니다
저쪽 분야에 관심이 있어서..
Software foundation 분야에서 공부중이라서 자연스럽게 논리학 공부중이에요
학부가서 배울수는 있는데 기초적이에요. 논리 전공 교수님들도 엄청 적고. 논리학자체가 씹 마이너라... 철학과나 극히 일부의 수학과나 컴공 제쪽분야가 자연스럽게 공부합니다.
수업이 안열려서 사실상 자습해야함
굳이 학년을 따지면 응애응애하게는 1학년때 배우고
딥하게 배우려면 집합론 배우면서 같이 배우는데 4학년과목이나 대학원과목입니다
아니면 기호논리 교수 있는 철학과
위에서 컴퓨터로 증명 가능하다는게 이 얘기에요
논리학 증명에 좋은 컴퓨터 프로그래밍 언어가 있고
이 언어를 이용해서 프로그램 검증을 함
https://softwarefoundations.cis.upenn.edu/lf-current/index.html
감사합니다. 철학이 아니라 인공지능쪽이셧군여
ㄴㄴ 인공지능이랑 거리가 많이 멀어요
쿠쿠리!쿠쿠리!쿠쿠리!
내가 아는 쿠쿠리는 이것뿐
내용 진짜 재밌네용
논화 앞에서 논리를 논하는자
쿠쿠리 그는 신...은 아니고 병신
논리화학슨수 화내는거 처음봤는데
ㅈㄴ웃김 ㅋㅋ