우선 한정기술구의 예제로 자주 인용되는
현재 프랑스의 왕은 대머리이다 를 가지고 이야기하겠습니다.
1. 존재성 . 존재양화사로 설명하는 부분 이해했습니다
3. 술어. 그러한 대머리인 x가 있다 로 이해했습니다
다만, 2번인 유일성은 전혀 이해가 되지 않네요
만일 모든 y에 대해 y가 프랑스의 왕이면 y=x이다.
(∀x(Fx → ∀y(Fy → y=x)))
이게 어떻게 유일성을 나타내는 것이죠,?
전혀 의미가 해석이 되지 않네요..
현재 프랑스의 왕은 대머리이다 를 가지고 이야기하겠습니다.
1. 존재성 . 존재양화사로 설명하는 부분 이해했습니다
3. 술어. 그러한 대머리인 x가 있다 로 이해했습니다
다만, 2번인 유일성은 전혀 이해가 되지 않네요
만일 모든 y에 대해 y가 프랑스의 왕이면 y=x이다.
(∀x(Fx → ∀y(Fy → y=x)))
이게 어떻게 유일성을 나타내는 것이죠,?
전혀 의미가 해석이 되지 않네요..
유일성이라는게 프렁스의 왕이 1명으로 유일하다는거 맞지? - dc App
출처 어디??? - dc App
존재양화를 보편양화로 잘못쓴거아니고??? - dc App
프랑스의 현재 왕은 대머리이다. The present king of France is bald 러셀은 (F) 문장은 사실 다음의 3 가지 문장들을 함축하고 있다고 분석한다. 그리고 아래의 이 분석된 재구성 문장들의 열거가 시사하는 바는 기술구가 나타나는 문장 (F)를 기술구가 나타나지 않는 문장으로 바꿀 수 있다는 것, 즉 분석 가능한 문장으로 바꿀 수 있다는 것이다. 그러면 러셀에 따르면 우리는 이제 이 기술구 ‘프랑스의 현재 왕’의 의미를 알 수 있게 된다. (F’) ① 현재 프랑스의 왕이 (최소한 하나) 존재한다 (∃x)(Kx) // (존재문장). 아직 그 수가 하나든, 둘이든, 셋이든 하나 이상의 수에 대한 제한이 없다.
②프랑스의 왕은 하나 보다 많지 않다 (∀ y)(Ky⊃(x=y)) // (유일성 전제) 정확히 그 수가 딱 하나만 존재한다는 의미 ③ 그러한 사람은 대머리이다. // 그러한 x에 대하여, Bx를 만족하는 x가 존재한다. ④ 종합: 현재 프랑스 왕은 정확히 단 한 명만 존재하고, 그 사람은 대머리이다.
여기서 2번이 이해가 되지 않습니다....모든 y가 왕이라면 x와 y는 같다? 이 말은 뭔말이며, 왜 하나만 존재한다라고 해석이되는 건가요?
해당 댓글은 삭제되었습니다.
댓글 달았습니다. 궁금증 좀 해결해 주세여ㅠㅠ
identity 아님?