쿠쿠리의 고장난 시계(폭발원리 칼럼)
*학부 레벨 내 정도에서는 노력은 했으나 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를 선물하세요.
-
10모 화1 2
쉬운건 ㅇㅈ 근데 고3표본으로 1컷 50나올 정도라고 ? 올해 06이 잘하는거냐 화1이 ㅈ된거냐?
-
오늘 공부 완료 8
생명 10모 36점 뜬거 보고 멘탈나가서 공부 별로 못함
-
국어 영어 사탐 영역별로 알려주삼 알려주면 수능날 대박터짐
-
1편 보고 와야할둣요.. 공포는 점프스케어 위주고 어디까지가 현실이고 어디까지가...
-
나였으면 그냥 아가리꾹닫았어 무서워서 어케열어
-
[단독]복리 계산·분산투자 못하는 한국인[필수! 금융교육]② 1
편집자주최근까지 금융상품 불완전판매 사태가 계속 벌어지며 사회 이슈가 되고 있다....
-
태블릿 사면서 펜슬도 같이 살까 해서요
-
어디까지 올라가냐
-
1980년대, 빨라도 70년대 고등학생들의 일탈용 도구 중에 본드라는 게 있다. 그...
-
수시를 2장썻기 때문
-
이렇게 불공정한 입시가 유지되는 거 보니. 웟대가리들이 다 문과라 그런가
-
파1보단 어렵나요?
-
논술 복기본도 원본이랑 거의 비슷하게(똑같이) 올리면 안 좋은 일 있으려나..? 9
예를 들자면 위 사진처럼… (원래 복기본은 지움, 괜찮다면 저 파일로 다시 올릴수도..?)
-
9모 96이고 요즘 실모 하방 88 상방 100정도 뜸 1일 2실모 돌리고 있고...
-
제발 ....
-
ㄹㅇ....
-
이 시기가 되면 이 질문을 많이 받습니다. 이 질문은 “저랑 비슷한 수준의 수험생이...
-
1컷 낮3 3 만점 만점으로 텔그 돌렸을 때 경희대 안되는 것도 많고 이대 안되는...
-
주식,선물 하는 입장에서 인터넷 도박, 강원랜드 가는거 9
솔직히 이해가 잘 안가요.판돈도 더 크고 자기 능력여하에 따라 수익을 낼 수도...
-
왼쪽이 보는거랑 오른쪽이 보는게 안맞는거 같은데 사시인가? 아님 책보다가 멀리...
-
저는 이 우주안 보다는 더높은 차원의 존재가 이 우주를 만들었고 관찰하는중이라 생각함
-
목표 1컷이면 1
실모 풀 때 21 22 버려도 되나요… 수열이면 잘 맞추는데 수열 아닌 21 22는...
-
까다로웠네..최댓값 최솟값 접현각 개수 순서쌍 와..어지럽다
-
강게이 ㅅㅂ 2
강k 사문 풀었는데 33점 나옴 끄아악
-
??
-
공부의 중요성?이라는게 사회 전반적으로 떨어져서 그런가... 제가 처음 과외를...
-
수능 목표 1
6평때보다만 잘보자
-
돈 앞에서 인간이 얼마나 추악하고 더러워질 수 있는지 몸소 느껴본 입장에서 자신있게...
-
오리온 2
N제 왤케 쉽징.. 솔텍n2 끝나고 실모랑 병행하려고 오리온이랑 폴라리스 둘다...
-
여친이 네이버 카페하는데 레즈비언인걸 알아냄.... 8
저메추좀
-
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
한강 노벨상 그 이틀 뒤 수리논술 재시험 논란 4일 뒤 이제는 초전도체?
-
10모 올 2면 2
사람새끼임?
-
5번까지 신나게 다풀었는데 6번 기하인거보고 아 기하 공부 좀만 더할걸 후회했습니다...
-
https://www.hankyung.com/article/2024101703996
-
진짜로 회전한다치면 모순이 생긴다고 들었는데 전류가 흐르면 자기장이 생기니까 자석은...
-
십구패스 2
2026 19패스 떴네요?!
-
탐구를 만점받아서 그런가
-
이약vs연약 2
님들은 어디감?여자라면
-
적중예감, 사만다 s1-3 제외 (이미 푸는 중) 디카프, 퀄 등등 고민 중입니다....
-
해윙 7
-
궁금하네용
-
[속보] 대통령실 "내년 7500명 의대수업, 그렇게 불가능한 것 아냐" 38
[헤럴드경제=서정은 기자] [속보] 대통령실 "내년 7500명 의대수업, 그렇게 불가능한 것 아냐"
-
맨날 비슷한 내용을 주장하는데 세부 소재는 어디서 주워듣고오는지 조금씩 다름...
-
다른거 없음 1과목 중에 텍스트랑 풀이과정 제일 긴데 풀이 공간 제일 작음
-
킬캠 강x 스러너 제외
-
서바 국어 9회 2
파이널 서바 9회 등급컷 아시는 분 계신가요 넘 궁금하네요ㅜㅜ
-
아이 답지를 잃어버려가지고... ;; 부탁합니다 형ㄷ,ㄹ
대쿠리
요것도맞는말인가요
사실은... 이번에만 맞음... 고장난 시계라고 해야하나
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
특히 신 논증은 인과론의 모델 안에 전지전능한 신을 집어넣는게 부적절한데 꾸준히 이상하게 얘기하더라
개웃겨 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
위에 잡 논증들은 모르겠고 결론은 컴퓨터로도 증명되는얘기임
쿠쿠리가 논리화학을 호출했다!
ㅋㅋㅋㅋㅋㅋㅋ
근데 논리학적반박도 보고싶긴하달까
이거보고..
"한줄로 찍으면 하나는 맞더라"
논리화학님 저런거는 몇학년때 배우나요?
학부 가서 배우신건지, 아님 대입 전에도 알고 계셨던 건가요?
전공이신지도 궁금합니다
저쪽 분야에 관심이 있어서..
Software foundation 분야에서 공부중이라서 자연스럽게 논리학 공부중이에요
학부가서 배울수는 있는데 기초적이에요. 논리 전공 교수님들도 엄청 적고. 논리학자체가 씹 마이너라... 철학과나 극히 일부의 수학과나 컴공 제쪽분야가 자연스럽게 공부합니다.
수업이 안열려서 사실상 자습해야함
굳이 학년을 따지면 응애응애하게는 1학년때 배우고
딥하게 배우려면 집합론 배우면서 같이 배우는데 4학년과목이나 대학원과목입니다
아니면 기호논리 교수 있는 철학과
위에서 컴퓨터로 증명 가능하다는게 이 얘기에요
논리학 증명에 좋은 컴퓨터 프로그래밍 언어가 있고
이 언어를 이용해서 프로그램 검증을 함
https://softwarefoundations.cis.upenn.edu/lf-current/index.html
감사합니다. 철학이 아니라 인공지능쪽이셧군여
ㄴㄴ 인공지능이랑 거리가 많이 멀어요
쿠쿠리!쿠쿠리!쿠쿠리!
내가 아는 쿠쿠리는 이것뿐
내용 진짜 재밌네용
논화 앞에서 논리를 논하는자
쿠쿠리 그는 신...은 아니고 병신
논리화학슨수 화내는거 처음봤는데
ㅈㄴ웃김 ㅋㅋ