쿠쿠리의 고장난 시계(폭발원리 칼럼)
게시글 주소: https://orbi.kr/00069517998
*학부 레벨 내 정도에서는 노력은 했으나 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를 선물하세요.
-
경희대 봉사시간 보나요? 봉사활돝 대학에서 안본다길래 1학년때 헌혈도 안하고 그래서...
-
“월 수입 5000만원?” 100만 유튜버된 ‘효린’…사진 속 ‘골드버튼’ 실체 1
[헤럴드경제= 박영훈 기자] “100만 유튜버 월 수입 5000만원?” 가수 효린이...
-
대충 화작2컷 미적100 사탐2개 서성한이상 낮공 자연대 가능하려나
-
이감 푸니까 진이 빠지는듯… 시간도 부족하고; 2-3일에 한번씩은 풀어야겠음
-
언매고 9모 100 9덮 92 였어요 지금 수탐 급해서 수탐만 죽어라하는중
-
이제 국어지문같은거는 손도 못대겠고 영어도 집중력이 씹창났어 탐구도 이제 텍스트자체를 잘 못읽겠고
-
폭발원리 1
이게 뭐야? 도서관 가서 찾아보면 나오려나..
-
나도 그렇고 ㅋㅋㅋ 운동이든 게임이든 공부든 열정적이긴 한듯 ㅋㄱ
-
수능끝나고 퇴소하면 걍 인스타 싹다 언팔치고싶은데,,
-
덕갈하고싶다 3
덕코 갈취 하고 싶다라는 뜻
-
한기호 "北은 1만명 파병, 우리도 우크라에 참관단 보내자" 17
(계룡=뉴스1) 허고운 기자 = 우리 군이 우크라이나 전쟁에 '참관단'을 파견해야...
-
오늘 아직 핫식스 0캔
-
수능 전날이나 전전날에 이감 풀면 머리만 아프고 현타 올 것 같은데 수능 직전에 풀...
-
쿠쿠리가 오르비에 무한동력장치 심어놓은듯 ㄹㅇㅋㅋ
-
아니 진짜 정시n수가 논술최저도못맞출거같은게말이되냐고 11
하진짜씨발어캄?
-
ㅋㅋㅋㅋ 8
ㅋㅋㅋㅋㅋㅋㅋㅋ
-
한국 의사들 "베트남으로 갈래요"…외국인 의사 영어시험 수십 명 응시 3
베트남에 진출하는 우리나라 의사가 크게 늘어날 것으로 전망된다. 최근 한국...
-
특히 영어는 현역이 더잘하는거같음 어떨때는
-
이거 뭔가 효과없는데? 싶다가도 딱 1~2주만 참고 계속 쓰면 걍 삶의 질이 달라짐...
-
진짜 폭발원리, 상대성이론, 열역학 다 싸그리 ㅄ임 7
인류는 그냥 ㅄ집단임
-
씨발입갤 ㅋㅋㅌㅌ
-
내가 저번에 작년인가 흉기난동 관해서 개소리 씨부렸던 거 보강함 3
저 당시 경제 불경기에 취업난 때문이라고 했던 거 같은데 추가로 요소를 더해 보자면...
-
글도 자주 안 올리고 입시도 이제 안 하는 뻘글러 미대생인데
-
무조건 연고대 경영 가고싶은데 선택과목을 어떻게 해야될까요?? 내신때문에 미적 확통...
-
"오빠랑 만나자"…태국 감옥서 담배 물고 라방 켠 韓마약사범 1
태국에서 붙잡힌 한국인 마약사범이 호송차와 유치장에서 유튜브 라이브 방송을 해...
-
https://orbi.kr/00069518123 ㄹㅇ로 인류는 ㅄ이다....
-
사고과정 일치하면 진짜 소름끼칠 듯 기분 좋네요
-
외도 들키자 바다에 아내 빠트려 살해…잔혹 남편 징역 28년 확정 3
외도한 사실이 들통나자 아내를 바다에 빠뜨린 뒤 돌을 던져 살해한 30대에게 징역...
-
134일차
-
내가 잘하는 게 아니라 걍 현우진T 문제가 잘 맞는 거 같은데 이러다가 평가원에서...
-
논술붙는꿈을 꿨는데 심지어 시발 논술붙은 과가 내가 쓴과하고 다름 ㅋㅋ
-
이것으로 애니프사 내리라는 요청은 기각되었음을 알립니다 니들이 선택한 애니프사 악으로 깡으로 버텨라
-
올해 수능도 이어질것인가
-
있겠냐 ㅋ 걍 공부나 마저하자
-
삼수기록 281일차 16
국어 > [혜윰 모의고사 시즌1] 3회 공통, 화작 > [수능특강 독서] 2부...
-
그건 바로 나
-
29 30 33 34 40번 시원하게 찍는데 수능날 70점도 안나오면 어쩜 기출...
-
서로 모순되는 두 명제를 만들고, 둘다 참이라고 가정한다.(예: 삼각형의 내각의...
-
익월 중순에 준다며 큐브야
-
90점 받고 3등급 받든지 70점 받고 3등급 받든지 기분은 90점 받고 3등급...
-
a>3인데 a=3이라고 해설에 적어두면 나보고 어쩌라는거야
-
그것은 동아시아사 이유는 사료 텍스트량이 생각보다 많음
-
6모 72 9모 92 10모 90 모두 다 같은 등급임ㅋㅋㅋ
-
인서울만 하면 돼요
-
고2 모고 수학 1
이번 10모 주관식은 28 29 30제외하고 다맞았는데 객관식 15~21에서...
-
놀고싶다vs놀고 싶진 않은데 공부가 하기싫다
-
10모 2
10모인데 수능때면 3ㅎ6은 맞춘거라 봐도됨?
-
*학부 레벨 내 정도에서는 노력은 했으나 mathematical...
대쿠리
요것도맞는말인가요
사실은... 이번에만 맞음... 고장난 시계라고 해야하나
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
특히 신 논증은 인과론의 모델 안에 전지전능한 신을 집어넣는게 부적절한데 꾸준히 이상하게 얘기하더라
개웃겨 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
위에 잡 논증들은 모르겠고 결론은 컴퓨터로도 증명되는얘기임
쿠쿠리가 논리화학을 호출했다!
ㅋㅋㅋㅋㅋㅋㅋ
근데 논리학적반박도 보고싶긴하달까
이거보고..
"한줄로 찍으면 하나는 맞더라"
논리화학님 저런거는 몇학년때 배우나요?
학부 가서 배우신건지, 아님 대입 전에도 알고 계셨던 건가요?
전공이신지도 궁금합니다
저쪽 분야에 관심이 있어서..
Software foundation 분야에서 공부중이라서 자연스럽게 논리학 공부중이에요
학부가서 배울수는 있는데 기초적이에요. 논리 전공 교수님들도 엄청 적고. 논리학자체가 씹 마이너라... 철학과나 극히 일부의 수학과나 컴공 제쪽분야가 자연스럽게 공부합니다.
수업이 안열려서 사실상 자습해야함
굳이 학년을 따지면 응애응애하게는 1학년때 배우고
딥하게 배우려면 집합론 배우면서 같이 배우는데 4학년과목이나 대학원과목입니다
아니면 기호논리 교수 있는 철학과
위에서 컴퓨터로 증명 가능하다는게 이 얘기에요
논리학 증명에 좋은 컴퓨터 프로그래밍 언어가 있고
이 언어를 이용해서 프로그램 검증을 함
https://softwarefoundations.cis.upenn.edu/lf-current/index.html
감사합니다. 철학이 아니라 인공지능쪽이셧군여
ㄴㄴ 인공지능이랑 거리가 많이 멀어요
쿠쿠리!쿠쿠리!쿠쿠리!
내가 아는 쿠쿠리는 이것뿐
내용 진짜 재밌네용
논화 앞에서 논리를 논하는자
쿠쿠리 그는 신...은 아니고 병신
논리화학슨수 화내는거 처음봤는데
ㅈㄴ웃김 ㅋㅋ