제 가설 쉽게 해설한 버전
게시글 주소: 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
예전에 유튜버 뒷광고인가 뭐 논란있지 않았나요 왜이렇게 익숙하지
-
고전시가 공부하는데 잔나비라는 단어가 많이 나오길래 함 찾아보니까 원숭이라던데 그때...
-
오늘은 불금인데 6
다들 뭐하심?
-
美대사관 “헌재 결정 존중…한미동맹 지속적 힘 재확인” 1
주한 미국 대사관은 4일 윤석열 전 대통령의 탄핵 인용과 관련해 “미국은 한국의...
-
재매이햄 비호 여론이 장난이 이니던데
-
수능수학 목표 변경 28
중간 2에서 낮은 3으로...
-
총선 졌으면 얌전히 있을것이지 ㅉㅉ
-
-
칸트는 자기 자신을 속이지 말 것 이란 정언명령에 어긋난다고 보겠군..
-
이것만은 안된다
-
혼술하기 좋은곳 추천좀 12
ㅈㄱㄴ
-
이거 진짜 3점급임? 14
아니라고 해줘
-
안가 배째 어쩔건데 돈안벌어
-
수능을 보신 분들이라면 수능장의 분위기에 대해서 잘 알고 계시겠죠. 하지만...
-
이제 안함 오늘은 못해
-
-
개념서에서 이 공식이 왜 나온거지 원리를 알아야된다고들 하시던데 지수법칙이나 각변환...
-
생각하면 개추
-
[계속되는 뻘글] 오르비의 리젠량을 그래프로 나타내어 보자. 5
1. 연간 a1 a2.....<--그래프의 뾰족점들 매년 다이나믹하긴 하다 2. 일간
-
200명 기준으로 이번 모고는 6등이라 우럿써..
-
화작 공부 4
고2 노베 정시러입니다… 독서랑 문학은 인강 들으려고 하는데 화작은 어떻게 공부해야 할까요…?
-
둘이 싸우면 누가이김
-
주변에 대규모 집회 예정이니까 조심하라고 학교 단위로 오네..
-
”가능할까요?“ 시즌3 10
4덮 전까지 2주만에 수1 엔제 두권 가능할까요?
-
이제 대통령감인 사람?은 누구 있나요?
-
다행인가...휴
-
5명 6
착한 사람 배려심이 넘치는 사람 나쁜 사람 ㅠㅠ 아니거든요
-
식당 아저씨 왈 다들 탄핵 되어서 기뻐서 슬퍼서 술 마셔서 오늘 사람들 많을 것 같다하심
-
수2는 ㄱㅊ던데 수1 풀다가 정신 나갈뻔했네
-
안녕하세요 인사드립니다 비록 현재는 재수생 신분이지만, 영어만큼은 전교 1등,...
-
예쁘긴 하지만 그만큼 많이 힘들듯 방구석에 누워서 오르비에 똥글이나 벅벅 싸는 내가...
-
올해 수특 3
과목 불문하고 풀어보신분들 어떠셨나요?
-
-
공부 4
오늘따라 안되네 내일 하루종일 일 하는 생각하니까 너무시러
-
나름 중도보수라고 생각하고 윤석열 탄핵 인용->잘된 일 이재명 대통령 당선->원치는...
-
시대인재
-
저메추 좀 마라탕X, 피자X, 치킨X, 면 종류X(별로 배가 안 참)
-
ㅠㅠ 16
코딩 안해
-
생1 1
생1 킬러가 몇문제인가요?
-
진짜 없냐? ㅠㅠ
-
떠올려되는 생각들 개념들 스킬들 다 정리하는중임 시험장에서 도구 마음대로 조합해서...
-
Tim이랑 병행할 거임 알려주면 수능 대박남
-
ㅠㅠ 10
수학 안해
-
-
https://v.daum.net/v/20250404093343106 브래드...
-
대학 못하면 인생 종치는 수준
첫 문장 정확한 해석
모든 x에 대해, x가 현실에 존재하지 않는다면 x는 존재한다
부정
어떤 x에 대해, x가 현실에 존재하지 않고 x가 존재하지 않는다
이 상황에서
“모든, 어떤“의 범주, 즉 양화사가 서술할 집합을 “존재“의 범주보다 더 크게잡으면 해결됨
무슨소리냐면 세상으로 비유하면
“어떤“이 포괄하는 세상은 훨씬 더 크고
뒷 문장의 “존재“가 포괄하는 세상은 좀 더 작게 잡으면 모순이 해결됨
양화사의 “어떤“이 말하는 세상은 우리가 사는 세상인거고, 문장속 “세상“은 시뮬레이션 세상이면 모순이 없는느낌인거. 그림그리고 생각해보셈.
그렇게 잡지 않으면 님 말대로 모순이 생김.
그것뿐임.
실제로 “존재“라는 단어는 문장속에 집어넣으면 이런 모순을 낳는 문제가 있어서 주의해야됨.
뭔말인지 이해됨?
논리학 수업에서도 잘 안나오는 좋은 부분을 찾았음. 실제로 기호논리학에서 주로 다루는게, 기계적으로 문장들을 치환하면 이런 문제가 발생하는 부분인거. 이거 아마 철학과 논리학 수업 과제였나 아니면 교수님이 준 추가과제였나 그래서 나도 기억함.
결론적으로, 부정한 문장(어떤 x에 대해, x가 현실에 존재하지 않고 x가 존재하지 않는다)는 딱히 거짓일 이유도 참일 이유도 없기 때문에(존재는 그냥 “동사“임) 원래 문장도 그냥 아무런 결론이 도출되지 않음
아 근데 “그렇게 잡지 않으면 모순이 생긴다“는게 “그렇게 잡지 않아도 된다“ 즉 “너가 논리학의 모순을 찾았다“는건 아님. 그냥 논리학에서 알려진 해석 오류를 혼자 잘 짚었다는것
애초에 애매한 문장을 논리학 기호로 해석해서 쓰면서 exist가 튀어나온건데 거기서 갑자기 “존재“랑 “exist"의 범주를 혼동해서 해석하는건 순수히 해석하는 사람의 잘못임 ㅇㅇ...
너가 한건
어떤 x에 대해, x가 현실에 존재하지 않고 x가 존재하지 않는다
에서 “어떤 x"가 존재를 이미 함의하므로 모순이라 주장한거라고 요약할수있음
근데 사실은
어떤 x에 대해, x가 현실에 존재하지 않고 x가 존재하지 않는다
>> 이건 그냥 잘 정의된 문장이라는것
정도로 요약 가능
https://orbi.kr/00072718075
∃의 존재한다와
E의 존재한다가 같다고 한다면 어떻게되나요