제 가설 쉽게 해설한 버전
게시글 주소: 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
드릴보다 많이 쉽나..? 풀어보려 했는데 미적도 없는거 같고 난이도도 쉽다는 말이 많네..
-
이건 진짜임
-
사계설 까지만 나가고 시민불복종 안나가네 시불도 하고 끝내주지 시불
-
ㅇㅇ 몇백억은 아니어도 돈좀모아둠
-
얼버기 1
부지런행
-
와 라이스... 0
개미쳤네... 프리킥 멀티골...
-
한무 질문해버릴꺼임
-
종강안하나 0
할때됐는데
-
부엉이님 갔네 1
별일은 없었다니 다행이고 슬슬 반수 시동 거시려나 근데 왜 실검엔 부엉이 말고 다른분이 계시죠
-
집단행동이 이루어지는 양상에 대한 올슨의 주장 - 수특 독서 실전편 제1회 8~11번 0
안녕하세요, 디시 수갤·빡갤 등지에서 활동하는 무명의 국어 강사입니다. 오늘은...
-
아우 졸려 0
-
서킷 30번 있는 회차도 있고 없는 회차도 있던데 왜 그런거에요? 1
강대 다니시는 분 있으면 답변좀..
-
15주차 저는 시간이 굉장히 오래걸려서 미쳐버릴것 같던데요 19문제 푸는데 3시간...
-
늦잠 잤네 1
아이고
-
-
비록 나와 보험금이 동일한 개체는 아니지만 나와 다른 개체들 사이에 비해 더 강한...
-
-
아 잘래 1
졸려
-
뻘글 2
뻘글
-
몸살...
-
옆동네에 근데 이미 게시글 있는데
-
사실검증 된 말인지 모르겠는데 저거땜에 애플에서 중국 아이폰 재고 빨리 가져올라고...
-
좃됏네
-
옯스타 홍보 3
내일
-
도전
-
ㄹㄹㄹㄹ
-
에잉 댓글 달 글이 없네
-
스타킹광고 ㅈㄴ나옴 짤선정도 기가막혀가지고 자꾸 집중력 흐트러짐
-
재수생이냐 대학생이냐 정체를 밝혀라
-
그렇다고 생각함 모든 악질 짓이 새르비에 몰빵되어 있어 아침 점심엔 착한 척 하잔아
-
네
-
작수 진짜 50점 맞을줄 알았는데 47점맞고 2등급인거보니까 정뚝떨인데 매몰비용이...
-
이제 되돌릴 수 없어
-
말이면 어떡하지
-
어칼거임? 기준은 오르비임
-
밤새고 스카 가야겟다 걍..
-
모르겠다
-
우효오오오오오오오오오오오오오오오오옷
-
대체 넌 왜 0
내 맘을 흔들어 어
-
맞팔해줘 0
-
주변에서 처음에 오르비하는 거 말리길래 왜 이러나 싶었는데 7
왜 말렸는지 알 것 같아 죽일 듯이 말리지 그랬어 씨봉방거
-
사유는 갑자기 인스타보다가 지인이 벚꽃사진이랑 커플 사진 찍었더라고 랜탈여친구해요 시급은 열정페이
-
가끔 보면 예쁜 글이 있을거야 가뭄에 콩 나듯이.
-
똥싸니까 4
갑자기 하늘이 맑아보임 집안이니까 하늘같은 건 없음. 미친놈이냐는 나쁜 말은 노노..
-
몇년전에 운이 좋아서 시급 35만원 꼴로; 일을 했는데 (원래 주5 일5시간인데...
-
동기한테 걸릴까봐 못하겠다
-
그저 바라보는 시선이 무거워 맴도는 발걸음 여전히 니가 보고 싶어 i need...
-
어제는 군대 얘기 오늘은 음식 얘기
-
재결합해야겟다 0
ㄱㄱ
-
201129(가): 계산을 줄이려면 0되는곳을 보자 24
어떻게하면 교점쉽게구하지 x z 각각 1,1씩 바뀌고 3,3이니 xy평면교점이...
첫 문장 정확한 해석
모든 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)라고 대답해줬음
존재론적 오류는 해석할때 발생하는 오류임
해석은 기호로 된 논리식을 다시 일상언어로 바꾸는걸 말하는거고