라카토스

소개

1. Lakatos 증명과 반박을 통한 발견학습
Popper의 비판적 오류주의와 Polya의 수학적 발견술에 영향을 받아 수학적 지식의 성장을 ‘증명과 반박’의 논리로써 설명하고 있다. 수학의 성장은 증명과 반박의 논리에 의해, 추측과 비판에 의해 추측의 끊임없는 개선을 뜻하는 것이라 생각함.

※ Popper의 비판적 오류주의 : 과학적 지식의 불확실성과 잠정성, 과학적 지식의 성장에서의 비판적 사고의 중요성을 적절히 설명해 주는 입장이라 할 수 있다. 모든 지식은 반박도지 않을 때 잠정적으로 인정될 뿐인 추측에 불과하며 추측과 반박에 의해 지식은 성장한다고 주장한다.
1. Lakatos 증명과 반박을 통한 발견학습

목차

1. Lakatos 증명과 반박을 통한 발견학습
2 Lakatos의 증명과 반박의 방법
3. 증명과 반박에 의한 발견술의 규칙
4. 반례에 대한 반박의 방법

5. 증명과 반박을 통한 발견학습의 효과

본문내용

4. 반례에 대한 반박의 방법
① 추측의 기각, 항복방법
반례를 받아들여 추측이 틀렸다고 인정하고 항복하는 것이다. 추측을 버리고 근본적으로 새로운 접근을 시도하는 방법이다.
② 괴물배제법
정의하는 용어를 재 정의 함으로써 원래의 추측에 대한 어떠한 반례도 생기지 않도록 하는 방법이다. 괴물 배제법은 명확한 정의를 창조하여 추측을 명확화 하는 자극이 되기는 하나 이것은 개념을 형성하는 것이 아니라 단지 정의를 번역할 뿐이며 소박한 추측을 개선한 것이 아니므로 발견적으로 유용하지 않다.
③ 예외배제법
원래의 추측은 예외를 제외한 영역에서는 참이 되도록 예외에 대한 조건절을 첨가하여 참인 명제로 바꾸는 방법이다. 이 방법은 모든 예외를 다 발견하고 열거할 수 있다는 보장이 없으며 특히 증명을 고려하지 않은 문제점이 있다.
④ 보조정리 합체법
반례가 출현하게 된 원인이 되는 부분 추측을 찾아 증명에 합체하여 증명을 개선하고 그에 대응하는 조건을 추측에 합체시킴으로써 반박된 추측을 개선시키는 방법이다.

괴물배제법이나 예외배제법 역시 추측을 개선하였으나 그 개선은 증명과는 무관한 것이었다. 증명에 의해 추측을 개선하는 보조정리 합체법의 가장 중요한 측면은 발견의 논리와 정당화의 논리사이의 본질적인 통합인 것이다. 따라서 보조정리합체법은 증명과 반박의 방법이라고 재명명될 수 있다. .

참고자료

· 없음