과학과 철학/ GK 비판적 사고

3. 현재 대세인 TMA의 구성 방식은 다음의 절차를 따른다. • 첫째, OM, SP, NI를 바탕으로 하나의 형상 도입이 결국 무한개의 형상들을 만들어낼 수밖에 없다는 무한 후퇴 논증을 건설한다. • 둘째, 무한 후퇴 논증의 결론이 U와 모순되기 때문에, U, OM, SP, NI는 하나의 무모순적인 체계를 이룰 수 없다. 두 번째는 첫 번째의 직접적 결론이다. 두 번째는 첫 번째의 보조 정리의 성격을 띠고 있으므로, 현재 대세인 TMA 구성 방식의 핵심은 첫 번째이다. (i) OM에 따라 o1, o2, ..., on 모두 F일 때 o1, o2, ..., on들이 참여하는 적어도 하나의 ‘F와 관련된 F-ness’가 있다. (ii) NI에 따라 F와 관련된 그러한 어떤 F-ness는 각 oi(1≤i≤n)..

2. 제 3의 사람 논증을 ‘TMA’로 표기하자. TMA의 구성 방식과 해석 방식은 다양하다. 그 중에서도 현재 논리학자나 논리학을 무기로 한 고대 철학 연구자들이 선호하는 방식을 알려면, 먼저 다음 네 가지를 숙지해야 한다. • OM(One over the Many) 임의로 주어진 n개의 서로 다른 대상들 o1, o2, ..., on에 대해, F(o1), F(o2), ..., F(on)일 때 그 대상들이 참여하는 적어도 하나의 ‘F와 관련된 형상 F-ness’가 있다. (여기서 ‘F(oi)’는 ‘oi는 F’를 뜻한다. 실례로 ‘아름다움(땡칠이)’는 ‘땡칠이는 아름답다’를 뜻한다.) • SP(Self-Predication) F와 관련된 모든 형상들 F-ness에 대해, F-ness는 F이다. • NI(N..