메타수학(metamathematics) vs 과학철학(Philosophy of Science)

[석수]

● 메타수학(metamathematics)

메타수학(Metamathematics)은 수학적 증명 방법, 추론 규칙, 일관성 등 수학 체계 자체를 연구 대상으로 삼는 상위 수준의 학문입니다.

논리학적 기법을 사용하여 수학 체계가 내부적으로 완전한지, 모순이 없는지 등을 분석하는 수학의 기초 연구 분야입니다.


메타수학 (수리논리학)

정의

수학에 대한 수학, 또는 수학 논리학을 수학적 기법으로 연구하는 학문입니다.
주요 특징: 시스템 내부(증명)와 시스템 외부(시스템에 대한 분석)를 구분합니다.


주요 연구 주제:

증명론(Proof Theory): 수학적 증명의 구조와 성질을 연구합니다.

일관성(Consistency): 시스템 내부에 모순이 없음을 증명합니다.

괴델의 불완전성 정리: 특정 형식 체계 내에서 증명할 수도 없고 반증할 수도 없는 명제가 존재함을 밝힌 메타수학적 성과입니다.




● 과학철학(Philosophy of Science)

과학철학(Philosophy of Science)은 과학적 지식의 본질, 방법론, 전제 및 가치를 철학적으로 탐구하는 학문입니다. '과학이란 무엇인가', '과학적 방법은 타당한가'와 같은 질문을 통해 과학적 사실의 객관성, 이론의 진보, 윤리적 문제 등을 분석하며, 과학의 기초를 확립하고 그 성과를 비판적으로 성찰하는 분야입니다.



1. 주요 핵심 논제

과학과 비과학의 구분 (Demarcation Problem): 무엇이 진정한 과학인가?

과학적 방법론 (Scientific Method): 귀납법, 연역법, 검증, 반증(칼 포퍼)의 타당성

과학적 지식의 진보: 과학은 진리를 향해 누적적으로 발전하는가(토대론), 아니면 패러다임의 전환(토마스 쿤)인가?

과학의 실제와 현실: 관측과 실험이 이론을 완벽하게 검증할 수 있는가?


2. 과학철학의 분야

일반 과학철학 (General Philosophy of Science): 과학 전반의 정체성, 방법, 목적 다룸
개별 과학철학 (Special Philosophy of Science): 물리학, 생물학, 심리학 등 특정 학문 분야의 전제와 개념 분석



3. 대표적인 고전적 관점

토마스 쿤(Thomas Kuhn): 과학은 패러다임 전환을 통해 혁명적으로 진보한다.

칼 포퍼(Karl Popper): 과학적 지식은 검증이 아니라 '반증 가능성'에 의해 그 자격을 얻으며, 확실한 기반이 없어도 강에 다리를 놓듯(교각) 지식이 성장할 수 있다.

이안 해킹(Ian Hacking): 과학적 방법론에 대한 철학적 가정을 기반으로 논의.


4. 중요성

과학철학은 과학적 지식이 무조건적으로 참이라는 '과학주의'에서 벗어나, 과학의 한계와 사회적/윤리적 책임을 성찰하게 하며 과학적 탐구의 본질을 더 깊이 이해하도록 돕습니다.