제 가설 쉽게 해설한 버전
게시글 주소: 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를 선물하세요.
-
요즘 독감이 유행이래요
-
운문은 나름 치고 현대소설까지는 어떻게 어떻게 하는데 고전소설을 진짜 못 해 먹겠음...
-
사문 개념강의 다들었는데 다음 커리인 임팩트를 하는게 좋을까요 아니면 그냥 기출푸는게 좋을까요?
-
열 바로 내림 근데 열은 내려도 아직 힘드네
-
재수로 약대에 들어간 사람입니다. 현재 2학년인데 약대를 다닐수록 한번더...
-
깨달은거 3
학교서 눈마주치면 어색하게 지나쳐야되는 사람들이 꽤 잇다는거 학교생활하지도 않았는데...
-
뭐지진짜
-
생1이 탐구 17개 과목중에 3등급 맞기 제일 쉬움 그 이상은 근데 존나 어려움...
-
평상시에 속으로 혼잣말 많이하고 뭐 생각할때도 속으로 혼잣말 많이하고 공부할때도...
-
시모노세키 끝 11
이제 히로시마로
-
0.999...는 1이 아니다 141
0.999... = lim(x->inf),(1-1/10^x)...
-
-
대 재 호
-
ㅈ됨...
-
부엉이 갔냐? 3
굿다이노
-
2025학년도 단국대(천안) 입시결과(수시, 정시_의예, 치의예, 약학) 0
2025학년도 단국대(천안) 입시결과(수시, .. : 네이버블로그
-
-
지수법칙 외우라고 하는게 맞는거죠?
-
0이상 1이하의 선분에 존재하는 실수들은 선분을 이루는 점이라고 할수있음 그런데....
-
ㅠㅠ
-
또 줄었는데
-
0이상 1이하의 실수는 무한히 많음 0이상 1이하의 "선분"은 무한히 많은 점들로...
-
신촌 숨겨진맛집 11
?
-
짐 뺐네.. 정들었었는데 ㅜㅜ
-
3교시 수행 점심시간 축구
-
내가 제안서 초고까지 작성했는데ㅡㅡ 편안해지셨음 좋겠네요
-
그나마 사람글씨같다
-
독감 입갤 2
B형 독감이랍니다
-
영어노베 2
고삼이고 사등급 노베인데 대성 션티 커리 따라가고 있는데 단어를 너무 모르는 거...
-
헐...
-
이거 뭐냐 0
-
-
팔로우 박으세요 2
맞팔은 안해드립니다
-
확통작수6 아이디어 하고 있는데 제 수준에 기생집 4점 병행 하는게 맞ㄴㅏ요?...
-
꼴 9
-
오르비 굿나잇 3
-
하지만 공부를 뒤지게 했다고 시험을 잘보는것도 아닙니다
-
검증 30분 전
-
오동통통한 새우가 잔뜩 들어간
-
추억의 노래 8
-
사문망했나요 3
요즘보면 거의 문과 원주민들이 학살당하게 생긴 거 같은데 과탐 하위권 유입에 비해서...
-
고양이 핥고싶다 4
츄릅
-
멘토 멘티 프로그램 메세지 못봐서 오티 못갔는데 솔직히 메세지를 요즘 누가좀 개억울
-
https://orbi.kr/00035154001/ 뉴런 회독하기 내가 지금 사탐...
-
세상에 이런일이
-
D-218 1
영어단어 day 15 (600단어)복습 수특단어 13강 국어 내신 수특범위...
-
수액 안 맞으면 뒤질 거 같음
-
2025년 발매 왜 내 전역보다 빠르냐...
-
젭알
-
ㅇㄱㅈㅉㅇㅇ?
첫 문장 정확한 해석
모든 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)라고 대답해줬음
존재론적 오류는 해석할때 발생하는 오류임
해석은 기호로 된 논리식을 다시 일상언어로 바꾸는걸 말하는거고