Острой критике также можно подвергнуть и критерий верификации. Его чрезвычайная узость отсекала не только философию, особенно ее метафизическую ветвь, но и наиболее плодотворную часть самой науки. Научные термины и предложения, относящиеся к идеализированным или просто чувственно невоспринимаемым объектам, в контексте этого критерия оказывались бессмысленными.
Академик В.С. Степин приводит такой пример: «… в современных изложениях классической электродинамики ключевое понятие «вектор-потенциал» отдельно, вне связи с другими понятиями, не редуцируется к эмпирическим данным. Согласно требованиям верификации, эта абстракция должна быть исключена как ненаучная. Но тогда разрушилась бы и теория, обладающая предсказательной силой»[6]. И действительно, многие законы науки в силу своей универсальности и обобщенности не могут быть верифицируемы. Теоретические абстракции образуют иерархически выстроенную «сеть отношений». Проверка этой связной сети опытом состоит в проверке следствий теории как целостной системы с ее эмерджентными свойствами.
Логические позитивисты попытались найти выход из создавшегося критического положения и реформировать свою систему. Особенно следует выделить работу в этом направлении Р. Карнапа, возглавившего после смерти М. Шлика Венский кружок.
В частности, логическим позитивистам пришлось существенно ослабить критерий демаркации и заменить его критерием частичной верифицируемости. В работе «Testability and Meaning» Р. Карнап строит иерархию языков, выражающих ослабление демаркационного критерия в программе логического позитивизма. Позже он отказывается и от экстенсиональности научного языка. В конечном счете демаркационный критерий, базирующийся на принципе верификации становится настолько расплывчатым и неопределенным, что перестает выполнять свое изначальное предназначение.
Логические позитивисты были вынуждены перейти от языка феноменологии к языку физикализма, а позже к языку «вещному», опиравшемуся на понятие наблюдаемости. В результате эмпирические (протокольные) предложения уже не объявлялись абсолютно достоверными, их истинность обосновывалась наблюдением. В силу субъективизма, верификации истины положений науки оказались зависимыми от оценки каждого субъекта, производящего верификацию, поэтому было предложено считать предложение верифицированным, если несколько авторитетных исследователей согласны считать его таковым. Другими словами, критерием истины стало выступать согласие исследователей (конвенционализм).
Логические позитивисты попытались спасти и критерий верификации. В частности, они предложили его новую формулировку: предложение верифицируемо, если существует логическая возможность его проверки. Таким образом они хотели избежать проблем с предложениями о прошлых или будущих событиях