제 가설 쉽게 해설한 버전
게시글 주소: 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를 선물하세요.
-
13,14,15,22,28,29,30을 현장에서 다 푼다고??!!??
-
러브 유어셀프
-
혹시 농구 좋아하세요? 10
언제 찍은걸까 갤에 있더라고
-
-
선생님이 중력렌즈현상 설명하는데 거기서 ”중력이 세진다“ 가 나옴 근데 어떤...
-
ㅇㅈ 누구누구함
-
좋은 대학가는 상상하는건 별 감흥없는데 수능날 국어 1등급 찍고 미적 100점 받고...
-
내일 11시에 봅시당
-
메디컬x 과는 전후 똑같음 꼭 카리나 아니여도 됨 2인 1실임
-
흠
-
1컷 70초반 1등 82.2(본인) 평균 30점대 후반~ 40점대 초반 25문항...
-
으흐흐
-
지금 맥날 갈까 0
아님 또 다이어트 도시락?
-
시대인재 에어컨하고 밑자리 많이 추울까요?
-
정신뼝오십개걸림
-
정벽쟝! 하잇~ 6
나니나 스키~ 오르비-요리무 아.나.타
-
-
오르비 안녕히주무세요 12
해 뜨고 봐요
-
재수생이고 작수 통통이 원점수 93인데 안가람 시즌2 듣고 잇는데 뭔가 수학실력이...
-
ㅇㄱㄹㅇ
-
차주현 빼고 다버릴예정이라 편하게 강기원 미적있다하면 김현우 미적이 나을까 박종민...
-
꽃 받고싶다 5
프사가 꽃일 정도로 꽃 자체를 좋아하는데 꽃 받는거는 더 좋아해
-
오늘도 영어 지문외우기 유기함 ㅠㅠ 하 씨발
-
우리집 놀러오면 대성 계정 공짜로 줌+김준 크포 교재 무료로 드림 오실???
-
하 뭔가 마음이 허전해 얼굴도 못생기고 성격 더럽고 참 씁쓸하구만
-
Ebs문학 누구꺼 들을까요? 지금 김동욱쌤 커리 타고 있는데 ebs수특은 아뮤나...
-
고양이상 눈나랑 3
만화카페 데이트 하고 시프다
-
딱보니까 이런거 하겠지 지금 이거말고 할게있나 아 이거하고싶다
-
정치병자들 때문에 길거리든 커뮤든 개판되겠네 ㅋㅋ
-
이번룸메는정상이길바라며초반에매번ㅈㅉ친절하게잘해주는데 0
매번개병신이야미친씨발 씻고 머리카락 바로치우는애 여태 한명 코안고는애 영명
-
초6때부터 강의하듯 여러과목 공부하고 쌤들 따라하니 강의력 버프먹음. 판서는...
-
-
둘중 자신있는거 하나 골라서 정답맞추시는분 만덕 드립니다 풀이과정 필수지참입니다
-
두근두근
-
-
고2 정시파이터입니다 수업시간에 수학을 풀어도 개인시간에서 하는것 보다는 속도도...
-
덕코주세요 0
낼 뭐하나 쓸게 이를태면 확통30번 실전풀이?
-
???: 0
그냥 귀찮으니까 한번에 묶어서..
-
과외생 구했음 2
성적 몽땅 올려주고싶음
-
손글씨 모음 2
-
나도 덕코줘 4
잉잉
-
탄핵선고 두 번째에 계엄령 선포되는 걸 실시간으로 보기도 하고 신기함
-
이라는 나쁜 말은
-
-
룸메n
-
고2 정시파이터입니다 수업시간에 수학을 풀어도 개인시간에서 하는것 보다는 속도도...
-
갑자기 확 상승한거같은데 원인이 뭘까 이걸 알아야하는데
-
2/35
-
일반고 2.8정도인데 경희대 학종으로 간다고 아주 수시 생기부 컨설팅에 뽕이 차있는...
-
하다보니 좀 늘엇음
첫 문장 정확한 해석
모든 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)라고 대답해줬음
존재론적 오류는 해석할때 발생하는 오류임
해석은 기호로 된 논리식을 다시 일상언어로 바꾸는걸 말하는거고