There is a student who uses pencil이랑 there is a student who does not이랑 p and not p관계가 아님 - dc App
익명(203.229)2018-12-25 21:58
답글
학생이 존재하지 않는 세계에서는 둘다 거짓인데 뭘 어쩌잔거임 ㅋㅋ - dc App
익명(203.229)2018-12-25 21:59
답글
좀 더 엄밀하게 말하면 theres a thing which is a student and uses pencil이랑 theres a thing which is a student and does not use it. 인데 저기서 말하는 가능세계는 logical한 의미라서 학생, 더 넓게는 지성체 자체가 존재하지 않는 세계도 존재함 - dc App
익명(203.229)2018-12-25 22:02
답글
이거 후배가 보라고 해서 했는데 나도 바로 보고 이상하게 답변했던걸로 기억함. - dc App
익명(203.229)2018-12-25 22:04
답글
학생이 존재하지 않는 세계에서는 둘 다 참이지
익명(221.157)2018-12-25 22:38
답글
"어떤 학생은 연필을 쓴다"는 명제가 학생과 연필이 존재한다는 것을 함축한다는걸 존재함축이라 하는데 지금 문제가 그걸 가정하지 않았음. 그래서 학생이 존재하지 않는 세계에서는 둘 다 공허하게 참임.
익명(221.157)2018-12-25 22:40
답글
그게 포인트가 아님. 존재함축을 거부하고 조건문으로 읽는다 하더라도 저 두명제가 하나가 다른 하나의 부정이 아니라는게 핵심이지. - dc App
익명(203.229)2018-12-25 22:56
답글
그건 맞는데 부정으로부터 유도가능한 명제잖아
익명(221.157)2018-12-25 23:05
답글
ㅇㅇ 그래서 올바르게 레퍼런스를 하려면 완결성이 아니라 일관성+포괄상이어야지 - dc App
익명(203.229)2018-12-25 23:09
답글
완결성만으로 "어떤 학생은 연필을 쓴다"또는 "모든 학생이 연필을 쓰지 않는다"가 나오는거고
익명(221.157)2018-12-25 23:14
답글
"모든 학생이 연필을 쓰지 않는다"에서 "어떤 학생이 연필을 쓰지 않는다"가 나오는건 일관성/포괄성과 상관없는 그냥 모든/어떤에 대한 논리 아님? 수학에서는 (∀x)p(x)에서 (∃x)p(x) 가 나오는거.
익명(221.157)2018-12-25 23:16
답글
누가 도출하라 하신분? - dc App
익명(203.229)2018-12-25 23:18
답글
그러니까 니말은 3번 선지는 가능세계의 완결성에 따라서 나온게 아니라 완결성에 따라 나온 명제에서 도출된 명제라서 틀렸다는거지?
https://ssl.pstatic.net/static.news/image/news/2018/2019_scholastic_test/question/1_o.pdf
한번 읽어보셈
수능갤로
There is a student who uses pencil이랑 there is a student who does not이랑 p and not p관계가 아님 - dc App
학생이 존재하지 않는 세계에서는 둘다 거짓인데 뭘 어쩌잔거임 ㅋㅋ - dc App
좀 더 엄밀하게 말하면 theres a thing which is a student and uses pencil이랑 theres a thing which is a student and does not use it. 인데 저기서 말하는 가능세계는 logical한 의미라서 학생, 더 넓게는 지성체 자체가 존재하지 않는 세계도 존재함 - dc App
이거 후배가 보라고 해서 했는데 나도 바로 보고 이상하게 답변했던걸로 기억함. - dc App
학생이 존재하지 않는 세계에서는 둘 다 참이지
"어떤 학생은 연필을 쓴다"는 명제가 학생과 연필이 존재한다는 것을 함축한다는걸 존재함축이라 하는데 지금 문제가 그걸 가정하지 않았음. 그래서 학생이 존재하지 않는 세계에서는 둘 다 공허하게 참임.
그게 포인트가 아님. 존재함축을 거부하고 조건문으로 읽는다 하더라도 저 두명제가 하나가 다른 하나의 부정이 아니라는게 핵심이지. - dc App
그건 맞는데 부정으로부터 유도가능한 명제잖아
ㅇㅇ 그래서 올바르게 레퍼런스를 하려면 완결성이 아니라 일관성+포괄상이어야지 - dc App
완결성만으로 "어떤 학생은 연필을 쓴다"또는 "모든 학생이 연필을 쓰지 않는다"가 나오는거고
"모든 학생이 연필을 쓰지 않는다"에서 "어떤 학생이 연필을 쓰지 않는다"가 나오는건 일관성/포괄성과 상관없는 그냥 모든/어떤에 대한 논리 아님? 수학에서는 (∀x)p(x)에서 (∃x)p(x) 가 나오는거.
누가 도출하라 하신분? - dc App
그러니까 니말은 3번 선지는 가능세계의 완결성에 따라서 나온게 아니라 완결성에 따라 나온 명제에서 도출된 명제라서 틀렸다는거지?
뭐 그거면 납득할 순 있지만 좆긴하네
그냥 완결성 조건에 부합안해서그럼
파딱이 뭐해 시발 완장만 차고 후까시만 주냐
야 논리학이자나 봐줘라 수학하는사람이 논리학 모르면 되냐
수갤이 니 좆이냐 니꼴리는대로 빨아주게;
좆이 꼴리면 왜 빨아줘ㅋㅋ 비유 오류
에지간히 좆같은 떡밥아니면 걍 냅두려하는데
또또또 그 세1대 그 성2별 끄덕끄덕