제 가설 쉽게 해설한 버전
게시글 주소: 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를 선물하세요.
-
조의금은 여기로 보내주세요.
-
수학 선택과목이랑 과탐 뭐 할지 추천받습니다. 참고로 작년에는 외우는게 너무 싫어서...
-
방금 많이 충격받음
-
야발
-
ㅇㅈ메타임? 3
오늘하면 역겹다고 저격먹을 삘이군
-
현돌 문제집 0
보통 킬쿼모는 6월 이후에 하나욥…? 제가 잘 몰라서… 생윤 개념 잡힌 현역이...
-
ㅇㅈ메타할거면 1
나 자기 전에… 얼른…
-
제목이 상당히 긴데..분량이 많지는 않아요. 아직 미완인 부분 제외하고 35쪽정도...
-
ㅇ?
-
이거 난이도 어떰 객관적으로?? 함수 개수 문제중에 나름 역대급 같은데 왤캐 정답률...
-
플리 인증 6
옛날플리고 잘 안써서 곡이 적음
-
수고하셨습니다 8
안녕히 주무세요
-
스트릿이라 해야하나 그런 느낌을 원함
-
걍 일하고 과외준비하고 과외하고 하루정도 방에혼자있는 개인용으로 쓰는시간 잡으면 걍...
-
남들이 n수 힘들다는디 걍 난 학교 안가고 좋은거같은데ㅋㅋ 술마시고 노는거 이런거 안좋아하긴함
-
그런 의미에서 ✨명반 홍보✨
-
어제는 이름에게 듣다가 졸라 슬퍼져서 갖자기 눈물이 남요… 저번주에는 도경수 노래 듣다가 울었어요…
-
ㅇㅇ 와서 확인한다 맞팔은 안해준다
-
국어랑 수학 풀때 들음
-
메가 구독패스 0
다시 팔까요..? 미루다 못삼,..ㅠ
-
지가 듣고 싶은 말 들으려고 몸비트는게 너무 괘씸함 가뜩이나 입시경쟁에서 한번씩...
-
이런거 0->1까진 31
눈풀로 적분 연습해보셈
-
현역이고 생윤 개념은 2회독했고 윤사는 2학년때 내신으로만하고 아직 제대로는...
-
ㄹㅇ?
-
부엉이어디갔어
-
작수는 화작 아다리로 4등급 컷 받았었능데 이번 3덮 70분쓰고 독서 두개 문학...
-
ㅈㄱㄴ, 내년이나 교육과정 바뀌었을때 들가보고 싶
-
2022년 7월 학력평가 생명과학2 해설강의 켰다가 깜짝 놀랐었음
-
오르비마크서버 3
진짜재밋겟다 현실에서는 친구 없어서 못 함.. 오르비언들이랑 하고싶어
-
이젠 제발 좀 하자... 전공이 있든 없든 2주는 해야지...
-
오르비언 사귀는 법 11
나는 안써먹어봄 1.오르비를 켠다 2.인증이 예쁜 여르비/ 잘생긴 남르비를 골라...
-
-
본인 연애보다 4
금테 다는게 더 빠를듯요...ㅠ
-
쌤 예뻐보여서 아무 강의 들어가서 강의 스타일좀 보려고 저 강의 14강 켰는데...
-
-
자러감 며칠~한달이따 재밋는썰들 뒤지게많이 갖고올게 딱대라
-
오르비 첫글 0
킬캠 80점이면 백분위 몇정도 가능할까요? 좋아요 0, 댓글 0
-
안경 잘바꾸신듯
-
이투스 정승제들으려고 해서 개때잡을 구매하였는데 아는 지인이 한완수 2025를...
-
당장의 감정에 너무 휩쓸리지 않아도 됩니다
-
나 매웠구나? 3
순해진거임 이게
-
-
이런거 알아도 되는 사람만 남았나 봄 걍 옆에서 하기도함
-
수2 적분 문제 4
1. 188 2. 191 3. 194 4. 197 5. 200
-
오르비에서 친구사귀고 남친/여친사귀는거 나쁘지않음 생각보다 외모도 다들 준수함
-
-
님들 그거 앎? 2
소화 안됐는데 자야될때는 왼쪽으로 누우면 배 덜불편함
첫 문장 정확한 해석
모든 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)라고 대답해줬음
존재론적 오류는 해석할때 발생하는 오류임
해석은 기호로 된 논리식을 다시 일상언어로 바꾸는걸 말하는거고