верификации был предложен так называемым Венским кружком. Это группа учёных, которые собирались под руководством философа Морица Шлика и занимались, по сути, разработкой единой методологии науки. В состав этого кружка, к примеру, входили такие титаны мысли, как Курт Гёдель, доказавший свои знаменитые теоремы о неполноте, Карл Гемпель, потрясший основания логики своим знаменитым парадоксом о во́ронах, Уиллард Куайн с его работами по самореференции, и многие-многие другие блестящие учёные и философы. Особое место в Венском кружке занимали Людвиг Витгенштейн и Карл Поппер. Последний считался официальным критиком идей кружка, так как именно он предложил второй критерий научности – фальсифицируемость.
Именно в недрах Венского кружка в качестве философского течения зародился логический позитивизм, известный сегодня как неопозитивизм. В рамках неопозитивизма была впервые формализована проблема демаркации науки как отделение физики от всякого рода метафизики и неестественной философии. И, собственно, представители Венского кружка предложили в качестве критерия демаркации принцип верифицируемости.
Поначалу этот принцип был довольно строгим и назывался «принципом верификации». По правилам предложенной методологии наука должна оперировать исключительно научным языком. В этом языке должны использоваться только два вида суждений – аналитические и протокольные. Аналитические суждения полагаются истинными априори, это суждения без фактического содержания – типа математических утверждений. Протокольные же суждения представляют собой предложения о результатах эмпирических наблюдений или экспериментов. Другими словами, протокольные суждения истинны, так как соответствуют наблюдаемой действительности.
Процедура верификации – это эмпирическая проверка протокольных суждений. Поэтому протокольные суждения должны иметь форму вида «Такой-то наблюдал некоторый объект (или некоторое явление) в такое-то время и в таком-то месте». Сложные гипотезы и теории должны быть редуцированы к множеству таких протокольных суждений. После этого может быть осуществлена верификация и, как следствие, подтверждена или опровергнута гипотеза или теория.
Именно поэтому из-за наличия процедуры верификации все метафизические вопросы попадали в категорию бессмысленных, а потому попросту отбрасывались. А всё дело в том, что философские и метафизические вопросы не могут быть сведены при помощи логической цепочки рассуждений к эмпирическим утверждениям и, как следствие, к экспериментам, которые их могут подтвердить или опровергнуть. И, таким образом, деятельность учёного сводится к формулированию протокольных суждений, их проверке и обобщению.
Однако впоследствии были обнаружены значительные сложности. Дело в том, что такая строгая формулировка принципа верификации не позволяет проверить суждения, которые относятся к далёкому прошлому, либо являются обобщениями. Поэтому формулировка