제 가설 쉽게 해설한 버전
게시글 주소: 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를 선물하세요.
-
이거 하고 잘꺼임
-
-
김승리가 하지말래서 못하는중임...미리 스포 안해주나? 풀커리 탈거라서 말...
-
손글씨 ㅇㅈ) 3
선착순으로 추천받은거
-
으대<< 여기는 4
보통 성비는 어케됨? 그리고 예쁜 애들 많음? 애들 텐션이나 그런건 어떰? 다 공부...
-
아니면 그냥 먹나요?
-
앞자리 여자애 개귀여움 13
근데 고딩임 이런생각이드는내가싫다 숨 30분만 참을게~
-
와 나 고딩 때 2
저딴 옷 어케 입고 다녔노
-
키작고귀엽고하얗고슬랜더인 사람이랑 연애하고 싶다 나는 도대체 언제쯤 할 수 있을까
-
[수학 내신 관련] 학교별 내신 시험지 유형과 이에 따른 공부법 22
곧 중간고사 기간이 다가오기 때문에 이번에는 수학 내신 시험지의 다양한 유형을...
-
ㅇㅋㅇㅋ
-
먼저 연락올 사람이 얼마나 될까
-
김승리 올오카 들었는데 솔직히 잘모르겠고 오히려 감으로 푸는건 올오카 듣기전이랑...
-
확통 사탐으로 의대가 뚫리나요? 부산에 살아서 지역인재로 넣을건데 확통으로 의대를...
-
명대사 12
핸드와 보드, 그런 것들은 내가 어쩔 수 없는 것들이다. 선택권 없이 주어지는...
-
하 개현타오네 ㅗㅗㅗㅗㅗㅆㅂ
-
투표좀 2
뭐가 나음
-
-
오 9
오
-
2월 부터 림잇으로 랭윤 시작했고요 지금 사회계약론까지 진도 나갔는데 여러번 개념...
-
트러스를 풀다 이로운을 풀다
-
kbs 담요감성 1
빅플릭스 나만 오글거리냐 그림체하며 개그 포인트가 딱 담요식 감성 존나 오글거려서...
-
정떡 4
우정떡치기
-
원하는거 댓으로
-
웹르비 장점 2
광고 안 볼 수 있음 삭제,차단 댓 안 볼 수 있음 레어 안 볼 수 있음 댓글 밑에...
-
로블 재밌다 3
으헤헤
-
설수의기원1일차 8
의문의 여목러 만나러 가자
-
이 흐름을 바꾸어보겠다!!!!!!!! 손글씨 써드릴게요 46
원하는 문장 적어보세요 영어도 한글도 일본어도 한자도 가능
-
하 설레,,,
-
그 다음에 누가 ㅇㅈ하노… 빨리 다른 사람 ㅇㅈ 해버ㅏ라
-
맞짱뜰새끼? 8
없군.
-
누구나. 자유롭게활동하는. 오루비. 괜히. 설래는맘. 품고.여사님들괴롭히지맙시다....
-
되게ㅐ 큼
-
미적 시발점이 좀 어려워서 딴 거 할려하는데 지금 속도와 가속도까진 했어요. 근데...
-
클월... 근데 이것도 잘가봐야 8강딱 당할것같지 왜
-
나랑 사귈 사람 13
어딨음
-
제 여친을 소개합니다 10
예쁘죠
-
기대할게요♡
-
핸드폰 공부랑 컴퓨터 공부함
-
이미지 아는대로 써드림 45
-
3모 보고 처진뒤로 공부할 때마다 눈물이납니다 눈물 안 날 때조차도 그냥 진짜 책...
-
미적하시는분들은 풀어보셈뇨
-
생윤 커리 1
생윤 개념 한 번 다 돌리긴 했는데 뒤에 갈수록 제대로 안외우고 문제도 거의 못풀고...
-
또하면내가개다 댓글예상:개한테 사과하세요
-
아오 좀 와서 16
다리 좀 주물러봐 어깨랑 좀 두드려봐
-
이해원 샀는디 다 풀고 풀만함?? ㅂㄹ면 다른 시중n제 사게요
-
[칭찬글] 오르비언이 얼마나 착한지 ARABOJA 31
(놀랍게도 이번주내에 모두 벌여진 실화) 오르비언: 오르비언: 오르비언:
-
방금 덕코를 처음 받아봐서요 현실에서 쓸 수는 있는건가요?
-
으하하하하 5
으하하하하하하하
-
4/3 작년까진 수동적으로 받아들이는 공부를 했다면 올해는 능동적으로 내것으로...
첫 문장 정확한 해석
모든 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)라고 대답해줬음
존재론적 오류는 해석할때 발생하는 오류임
해석은 기호로 된 논리식을 다시 일상언어로 바꾸는걸 말하는거고