제 가설 쉽게 해설한 버전
게시글 주소: 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
-
제 명의로 된 통장에는 3억정도 있고 나중에 약국하게되면 부모님이 추가로 1~2억...
-
진짜 현타 존1나오네 내가 목달장 하면 안됨? 지역인재 수의대 의대 메가스터디
-
내 정치 성향이나 그런걸 떠나서 물론 탄핵될거라고는 생각했지만 흠 만장일치?...
-
날 보는 너의 그 마음을 이젠 떠나리
-
우매함의 봉우리 도달
-
허허이
-
기진맥진한 금요일에 과외 끝내고 공부해봤자 호율 ㅈ도 안나온다 형이 진지하개...
-
다들 안녕하세요 7
-
정치는 항상 극과 극의 말을 다 들어야됨. 한때 극좌쪽이던 부모님이 우파쪽으로...
-
유튜브 영상보니 약간 비실전적으로 푸는 수특확통 풀이가 며치ㅐ 있고 애초에 수특...
-
화작 95인데 백분위 100 뜰랑가
-
[ 시선 모의고사 지난 회차들 ] https://orbi.kr/00072328394...
-
그냥 눈치보는 동맹국들 고혈빨기 전략아님? 그래서 eu중심으로 뭉쳐서 보복할까봐...
-
-
아.. ㅋㅋ 난 그런데 엔비디아 풀숏쳤지요
-
3모 미적 3등급 진짜 너무 스트레스 받는데 이거 정상인가요?? 12
진짜 너무 스트레스 받아서 글 적어봅니다 인강진도복습,지로함 20-22번대 문제들...
-
오줌 맥주 마시써요
-
中네티즌 “확실한 민주주의 과정”…日네티즌 “韓 민주주의 붕괴” 4
중국 및 일본 언론, 파면 소식 일제 긴급타진 공통적으로 “차기 이재명 유력” 소개...
-
담배 2
흠
-
와 디자인 진짜 고급스럽다 삐숑빠숑뿌슝 그와중에 베젤은 천만원대 다이버 워치...
-
제과제빵점 2
-
---스압 만화 보러 가기--------------------- 화2 산 염기 평형...
-
기말고사랑 겹치는 건 안돼
-
머리에 열이 왜 나지 11
후우
-
머 리 아 파 10
2시간 뒤에 올게요
-
저격합니다 3
제 마음을 뺏어간 당신을 저격합니다
-
잇올에서 하자
-
ㅎㅇ 3
2시간자고 1교시가서 힘듦
-
-
메인보내주세요. 0
니게tv 개국 162일차
-
방금도 누구 해드리고왔네요
-
-
의무자습이 11시까지인데 9시부터 와파를 끔
-
4등급이하 = 쎈, 어삼쉬사 3등급 = 펀더멘탈, 팔구십퍼요 2등급 = 4의규칙1,...
-
이게 구마유진이지
-
가시는 분들 있나요? ㅎㅎ
-
공부해야하는데 2
집와서 한시간 애니보고 한시간 밥먹는 인셍
-
레벨업?
-
무우물보 10
-
이제 처음 들어가는데 뉴런처럼 설명이 자세하거나 교재에 실려있는 개념 양도...
-
하술마시거싶네 0
흠
-
아
-
생윤 현자의 돌 0
김종익 쌤 개념강의를 듣고 현자의 돌 가시감 문제집을 풀려고 하는데 괜찮을까요?...
-
구마유시 화이팅 4
지면 다시 LCK 안 볼게
-
설수리 절반...
첫 문장 정확한 해석
모든 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의 존재한다가 같다고 한다면 어떻게되나요