제 가설 쉽게 해설한 버전
게시글 주소: 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를 선물하세요.
-
미국/eu/일본및 자유세계->중국 러시아 잠비아
-
일의 순서와 목적을 구분 못하는 거랑 같은 듯. .. 브레인크래커 1강만 봐도...
-
ㄱㄴ?
-
실모 보관하심? 7
브릿지같은 하프모나 실모 오답만 하고 버림? 아니면 따로 보관해둠??
-
정답이 없는 분야에 대해 말 길어지면 결국 싸움남 ㅋㅋ 가족들이랑도 안함
-
1,2학년때 교과성적이랑 세특에 신경을 쓸려고 아예 공교를 안들었고 지금 고3인데...
-
평가원 #~#
-
이렇게 생각하는 몇몇 보이네 문재인 겪어보면 알겠지만 이런애들이 내란견보다 더 위험하긴함
-
잇올 6모 0
홈페이지 들어가서 보니까 신청 성공햇는데 문자는 왜 안 오지 원래 늦게 옴?
-
-
-
어디 간 거냐 ㅅㅂ... 버스에서 좀 볼라 했는데
-
루비짱 0
하이~ 나니가 스키?
-
그런가요?
-
팔릴거 같은데
-
점심 1
삼겹살+비빔면 개꿀맛
-
미궁속으로.... 난이도 업업 해서 22수능 어게인 가나?
-
이재명, 가천대 '이름도 모르는 대학' 발언 논란에 공식 사과 지난 4일 이재명...
-
국어 -25수능과 유사 수학-공통불 미적 약불 과탐-1컷 죄다 47로 맞춤 ㅇㅇ
-
안녕하세요. 제 상황은 전 에 적었듯이 약 한 달 전, 회사를 퇴직하고 본격적으로...
-
묘하게 성대 교표 닮음
-
-
-
다행이다 0
진짜 개쫄렸네
-
29수열이 300배 조음
-
보통 일단 그냥 넘기나? 아니면 다른 강의나 구글에서 찾아보고 그럼?
-
24수능 꽤 괜찮다 생각했는데 비상식적인 독서 난이도하락 눈알굴리기 테스트 문학...
-
가 잘맞는 거 같음. .... 처음엔 했던 소리 또 하면 머리에 쥐날 거 같은데...
-
ㅇㄷㄴㅂㅌ
-
야 이 의뱃들아 4
나도 의뱃 줘
-
강기원 어싸에 매일학습 무등비/삼도극/확률통계 5문항씩 들어있었고
-
???:수능의 정상화 실패
-
한완기 교사경이랑 정병호t n제 고민중인데 뭐가 더 나을까? 지금은...
-
사문 사설 추천 2
사문 사설 모고 추천해주세요 강k 사만다 좋다는데 의견이 너무 다양해서 뭘 먼저...
-
대병파산 간호법 싹다 통관데 윤통 탄핵하나로 그게 본전치기는 되냐 ㅋ
-
대륙남 보고왔는데 ㅈㄴ 충격이네
-
난 기트남어 힛
-
빅이벤트가 연속으로
-
먼 무등비 삼도극이여
-
6모 만점을 받아오면 바로 앞에서 ’드릴‘을 풀어도 뭐라 하지 않겠다 ㄷㄷ
-
버리고 92맞음
-
이제 진짜 해야되죠? 계속 유기했는디..
-
그냥 의대생들 다 재적시켜버리고 26 27 28 정시모집 확대 5
이재명은 합니다
-
대 재 명
-
아이고 0
https://n.news.naver.com/mnews/article/081/0003...
-
(속보)이재명 의대생 미복귀시 전원 기본주택에 입주시키겠다고 선언 3
라고 할뻔~
-
1. 집에서 쉬어꼬부라져서 살려달라고 울부짖는 신김치 준비 2. 소면을 삶는다 3....
-
모의고사에 의미부여하기
-
정시확대 시켜주신분 의대정책 안하셨던분 킬러배제 안하셨던 분... 그저 goat 뒤늦게 깨달았습니다
-
누구들을까요
첫 문장 정확한 해석
모든 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의 존재한다가 같다고 한다면 어떻게되나요