제 가설 쉽게 해설한 버전
게시글 주소: 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인데 시발점 수12 35퍼센트까지 했는데 내신 준비한다고 시발점 한 달...
-
지1->세지로 사탐런 하려는데 엄마 어떻게 설득하죠... 8
재수생이고요 지1을 열심히 해오다가 아 이거 올해 지구 표본은 안그래도 고인...
-
누나가 데리러 갈게❤️
-
정자=돈 이라면 5
난 부자였음
-
물론 수학 킬러나 풀때나 국어 고난도 인문지문읽을때, 탐구 어려운파트할때 속으로...
-
욕 필요함 6
현역인데 이번 3모 때 방학때 쉬엄쉬엄 했는데도 생각보다 잘 나와서 공부를 해야하나...
-
윤성훈 개념, m스킬 검더텅 이렇게 할 건데 이거 세 개 끝내면 그 후로는 뭐함요?
-
괜히 어깨만 무겁게 한번도 안씀
-
얼마 전에 고든 램지 형님 영상에서 푸아그라와 카라멜라이즈 사과를 이용한 요리를...
-
난 진짜 정보적 황금을 연성하는 논리연금술사다... 1
어떻게? 걍 땅파서
-
08이 오히려 좋은점 13
배산임수 마인드로 수능에 임함. 허점:그게 나만이 아니라는거임
-
징징 1
이맘님 그립읍니다 사실 누군지 잘 모르는데 이 분 그리워하는 사람이 많음
-
『자기현시』 1
개간지나는 단어임
-
강대 재종 혹시 0
강남대성 재종 붙었는데 지방살아요 1. 서울에서 자취하면서 혼자 공부할만큼 메리트...
-
걍 징징댈 사람은 눈꼽만큼이라도 피해본거 끄집어내서 온 동네 사방팔방에다 징징대고...
-
지랄 장냔하냐고 아 ㅁ뒤어시잘
-
내가 08이면 8
eju 준비했다. 농담이고 정시러라면 머리 싸메서 확통런 한 다음에 내신 최대한...
-
생명수 모의고사가 곧 출판돼요! 많은 관심 부탁드려요~! 오늘 풀어 볼 기출은...
-
자기중심적인 사고가 아니라 진짜로 피해를 본 세댄데 ㅋㅋ
-
그럼 스카이가 아닌 사람들은 얼마나 더 힘들겠냐 이지 그러니까 학벌같은 건...
-
아레나할꺼임 선착순 1명
-
첨 읽어보는데 꽤 빡세던데 평가원지문들 기준으로 중난이도정도되나요??
-
구라야 08이 제일 불쌍해
-
수험생은 고3이건 n수생이건 아직 제대로 된 사회를 맞이한 경험이 거의 없다시피...
-
한완기로 노가다해야하나………
-
세상에 모순이 없는이유 22
모순이 참이되면 모든명제가 참이됨 대우명제는 어떤명제가 거짓이면 모순이 거짓임 아무...
-
날 이해해라 5
이해하라고
-
너넨 원트에 끝이자나
-
좀 쉬다보니 우울한 기분은 나아졌네요
-
지금 뉴런 공통하고 미적분 시작한지 한달정도 됐고 전체 반정도 한 거 같은데 보통ㅇ...
-
[칼럼] 국어 강의를 들어도 성적이 오르지 않는 이유 28
안녕하세요, 수능 국어를 가르치는 쑥과마늘입니다. 오늘은 많은 학생들의 고민 중...
-
그래도 난 수시러긴한데 개학하니까 공부할시간이 너무 없음 학교 다니면 공부 이외에도...
-
미야지마 방문 5
왕사슴가이즈와 함께 즐거운 섬여행 +한국인 거의 없음
-
개짜증나네 9
걍 치킨 시킴ㅅㄱ 다이어트 내일부터
-
기차지나간당 1
사당행♡
-
오르비했을것같음 ㅈㄴ오르비관상임 나중에 상담할때물어볼까? 선생님 오르비계정...
-
처음알았다.
-
제작년은 투과목 풀린다고 징징 작년은 증원으로 의반 늘어난다고 징징 올해는 사탐런...
-
여기 학군지도아님 ㅋㅋㅋ 서울대 과잠입고오는데..1-1휴학해도 과잠이 나와요?...
-
21111 95/98/1/정법사문 5048입니다
-
기차지나간당 5
부지런행
-
-
강에 침수시키겠다
-
Gpt 검색기록 ㅇㅈ 34
저 강아지 별로 안좋아하는줄 알았는데 지금보니까 사랑하나봐요
-
몇년총합인가요
-
그게 나야 바 둠바 두비두밥~ ^^
-
왜 아직도 여기에…
-
연어 사러왔는데 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)라고 대답해줬음
존재론적 오류는 해석할때 발생하는 오류임
해석은 기호로 된 논리식을 다시 일상언어로 바꾸는걸 말하는거고