제 가설 쉽게 해설한 버전
게시글 주소: 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
어떻게 다져요...? 작년부터 계속 문제 잘못 읽거나 계산실수하거나 해서 점수 폭이...
-
수능대비용으로 괜찮나요? 문제 안거르고 싹 다 푸는거 연습중이기도 하고 피지컬...
-
다대기 붂딲 넣어서 밥말아먹으니 천국그자체였음
-
기대했는데 그냥 마라향 첨가한 육개장이었음
-
그냥 쌀밥만 먹어도 술술들어감
-
지킬때마다 기록
-
이상형 1
상대방을 자신의 기준에 맞추려 하지 않고 그 사람 있는 그대로 존중해 줄 수 있는...
-
쪽지 봐줘 오빠들
-
맛이 없기가 힘든 수준이지 않나여
-
두개 난이도 차이 어떤가요?
-
ㅇㄴ 4
작년 3덮 빌보드 기준 메디컬스카이는 생각보다 적네…? 난 올해 3덮 빌보드도 못 들었는데
-
-
갑자기 좋은(좋다고 생각하는) 국어 강사 생각나서 올림 글만읽어도 도움됨...
-
이매진 푸는중이고 다른건 괜찮은데 과학 기술에서 보기문제 이상한게 많네... 원래...
-
여친이랑 데이트할 때도 안 드시나요?
-
일단 독서는 새기분 이미 사서 하고 있는데 문학 강기분 거의 다 끝나가는데 3모...
-
https://orbi.kr/00072744760 제출 기간 : 4/7(월)...
-
갈수록안함. 학교수업안듣고 자습하긔
-
신난다!!!!!٩(^ᗜ^ )و
-
게시글 정리하고 다시 가신 듯
-
말씀 드려야 할까요? 고3 담임쌤이요
-
근데궁금한점 7
그 잇올다니시는 모 오르비언님은 안오시나
-
이거 왜 이럼
-
아무리 봐도 학원 애들 공부 안 하고 엄살 부리는거 같은데 맨날 힘들다하네 흠
-
-
국어 질문이요~ 0
현역땐 2등급컷이었습니다 지금은 유대종 쌤 수업 듣고 있습니다 근데 뭔가 양이 성에...
-
평일만이라서 시간 없으신 분들도 많은 듯,,,,
-
졸려
-
국어도 물리도 지과도 영어도 다 똑같은 놈들 나쁜놈들
-
야이 4
기요마
-
메가 환급 0
경북대는 메가 환급 대상에 안들어가나요ㅜ? 국숭세까지는 되던데.. 경대는 왜 안돠나요..지거국ㅜㅜㅜ
-
얼마정도로 생각함?
-
러닝메이트로 여러분과 함께 달리겠습니다 시험이 다가오거든요… 매일 업로드됩니다...
-
ㅇㅈ 3
정보하다가 자야해요
-
민희진 2
맞다이로 들어오라며 어디간거야 뉴진스 돌려내
-
홍준용커리 0
작년부터 백호커리 타왔고 지금도 실시간으로 따라가고있는데 더 배워가는게 없다?는...
-
부엉님 왜 나갔어요?? 13
걱정되네좀
-
해야할건 엄청 많고
-
나랑도 인생 바꿔줘 13
제발...
-
대충 훑고 풀면 0
정확도 속도 장난아닌데 왜 긴장감 느끼면서 대조하면서 읽으면 안풀리는걸까요 비문학 문학 둘 다 이럼
-
인문 논술 사탐 과목 쌍윤이나 사문이 도움 많이 된다는건 아는데요. 최저는 다른...
-
오늘의 공부 2
한완수 기하
-
이게 시간재고 푸니까 좀 뭐랄까 다시 못해졋음ㅋㅋㅋㅋ 국어 시간 더 늘리기
-
국어황이 될거야 2
고칠 수 없는 국평오는 없어!! 내가 지문이 될거야 언매고 문학이고 모두 풀어버리는...
-
-
뭔가 강사 풀이 이런걸 체화하려고 노력하지 않았던 것 같네요 안 좋은 습관
-
1.준비하는 시험 종류 : 리트 2.독해력 공부 전체 기간, 투자한 시간 :...
-
오늘의 공부 0
매삼비 1일치 영어 20문제+단어 알파 모의고사 3회차 신비해 듣고 문제 풀면서...
-
독재 퇴근 완 1
아오 수학때마다 저능함이 느껴지네
-
공부 ㅇㅈ 11
국어 김승리 허슬테스트(개망함...ㅋㅋ) kbs 2개 매월승리 수학 24 5월...
첫 문장 정확한 해석
모든 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)라고 대답해줬음
존재론적 오류는 해석할때 발생하는 오류임
해석은 기호로 된 논리식을 다시 일상언어로 바꾸는걸 말하는거고