제 가설 쉽게 해설한 버전
게시글 주소: 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를 선물하세요.
-
뇌절하면 점하고 선분이 1대1 대응됨
-
usmle 공부하면서 수능처럼 좆같은 킬러문제나 특정 유형에 집착해야하는 경우가 없는걸보면 ㄹㅇ인듯
-
201123은 왜 둘 다 라고 하지
-
25시행 중1,고1 국어 시험지 현금 2만원 제공(선착순), 고1 국어, 고2 문학, 고3 특강 분석 문제 배포 1
안녕하세요 나무아카데미입니다. 고1 공통국어, 고2 문학, 고3 특강 분석 기출...
-
문법 다섯문제 다 틀려도 문학독서화작 다 맞추면 1등급 가능하게 ㅇㅇ
-
종강안하나 0
할때됐는데
-
D-7 0
복습속도를 좀더 내야하는데
-
칼럼대회 출마함 2
내용 엠바고
-
이 문제 1번 4번 선지 아무리 생각해도 이해가 안 되는데요 1번에서 내인성 레트로...
-
반수 마렵네 19
높꽁인데 4년동안 이정도 해야되는줄 알았으면 의대갔지 에휴
-
수학 쌩 노베 1
신발끈 끝내고 수1수2하고있는데 이거끝나면 문제집 뭐 사야해요?
-
ㅎㅇ요 1
오랜만에 와봤습니당
-
드릴 적중의 위험을 회피하기 위함이다 - 하예은, 드릴 부동산설
-
이거 하면 어케됨?
-
미친놈들
-
뭔소린치못알아쳐먹겠음한국어도그렇게빨리말하면못알아먹어
-
학습량 적당한가? 공통 미적 총합 28장 정도 되는데 한 장 끝내고 복습하면 하루가...
-
죽은지 얼마안더ㅣㄴ사람 유럽 보냐면 시차만큼 더 살수 있음... 유럽이면 한...
-
미국은 트씨가 많나? 트럼프말고 유명인 또잇나?
-
과탐이거 런각인데
-
맛점하십쇼 0
지금 일어나신 분들은 맛아~
-
영어 기초부터 해야겟다 11
-
23살 지잡대 간호학과 4학년입니다 학벌에 너무 미련이 남아서 3학년 말부터...
-
얼버기 17
으악 피곤해요
-
하루에 한명씩 2
그만두네 일강도 ㄹㅇ 미쳣구나
-
쌤이 담넘으면 선도 보낸다는데 담 안넘으면 5분정도 돌아가야해서 시간아까운데 어케할까여
-
기하 강의 1
골라주세요ㅠㅠ
-
아니 진짜 너무 느림
-
[KBS 대구]대구와 경북 선거관리위원회는 제21대 대통령선거에 앞서,...
-
대학생 분들 종강일 하루 늦춰졌나요?(대통령 선거) 2
화요일에 개강을 해버려서 종강이 월요일인데, 대통령 선거가 화요일임...
-
수학 기출 푸는데 킬러 문제들 못 풀겠는데 어느정도 풀어보고 해설 봐야할까요?
-
적금 << 원금에 이자를 보장해준다고? 와 샌즈!
-
종강종강 0
돌을던지자
-
1.제가 말장난에 잘 넘어가는 편이고 딱딱 떨어지는걸 좀 더 선호하는 편이라...
-
사랑으로 낳아 키운 아들, 왜 시민으로 키우는 데 실패했나 1
동갑내기 여학생을 칼로 수차례 찔러 살해하고, 새벽녘 자기 집에서 체포된 13세...
-
[단독]윤 전 대통령, 나경원 만나 “나라 위해 역할해야…대선 출마 고려해달라” 3
https://n.news.naver.com/article/449/0000305136...
-
언매도 다 죽여버릴 수 있는 문제 전문으로 만드시는분 6
누고 두더쥐 숟가락 열다흩다 등등 네임드 문제 다 이분작품
-
김동욱 t 듣는중인데 독서는 만족하는데 문학을 바꾸고 싶습니다 작년에 김승리 올오카...
-
화작런할까 0
너무 고민이 많다 ㅜㅜㅜㅜ 화확생사라 표점이 너무 안나옴..
-
'트럼프 4월20일 계엄령 선포' 루머 확산…美 국경에 무슨 일? 3
(서울=뉴스1) 최종일 선임기자 = 도널드 트럼프 미국 대통령이 오는 20일...
-
눈비비지 않기 0
-
-
생윤 질문 열심히 하니까 쌤이 쇼펜하우어 질문했다고 논문 뽑아와서 정리해주심
-
독서 수특이 작년보다 어렵네요 기분탓일까요? 제가 감다뒤인걸까요…?ㅠㅠ
-
241122 3
X=0에서 미분계수 음수 < 이거 못 봐서 너무오래걸렸는데 어떻게 이런 사고를...
-
?
-
기하런 고민중인데 표본 너무 얇을까봐 그리고 미적분 표본이 너무 적어져서 더...
-
내 생일 돌아오기 전까지 절대 탈릅 안한다
-
롱충이의 계좌가 복구되진 않음
-
시간제한이 없으니 자꾸만 늘어져서,, 한지문당 폋분 정도 잡는게 좋을까요?
첫 문장 정확한 해석
모든 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)라고 대답해줬음
존재론적 오류는 해석할때 발생하는 오류임
해석은 기호로 된 논리식을 다시 일상언어로 바꾸는걸 말하는거고