폴리아와 라카토스

1. 두 학자의 공통점

폴리아와 라카토스는 모두 수학을 완성된 결과만으로 보지 않고, 수학적 지식이 만들어지고 발전하는 과정을 중요하게 보았다.

그러나 발견과 정당화의 관계, 그리고 증명 이후 수학적 지식이 어떻게 성장하는가에 대한 관점에는 차이가 있다.

2. 폴리아의 수학적 발견과 정당화

폴리아는 새로운 수학적 사실을 발견하는 과정에서

1. 귀납추론
2. 유비추론
3. 특수화
4. 일반화

등과 같은 개연적 추론이 중요한 역할을 한다고 보았다.

여러 구체적인 사례를 관찰하고 공통적인 관계를 찾아 새로운 명제를 추측하지만, 이렇게 발견된 추측은 아직 확실하게 참이라고 정당화된 것은 아니다.

따라서 이후에는 연역적 증명을 통하여 추측을 정당화해야 한다.

즉, 폴리아의 흐름은 다음과 같다.

사례 탐색 → 귀납추론·유비추론 등의 개연적 추론 → 추측의 발견 → 연역적 증명 → 정당화

따라서 폴리아는

개연적 추론을 통한 발견

과

연역적 증명을 통한 정당화

를 구분하였다.

3. 라카토스의 관점

라카토스는 폴리아의 발견술적 전통의 영향을 받았으므로 귀납추론이나 유비추론과 같은 비형식적 사고를 부정한 것이 아니다.

다만 라카토스의 핵심적인 관심은 최초의 추측을 어떻게 만들어 내는가보다, 이미 제기된 추측과 증명이 반례에 의해 비판되고 수정되면서 수학적 지식이 어떻게 성장하는가에 있었다.

따라서

“라카토스는 귀납추론이나 유비추론을 사용하지 않았다.”

라고 이해하면 안 된다.

보다 정확하게는,

폴리아는 귀납추론·유비추론 등의 개연적 추론을 통한 추측의 발견을 적극적으로 설명하였고, 라카토스는 추측 이후 증명과 반례의 상호작용을 통한 수학적 지식의 성장에 더 초점을 두었다.

라고 해야 한다.

4. 발견과 정당화에 대한 차이

폴리아에게는

발견 → 정당화

의 구별이 비교적 명확하다.

즉,

귀납추론·유비추론 등의 개연적 추론 → 추측의 발견

이 이루어진 후,

연역적 증명 → 추측의 정당화

가 이루어진다.

반면 라카토스는 증명을 단순히 발견된 명제를 최종적으로 확정하는 종착점으로 보지 않았다.

증명 이후에도 반례가 나타날 수 있으며, 반례를 통해 증명을 다시 분석하고 추측을 수정하면서 새로운 수학적 지식이 형성될 수 있다고 보았다.

따라서 라카토스에게

증명은 수학적 탐구의 끝이 아니라 새로운 발견의 출발점

이 될 수 있다.

5. “라카토스는 폴리아가 마무리한 곳에서 출발한다”의 의미

폴리아는

추측을 어떻게 발견하고, 그것을 어떻게 증명할 것인가

에 관심을 둔다.

따라서

귀납추론·유비추론 → 추측 → 증명

이라는 흐름을 생각할 수 있다.

반면 라카토스는 바로 이 증명 이후를 다시 문제 삼는다.

즉,

“증명했다고 해서 정말 모든 경우에 참인가?”

“반례가 나타난다면 증명의 어느 부분에 문제가 있는가?”

“그 반례를 어떻게 처리하면 기존의 추측을 더 좋은 정리로 발전시킬 수 있는가?”

를 탐구한다.

따라서

폴리아

개연적 추론 → 추측의 발견 → 연역적 증명 → 정당화

라카토스

추측 → 증명 → 반례 → 증명 분석 → 추측의 수정 → 새로운 지식

으로 대비할 수 있다.

즉, 라카토스는 폴리아에게서 하나의 탐구가 마무리되는 증명을 다시 수학적 지식 성장의 출발점으로 삼았다고 볼 수 있다.

Q&A

Q1.

수학적 발견과 정당화에 대한 폴리아의 관점을 서술하시오.

모범답안

폴리아는 귀납추론, 유비추론, 특수화, 일반화 등의 개연적 추론을 통하여 새로운 수학적 추측을 발견하고, 이렇게 발견된 추측을 연역적 증명을 통하여 정당화한다고 보았다. 따라서 수학적 발견의 과정과 연역적 정당화의 과정을 구분하였다.

Q2.

수학적 발견과 정당화에 대한 폴리아와 라카토스의 관점의 차이를 서술하시오.

모범답안

폴리아는 귀납추론과 유비추론 등의 개연적 추론을 통해 수학적 추측을 발견하고 연역적 증명을 통해 이를 정당화함으로써 발견과 정당화의 과정을 구분하였다. 반면 라카토스는 증명을 탐구의 종착점으로 보지 않고, 증명 이후 나타나는 반례와 증명 분석을 통하여 기존의 추측이 수정되고 새로운 수학적 지식이 형성된다고 보아 발견과 정당화가 상호작용하는 과정을 강조하였다.

Q3.

‘라카토스는 폴리아가 마무리한 곳에서 출발한다.’는 의미를 서술하시오.

모범답안

폴리아는 귀납추론과 유비추론 등의 개연적 추론을 통하여 추측을 발견하고 이를 연역적으로 증명하는 과정을 강조한다. 반면 라카토스는 이렇게 제시된 증명을 탐구의 종착점으로 보지 않고, 증명 이후 발생하는 반례와 증명 분석을 통하여 추측을 수정하고 새로운 개념과 정리를 형성하는 과정을 설명한다. 따라서 라카토스는 폴리아가 증명으로 마무리한 지점을 다시 수학적 지식 성장의 출발점으로 삼았다고 할 수 있다.

Q4.

라카토스가 귀납추론이나 유비추론을 부정한 것은 아닌 이유를 서술하시오.

모범답안

라카토스는 폴리아의 발견술적 전통의 영향을 받아 비형식적이고 발견적인 수학적 활동을 중요하게 보았으므로 귀납추론이나 유비추론을 부정한 것은 아니다. 다만 폴리아가 귀납추론과 유비추론 등을 이용하여 최초의 추측을 발견하는 과정에 관심을 두었다면, 라카토스는 이미 제기된 추측과 증명이 반례와 증명 분석을 거쳐 수정되면서 수학적 지식이 성장하는 과정에 더 초점을 두었다.

Q5.

오일러의 다면체 정리를 이용하여 폴리아의 수학적 발견과 정당화 과정을 서술하시오.

모범답안

정사면체에서 4-6+4=2, 정육면체에서 8-12+6=2, 정팔면체에서 6-12+8=2가 성립하는 여러 사례를 관찰하고, 귀납추론을 통하여 모든 다면체에서 V-E+F=2일 것이라고 추측할 수 있다. 그러나 몇 개의 사례에서 성립하는 것만으로 일반적인 명제가 정당화되는 것은 아니므로, 이후 연역적 증명을 통하여 이 추측을 정당화해야 한다. 이는 개연적 추론을 통한 발견과 연역적 증명을 통한 정당화를 구분하는 폴리아의 관점을 보여준다.

Q6.

오일러의 다면체 정리를 이용하여 라카토스의 수학적 지식 성장 과정을 네 단계로 서술하시오.

모범답안

첫째, 여러 다면체를 조사하여 모든 다면체에서 V-E+F=2일 것이라는 원시적 추측을 제기한다. 둘째, 이 추측을 여러 보조정리를 이용하여 증명한다. 셋째, V-E+F=2를 만족하지 않는 전면적 반례가 나타나 기존의 추측에 문제가 있음을 확인한다. 넷째, 증명을 분석하여 반례가 어떤 보조정리에 대한 국소적 반례인지 확인하고, 필요한 조건을 추측에 추가하거나 개념을 수정하여 보다 개선된 추측과 새로운 수학적 지식을 형성한다.

Q7.

라카토스의 수학적 지식 성장 과정에서 전면적 반례와 국소적 반례의 역할을 서술하시오.

모범답안

전면적 반례는 원래 제기된 추측 전체를 반박하여 기존의 추측에 문제가 있음을 드러내는 반례이다. 국소적 반례는 증명을 분석하는 과정에서 증명에 사용된 특정 보조정리를 반박하는 반례이다. 라카토스는 전면적 반례를 단순히 정리를 폐기하는 근거로 사용하지 않고, 이를 증명 분석을 통해 국소적 반례로 연결하여 문제가 된 보조정리를 수정하고 원래의 추측을 개선하는 데 활용하였다.

최종 암기 문장

폴리아

귀납추론·유비추론 등의 개연적 추론으로 추측을 발견하고, 연역적 증명으로 이를 정당화한다.

라카토스

증명은 끝이 아니라 반례와 증명 분석을 통해 추측과 수학적 지식이 성장하는 출발점이다.

폴리아와 라카토스의 관계

폴리아가 ‘발견 → 증명’을 강조하였다면, 라카토스는 이를 ‘증명 → 반례 → 증명 분석 → 추측의 수정’으로 연장하였다.