가설 연역 방법

가설 연역 방법(假說演繹方法)은 어떠한 현상의 관찰로부터 가설(假說)을 설정하고, 그 가설을 검증하는 과정을 통하여 이론이나 자연법칙을 이끌어 내는 과학적 방법의 한 갈래이다. 가설은 현실적 조건에서는 증명하거나 검증하기 어려운 사물, 현상의 원인 또는 합법칙성에 관하여 예측하는 이론으로, 가설 연역 방법은 크게 이러한 가설을 설정하는 단계와 이를 시험함으로써 가설을 정당화하는 단계로 나뉜다. 가설을 설정하는 단계와 실험 결과로부터 가설을 정당화하는 과정에는 귀납적인 추론이, 가설로부터 검증을 위해 실험을 설계하고 결과를 예측하는 단계에는 연역적인 사고가 요구된다.

배경

19세기 윌리엄 휴얼은 17세기 프랜시스 베이컨에 의해 제기된 귀납을 보완하기 위해 가설 연역 방법을 도입하였다. 그는 그의 저서인 History of the Inductive Sciences(1837)와 The Philosophy of the Inductive Sciences, Founded Upon Their History (1840) 에서 과학이 어떠한 방식으로 발전해 왔는지를 서술하면서, 관찰을 통해 얻은 지식으로 과학적 개념을 이끌어내는 귀납적인 방식을 언급하며, 이를 바탕으로 연역적으로 전개된 가설의 검증을 통해 자연법칙이나 이론을 이끌어 내는 방식을 추가한 가설 연역 방법을 설명하였다. 이후 가설 연역 방법은 여러 과학 분야에 걸쳐 과학적인 연구의 방법으로 활용되었다.

현상 탐구

가설 연역 방법에서 관찰과 연구를 통한 현상 탐구는 가설을 설정하는 데에 있어 중요한 역할을 한다. 현상을 관찰할 때, 관찰자는 어떠한 상황에도 휩쓸리지 않는 편견 없는 태도로 자신이 관찰한 현상을 숨김없이 서술하여야 한다. 과학자는 귀납주의적인 관찰을 통해 현상에 대한 보다 넓고, 정확한 의미에서의 이해를 돕는다. 이러한 현상에 대한 깊은 이해와 기존의 연구를 뒷받침하여, 과학자는 현상을 설명할 가설을 세울 수 있게 된다.

가설 설정

현상의 탐구를 거친 다음, 과학자는 현상을 설명하기 위한 가설을 설정한다. 이렇게 추측된 가설들은 귀납적인 추론에 의해 결정되는 것이 아니라, 현상을 설명하는 하나의 방안으로서 창안될 뿐이다. 과학적인 가설은 시험을 통한 검증 과정에서 반증될 수 있어야 한다. 가설의 반증가능성은 그 가설이 과학적인지 여부를 판단하는 하나의 잣대로 활용된다. 이러한 가설의 설정 단계에서는 기존의 설명과는 다른 창의적인 추측을 하는 것이 중요하며, 반드시 참일 필요는 없다. 가설은 그 자체로 다른 가설을 설정할 수도 있다.

결과 예측

가설을 입증하기 위해서는 그 가설로 인해 일어나는 부과적인 결과를 예측하고 그 결과를 시험해 봄으로써 가설을 검증하는 과정이 필요하다. 과학적으로 설계된 가설은 연역적인 과정을 통하여 결과를 도출해 낼 수 있다. 과학자들은 이러한 결과를 시험하기 위하여 보다 확장된 관찰과 실험을 실시한다. 이렇게 예측된 결과는 실제 결과와의 비교를 통하여 가설의 입증과 이론의 도출에 영향을 준다.

실험 및 검증

만약 실험이 가설을 뒷받침한다면 이론이나 자연법칙으로 간주된다. 실험이 가설을 뒷받침하지 않는다면 거부되거나 수정된다. 중요한 것은 실험으로 입증된 가설이나 정리를 잘 정의해야 한다는 것이다. 이것은 종종 과학에서 이론은 입증될 수 없고, 반증될 수만 있다고 말해진다. 오랫동안 유지되어 온 이론을 뒤엎는 이론이 출현할 가능성은 항상 존재한다. 언급한 바와 같이, 실험은 가설의 확인이나 검증을 위해 행해진다. 과학적 방법은 예측이 명확하고 실험이 반복된다면 가설은 수정되거나 삭제되어야 한다는 것을 요구한다. 게다가, 이론이 얼마나 정교한지는 관계없이, 그 이론이 자연법칙에 들어맞아야 한다. 물리학은 다른 모든 과학과 같이 실험적 검증이 절대적으로 필요하다. 실험은 새로운 입자의 관찰과 같이 이론을 직접 검증할 수도 있고, 수학과 논리를 이용해서 새로운 입자의 반감기와 같이 이론에서 파생된 결과를 검증할 수도 있다. 실험의 필요성 또한 이론이 검증 될 수 있어야 한다는 것을 말해준다. 물리적 성질이 없어 발견될 수 없는 입자가 존재한다는 이론과 같은 테스트될 수 없는 이론들은 과학적 이론으로 자격이 없다. 가설에 의한 예측이 실제 실험 결과와 다르다면, 이 실험 결과를 바탕으로 초기의 가설 설정 단계로 되돌아가 새로운 가설을 세워야 한다.

가설 입증과 이론 도출

가설의 입증은 위와 같이 그 가설을 지지하는 독립적인 실험들을 통해 이루어진다. 만약 가설이 참이라면, 위에서 실시된 실험들은 귀납적으로 이 가설을 지지할 것이고 이러한 과정을 통해 가설은 이론으로서 확립될 수 있다.

검증의 문제

검증의 문제는 가설 연역 방법의 단계 중 현상을 관찰하여 가설을 설정하고, 실험 결과를 통해 이론을 도출하는 귀납적인 과정에서 일어난다. 이에 관련하여 귀납적인 이론 도출을 비판한 과학 철학자로 칼 구스타프 헴펠을 들 수 있다. 그는 까마귀 패러독스라 불리는 귀납적 검증과정의 한계를 드러내는 역설을 통하여 자신의 주장을 설명했다.

어떤 생물학자가 “모든 까마귀는 검다”라는 가설을 세웠다고 하자. 그런 후 그는 가설이 정말로 맞는지를 확인하기 위해 새로운 까마귀를 발견할 때마다 색깔이 검은지를 확인하고 있다. 가설을 얻은 후 지금까지 그가 새롭게 관찰한 까마귀는 100마리였고 그것들은 모두 검은 까마귀들이었다. 그러나 그가 이러한 경험적인 관찰을 통해 자신의 가설을 ‘증명’한 것은 아니다. ‘증명’이라고 하는 것은 모든 경우에 대하여 어떤 사항이 모든 경우에 모순없이 작용한다는 것을 보인다는 것인데, 이 생물학자의 경우에는 결국 100가지 특정 사례만을 관찰하였을 뿐이다. 이와 마찬가지로 다른 경우에서도 귀납적인 방법을 통해서 일반적인 법칙을 증명할 수 없다.
헴펠은 이러한 역설을 통하여 가설 연역 방법의 귀납적인 검증 과정을 비판하였다. 이에 대하여 논리 실증주의자들은 ‘검증가능성 원리’에 대한 이런 심각한 문제 제기를 수용하여 ‘검증’ 대신에 ‘확증’이라는 개념을 도입하였다. 즉,‘증명’이나 ‘검증’처럼 완벽한 논리적 뒷받침을 추구하지 말고, 가설을 지지하는 정도를 확률로서 나타내자는 생각이다. 그러나, 이런 후퇴적인 제안에도 문제는 여전히 남아 있다. 보편적인 과학 이론을 개별적인 관찰이나 특정 실험의 결과들이 확증시켜줄 확률은, 보편 진술에서 파생된 셀 수 없이 많은 파생 진술들을 제한된 특정 개별 관찰 진술들로부터 설명하는 것이고, 이것이 완벽히 보편적인 이론을 의미할 확률은 0을 의미하기 때문이다. 다시 말해, 어떤 보편적인 과학 이론도 경험적 검증과정에 의해서 확증될 수 없다는 것이다. 이 문제는 개별 사례로부터 일반 진술로 나아갈 때 발생하는 귀납적 방법의 문제이다.
가설 연역 방법 역시 귀납적 방법에 기초한 것으로 검증 가능성에 대해 비판 받았다. 현재, 가설 연역 방법의 이러한 문제를 해결하기 위하여 보완하거나 또는 새로운 과학적 방법들이 논의중에 있다.