제 가설 쉽게 해설한 버전
게시글 주소: 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를 선물하세요.
-
노베 단신 모쏠 가난 범부
-
이 기만러들아
-
장차관들 꼬라지 보니까 그런것도 아니구나
-
-
나랑 학력 비슷한 얘들이 과외 시급 9~10지르던데 13
진짜 9~10이 잡히나?? 대단하다
-
탈릅안해서 말 안할건데
-
있음?
-
ㅈㄱㄴ
-
지금은 수학 문제집 사지만 나에게도 일본 연애 소설 사는날이 왔으면......
-
스블 복습해야해
-
무휴학 논술반수 3
수리논술 무휴반으로 현실적으로 많이 힘든가요???ㅜㅜ 솔직히 아예 정시로는 더...
-
이런건 처음보네
-
하지만 금새 사그라듬..
-
6모때까지 시간이 너무 없어 다만 그저 하루하루 충실히 보낼 뿐
-
잇올글 없으니까 오르비 개짜친다
-
님들이 저에대해 아는거라곤 대학 하난데 바꿀사람이 있으려나
-
인싸되면 안좋은 점 14
세계 최고의 대학 침대에 누울 시간이 더 줄어든다는거에요 제가 그래서 인싸 안하고 아싸 해요
-
존나 어려워 푸는게 서른마흔다섯배는 쉬움 출제 싫어요ㅠ
-
솔직히 반수 생각 없었어서..반수할 생각 없는 사람처럼 행동했는데 저번주부터...
-
공부 왜 어렵지 2
왤케 어려움 머리 아프네
-
관심있으신 내용이나 궁금하신 점 있으면 말씀해주세요^^
-
영어의 대모음추이(Great Vowel Shift, GVS)는 중세 영어에서 근대...
-
25 26 27 28 29 30번 답이 522225였음 하지만맞혔죠?
-
250612 250921 250930 251122 종합선물세트임 진짜 이제...
-
책 출간은 힘들 거 같고 전자책 출판으로 방향 잡히는데 구매 하실지...
-
물론 2진법임
-
4/9 공부기록장 12
힘드러
-
지금 2컷정도인데 ( 작년 평가원 + 더프 기준 ) 수능 때 1 뜨려면 얼마나...
-
나도 인싸 좀 해보자!!
-
왜요왜요왜 0
-
-
복습중인디
-
저 행님 재밌을 때도 있었음
-
'왜'라는 말이 생각보다 역사가 짧음. 중세에는 '매(maj/마ㅣ)'로 쓰였는데...
-
스토리에 이미지 써준다고 했다가 벼락치기 중 이거때매 밥 못 먹고 야근하는 느낌 ㅠ
-
작년에 뉴런 수 1.2 완강은 했는데 개인사정 때문에 중간에 공부를 아예 못하게...
-
머리론 알겟는데 가슴으론 안돼
-
가만히 있었음 뭐라는지도 모르겠는데 어떻게 까;;
-
현역때 진짜 열심히 하고 재수시작부터는 수특 한번 푼게 다인데도 더프,3모 50점...
-
오늘 하루 종일 기분 좋았던 개집팬은 개추 ㅋㅋㅋㅋ 3
진짜 일어나서 보통 15분까진 더 뒹굴뒹굴 해야 하는데 스코어 보고 잠 확 깸
-
아까 아침에 0.9999~=1인 이유 증명하는 입실론 델타 논법 찾아보고왔는데 관련...
-
국어 오답 4
국어 오답 생기면 다음 날에 한 번 더 풀어보고 또 틀리면 해설 보고 분석하는데...
-
쉬는날 쳐먹는다
-
마더텅 풀고 잇는데 n회독 할 때 보통 틀린 문제들만 n회독 하나요 아님 진짜...
-
문제 푸는건 좋은데 인강 듣기가 싫으면 어떡함? 시발점 들으려고 하다가 집중 안돼서...
-
-
이것도 쿠쿠리네 3
딱봐도 ㅋㅋ 여기선 반응 안해주니까 오르비 오는거네
-
평가원 몇등급 실력일까요….
-
나같은 스타일 있음? 개념이나 기출 1회독은 느린데 8
그 1회독만 끝나면 2,3회독부터는 남들보다 공부 실력, 속도가 기하급수적으로 늘음 지수함수마냥
-
그냥 물흘러가는듯이 흘러가는거 아녔어?
첫 문장 정확한 해석
모든 x에 대해, x가 현실에 존재하지 않는다면 x는 존재한다
부정
어떤 x에 대해, x가 현실에 존재하지 않고 x가 존재하지 않는다
이 상황에서
“모든, 어떤“의 범주, 즉 양화사가 서술할 집합을 “존재“의 범주보다 더 크게잡으면 해결됨
무슨소리냐면 세상으로 비유하면
“어떤“이 포괄하는 세상은 훨씬 더 크고
뒷 문장의 “존재“가 포괄하는 세상은 좀 더 작게 잡으면 모순이 해결됨
양화사의 “어떤“이 말하는 세상은 우리가 사는 세상인거고, 문장속 “세상“은 시뮬레이션 세상이면 모순이 없는느낌인거. 그림그리고 생각해보셈.
그렇게 잡지 않으면 님 말대로 모순이 생김.
그것뿐임.
실제로 “존재“라는 단어는 문장속에 집어넣으면 이런 모순을 낳는 문제가 있어서 주의해야됨.
뭔말인지 이해됨?
논리학 수업에서도 잘 안나오는 좋은 부분을 찾았음. 실제로 기호논리학에서 주로 다루는게, 기계적으로 문장들을 치환하면 이런 문제가 발생하는 부분인거. 이거 아마 철학과 논리학 수업 과제였나 아니면 교수님이 준 추가과제였나 그래서 나도 기억함.
결론적으로, 부정한 문장(어떤 x에 대해, x가 현실에 존재하지 않고 x가 존재하지 않는다)는 딱히 거짓일 이유도 참일 이유도 없기 때문에(존재는 그냥 “동사“임) 원래 문장도 그냥 아무런 결론이 도출되지 않음
아 근데 “그렇게 잡지 않으면 모순이 생긴다“는게 “그렇게 잡지 않아도 된다“ 즉 “너가 논리학의 모순을 찾았다“는건 아님. 그냥 논리학에서 알려진 해석 오류를 혼자 잘 짚었다는것
애초에 애매한 문장을 논리학 기호로 해석해서 쓰면서 exist가 튀어나온건데 거기서 갑자기 “존재“랑 “exist"의 범주를 혼동해서 해석하는건 순수히 해석하는 사람의 잘못임 ㅇㅇ...
너가 한건
어떤 x에 대해, x가 현실에 존재하지 않고 x가 존재하지 않는다
에서 “어떤 x"가 존재를 이미 함의하므로 모순이라 주장한거라고 요약할수있음
근데 사실은
어떤 x에 대해, x가 현실에 존재하지 않고 x가 존재하지 않는다
>> 이건 그냥 잘 정의된 문장이라는것
정도로 요약 가능
https://orbi.kr/00072718075
그런데
∀x (¬R(x) → E(x)) 나 ∃x (¬R(x) ∧ ¬E(x))에서
∀x 와 ∃x 의 x는
E(x)의 x와 같지않음?
그럼 ∃x의 x와 Ex의 x가 같은 범위라는건데
ㅇㅇ 그건 같은 범위인데
E(x)를 다시 “x는 존재한다“로 해석할때
“x"말고 “존재한다“가 다른범위임.
∃의 존재한다와
E의 존재한다가 같다고 한다면 어떻게되나요
저기서의 같은범위는 님이 문장으로 안 말해서 그럼.
당연히 저렇게 적으먼 같은범위임. 같은 x로 기호가 같은데.
근데 E는 “존재한다“라고 “해석“을 적어준다음
∃의 존재한다와
E의 존재한다가 같은 범위냐고 잘 물어보면
gemini가 “혼동하면 안된다“라고 답해줄거같음.
일단 내가 ChatGPT한테 실험으로 물어봤을땐 존재론적 오류(ontological fallacy)라고 대답해줬음
존재론적 오류는 해석할때 발생하는 오류임
해석은 기호로 된 논리식을 다시 일상언어로 바꾸는걸 말하는거고