제 가설 쉽게 해설한 버전
게시글 주소: 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를 선물하세요.
-
중앙대의대 최초합 기원 8일차 1 0
-
병무청 키재기 썰 0 0
내 앞에 애가 결과가 이상했는지 한번 더 해달라함 그래서 수작업으로 쟀는데 똑같이 나옴 ㅋㅋㅋㅋㅋ
-
서강대 쓸 걸ㅠ 0 0
서강대 화학 썼으면 넉넉하게 붙을 점수네...진학사 상으로는 완전 불합권이라 안...
-
아주대 행정 vs 광운대 경영 1 1
아주대 진학하면 금융공학으로 전과 할 것 같습니다 어디가 더 좋을까요
-
키 168인 남자도 좋아해주는 5 2
여자가 있나요 흐흐
-
시립대 47명 모집에 191명 지원했어요 추추추추추합으로라도 이거 될까요?? 1순위...
-
물어볼까 1 0
좋아하는 사람이었는데,,, 나 옛날에 튀미햄한테도 차단당했는데;;
-
미팅나가면 뭐하나요 0 0
술마시고 노래방가고 포토이즘가나
-
동생 고1 모고 교재 보는데 1 0
기출이 22년도부터 있네… ㅋㅋㅋㅋㅋㅋㅋ 내가 고1 때가 2020년인데 시간이...
-
(26 부탁, 대통령실과 국가교육위원회 공식 발표) 수능은 이제 대학입학소양시험으로 삼겠고, 절대평가로 전환하여, 학교교육 중심의 새로운 대학 입시 체계를 구축하겠다. 0 0
출처 : "수능, ‘대학입학소양시험’으로 단계적 전환해야" "수능,...
-
차가운 아아가 마시고싶구나 7 0
대머리 독수리같은거지
-
-
뉴분감 병행하는법 질문 0 0
뉴런 대단원 끝날때마다 수분감 풀기 vs 띰 하나 끝날때마다 머가 좀 더 나을까여
-
키 175이상 외모:잘생기진않아도 내 마음엔 들어야함 직업: 눈...
-
광란의20대를보내고싶구나 0 0
알파메일이 아니라 울었어
-
점공 지망순위 정확함? 4 1
아니 딱 1명차이로 떨할거 같은데 근데 얘네 1지망이 3지망보다 더 낮음... 그냥 모르는거지?
-
어디서 시험볼수 있나요?5군데 전화해봤는데 외부생은 응시가 안된다고 해요..ㅠㅠ
-
범바오 겹쳐보여서 몰입이 안되네;;
-
이거 이제 끝난거임? 0 0
서울대 2차 원서 5000원까지 냈는데 끝난건가요? 더 이상 뭐 할 거 없나요?
-
-
비염 당뇨같이 작은거부터 시작해서 생명에 지장 줄 수 있는 병까지 병없고 건강한게...
-
삼반수 언매 화작 1 0
현역 재수 둘다 언매였는데 현역 때는 공부를 안 하긴 했지만 문학독서 개많이틀리고...
-
1호선 오르비 꺼라 1 0
넵
-
점공은 믿을만 한거임? 2 0
낙지랑 메가 정도만 들어가서 보는데 점공이란게 좀 신뢰성이 있는건가?
-
어 형이야 3 1
12월 13일 기준 한화오션 110000-> 147000 한화에어로 90만원 ->...
-
갓생1일차 0 0
이 플리 너무 좋음 헥
-
운동 다녀올게요 4 1
-
고려대 26학번 합격자를 위한 고려대 클루x노크 오픈채팅방을 소개합니다....
-
회계사는 갈수록 취업이 안되나 5 10
AI 영향이라고 방송에서 떠들어대는데 그냥 업계가 불황같음 그래도 전문직 걱정은 하는게 아닌듯
-
토르플<<괴상한 시험임 0 1
기본 단계가 있긴 한데 얘네는 시험 난이도 간격을 왜 이렇게 괴랄하게 책정했는지 모르겠어요
-
서성한 이상의 레벨에서 어디가 있을까요 가산점 혹은 지원 불가되는 대학이요
-
점공 미지원대학 4 1
위에 빠질 인원 계산해보고싶은데 미지원대학을 3개밖에 지정을 못하네요 이러면 발로...
-
원화 가치, 64개국 중 뒤에서 5번째…금융위기 이후 가장 낮아 5 3
[이데일리 유준하 기자] 원화의 가치가 글로벌 주요 64개국 중 꼴찌 수준인 것으로...
-
ㅇㅂㄱ 1 1
-
군수 해야하나 3 0
이번 삼반수는 무휴학+논술이라 수능을 치룬건 아닌데...그래도 아쉽게 놓쳤단...
-
강기분에서 환승연애 얘기 많이해서 뭔지 찾아봤는데 0 0
아니 헤어진 사람들끼리 서로 동의하고 tv 출연을 어떻게 할 수 있는거지;; 나라면 출연못함
-
작년 공과대학 입학식+새터 일정인데 무슨 오전 8시부터 오후 3시까지 약 7시간...
-
밥묵쟈 0 0
내장국밥으로
-
MBK 핵심 경영진 구속 기로…고려아연 경영권 분쟁 '시계제로' 0 0
3월 주총 앞두고 국내외 기관 투자자 판단에 영향 가능성 (서울=연합뉴스) 신창용...
-
윤통 지지자들이 왜 윤통 계엄은 나라를 위한 것이었다고 하는지 이해됨 10 5
우리가 정치인,관료들을 보며 왜 이런 식으로 나라를 운영하냐고,쓸모없는 제도로...
-
언매고트형님들 4 1
언매 개념 다 끝내고 문제푸는중인데 개념 달달고외울정도로 보고 문풀드가셧나요?...
-
"남편이 더 벌면 아내가 살 뺀다"…결혼 후에도 이어지는 '돈·외모 거래' 0 1
[서울=뉴시스]최현호 기자 = 결혼 생활에서 남편이 아내보다 돈을 더 많이 벌면...
-
4년 돼 가는 러·우크라 전쟁… “독·소 전쟁보다 장기화” 0 0
러 독립 언론 “개전 후 1418일 지나… 1418일 동안 이어진 독·소 전쟁...
-
ㅜㅜ
-
다들 2단계 결제하세용 6 0
!!
-
독서실 카메라 시발아 0 0
안내문에 카메라 소리나니까 쓰지 말라고 돼있는데 몇 장을 처 찍고 있는 거야 노캔...
-
요새 왤케 바쁘지 4 0
밥 차려먹고 운동 하고 영어 단어하고 게임하니까 하루가 삭제됨 미친거아님? 밤에...
-
사랑니 발치 1시간전 9 0
넘모 무서워서 덜덜떠는중..
-
ㅈㄱㄴ
-
'인구 수'로 밀어붙이는 중국...서해 선긋기, 한국 스텝 꼬이나 0 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(x)를 다시 “x는 존재한다“로 해석할때
“x"말고 “존재한다“가 다른범위임.
∃의 존재한다와
E의 존재한다가 같다고 한다면 어떻게되나요
저기서의 같은범위는 님이 문장으로 안 말해서 그럼.
당연히 저렇게 적으먼 같은범위임. 같은 x로 기호가 같은데.
근데 E는 “존재한다“라고 “해석“을 적어준다음
∃의 존재한다와
E의 존재한다가 같은 범위냐고 잘 물어보면
gemini가 “혼동하면 안된다“라고 답해줄거같음.
일단 내가 ChatGPT한테 실험으로 물어봤을땐 존재론적 오류(ontological fallacy)라고 대답해줬음
존재론적 오류는 해석할때 발생하는 오류임
해석은 기호로 된 논리식을 다시 일상언어로 바꾸는걸 말하는거고