개념 위키

반증 가능성

Falsifiability

어떤 관측이 있으면 이론이 틀렸다고 판정할 수 있는 성질. 포퍼는 이것을 과학과 비과학을 가르는 기준으로 제안했고, 이후 쿤과 라카토슈가 그 단순한 형태를 비판했다.

입문검토 완료
쓰이는 트랙종교·철학통합

다른 이름: 반증주의, 부정 가능성

정의

이론 TT 가 반증 가능하다는 것은, TT 가 참이면 일어날 수 없는 관측 OO 가 적어도 하나 존재한다는 뜻이다. OO 가 관측되면 TT 는 버려진다 [1].

중요한 것은 반증 가능성이 거짓임을 뜻하지 않는다는 점이다. 반증 가능하면서 아직 반증되지 않은 이론이 좋은 이론이다.

통일 이론에 적용할 때

이론반증 관측상태
최소 SU(5) 대통일양성자 수명이 103310^{33} 년을 넘음반증됨
전기약 통일W, Z 보손 질량비가 혼합각과 어긋남견딤
특정 끈이론 진공저에너지에서 검증 가능한 예측이 확정되지 않음논쟁 중

세 번째 줄이 통일장이론 논의의 핵심 쟁점이다. 예측을 내지 못하는 이론틀을 과학으로 볼 것인가 하는 문제는 포퍼의 기준만으로는 정리되지 않는다.

단순 반증주의에 대한 비판

  • : 이론은 반례 하나로 버려지지 않는다. 대안 패러다임이 있을 때에만 옮겨 간다 [2].
  • 라카토슈: 평가 단위는 단일 이론이 아니라 연구 프로그램이다. 핵심 가설은 보호되고 보조 가설이 조정되며, 프로그램이 새 사실을 예측하면 전진적, 사후 땜질만 하면 퇴행적이다 [3].
  • 뒤엠-콰인: 예측은 언제나 보조 가설과 함께 유도되므로 어느 명제가 틀렸는지 관측만으로는 지목할 수 없다.

트랙 C 에서의 쓰임

자기 가설을 진술할 때 "이 명제는 어떤 관측이나 계산으로 부정되는가"를 반드시 붙이는 것이 이 사이트의 규칙이다. 부정 경로를 적을 수 없는 명제는 버리라는 뜻이 아니라, 형이상학적 전제로 따로 표기하라는 뜻이다.

참고문헌

  1. Popper, K. (1963). Conjectures and Refutations: The Growth of Scientific Knowledge. Routledge.
  2. Kuhn, T. S. (1962). The Structure of Scientific Revolutions. University of Chicago Press.
  3. Lakatos, I. (1970). Falsification and the Methodology of Scientific Research Programmes. Criticism and the Growth of Knowledge, Cambridge University Press.

초고 AI 보조이 글은 초고 작성에 AI 보조를 썼습니다. 수식 유도와 인용은 사람이 확인해야 검토 완료로 올라갑니다.사용 범위

관련 항목

이 항목을 참조하는 글