[일반] 논리학 좀 아시는 분 있나여

[OHP(gainbig)]

(6)번 (a)문장과 (b)문장이 어떻게 다르게 해석되는지 잘 이해가 안가는데 설명 해주실 분 계십니까 ㅠㅠ

[익명(117.111)]

코어논리학?? - dc App

[OHP(gainbig)]

논리적 추론과 증명이라는 책입니다

[익명(117.111)]

제 생각엔 존재양화사가 쓰인다면(a), 아담의 아들이 존재한다고 본다는건데, 6번 문장 문맥 상 그건 아니지 않습니까? 문장의 문맥은 "아담이 아들이 있다면" 즉, 아담 아들의 존재 가능성인데, 이 가능성을 단정하는 표현인 존재양화사를 쓰는게 부적합해서 보편 양화사 쓰는게 맞다고 생각합니다 - dc App

[OHP(gainbig)]

감사합니다 이해했습니다

[익명(121.160)]

어떤 x에 대하여 x가 아담의 아들이라면(어떤 아담의 아들이 존재하고), 그 x는 이브의 아들이 아니다 모든 x에 대하여 x가 아담의 아들이라면(존재하든 안하든), 그 x는 이브의 아들이 아니다

[익명(115.137)]

(a) 어떤 x에 대하여, x가 a의 아들이면, x는 e의 아들을 만족시키는 적어도 하나의 x가 있다. (b) 모든 x에 대하여, x가 a의 아들이면, x는 e의 아들이다. (a)의 경우에는 사소하게 참이지. 가령 x가 a여봐. 그럼 Saa이고 이건 당연히 말이 안 되지? a가 자신의 아들일 수는 없으니까. 그러므로 (a)의 전건이 거짓인 게 이미 하나

[익명(115.137)]

라도 있으니까, 아주 사소하게 참이 되버림. 즉, 별 의미 없는 명제가 되버림. 저 문장이. 근데 (b)의 경우에는, 보편 양화사는 x가 반드시 존재한다는 함의를 포함하지 않음. 그리고 만약 x가 있다면, 그 x가 무엇이든지 ~Sxe란거.

[익명(115.137)]

(a)인지 (b)인지 여부를 판단하는 거는, 나라면 사소하게 참이 되는지 아닌지 여부로 판단할 듯

[OHP(gainbig)]

사소하게 참이라는게 뭔지 설명해주실 수 있을까요? ㅠㅠ 감사합니다

[OHP(gainbig)]

아 이해했습니더 감사합니다

[익명(58.78)]

6번 문장을 조건문으로 적어서 복잡해보이는데 보다 일상적인 문장은 아담의 아들은 이브의 아들이 아니다. 라는 문장임. 만약 아담의 아들이 없다면 사소하게 참일 것이고, 아담의 아들이라는게 있다면 그것들은 전부 이브의 아들이 아니다라고 이야기하는거니까 b가 옳은 번역임.

[OHP(gainbig)]

사소하게 참이라는게 무슨뜻인지 설명해 주실 수 있나요 선생님? ㅠㅠ 감사합니다

[익명(39.7)]

a는 확실하게 참이라고 할 수 있는 게, x가 '아담'만을 특정하여 전건이 거짓으로 해 '사소한 참'을 이끌지만, b는 x가 아담이 아니어도 그 모두 참이라 할 수 있다는 뜻임. 그러니까, 저 번역을 바꿔 말해, '아담의 아들이라면, 이브의 아들이 아니다'에서 나타나는 '아들'은, 특정인을 지칭하는 뜻이 아니다라는 말임. - dc App - dc App

[익명(89.187)]

그니까 조건문의 경우 전건이 거짓이면 후건의 진위와 상관없이 항상 참이잖아. 그래서 (a)의 x에 아담을 넣든 박근혜를 넣든 문재인을 넣든 옆집에서 기르는 애완견을 넣든 항상 참이게 됨. 이건 실제로 (6)이 의도한 바는 많이 다르지.

[익명(89.187)]

*의도한 바와는