왜 보편양화는 존재함축을 가지지 못하는지
두개 이상의 술어를 가질때 존재양화처럼 연언으로 나타내지 않고 조건문으로 나타내야만 하는지 궁금합니다
코어논리학책에선 설명이 자세히 안나와있는...
왜 "모든 사람들이 검은 눈동자를 가지고 있다"가
"모든 x가 사람이라면 x는 검은 눈동자를 가지고 있다"여야만 하는건가요
"모든 x는 사람이면서 검은 눈동자를 가지고 있다" 이어서는 안되는 이유가 궁금합니다
그리고 존재양화도 '어떤 x가 사람이라면 검은 눈동자를 가지고 있다' 이런 식으로 나타내면 안되는 건가요??
+질문)
보편양화문장은 존재함축을 가지지 않는다 했는데 왜 여기선 보편양화가 존재함축을 가지는 존재양화를 함축한다고 나올까요??
원래 문제에는 D가 공집합이 아니라는 가정은 없었어요
질문하시려는게 "모든 사람들이 검은 눈동자를 가지고 있다"를 왜 "(all x) (x는 사람들이다 & x는 검은 눈동자를 가지고 있다"가 아니라, "(all x) (x는 사람들이다 -> x는 검은 눈동자를 가지고 있다"로 번역하냐는 것인가요?
이게 질문이 맞다면, "(all x) (x는 사람들이다 & x는 검은 눈동자를 가지고 있다)"는 좀 현저하게 부조리한 함축을 갖기 때문입니다. 이를테면 해당 문장에서는 "(all x) (x는 사람들이다)", 즉 "(이 세상에는) 사람들 밖에 없다"가 도출되는데, 이건 좀 그렇죠.
네 맞아요. 아 이제보니 질문을 엄청 알아보기 어렵게 해놨었네요. 약간 수정했습니다
아 그런건가요 이해될랑 말랑.. 일단 졸려서 내일 또 생각해보겠습니다 감사합니당
보편에 존재가정이 없는이유는 존재하지 않는것을 대상으로 다루는 명제 때문임 '모든 황금산은 황금으로 된 산이다' 는 참이지만 황금산이 실존한다는 이야기를 하는게 아님
어떤 글에서 그 설명을 보긴 했는데 근데 뭔가 납득이 안갔어요. 뭔가 더 자세한 설명을 듣고 싶은 ㅠ
좀더 자세히 어떤점이 납득이 안가고 자세한 설명을 듣고 싶은건지 설명해줄수 있어?
그냥 그 '어떤 황금산은 황금으로 된 산이다'는 왜 '어떤 것이 황금산이면 황금으로 된 산이다'로 해석할 수 없는지 모르겠우요. 그리고 또 이해 안가는 부분 짤로 올릴게요
일단 '어떤 것이 황금산이면 황금으로 된 산이다' 로 해석할수 없는이유는 어떤 것도 황금상이 아니면 전건('어떤 것이 황금산')이 거짓이 되면서 참이 되어버리기 떄문임
어떤 것이 황금산이다 -> 그것이 황금으로 된 산이다
혹시 아리스토텔레스의 논리학 혹은 고전 논리학 이라고 불리는 파트 아니야?
대당의 사각형 나온적있어? 앞페이지에
내 기억이 맞다면 이책에서 타당성 설명할때 논의영역을 가정하라는 이야기가 있던거같은데 혹시 그게 있는지 있다면 x에 대입되는 무언가가 존재한다고 가정하라고 하진 않았는지 한번 확인해봐
논의영역 내에 이름이 없는 대상이 없다는 가정하에 성립하는 의미론만을 다룬다는 얘기가 조금 앞에 나오긴 하는데 이게 공집합이 아니라는 바로 그 얘길까요??
대립 사각형이란거 나왔었어요
"일단 '어떤 것이 황금산이면 황금으로 된 산이다' 로 해석할수 없는이유는 어떤 것도 황금상이 아니면 전건('어떤 것이 황금산')이 거짓이 되면서 참이 되어버리기 떄문임" -> 뭔가 알것 같기도 한데...
논의 영역에 개채가 1개 라도 있다는 보장이 있어야 하는데 이상하네 나중에 책 다시 확인해보고 답해줄게
네
보니까 뒷부분에 관련설명이 자세히 나오네요. 뒤를 먼저 볼걸 그랬어요
이거 무슨 책이에요?
코어논리학이요
차근차근 해결 1) "모든 F는 G이다"의 번역의 경우 왜 조건문이 사용되는가? / (1) (x)(Fx&Gx)로 번역한다면 이 번역 결과는 모든 것이 Fx를 만족하고 Gx를 만족한다는 의미가 됨. 자연언어의 의미에 맞지 않음. 자연언어 "모든 F는 G이다"가 주장하고 싶은 것은 F를 만족하는 것이 G를 만족한다는 것이므로, 집합으로 표현하자면, G가 F를 포함한다는 것임 따라서 이것은 조건문으로 표현해야함
2) "모든 F는 G이다"에 대해서 존재함축이 없는 이유 / 가령 "모든 이 선을 넘는 사람은 죽는다."와 같은 문장이 있다고 했을 때, 이 문장이 참이 되기 위해서 이 선을 넘는 사람이 반드시 존재해야 하는 것은 아님. 따라서 보편 양화사를 포함한 조건 문에 대해서 존재 함축이 존재한다고 할 수 없음
3) (X)Fx가 왜 (Some X)Fx를 함축하는가? / 술어논리의 의미론 상 주어진 영역(Domain) 또는 세계(universe)는 공집합이 아님을 전제함. 왜냐하면 논의영역이 공집합이라면 모든 표현이 사소하게 참이 되어버리기 때문. 따라서 모든 논의영역에는 적어도 원소가 1개 이상 존재하고, (x)Fx가 참이라면, 따라서 F를 만족하는 어떤 대상이 존재함을 함축함.
와 제대로 이해됏습니다 ㄷㄷ 감사합니다 선생님