제 가설 쉽게 해설한 버전
게시글 주소: 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를 선물하세요.
-
[속보] 尹 “기대에 부응 못해 너무 안타깝고 죄송” 7
4일 헌법재판소로부터 파면 선고를 받은 윤석열 전 대통령이 이날 법률 대리인단을...
-
정시마려운데 하면 더 점수안나올까요
-
월급이랑 과외비 들어옴 15
아 너무 좋아 근데 시발 월급에서 연금을 왜이렇게 많이 가져가냐ㅜ
-
과잠 나왔으면 입고갓을텐데 크아악
-
아 집가고싶다 0
금 풀강 싫어
-
와씨,,, ㄹㅇ 파면됐네,,, 아니,,, 대통령 겨우 4년인데 왤케 다들 중간에...
-
-
441122 6
4월 4일 11시 22분 숫자가 신기하다
-
지금부터 2024헌나8 대통령 윤석열 탄핵사건에 대한 선고를 시작하겠습니다.▣...
-
사회적 통합은 1
영영 이뤄질 수 없는걸까요?
-
이미 킬러문제니 뭐니 신나게 두들겨맞고 바꾼 기조 기껏 킬러배제 배제한다고 원상복구...
-
스블 vs 기코 0
공통 다시 복습하려고하는데 뭐가졸을까
-
궁금한게있는데 10
국어에서 과학지문 안내는 이유가 문과한테 불리해서 아니었나? 근데 왜 경제 법지문은 내는거임?
-
평소에 안 좋아해서 잘 안써먹었는데 영어 빈칸 밑줄의미 이랑 국어 운문 에서...
-
현대시인분들 작작좀 하ㅏㅜ. ..
-
@슈냥 11
-
과외알바를 생각하시는 분들을 위한 매뉴얼&팁입니다. 5천원 커피값에 미리 하나...
-
우리만 빼고 어서 망해라
-
야릇한 기분 그렇지만 가봐야지 어쩌겠어 계획에 차질은 없어
-
언제됐음??
-
전국민에게싸이버거25개를뿌리도록하겠읍니다!!
-
대한민국 경제 힐팩 섭취 완료
-
하
-
친구들아 안녕
-
잇올 6모 2
잇올 6모 신청해서 1시에 결과 나온다는 창까지 봤는데 지금 들어가서 결과 보니까...
-
작년 모평, 교육청, 사설에서 백분위 90정도 나오다가 수능날 70초중으로 떨어져서...
-
수업 5분남았다 1
-
꼭 수능어 킬러중에 몇몇문제가 ㅈㄴ변태스럽나온다고하길래 변태스럽게내는 문제 맞추려면...
-
아무리 불수능이어도 1컷 70점대는 가능성 매우 낮음 5
국수가 1컷 70점대인 마지막 수능이 11 가형인데 그때보다 수능이 훨씬 고인물화된...
-
아니 그게 무슨 소리니 튤립튤립아
-
킬러 배제정책 배제
-
6/3대선 기원 0
수업 안 째고 6모 보기 ㅆㄱㄴㅋㅋㅋㅋ
-
속마음을 숨기는 버릇이 있어서 명확하게 전달을 잘 못해요
-
[속보] 윤석열 파면 조기대선 영향으로, 6월모의평가 5/27로 앞당겨져…...
-
예체능 이번 모의고사 19211인데 국어는 항상 고정1등급에 간간히 하루 리트...
-
이 노래 4
질리기전에 어서 신곡을 내도록.
-
미치겠네
-
과외 곧 시작 3
화상 키자마자 바로 정치얘기 히시는거 아니겠죠
-
수학 N제 2
6모전까지 풀 수학 N제 추천해주세요 6모 1후반등급 목표입니다 !
-
-
이미 준비를 끝마침. 어싸나 풀어야지
-
_. 몇번인지도 궁금해요
-
문 정권때보다 남녀 갈등은 완화됐던거 같기도... 근데 그때 영향 쎄게 받았던...
-
나오면 컷 얼마정도일꺼같음?
-
뉴진스 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의 존재한다가 같다고 한다면 어떻게되나요