제 가설 쉽게 해설한 버전
게시글 주소: 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를 선물하세요.
-
국어 백분위 100은 11
재능러인 듯 일단 난 못해봄
-
-
정확한 구분기준이뭐에요
-
윤사 배워서 제대로 배우는 수 밖에ㅜ없음 그럼 좀 재밌어짐
-
님들은 주로 뭐하시나요...? 도파민이 너무 부족해요.......
-
야수의 베스트컨디션은 공복 바키의 이 대사에 꽂혀버림
-
실모 작년 컨텐츠 푸는 중인데 8회전부 2컷에서 1문제씩 틀리네 마치 3등급이 딱이란거처럼..
-
https://orbi.kr/00072770434/%5B%EC%B9%BC%EB%9F%...
-
안돼앵애애애애애애ㅐㅇ애
-
미적2랑 기하를 말끔히 수능에서 배제시켜버렸네 미기확을 다 배워도 모자랄 판에 뭐 하자는 것인지
-
흐물흐물 6
물컹철퍽
-
질문) 사범대 소속이 아닌 교육학과는 정교사 자격증 취득이 안 되나요? 5
ㅈㄱㄴ 보통 교육학과가 사범대 소속인데 그런 데 나오면 정교사 2급 받잖아요 근데...
-
리뷰이밴트까지 했더니 배가 너무 불러
-
농담
-
점메추좀 3
날씨 좋을땐 보통 마제소바 먹긴 함
-
나를 왜 욕하는거야 21
내가 이해가 부족해서 뭔가 이상한 말을 한다면 거기에 대해 화낼이유가 존재하는가?
-
나제 리카이가 데키나이노카
-
혈당스파이크로 기절하는거 보여드림
-
최근 4년간 국어가 어렵고 수학이 쉬워서 그런거일수도 있음 수능에서 국어가 A형...
-
그냥 반팔만 입어도 여장이잖아?
-
왜클릭함
-
댓달면 님이 볼것같은 인스타 릴스 댓글에 달아드림 129
쓰레기통 오픈해보죠
-
난 짐승이야
-
두뇌 풀가동 1
미친 야수의 질주
-
나는 게이인가? 4
나만 알지
-
생각보다 별 차이 없더라 다음엔 가발까지 써야 되나
-
99일 집에 있다가 하루 필받아서 우선 나오고 보는 종족이다
-
더 궁금하다면 디시 검색 ㄱㄱ 고소 무서워요
-
아님 여름되면 더워서 독서실감 집에 에어컨이 낡아서 안시원해
-
이제 슬슬 더움 1
이제 여름이 온다는거임..
-
이제 잘생긴남자 보면 여장하면 이쁘겠다 이런생각 먼저 듦 ;;
-
-
저는 술먹으면 맞춤법을 장맞텨요
-
찾았다 영역 2
따로따로 보니깐 괜찮ㄴ네
-
산책하다 길잃음 3
여기가 그 어디지
-
안녕하세요 성균관대학교에 재학중인 학생입니다. 오답노트에 관한 프로젝트를 진행하게...
-
가능할까요? 0
한줄요약
-
그냥 x가 a와 한없이 가까워 질수있고 그때에, f(x)와 L이 한없이 가까워질수...
-
네가 아플땐 4
조금 가벼운 걱정
-
1.이지영 2.이다지 3.이기상 4.김종익 5.윤성훈 6.임정환 6.수능 응시생들을...
-
피곤하다 6
카페에서 냅다 낮잠자야지
-
ㅜㅠ
-
솔직히 지방의나 인설의나 메쟈의나 거기서 거기 아님? 18
수험생의 입장에서는 당연히 올리고 싶은거 이해가지.. 근데 연의를 나오든 순천향의를...
-
왜 너는 몰랐던거야
-
크아악
-
매일생각한다. 7
이 신성한 줄임말은 대체 누가 만든 것인가.. *물먹기
-
나는 이게 병이 아니라고 생각한다
-
신기하네진짜
-
요즘 나빼고다핑크퐁이네아주
-
답지 죽어도 안본다
첫 문장 정확한 해석
모든 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)라고 대답해줬음
존재론적 오류는 해석할때 발생하는 오류임
해석은 기호로 된 논리식을 다시 일상언어로 바꾸는걸 말하는거고