제 가설 쉽게 해설한 버전
게시글 주소: 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등으로 딱100코 이득
-
댓글 ㄱㄱ
-
씹덕 인증 10
과거형이긴 한데 이 정도면 지금도 인정해주려나
-
플러팅 4
밖은 시끄러우니까 우리집에서 술먹을래?
-
전강좌 수강 할 수 있는 대성패스이고 아예 양도이고 혹시라도 관심 있으신분은 쪽지...
-
하 0
여러분들은 나중에 단위 열심히 보세요 오늘 그거덕에 100점중 20점 까먹음...
-
ㅇㅇ 조만간 미용실가서 이쁘게 잘라야지 거지존 못견디겠음 나도 멋진 장발남이되고싶었다..
-
명곡 5곡 추천 1
https://youtu.be/1Dd_oX-KSNM?si=wFfI3p5Nawdi5lB...
-
대치 현강 지금도 두명씩 앉는 형태인가요??? 분당은 4명씩? 앉으니까 중간에 끼면...
-
토욜 저녁 50번대 일욜 저녁 30번대인데 언제 빠질까요? ㅠㅠ 그리고 둘다 이원화 수업인가요?
-
강의 볼륨도 적은거같고 스타일도 잘 맞는거같아서 국정원 병행하면서 심찬우t 커리...
-
리터러시 문제는 아닌 거 같은 게 애들이랑 영화 보러 가면 다른 애들음 끝나고...
-
드릴 푸는데 해강듣기 효율떨어지고 필기도 잘못하겠음 설맞이 이런거 난도도 ㄱㅊ았고...
-
사문 6모 전까지 개념기출도표까지만 해도 ㄱㅊ나.. 0
6월엔 수특이랑 기출 회독 좀 하고 7월부턴 2일 1 실모 할까 하는데 공부량 너무 적진않나..
-
알면 저와유대감을쌓게되는거임
-
대학가고싶다 0
대학가서 지하철 타는게 소원임 지방이라 지하철이 없음
-
가능
-
"노심융해" "월드이즈마인" "로미오와신데렐라" "천악" "우견의나비" "롤링걸"...
-
내가 어렸을 때 선망하던 00년대 서울의 분위기가 아직도 남아있어서 그럼. 살짝...
-
물론 구라임..
-
미후르
-
어렸을땐 공부엔 딱히 관심이 없기도 했고 그림 그리거나 뭐 만드는걸 좋아해서 맨날...
-
대신 제이팝 잘 모르는 이슈로 이번에는 이름만 들어봤어도 아는걸로 치겠음
-
탑 카르스트 진짜 개좋아하네.. 본 5개 시험지에서 3개 답이 탑 카르스트임
-
찍고 넘기면 다 틀려서 독서보다 문학을 더 못해요..
-
6모 전까지 현강자료랑 실모 돌리려고 하는데 혹시 추천하는 실모나 컨텐츠 있나염!!...
-
수도꼭지가 안 닫힘 12
콧물이 닦아도 닦아도 계속 나옴 닦으면 나오고 닦으면 나옴 닦는 걸 포기하면 편할까...
-
플러팅 ㅈㄴ 쉽던데 21
내 얼굴 자체가 플러팅인데
-
내가 사랑하는 에무쨩 ㅎ
-
의대생 친구가 갑자기 군입대 사진 올렸길래 뭐지 이제 금방 정리될줄알았는데 언제쯤...
-
안하는게 돈버는방법
-
주인 잃은 레어 4개의 경매가 곧 시작됩니다....
-
infp 플러팅 24
옷 예쁘게 입기 10m내에서 함께 있기 생각하기
-
전년도 기준으로 예측하는거 있던데 그거 얼마나 정확한가요 적정뜨면 무조건 붙는 수준이라는건가요?
-
탈릅함 7
커뮤질하다 인생 망하겠노
-
ㅇㅇ
-
보카로 추천좀 10
안들어본거 있으면 들어보게
-
김해 대장 0
랄로 vs 노무현
-
해설지 볼때마다 뇌정지옴 뭐야 왜이래
-
현실적으로
-
ㅊㅊ부탁
-
올해 국어 수특 0
EBS강의 개야무짐
-
나도 행복하고싶어
-
두 과목 연속으로 보는데 오후 6시부터 10시까지 박혀있어야 함 풀다 졸리면 큰일나겠네 ㅋㅋㅋ
-
7.8기형님들 답좀용 월례다음날인데 째도상관없겠죠? 무슨 실적자랑이라던데
-
로피탈,근사 아무것도 모르는데 알아야함??
-
양심적으로 할게요 옛날곡은 유명한 거 빼고 잘 모르긴 합니다 ㅎㅎ
-
4.21 월요일 2
첫 문장 정확한 해석
모든 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)라고 대답해줬음
존재론적 오류는 해석할때 발생하는 오류임
해석은 기호로 된 논리식을 다시 일상언어로 바꾸는걸 말하는거고