제 가설 쉽게 해설한 버전
게시글 주소: https://orbi.kr/00072697000
R(x) : x가 현실에 존재한다
E(x) : x가 존재한다
1. ∀x (¬R(x) → E(x)) (현실에 존재하지 않는 모든것은 존재한다)
1의 부정형은
2. ∃x (¬R(x) ∧ ¬E(x)) (현실에 존재하지 않고 존재하지도 않는것이 존재한다)
2는 모순 (왜냐하면 "존재하지도 않는것이 존재한다" 이므로)
따라서 1이 참
결론
∀x (¬R(x) → E(x)) (현실에 존재하지않는 모든것은 존재한다)
---------------------------------------------------------------------
M(x) : x가 마음속에 존재한다
1. ∀x (¬R(x) → M(x)) ( 현실에 존재하지 않는 모든것이 마음속에 존재한다)
1의 대우명제는
2. ∀x (¬M(x) → R(x)) ( 마음속에 존재하지 않는 모든것은 현실에 존재한다)
2는 거짓(왜냐하면 치즈달을 상상한적 없다고 해서 치즈달이 존재하는게 아니기때문)
1의 부정형이 참
1의 부정형은
3. ∃x (¬R(x) ∧ ¬M(x)) ( 현실에도 없고 마음속에도 없는것이 존재한다)
결론
∃x (¬R(x) ∧ ¬M(x)) ( 현실에도 없고 마음속에도 없는것이 존재한다)
------------------------------------------------------------------
1. ∀x (E(x)) (모든것이 존재한다)
1의 부정형은
2. ∃x (¬E(x)) ( 존재하지 않는것이 존재한다)
2는 모순 (왜냐하면 존재하지 않는것이 존재한다고해서)
따라서 1이 참
결론
∀x (E(x)) ( 모든것이 존재한다)
∀x (E(x)) 와 ¬∃x (¬E(x))는 동치
¬∃x (¬E(x))의 뜻은 (존재하지 않는것이 존재하지 않는다)
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ㅋㅋㅋㅋㅋ 4
2주석 입갤
-
현우진 너무 어려울 것 같아서 김기현 커리 쭉 타려고 지금 킥오프 끝내는 중이거든요...
-
산수계산실수 3
를 개많이해요ㅠㅠㅠㅠㅠ 3모 때도 23/2가 12.5라고 하고… 지금 수특 푸는데...
-
병신들 어쩌고 하면서 욕하던데
-
수능 출제 방식 23수능 이전으로 회귀 정시 확대 수시 축소
-
한국은 끝났다 0
https://youtu.be/Ufmu1WD2TSk?si=rmlqunRR5FkfDBdD
-
03이라 오랜만에 수능보는건데 한의대 목표고 최소 연고공 목표입니다. 그 이하면...
-
외모 또는 성격
-
목표는 건동홍 공대, 중경외시 문과이구요 군수중입니다 수능은 앞으로 두번더...
-
아 또 이 새끼 에어팟 꼈네 이럼.. 에어팟 마이크 음질이 진짜 안 좋긴 한 것 같아요
-
공태기왔는데 0
조언좀해주세요 ㅠ 진짜 공부하는게 온몸으로 거부감이 들어요
-
어찌 조언해줘야하지 내년이 끝인디.. 내후년에 내신때매 해도 안될수도있다라는걸 어떻게 말하지
-
07이고 이번 3모 14 22 29틀로 88점 나왔습니다 3모 80~84점 이하는...
-
영단어장 ㅊㅊ좀 1
-
우리학교는 이번에 중앙의 붙음
-
작수 기준 3초~2컷 정도인데 정시 전문 대치동 수학학원 찾고 있습니다. 괜찮은 곳...
-
차단 +3 24
-
21번 까지는 어떻게 해서 풀겠는데 22번은 진짜 풀지를 못하겠음
-
고3이고 학종은 아예 답이 없어서 교과 또는 정시 생각하고 있어요. 담임쌤 시간이...
-
차단 +1 6
-
문장 한줄 한줄 마다 끈덕지게 반응할수 있음 그냥 탈분극 재분극 없이 한방에...
-
중학수학도 모르는 정말 “진짜 노베”ㅇ라 고등수학과정부터 시작해서 대략 6개월정도...
-
6모 언제? 0
6모가 미뤄지나요? 아니면 땡겨지나요?
-
반수안하기로 해서 양도해요 22에 합니당 쪽지주세요!
-
피곤할때 1시간 자고 공부하는것보다 졸음참고 하면서 공부하는게 더 뿌듯하게 느껴짐...
-
걍 사랑한다
-
그러니 여러분은 오르비에서 디씨자아를 너무 많이 꺼내지 말아주세요....
-
92세 김말숙 초반까지 보고 껐다
-
레ㅈ..... ..기만하지마라 ㅇㅈㄹ했음
-
-
방학때 잠깐 다닐려는데 시스템이 어떻게 되는거임뇨?
-
안 먹고 남겼는데 요즘 입맛이 바뀌었는지 먹게 됨
-
미적 과탐 실수밖에 없어서 반응이 시원찮음 생윤러들아 같이 울어줘
-
"가능할까요?" 시즌4 14
?
-
국어 일타강사분 현강을 듣는데(강민철 아님) 잡담이 너무 많아요. 체감시간으론...
-
오늘 30분정도 상담했는데 쓸데없는 비유만 20분을 하고 뭐 물어봐도 비유적으로...
-
미친 개똥줄 한번 타보면 탐구 공부할때 눈빛부터 달라짐 ㅋㅋ
-
의대갈거 아니면 3
의대갈거 아니면 확통사탐화작이 맞나요? 고대목표 문과가도됨 지금 시발점 미적상 밖에...
-
아니 좀 그럴 수 있는거 아님?
-
-
계속 냄새 솔솔 올라와서 좆같음
-
민주국가의 국민 각자는 서로를 공동체의 대등한 동료로 존중하고 자신의 의견이 옳다고...
-
작가가 되고싶다 10
하지만 의대는 꼭 가야겠더라 오랜 생강이다...
-
문과 확통하는데 나머지 다 2 이상 띄운다는 가정하에 수학을 몇등급 띄워야 인서울 가능할까요?
-
실은 내가 근 11~12년 전에 대강 예상은 하고 잇엇음. 그 때도 취업 ㅈㄴ 안...
-
치킨피자파티 2
1/100
-
훈훈하다는애들보면 얼굴개나주고 그냥 머리 펌하고 스타일만갖추면 훈훈하다하네
-
야이 기요미야 3
너말이야 너~~
-
잠들었어 0
너무 속상하다 . . 매일매일이 왜케 맘에 안 드는지..
-
예상댓글 : 글씨 꼬라지 ㅋㅋㅋㅋㅋㅋ
첫 문장 정확한 해석
모든 x에 대해, x가 현실에 존재하지 않는다면 x는 존재한다
부정
어떤 x에 대해, x가 현실에 존재하지 않고 x가 존재하지 않는다
이 상황에서
“모든, 어떤“의 범주, 즉 양화사가 서술할 집합을 “존재“의 범주보다 더 크게잡으면 해결됨
무슨소리냐면 세상으로 비유하면
“어떤“이 포괄하는 세상은 훨씬 더 크고
뒷 문장의 “존재“가 포괄하는 세상은 좀 더 작게 잡으면 모순이 해결됨
양화사의 “어떤“이 말하는 세상은 우리가 사는 세상인거고, 문장속 “세상“은 시뮬레이션 세상이면 모순이 없는느낌인거. 그림그리고 생각해보셈.
그렇게 잡지 않으면 님 말대로 모순이 생김.
그것뿐임.
실제로 “존재“라는 단어는 문장속에 집어넣으면 이런 모순을 낳는 문제가 있어서 주의해야됨.
뭔말인지 이해됨?
논리학 수업에서도 잘 안나오는 좋은 부분을 찾았음. 실제로 기호논리학에서 주로 다루는게, 기계적으로 문장들을 치환하면 이런 문제가 발생하는 부분인거. 이거 아마 철학과 논리학 수업 과제였나 아니면 교수님이 준 추가과제였나 그래서 나도 기억함.
결론적으로, 부정한 문장(어떤 x에 대해, x가 현실에 존재하지 않고 x가 존재하지 않는다)는 딱히 거짓일 이유도 참일 이유도 없기 때문에(존재는 그냥 “동사“임) 원래 문장도 그냥 아무런 결론이 도출되지 않음
아 근데 “그렇게 잡지 않으면 모순이 생긴다“는게 “그렇게 잡지 않아도 된다“ 즉 “너가 논리학의 모순을 찾았다“는건 아님. 그냥 논리학에서 알려진 해석 오류를 혼자 잘 짚었다는것
애초에 애매한 문장을 논리학 기호로 해석해서 쓰면서 exist가 튀어나온건데 거기서 갑자기 “존재“랑 “exist"의 범주를 혼동해서 해석하는건 순수히 해석하는 사람의 잘못임 ㅇㅇ...
너가 한건
어떤 x에 대해, x가 현실에 존재하지 않고 x가 존재하지 않는다
에서 “어떤 x"가 존재를 이미 함의하므로 모순이라 주장한거라고 요약할수있음
근데 사실은
어떤 x에 대해, x가 현실에 존재하지 않고 x가 존재하지 않는다
>> 이건 그냥 잘 정의된 문장이라는것
정도로 요약 가능