"On What There Is"의 두 판 사이의 차이

둘러보기로 가기 검색하러 가기
1 바이트 제거됨 ,  2023년 11월 6일 (월) 00:31
47번째 줄: 47번째 줄:
== 존재론적 구속의 유일한 기준과 수학의 존재론 ==
== 존재론적 구속의 유일한 기준과 수학의 존재론 ==


지금까지 보인 바에 따르면, 이름은 제거될 수 있기에 존재론적 구속의 기준이 되지 않는다. 어떤 이름을 사용하고 사용하지 않고는 그 문장을 사용하는 사람의 존재론적 구속에 중립적이다. 반면 "There is something which ..."와 같이 속박 변항의 사용은 존재론적 개입을 명백하게 드러낼 수 있고, 또한 유일하게 드러낸다. "있다는 것은, 결국, 변항의 값이 있다는 것이다." 예컨대 "Some dogs are white"라는 문장을 "There is something which is a white dog"로 변환할 수 있음을 보이는 순간, 이 문장이 참이 되기 위해 필요한 것은 white dog에 해당하는 어떤 것이 있어야 한다는 것일 뿐, whiteness나 doghood가 있어야 하는 것은 아님을 보일 수 있다.  
지금까지 보인 바에 따르면, 이름은 제거될 수 있기에 존재론적 구속의 기준이 되지 않는다. 어떤 이름을 사용하고 사용하지 않고는 그 문장을 사용하는 사람의 존재론적 구속에 중립적이다. 반면 "There is something which ..."와 같이 속박 변항의 사용은 존재론적 구속을 명백하게 드러낼 수 있고, 또한 유일하게 드러낸다. "있다는 것은, 결국, 변항의 값이 있다는 것이다." 예컨대 "Some dogs are white"라는 문장을 "There is something which is a white dog"로 변환할 수 있음을 보이는 순간, 이 문장이 참이 되기 위해 필요한 것은 white dog에 해당하는 어떤 것이 있어야 한다는 것일 뿐, whiteness나 doghood가 있어야 하는 것은 아님을 보일 수 있다.  


수학의 존재론적 논쟁들도 이런 방식으로 명료해질 수 있다. 어떤 이론이나 논의 형식은 어떤 존재론에 얽매여 있는가? 한 이론은 그 이론 내 진술들이 참이 되기 위해 그 이론의 속박 변항이 지칭할 수 있어야만 하는 존재자에 그리고 그 존재자에만 얽매인다. 즉중세의  수학의 기초에 대한 현대의 관점들 사이의 근본적인 불일치는 아주 명백하게 속박 변항이 지칭할 수 있는 존재자의 범위에 대한 불일치로 귀결된다.
수학의 존재론적 논쟁들도 이런 방식으로 명료해질 수 있다. 어떤 이론이나 논의 형식은 어떤 존재론에 얽매여 있는가? 한 이론은 그 이론 내 진술들이 참이 되기 위해 그 이론의 속박 변항이 지칭할 수 있어야만 하는 존재자에 그리고 그 존재자에만 얽매인다. 즉중세의  수학의 기초에 대한 현대의 관점들 사이의 근본적인 불일치는 아주 명백하게 속박 변항이 지칭할 수 있는 존재자의 범위에 대한 불일치로 귀결된다.


보편자에 대한 중세의 세 관점 실재론, 개념론, 유명론은 20세기 수학철학의 세 관점 논리주의, 직관주의, 형식주의로 재탄생했다. 보편자의 존재를 주장하던 실재론을 계승한 논리주의는 추상적 존재들을 지칭하도록 사용되는 속박 변항을 허용한다. 보편자가 마음의 구성물로서 존재함을 주장하는 개념론을 계승한 직관주의는 추상적 존재들이 미리 구체화된(specified) 구성요소들로부터 개별적으로 구성될 수 있는 경우에 한해서만 그런 존재들을 지칭하는 데 속박 변항을 사용하는 것을 허용한다(논리주의에 따르면 집합은 발견된 것인 반면, 직관주의에 따르면 집합은 발명된 것 / 논리주의자는 무한의 여러 등급을 구분할 수 있는 반면, 직관주의자는 무한의 최저 등급만 얻을 수 있고 그에 따라 실수 법칙도 포기해야). 형식주의는 보편자 부정하지만, 추상적 존재를 마음의 구성물로서도 전혀 허용하지 않으려 할 수 있다. 그들에게 고전 수학은 의미 없는 기호들(notations)을 이용한 놀이이다. 수학적 용어와 문장들은 유용할 수 있으나, 그 유용성은 어떠한 문자적 의미에서도 유의미함을 함축하지 않는다. 수학자들 사이의 합의는 의미 없이도 가능한데, 구문론적 규칙만으로도 가능하기 때문이다.  
보편자에 대한 중세의 세 관점 실재론, 개념론, 유명론은 20세기 수학철학의 세 관점 논리주의, 직관주의, 형식주의로 재탄생했다. 보편자의 존재를 주장하던 실재론을 계승한 논리주의는 추상적 존재들을 지칭하도록 사용되는 속박 변항을 허용한다. 보편자가 마음의 구성물로서 존재함을 주장하는 개념론을 계승한 직관주의는 추상적 존재들이 미리 구체화된(specified) 구성요소들로부터 개별적으로 구성될 수 있는 경우에 한해서만 그런 존재들을 지칭하는 데 속박 변항을 사용하는 것을 허용한다(논리주의에 따르면 집합은 발견된 것인 반면, 직관주의에 따르면 집합은 발명된 것 / 논리주의자는 무한의 여러 등급을 구분할 수 있는 반면, 직관주의자는 무한의 최저 등급만 얻을 수 있고 그에 따라 실수 법칙도 포기해야). 형식주의는 보편자 부정하지만, 추상적 존재를 마음의 구성물로서도 전혀 허용하지 않으려 할 수 있다. 그들에게 고전 수학은 의미 없는 기호들(notations)을 이용한 놀이이다. 수학적 용어와 문장들은 유용할 수 있으나, 그 유용성은 어떠한 문자적 의미에서도 유의미함을 함축하지 않는다. 수학자들 사이의 합의는 의미 없이도 가능한데, 구문론적 규칙만으로도 가능하기 때문이다.


== 존재론 판정의 기준 ==
== 존재론 판정의 기준 ==

둘러보기 메뉴