제 가설 쉽게 해설한 버전
게시글 주소: 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를 선물하세요.
-
현역 수능 ㅈ망-> 낮은 지거국 다니다가 반수로 인하대 입학-> 입학했을 때부터...
-
부엉이 잘가요… 0
응원했어요.. 행복하길…
-
그럼 되게 신기할 듯
-
어디에도 속하지 못하고 자꾸 겉돌기만해요 나도 친구가 만들고 싶었는데
-
ㅋㅋ 7
낼도 그냥 카페인 악깡버?
-
얼버기 4
사실 얼버잠
-
근데 난 새벽에만 깨어있다 ?
-
난병신이다 6
우히히
-
이젠진짜잔다 2
-
잘자라 15
좀자라
-
개 찝찝하겠네. 꼭 아이스크림을 비치하도록
-
무지 5
개같다
-
기분좋게 자러갑니다. 다들 안녕히 주무시길
-
집에서 하니까 생각이 많아지고 생각이 많아지니까 공부가 안되고 공부가 안되니까...
-
버스 안에서 는 2
웹툰인디
-
-
그니까 와서 사줘
-
재밌었다 18
다시 현생으로
-
자자 13
자자
-
누나버튼 3
띵띵띵띵띵
-
다르다고 1
보고있나
-
밸런스 조절을 위해 오르비를 계속 하겟습니다
-
진짜 모름
-
인초상 탈릅 예상 반응 12
.
-
다 어디갓니
-
아오 물2평
-
사탐으로 가버렸 뉴비만 받음
-
집에서 집중이 하나도 안됨
-
헬스터디 2
근데 헬스터디 국어는 왜 어떻게 공부하는지 안알려주냐 짜치게
-
사탐런 ㄱㄱ? 42
ㄱㄱ?
-
옯스타 1
1년전에 계정 잃어버림 흑흑
-
밝지는 않은듯
-
옯스타 맞팔해요 1
댓에 아이디 남겨주심 팔 하러 갈게용 *゜ (\ (\ c(⌒(_*´ㅅ`)_ 쪽지도 ㄱㄴ
-
덕코는 어케얻고 어케주고 어케쓰는거임…? 뭔지 모르겠어요 현질해여하나
-
오오 비애! 너의 불사조 나의 눈물이여!
-
ㅇㅈ 14
휴우우
-
레전드썰 개많은데 풀면 고소먹을까봐 못 풀음
-
똥마려워 6
참아봄
-
많이 바뀌었더라 그리고 같은 동 살던 친구 있었는데 까먹고 살았었네 옛날 기억 많이 사라짐
-
물리 12
7모 47 9모 50 10모 47 하고 수능 3등급으로 박음 ㅋ.ㅋ 수능은 44
-
내신기간에 안쉬고 정시파이터 위한 특강 함. 심지어 내신휴강기강도 가장 쨟은 2주...
-
이과 관련 문서를 쓸 때 쓸데없이 멋들어지게 보이는 느낌을 줄 수 있음
-
고3 수학 쎈 2
이번 3모 51점 4등급 받았는데 쎈 c단계만 풀어도 되나요 4점위주로 다틀리는거 같은데
-
가끔 눈이 안떠지는 게 너무나도 스트레스임
-
오늘도 오르비를 한번 더 알아갑니다
-
이미지? 궁금해요 넵
-
잘자요 8
-
쓸 글이 없네 3
ㅈ됐다
-
방법을 바꾸니까 정답률이 확 좋아졋는데 생각해보니까 이게 내가 원래 글을 ㅈㄴ...
-
효신이형 중간에 눈까뒤집고 흰자보여서 노래에 감상이 잘안되요 0
심상이 너무나도 잘보이는 청년
첫 문장 정확한 해석
모든 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)라고 대답해줬음
존재론적 오류는 해석할때 발생하는 오류임
해석은 기호로 된 논리식을 다시 일상언어로 바꾸는걸 말하는거고