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