제 가설 쉽게 해설한 버전
게시글 주소: 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를 선물하세요.
-
27살에 연세대 상경 12
집안이 돈에 관련된것에 대해선 걱정할 집안은 아닌 집이긴한데 저희집안분들이 그렇게...
-
하원완뇨 2
늙어서 허리아픔
-
마음에 안 드는 문제 하나 고쳐 주실 분을 구합니다. 1
오랜만입니다. 다 만들고 보니 문제가 마음에 들지 않아서 버리려다 가지고 왔습니다....
-
과연..
-
더프 9일 남음 1
개ㅈ됨 ㅆㅂㅆㅂㅆㅂ
-
나도 연애하고싶어
-
이건 아니다 싶을정도
-
1 나누기 무한 이 0이 아니라네요.. 선분의 길이가 1일때 2로 나누면 점간의...
-
비갤 들어가봤더니 또...
-
매력적인 오답 말고 진짜 킬러 (사실 뭐가 다른진 모르겠지만)
-
https://www.youtube.com/watch?v=iO5ZDd7SnNA
-
저기도 5년지기 친구라고 나오는데 혹시...?
-
오오 재미게따 나는 안함
-
그분이 오르비 고닉 저격함? 왜? 어째서? 접점이 있나
-
여긴 무슨 시티인가요? 11
-
근데 맥날이 되게 띄엄띄엄 있더라
-
진짜 독감인가 2
타이레놀 먹었는데 왜 이러지 수액을 맞아야 되나
-
두분 중에 갈아타려고 하는데요 원래 어준규쌤 들었는데 생윤 노베라..내용 이해는...
-
꿈에 나올것같음
-
오르비 호감고닉 개같이 패네
-
너도 느끼자나 0
이거 좀 웃기자나
-
확통런 하면 공통 1틀만 할 수 있을 것 같은 확신이 있음. (내신 때 확통...
-
시바꺼 그냥 1등 함 해보자
-
반수한다는 연하 3
누나라 해주는 거 넘 귀여워서 최저 낭낭하게 맞추게 무료과외해주고픔
-
과연 좋은걸까.
-
행렬 행렬식 0
행렬의 행렬식 구할때 가우스 소거법으로 0좀 만들어서 행/열 기준으로 여인수 전개로...
-
사탐런 하는데 한지가 젛나요 세지가 좋나요? 완전 꼼꼼한 스타일은 아니긴 한데...
-
현역 고3입니다 치대를 지망하긴 하는데 국어가 많이 부족하고 전체적으로 많이...
-
서울에 카포에라 강습소가 많은데 일이 많다보니 카포에라 못해서 아쉽...
-
홍다희 1
홍다희
-
자야되는데 4
잘자
-
연락주기 8
친구 썸 연애초기 중기 후기 다 말해보셈 궁금
-
호감 저격 뭐임뇨이;;
-
내가 매일 백수 시간대에 와서 사람이 없었구나
-
-
끼얏호우 0
내일만 출근하면 사실상 주말!!
-
흠,,,, 0
어머님들은 왜 카톡을 읽씹을 하실까,,,,
-
관심있는애 3
재수생임 재수학원에서 급식신청가능함 근데 그 친구가 나랑 급식안먹는 날이 겹치더라...
-
1. 일중 2. 상중 3. 아웃오브안중 당연한 얘기지만 손가락 부러져도 답장하는데...
-
https://orbi.kr/00072763096
-
안녕하세요 :) 오늘 다뤄볼 주제는 N제입니다. N제를 어떻게 활용할까요? 그...
-
가재맨이 뭐죠 3
가재?
-
굳이 맞죠?? 할거면 그냥 회차별로 되어있는 n제 푸는게 맞는거 같은데
-
난 상대방한테 100퍼센트 맞춰줘야 친구 해줄까말까이기 때문임...
-
선분은 무한히 많은 점들로 이루어져 있습니다 선분의 길이가 1이라면 1을 무한으로...
-
스블 필기노트 받았는데 강의 안보고도 필노만으로 복습하기 충분한가요??
-
실친 3명이랑 맞팔해놔서 앞담화임
-
지방러라 하루에 딱 몰아버리고 싶은디..ㅠ
-
연애하고 싶다 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)라고 대답해줬음
존재론적 오류는 해석할때 발생하는 오류임
해석은 기호로 된 논리식을 다시 일상언어로 바꾸는걸 말하는거고