제 가설 쉽게 해설한 버전
게시글 주소: 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를 선물하세요.
-
개념계몽 10조 기출계몽 10조
-
호루스 코드 누른게 벌써 몇번째인지 모르겟음
-
어ㅣ낮잠 너무 잤어 13
밤에 잘 자야하는데 큰일났내
-
하겠습니다
-
수학이랑 과탐은 다맞아야한다고 봐야하나요??? 국어는 작년같은경우 어디까지 허용됬나요???
-
캐리어도 들어가겠네
-
수학을 할땐 일단 시발점이랑 쎈을 같이 복습하지말고 진도만 쭈욱 다 나간다음에...
-
오늘 팝스 결과 6
제멀: 180->220 유연성:18->24 악력:46->50 드디어 사람됐네
-
사랑해
-
어서와
-
설경 재학 중인 아들 둔 이모한테 사탐런했다고 하니까 이제 나도 혹시 서울대 오는...
-
반수할려고 했는데 포기해서 판매합니다 !! 쪽찌 주세여
-
비유을 하자면 버블시대 일본으로 진입한 느낌? 빌딩이 어마어마하고 사람들은...
-
지금은 ㄱㅊ나)
-
치타는 누워있다
-
이런 식으로 아래 InDePTh 영어 독해 개념서 댓글란에 이쁜 댓글 써주시고 이...
-
졸려잉
-
강남에 왜 저런 인재(대충 디새스터라는뜻)가..
-
수2 자작 0
난이도는 중간 정도인 것 같습니다. 오류 발견하시면 알려주세요
-
다 이해하고 넘어가라였음 약간 이건 완전히 이해하고 넘어가긴 힘들것같은데? 싶은...
-
잉이거뭐지..? 2
안 매고 다니던 가방 뒷주머니에서 갑자기 13만원이 현금으로 나왓음 요즘 선행을...
-
4의규칙은 몇등급부터 풀면 딱 좋노 이거야 소리 나오나요? 1
몇등급부터 풀어야 4규 푼다고 꺼드럭 거릴 수 있나요?
-
술 한 잔 같이 하면서 대한민국의 미래에 대해 토론해보자
-
-
목동고 생명과학 가르치는 김X수 선생님 성희롱은 아니죠 0
어케 학생한테 그런말을 서울시 양천구 목동고등학교 생명과학 김X수선생님 실망입니다
-
여행 어게인 0
-
집이 좋아....
-
나어캄..
-
정신병원 20분 일찍 왔는데 20분 쌩으로 기더리는중 4
실화녀? 버텅 일찍 들여보내 주던데..
-
안녕하세요, 수능 국어를 가르치고 있는 쑥과마늘입니다. 오늘은 이중차분법 지문을...
-
그 양반이 응급구조헬기 필요하다던 국종이햄 지원해준 거는 ㅈㄴ 유명한 일화임....
-
뭔 용어가 졸라 나오길래 이런 식으로 여백에 필기해서 꾸역꾸역 다 맞긴 했습니다...
-
지금 대선후보 7
이재명 이준석 말고 또 잇나요
-
전과에 녹취록에 온갖 구설수 퍼트려도 건재하잖아 이젠 역으로 카리스마 효과까지...
-
뭔가 현역때 풀어본 기억이 나는데 언제푼건지 기억이 안나요 ㅠㅠ
-
저녁뭐먹을까요 내게답을줘
-
뽑아봅시다
-
정권이 바뀐다고 기조가 바뀌면 그동안 준비한건 뭐가 되는거지 무등비 삼도극 부활설 찐임?
-
(영덕=뉴스1) 최창호 기자 = 3일 산불피해지역인 경북 영덕군 영덕읍 노물리...
-
박선우t 랑 정수민t 두 분 차이점 좀 비교해주실 분.... 거의 다 까먹은...
-
나도 중구 한가운데 오피스에서 근무하고 싶다
-
저는 개념서는 사서 풀고 나머지는 있으면 제본 ㅇㅇ
-
나 내가 좋아하는 오르비언 게시물 댓글에 좋아요 누르고다님 48
귀여운자슥들
-
24는 물론 25조차도 투과목이 23이하보다 쉬움 저 난이도에 찍힐 표점과 백분위가...
-
으어어어어...
-
표점차 벌어진다던데 맞는말인가요?
-
여기에있는 학교중에 산업공학밀어주거나 산업공이간판인학교는 어디임?
-
경제vs지구과학1 21
?
-
법조인/국회의원 끌어내라.채포해라 라는 그 증언이 오염됬고 잘못됬는데도 채택된게 좀...
-
확통이랑 미적 중에 17
뭐가 유리하고 뭐가 불리함 어느 면에서 어느 정도로?
첫 문장 정확한 해석
모든 x에 대해, x가 현실에 존재하지 않는다면 x는 존재한다
부정
어떤 x에 대해, x가 현실에 존재하지 않고 x가 존재하지 않는다
이 상황에서
“모든, 어떤“의 범주, 즉 양화사가 서술할 집합을 “존재“의 범주보다 더 크게잡으면 해결됨
무슨소리냐면 세상으로 비유하면
“어떤“이 포괄하는 세상은 훨씬 더 크고
뒷 문장의 “존재“가 포괄하는 세상은 좀 더 작게 잡으면 모순이 해결됨
양화사의 “어떤“이 말하는 세상은 우리가 사는 세상인거고, 문장속 “세상“은 시뮬레이션 세상이면 모순이 없는느낌인거. 그림그리고 생각해보셈.
그렇게 잡지 않으면 님 말대로 모순이 생김.
그것뿐임.
실제로 “존재“라는 단어는 문장속에 집어넣으면 이런 모순을 낳는 문제가 있어서 주의해야됨.
뭔말인지 이해됨?
논리학 수업에서도 잘 안나오는 좋은 부분을 찾았음. 실제로 기호논리학에서 주로 다루는게, 기계적으로 문장들을 치환하면 이런 문제가 발생하는 부분인거. 이거 아마 철학과 논리학 수업 과제였나 아니면 교수님이 준 추가과제였나 그래서 나도 기억함.
결론적으로, 부정한 문장(어떤 x에 대해, x가 현실에 존재하지 않고 x가 존재하지 않는다)는 딱히 거짓일 이유도 참일 이유도 없기 때문에(존재는 그냥 “동사“임) 원래 문장도 그냥 아무런 결론이 도출되지 않음
아 근데 “그렇게 잡지 않으면 모순이 생긴다“는게 “그렇게 잡지 않아도 된다“ 즉 “너가 논리학의 모순을 찾았다“는건 아님. 그냥 논리학에서 알려진 해석 오류를 혼자 잘 짚었다는것
애초에 애매한 문장을 논리학 기호로 해석해서 쓰면서 exist가 튀어나온건데 거기서 갑자기 “존재“랑 “exist"의 범주를 혼동해서 해석하는건 순수히 해석하는 사람의 잘못임 ㅇㅇ...
너가 한건
어떤 x에 대해, x가 현실에 존재하지 않고 x가 존재하지 않는다
에서 “어떤 x"가 존재를 이미 함의하므로 모순이라 주장한거라고 요약할수있음
근데 사실은
어떤 x에 대해, x가 현실에 존재하지 않고 x가 존재하지 않는다
>> 이건 그냥 잘 정의된 문장이라는것
정도로 요약 가능
https://orbi.kr/00072718075
∃의 존재한다와
E의 존재한다가 같다고 한다면 어떻게되나요