제 가설 쉽게 해설한 버전
게시글 주소: 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를 선물하세요.
-
하루만 허락해준다.
-
복습하는데 개맛도리일거같은데 ㄹㅇ 일주일안에 다끝낼수있을듯
-
찬반 집회 속 긴장감 최고조…내일 0시부터 ‘갑호비상’ 2
[앵커] 현재 헌법재판소 인근은 긴장감이 최고조에 달한 상황입니다. 탄핵 찬반...
-
탄핵 인용되면 원-달러 환율은 오르나?
-
집가면서 윤지영 노래 듣는데 고막이 극락 가버리네 윤지영 사랑해
-
작수2등급 올해 3모 79점인데 빈칸부터 글이 하나도 안 읽히네요 ..
-
밤노추 2
-
언매에서 배우는 개념들이 어째서 일어나는 건지 그 원리가 궁금하신 게 있나요 과거의...
-
집안 학력 2등 먹기 좀 뭔가 갑자기 저 사람 바로 뒤라도 따르고 싶어짐
-
-
난 참 궁금함 2
8시에 자면 대애충 푹 자서 덜 피곤할 때 깨버리면 되는데 왜 좆도 피곤하게...
-
어떻게 첫번째 ㅇㅈ이랑 두번째 ㅇㅈ이랑 반응이 일케 다름
-
1.국 강사주간지 풀이(독서만) 국어 엑셀 1일치 본바탕 언매 1세트(10/11),...
-
후진국이라 못 산다고 거지 나라라서 욕하는 게 아니라 알고 봣더니 부패지수 최하위에...
-
(1000덕 받아가세요) InDePTh 영어 독해 개념서 사전 구매 Event 2
2026 InDePTh 영어 독해 개념서를 4/8 전에 구매하신 분들께 다음과 같은...
-
생일주 타는거였음 이런 악질적인걸 왜 하지라고 생각하면서 김치 넣고 있는 날 발견했었음,,,,
-
행정실 분이 04 신분증보고 날 얘가 여길 왜 오지라는 표정을 짓더라
-
지듣노 9
집가면서 듣는중인데 노래 ㄹㅇ좋은듯요
-
진짜 지브리 ㅇㅈ 10
노란 머리가 저에요 ㅎㅎ 앞은 옯만추로 만난 31번째 여르비
-
재미없는 생각 3
재수학원에서 도덕적으로 이성교제vs동성교제
-
나 누구게? 9
ㅅㅅㅎ
-
꽃 피는 산골 24 6평에도 나온
-
싸우자 8
지금이라도 용서를 빌면 살려줌
-
팬이 원하면 갈겨야지,,,,
-
설명충:해당 짤은 호이4 인게임 디버프임 저걸 안떼면 전쟁에 돌입했을때 파리만 따이면 항복함
-
-
트위터보다는백배나음.
-
ㅋㅋ
-
지브리 ㅇㅈ 12
저에용 ㅎㅎ
-
남은 2주동안 엔제 2.5권 수1만 풀기 도전해보려고요 오늘 4일치 한번에...
-
:) 2
:)
-
학원에서 시대컨을 해서 시대컨하게 하는데 전 기출도 아직 다 분석 안했거든요....
-
누가 재수하면 시간 많다함? 그냥ㅋㅋㅋㅋ 하ㅋㅋㅋㅋㅋ 삼수를 해야할것같다
-
300원만 더 모음 되는데
-
오늘의 공부 3
24 8덮수학 84(14,22,28,30) 개어려운거같은데 뭐지 7덮보다 3배는...
-
결과가 어케되든 싸움날거 같음
-
평범하게 물건 보다가도 갑자기 눈돌아가서 어머 이건 꼭 사야돼! 이러는데 이거 고치고 싶음..
-
현역 서성한 이상만 하는게 좋아보이긴함 현역때 중대 이하에서 메디컬가려고...
-
편해지고싶다 9
먼가 벌써부터 할게 많아짐…
-
12시간남았다 2
ㅋㅋ 수고
-
그누가앞에잇던 0
망설이지말고제발어서피해
-
환율 어캐되려나 2
일시적 하락인가
-
모르는애들은 대부분 자서 선생님이랑 아는애들끼리 한시간 내내 WWE함
-
ㅇㅅㅇ 나가 0
이숭용 나가
-
일단 난 탄핵 인용에 9만덕 있는거 싹 걸 생각 있음
-
최선을 뽑는게 아니라 차악을 뽑는 투표라니 ㅋㅋ
-
빅포텐 4규 펀더멘탈 이해원 드릴 엔티켓 시즌2 추천 받아요!
-
12시간남았다 0
-
쉬운거 하나도 없습니다...
-
시대 재종 3월 23일인가 원서접수해서 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)라고 대답해줬음
존재론적 오류는 해석할때 발생하는 오류임
해석은 기호로 된 논리식을 다시 일상언어로 바꾸는걸 말하는거고