귀납은 현대 논리학에서 연역이 아닌 모든 추론, 즉 전제가 결론을 개연적으로 뒷받침하는 모든 추론을 가리킨다. 귀납은 기존의 정보나 관찰 증거 등을 근거로 새로운 사실을 추가하는 지식 확장적 특성을 지닌다. 이 특성으로 인해 귀납은 근대 과학 발전의 방법적 토대가 되었지만, 한편으로 귀납 자체의 논리적 한계를 지적하는 문제들에 부딪히기도 한다. 먼저 흄은 과거의 경험을 근거로 미래를 예측하는 귀납이 정당한 추론이 되려면 미래의 세계가 과거에 우리가 경험해온 세계와 동일하다는 자연의 일양성, 곧 한결같음이 가정되어야 한다고 보았다. 그런데 자연의 일양성은 선험적으로 알 수 있는 것이 아니라 경험에 기대어야 알 수 있는 것이다. 즉 “귀납이 정당한 추론이다.”라는 주장은 “자연은 일양적이다.”라는 다른 지식..