Abstract

크리스핀 라이트와 밥 헤일은 자연수이론에 관한 우리의 지식이 2단계 논리학과 기수개념 설명에 의존하는 선천적 지식이라는 것을 보이려 한다. 이런 종류의 논리주의를 정당화하기 위한 그들의 시도 중 하나는 기수 개념 설명으로 제안된 이른바 흄의 원리가 기수연산자에 대한 성공적인 함축적 정의로 간주될 수 있음을 보이는 것이다. 이 글에서 나는 그들의 함축적 정의 개념이 그들의 논리주의 기획과 잘 어울리지 않다는 것, 그리고 우리는 흄원리를 약정된 진리보다는 일종의 논리적 추론규칙으로 간주하는 편이 더 낫다는 것을 보일 것이다. 그리고 나는 흄원리에 대한 이런 추론적 개념이 라이트와 헤일이 의존하고 있는 프레게의 뜻-지시 의미론에 더 적합하다고 주장한다.