쿠쿠리의 고장난 시계(폭발원리 칼럼)
*학부 레벨 내 정도에서는 노력은 했으나 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. 지금 근일점에서 북반구는 겨울임(12월) 2. 만약 6500년이 흐른다면...
-
으으으으으으으으으으으으으으으으 싫어
-
뭐풀지
-
3번 X라는데 왜 그렇됴..
-
국어 수학 사설 80점인데 신기하게 수능은 깔끔하게 나와서 작수 국수합...
-
5시간중에 3시간을 멍때린듯
-
왜 피곤할까 2
5시간반~6시간은 자는데 늘 피곤함 사람이 점점 피곤해짐 거의 살아있는 좀비가 되어가는 느낌임
-
카페인+과당으로 혈관이 가득차니까 머리가 어지럽누... 느에에에에에에엥 저능아가되고있써
-
극태 사설시험지는 점수가 잘나오는데 극소 평가원시험지로는 점수가 안나와요오오옷♡♡♡
-
6평 75 9평 90 10모 75 이감 파이널1 평균 78이런데 독서는 1개에서...
-
수능에서도 부족할 가능성 큼? 문제파악 오래걸리는 개념 1문제랑 도표 2문제정도 풀...
-
메가 캐스트에서 재수할 때 하루종일 제대로 공부하면 저녁에 눕기만 해도 잠 온...
-
참 좋은 태도이다 무언가에 최선을 다하는 것 얼마나 아름답고 추구할 만 하지 않은가...
-
서울사는 여학생 기준 어디가 나을까요
-
이게 아직 팩트 확인된건진 모르겠는데 저게 사실이면 재시험 안하기가 더 힘들어지지...
-
느엥 2
오르비에 피엔나가 많아졌느엥
-
마르크스랑 칼뱅 둘 다 노동은 다른 목적을 위한 수단이 아닌 그 자체가 목적이 아닌건가여?
-
눈 마주쳤는데 그게 잊혀지지가 않는다.. 수능 전날에 고백공격이나 해볼까
-
TSMC짱 3
역시 자네야
-
ㅇㄴ 40분만에 모고 풀고 해설까지 써오라는 과외학생 7
이제 첫 수업이라 1형식~5형식 이런 거 배웠어요 내신 범위 한 지문만 한국어로 다...
-
진짜진짜 좋네요… 9모 4떠서 절망했는데(듣기도 틀리긴했지만…) v구문이랑 올인원...
-
안보여서 손안대보고 넘긴문제랑 풀었는데 긴가민가한 문제가 있을때 뭐부터 접근해야 할까요?
-
https://n.news.naver.com/article/020/0003592813...
-
어법 특강 vs BASIC 수능 영문법 어떤 강의가 나을까요? 품사같은거만 알고...
-
그렇겟져…?
-
솔직해지는 것 0
나를 온전히 이해하고 받아들이는 것 남들의 생각에 맞춰 행동하지 않는 것 나를...
-
수학 기출도 풀고 하프모고도 했는데 대체 왜 실력이 안오를까 0
실전개념도 하고 기출도 풀고 다해줬는데 실력이 왜 제자리걸음일까... 아니진짜...
-
연세대 이과가 사탐런 문열었는데 변표로 통수칠 가능세계 2
존재함? 만약에 변표로 통수때리면 연대 공대 바라보고 사탐런한 사람들은 스카이 공대...
-
해떨어지면 자 2
쿨쿨
-
진짜 아침에 못일어나겠음 등교하느라 6시 기상 고정인데 꿀팁있음? 평소 1시쯤에 자는편임
-
오늘 끝낸다.
-
느엥 2
느에엥
-
애가 공부를 안 하려하는데 공부하도록 해달라 애가 실수를 많이하는데 실수를 안 하게...
-
식곤증 원인이 설탕 밀가루 등 자극적 요소라길래 밥을 아예 안먹을순 없고 식곤증은...
-
그래도 퀄 이감이 더 나을려나
-
무휴학 논술 2
공대 다니고 있는 학생입니다 현재 제가 공부하고 있는 전공이 제 적성에 너무 맞지...
-
여자 되고 싶다 15
제곧내
-
이정도면 5등급도 이해가능?
-
수학은 11번 계산실수한거맞은걸로 하고 나머지는 저게 맞음.. 9평끝나고 탐구만...
-
안 먹는걸로,,,,,,
-
적중예감 맨날 3개 틀려서 ㅈ같기도 하고 오늘 7회푸는데 뭔 모든 개념 문제가 다...
-
원래 킬러 버리고 2컷 맞자는 마인드였는데 암만 생각해도 올 수능에서 1컷 50인...
-
푼사람 있음? 독서 과학기술 보수법 시ㅣㅣ발 ㅈㄴ 어려운데 나만 어려움?? 이해가 ㅈ도안됨 진짜
-
ㅈ댔네 8
4주는 또 뭐야
-
왜있지
-
저녁 ㅇㅈ 19
flex~
-
오르비엔 왤케 긁어도 찐따 같이 돌려서 긁는 사람이 많냐 1
시비 두 세번 걸려봤는데 전부 빠져나갈 구멍 하나 만들려고 한 번 돌려서 긁네
-
여자가 너무 좋네요 네
-
다른 실모들은 그래도 1~2문제 못푸는 정도인데 철철실모는 전도랑 근육에서 끝나고...
대쿠리
요것도맞는말인가요
사실은... 이번에만 맞음... 고장난 시계라고 해야하나
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
특히 신 논증은 인과론의 모델 안에 전지전능한 신을 집어넣는게 부적절한데 꾸준히 이상하게 얘기하더라
개웃겨 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
위에 잡 논증들은 모르겠고 결론은 컴퓨터로도 증명되는얘기임
쿠쿠리가 논리화학을 호출했다!
ㅋㅋㅋㅋㅋㅋㅋ
근데 논리학적반박도 보고싶긴하달까
이거보고..
"한줄로 찍으면 하나는 맞더라"
논리화학님 저런거는 몇학년때 배우나요?
학부 가서 배우신건지, 아님 대입 전에도 알고 계셨던 건가요?
전공이신지도 궁금합니다
저쪽 분야에 관심이 있어서..
Software foundation 분야에서 공부중이라서 자연스럽게 논리학 공부중이에요
학부가서 배울수는 있는데 기초적이에요. 논리 전공 교수님들도 엄청 적고. 논리학자체가 씹 마이너라... 철학과나 극히 일부의 수학과나 컴공 제쪽분야가 자연스럽게 공부합니다.
수업이 안열려서 사실상 자습해야함
굳이 학년을 따지면 응애응애하게는 1학년때 배우고
딥하게 배우려면 집합론 배우면서 같이 배우는데 4학년과목이나 대학원과목입니다
아니면 기호논리 교수 있는 철학과
위에서 컴퓨터로 증명 가능하다는게 이 얘기에요
논리학 증명에 좋은 컴퓨터 프로그래밍 언어가 있고
이 언어를 이용해서 프로그램 검증을 함
https://softwarefoundations.cis.upenn.edu/lf-current/index.html
감사합니다. 철학이 아니라 인공지능쪽이셧군여
ㄴㄴ 인공지능이랑 거리가 많이 멀어요
쿠쿠리!쿠쿠리!쿠쿠리!
내가 아는 쿠쿠리는 이것뿐
내용 진짜 재밌네용