Abstract

동일성의 의미를 비순환적으로 규정하는 역할을 할 수 있는 규칙들을 모색하고, 동일성 명제의 기본 형식과 상대적 동일성 논제를 검토한다. 동일성 판단에 관한 기본 추론규칙들로서 조화의 요구를 만족하는 도입규칙과 제거규칙은 마틴뢰프의 제안을 따라 찾아질 수 있으며, 정의적 동치에 의거한 추론을 수용하기 위해 도입규칙을 수정할 필요는 없다는 논지가 제시될 것이다. 동일성 관계는 유형 혹은 종류에 의존한다는 동일성의 유형의존성 논제가 옹호될 것이며, 이 논제에 대한 옹호 논지로부터 기치의 상대적 동일성 논제에 대한 부정적 함축을 이끌어 낼 것이다.