확증과 연역적 증명을 구분하고 반례 하나의 역할을 따로 표시했다.

그림에서 무엇을 볼까요?

생각그림 8 · 확증과 연역적 증명을 구분하고 반례 하나의 역할을 따로 표시했다.

사과 한 개가 H를 확증한다고 해도 H를 연역적으로 증명하는 것은 아니다. 사과를 관찰한 뒤에도 어딘가에 흰 까마귀가 있을 가능성은 남는다. 보편 명제를 거짓으로 만드는 데에는 반례 하나면 충분하지만, 유한한 수의 양성 사례만으로 보편 명제를 참이라고 확정할 수는 없다. 확증은 증거가 가설을 얼마나 지지하는지에 관한 관계이고, 증명은 결론이 전제로부터 반드시 따라오는 관계다. 이 둘을 구분하면 ‘사과가 까마귀 가설을 참으로 만든다’는 과장을 피할 수 있다.