제 가설 쉽게 해설한 버전
게시글 주소: 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를 선물하세요.
-
뭐 따로 연락 안 하고ㅇㅇ 지방 일반고라 공지사항에도 별 말 없네;;;
-
전자: 국어 머리 최상, 수 과탐 머리 중상 후자: 국어 머리 중상, 수 과탐 머리 최상
-
문제 막 내도 평가원이 우리는 기조 변화 없었음 이래버리면 올붕이들 엉엉 우는거...
-
다들 필사하면서 그 내용을 음미해보자
-
태만하다고 적어놨는데 정상인가요? 저 수업 진짜 열심히 참여했는데
-
아흥
-
수학 n제.. 3
지인선 다해서 엔티켓 이랑 빅포텐중에 뭐풀까요..
-
-
-
그런 말 하지마..ㅠㅠ
-
아직 확정이 아닌 '안' 인듯 거의 그대로 넘어가긴 할 것 같은데 혼동 방지를 위해...
-
기초개념은 ebsi로 하려는데 괜찮나요?
-
덕코주세요 7
-
아따 동네 고기집 매출 올려주러 가보자잉
-
작년 6모보다는 잘 봐야함 국어 높3->높2 수학 6->3 영어 높4->높2 제발제발제발제발제발제발
-
보조용언 0
보조용언 ’있다‘는 항상 보조 동사인가요?
-
어차피 다 맞을거 아님? 그렇잖아
-
메이플 8
한 10년 만에 다시 하는 거 같은데 왤캐 재밌지
-
진짜 그 뜻으로 말하신거였나 다들 수학만 말하는데 국어는 어캄???? 작년이랑 비슷할려나
-
김기현 파데로 수상하 개념같이듣고있는데 수상하 어려운문제들도 풀줄알아야될까요?...
-
명분이 이렇게 좋은데 롤빽 절대 못시킨다 20 21 23수능급 킬러정도는 나올수 있게 풀릴지도
-
모교에서 아는 선생님 있어서 부담스러운게 이유인가요?
-
1회는 35분정도 나왔는데 한 40분 잡고 풀어야되나
-
저녁뭐먹지 2
지금부터 고민해야 저녁먹을때쯤 생각남
-
대선 끝나고 안철수 좌천 이준석 팽 윤핵관 득세부터 지들 입 맛대로 하려다 안돼서...
-
근데 A나라가 B국가에 병합되면 A국민=B국민 아님? 8
당연히 일제시기 무능한 왕조로 나라가 망해서 일제에 병합됬으면 일제의 국민으로 보고...
-
안녕하세요 독학재수하고 있는 재수생입니다 ㅠㅠ 사탐런 세지사문 사탐공대 가고싶은데...
-
정치체가 흔들리는 원인은 정치인들이 본질을 모르기 때문이 아닐까 2
며칠 전 읽은 사회계약론의 내용을 빌려보자면 주권을 위임받은 대리인들이 그 주권의...
-
수능보기까지 1년동안 보통 수학엔제 몇권정도 푸시는거같나요??? 3
몇권정도 푸시는거같나요???
-
둘다 응시해본 사람인데 현장 체감은 24>=25라고 느낌 당연히 1년 더 공부하면서...
-
그거 그냥 주말에 학교 가도 됨? 반수생이라 평일에 학교 갈 시간이 안 날 것 같은데ㅜ
-
킬러정책 배제 <- 이전 수능으로 회귀 사탐런은 죄다 머리 깨지고(1등급 50...
-
프사 바꿀까요? 6
지피티 이거 아주 물건이네요 제 프사 원본(AI생성) 지피티로 한번 돌린...
-
수특 수능기출의미래 3회독했고요 그담에 너기출 집에있어서 풀고 그거 존나...
-
예를 들어 자연상수가 변화율이 자기 자신으로 맞춰진 인위적인 값이라는걸 알았을때나...
-
치열했다..
-
ㅈㄱㄴ
-
먹을만 할까요? 8천원이든디..
-
다음 대통령 8
이재명인가 적수가 안보이는데
-
[속보] 尹 “기대에 부응 못해 너무 안타깝고 죄송” 7
4일 헌법재판소로부터 파면 선고를 받은 윤석열 전 대통령이 이날 법률 대리인단을...
-
정시마려운데 하면 더 점수안나올까요
-
월급이랑 과외비 들어옴 15
아 너무 좋아 근데 시발 월급에서 연금을 왜이렇게 많이 가져가냐ㅜ
-
과잠 나왔으면 입고갓을텐데 크아악
-
아 집가고싶다 0
금 풀강 싫어
-
와씨,,, ㄹㅇ 파면됐네,,, 아니,,, 대통령 겨우 4년인데 왤케 다들 중간에...
-
-
441122 6
4월 4일 11시 22분 숫자가 신기하다
-
지금부터 2024헌나8 대통령 윤석열 탄핵사건에 대한 선고를 시작하겠습니다.▣...
-
사회적 통합은 1
영영 이뤄질 수 없는걸까요?
-
이미 킬러문제니 뭐니 신나게 두들겨맞고 바꾼 기조 기껏 킬러배제 배제한다고 원상복구...
첫 문장 정확한 해석
모든 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의 존재한다가 같다고 한다면 어떻게되나요