검증(檢證 Verification)
한 명제의 진위(眞僞)를 판별하는 과정, 특히 어떤 가설로부터 유도되는 결론을 사실의 관찰, 실험의 결과와 비교하여 그 사설의 진위를 밝히는 일. 논리실증주의가 언어의 논리적 분석을 방법으로 하여 형이상적 및 윤리학을 배격할 때 적용한 원리가 바로 검증원리라는 기준이었다. 슐릭크(M. Schlick)는 "한 명제의 의미는 그 명제의 검증방법"이라는 말로 이 원리를 내세웠다. 검증에 관한 견해는 학자에 따라 다르며, 비인 학파의 내부에서도 두 가지 의견으로 구별된다. 슐릭크와 비트겐슈타인(L. Wittgenstein) 등은 관찰적 명제와 관찰대상의 비교조합(比較照合)에 의하여 검증이 이루어진다고 보며, 노이라트(O. Neurath) て 카드납(R. Carnap) 등은 검증은 명제나 언어 내의 과정으로, 복합적 문장으로부터 집적 관찰 가능한 프로토콜(protocol) 명제가 형식적으로 도출되는가의 확인에 불과하다고 주장한다. 현재 과학적 경험주의에 있어서는 확증의 이론이 이를 대치하게 되었다. → 과학적 경험주의, 검증가능성