님들 이거 어떤이 아니라 모든이어야 하는거 어녜요??

[익명(58.234)]

(II), (BT), (PCI)에 대한 설명에서

a, b에 대해 어떤 엔터티 혹은 속성 c 이런 식으로 나오는데 c가 모든 엔터티여야 하는거 아녜요?

구별불가능자 동일성 원리가 어떤 두 대상이 모든 속성에서 일치하면 수적으로 동일하다이니까 어떤 속성만 일치하면 조건 충족이 안되는게 아닌??

그리고 "c가 a의 속성이라면 b의 속성이기도 하다" 이걸로 끝나는게 아니라 그 역도 조건으로 굳이 제시해야 하는 이유가 뭘까요

너무 어려워요

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[TIME(ghawmzldjs71)]

졸려서 정리가 잘안되네 그냥 속성을 어떤 집합, 어떤 개체들을 집합의 원소로, 개체들을 묵는 a라는 집합과 b라는 집합 으로 두고 생각해봐 이해가 쉬울거임

[TIME(ghawmzldjs71)]

II에대해 한쪽만 해당하면 a집합 안에 일부만 b집합이거나 할수 있기떄문에 역도 조건으로 제시하는거임

[익명(58.234)]

약간 알거 같기도.. 감사합니당

[러셀(salvaveritate)]

한국어 표현 '어떤'이 애초에 항상 양화사 ∃로 번역되어야 하는 것은 아니고, 저기에서는 ‘어떤 c’를 ‘c라는 어떤 것이 있다면 그게 …라고 할 때…’를 의미한다고 읽어야 자연스럽겠죠. 반대 방향을 제시해야하는 건 위의 댓글과 같은 이유이고, 여하간 (PCI)를 1차 술어 논리 식을 대상 언어로 하는 메타 언어 문장으로 쓰면 다음과 같습니다: (a)(b)(∀c∈D)((Pca→Pcb)∧(Pcb→Pca))↔=[n](a, b) (단, Pxy: x가 y의 부분이다, =[n](x, y): x와 y가 수적으로 동일하다)

[러셀(salvaveritate)]

두줄 양쪽 화살표를 썼는데 댓글에서 안먹히네;

[익명(58.234)]

선생님 정말 감사합니다..! 확실히 이해가 됐네요.