퍼스는 추론의 세 형태가 연역, 귀납,
가추(Abduction)라는 독특한 주장을 내세웠는데, 연역에서
가추로 갈수록 확실성은 줄어들지만 추론이 가져오는 풍요로움(uberty)은 증대된다. (추론의 가치가 높아진다.) 연역은 전제 안에 들어있는 결론을 확인하는 '공허한' 추론인데 비해
가추는 현실에서 새로운 지식을 얻어내는 '과학자나 탐정'의 추론방식이기 때문이다. (
가추법을 중심으로 홈즈와 퍼스, 뒤팽을 비교한 논문 모음집으로 움베르토 에코와 토마스 시벅이 편집한
논리와추리의기호학을 참조할 수 있다.)
전통적인 삼단논법의 형식으로 이 셋을 보이면 다음과 같다.
- 연역 : 타자를 오래치면 소매가 닳는다 (법칙)
그녀는 타자를 오래쳤다. (사례)
그녀는 소매가 닳아있다. (결과)
- 귀납 : 그녀는 타자를 오래 쳤다. (사례)
그녀는 소매가 닳아있다. (결과)
타자를 오래치면 소매가 닳는다. (법칙)
- 가추 : 그녀는 소매가 닳아있다. (결과)
타자를 오래치면 소매가 닳는다. (법칙)
그녀는 타자를 오래 쳤다. (사례)
가추는 구체적인 사례에 적용할 수 있는 법칙을 (창조적으로) 생각해냄으로써 현실의 연관관계를 밝혀내는 중요한 추론 방식이다. 어떤 이들은 컴퓨터가 연역과 귀납은 할 수 있어도
가추적 사고를 하기는 쉽지 않다고 주장한다. 쉽게 말해 인간이라면 몇 달이 걸려야 할 연역논리 증명을 순식간에 해내는 컴퓨터라고 하더라도 '찍어 맞추는' 일에 대해서는 아주 서툴기 짝이 없는 것이다. 찍기의 위대함,
가추법.