제 가설 쉽게 해설한 버전
게시글 주소: 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를 선물하세요.
-
마라탕 먹고싶다 5
-
애초에 무엇이 방귀고 무엇이 dong인지 우리는 어떻게 감각하는가?
-
으흐흐
-
통사 1타 예상 8
우영호
-
장풍이 1타를 먹을까 아니면 배기범/백호/오지훈/고석용 4명이서 엑조디아마냥 잘라먹으려나
-
교육 과정 하에서 잘 풀리는 문제가 아니라 교육과정만 잘 학습한 놈이나 사교육 달은...
-
내용을 이해하기도 전에 어휘를 잘 모르는게 문제면 많이 풀면서 어휘도 정리하고 그래야겟죠?
-
ㅇㅇ 개나소나 다 야뎁 받아서 쓰던데 첫주 빼고 책 피는 사람 본 적이 없음 어차피...
-
점수도 의대가 더 높고 벌이도 의사가 더 좋은데. 왜 자기보다 못한 직업에 열등감을...
-
스트레스성이라 특별한 방법도 없고 ㅅㅂ
-
인강 책값을 낮추는 게 훨 낫다. 애들도 PDF보다 종이책을 선호하던데 애초에 야뎁...
-
의치수약대 학사편입 가능성 좀 봐줘.. 건국대(서울) 의생명계열 학과 GPA...
-
수능영어 토익 4
수능영어 고정 1이면 토익 처음봐도 900 가능한가요?
-
질문이 무플로 떠내려가서 ㅠㅠ.... 수학문제집을 제대로 풀고 넘어가라고 하는데...
-
나 숏 더쳤거든 ㅜㅜ
-
-
손도 못대겠군
-
언매 널 죽이겠다
-
수학 자작 문제 1개(정적분으로 정의된 함수의 미분) 10
모의고사 2회 15번이 될 뻔한 문제입니다. 식의 형태에 주목하여 초반 과정만 잘...
-
네..
-
가형 29번이랑 지금 기하 30이랑 난이도 비슷한가 17
너무 어렵네
-
님들 이거 해보셈 12
https://payge.kr/speed?share=refer 글 읽기 속도...
-
-
ㄹㅇㄹㅇㄹㅇ.........
-
드럼통 담구면 맛나겠네
-
-
체감상 느렸던것임
-
오늘부터 우리 친구하자 안녕
-
국어 기출 지문 중 의미있다고 할 수 있을 지문이 뭐가 있을까요 0
(국어)과외생 기출 분석을 시킬 예정인데, 최근 3~5개년 기출문제들 중에 문학,...
-
작수 현역때 제일 자신있었던 정법에서 45점으로 백분위88 뜨고 다신 정법 안해야지...
-
가만히 있는 사람 시비터네 할짓 그렇게 없나
-
뇌절하면 점하고 선분이 1대1 대응됨
-
usmle 공부하면서 수능처럼 좆같은 킬러문제나 특정 유형에 집착해야하는 경우가 없는걸보면 ㄹㅇ인듯
-
201123은 왜 둘 다 라고 하지
-
25시행 중1,고1 국어 시험지 현금 2만원 제공(선착순), 고1 국어, 고2 문학, 고3 특강 분석 문제 배포 1
안녕하세요 나무아카데미입니다. 고1 공통국어, 고2 문학, 고3 특강 분석 기출...
-
문법 다섯문제 다 틀려도 문학독서화작 다 맞추면 1등급 가능하게 ㅇㅇ
-
종강안하나 0
할때됐는데
-
D-7 0
복습속도를 좀더 내야하는데
-
칼럼대회 출마함 2
내용 엠바고
-
이 문제 1번 4번 선지 아무리 생각해도 이해가 안 되는데요 1번에서 내인성 레트로...
-
반수 마렵네 19
높꽁인데 4년동안 이정도 해야되는줄 알았으면 의대갔지 에휴
-
수학 쌩 노베 1
신발끈 끝내고 수1수2하고있는데 이거끝나면 문제집 뭐 사야해요?
-
ㅎㅇ요 1
오랜만에 와봤습니당
-
드릴 적중의 위험을 회피하기 위함이다 - 하예은, 드릴 부동산설
-
이거 하면 어케됨?
-
미친놈들
-
뭔소린치못알아쳐먹겠음한국어도그렇게빨리말하면못알아먹어
-
학습량 적당한가? 공통 미적 총합 28장 정도 되는데 한 장 끝내고 복습하면 하루가...
-
죽은지 얼마안더ㅣㄴ사람 유럽 보냐면 시차만큼 더 살수 있음... 유럽이면 한...
-
미국은 트씨가 많나? 트럼프말고 유명인 또잇나?
첫 문장 정확한 해석
모든 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)라고 대답해줬음
존재론적 오류는 해석할때 발생하는 오류임
해석은 기호로 된 논리식을 다시 일상언어로 바꾸는걸 말하는거고