Логический эмпиризм (Рудольф Карнап, Венский кружок)

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

Со временем стала все более очевидной ограниченность принципа верификации: сведение любого научного положения к высказыванию об элементарном чувственном ощущении или восприятии оказалось невозможным – процедура проверки, верификации неприменима к вполне конкретным (например, историческим) событиям, которые уже прошли и уже невоспроизводимы; невозможно проверить высказывание, в котором идет речь о каком-либо бесконечном множестве чувственно воспринимаемых предметов (типа «все металлы растворяются в кислотах» или «все лебеди белые»). Невозможно подвергнуть проверке и бесконечное множество существующих, существовавших и будущих предметов. Ни одно общее предложение нельзя вполне обосновать с помощью частных предложений. Для верификации (подтверждения) общего предложения "Все деревья теряют листву зимой" нам нужно осмотреть миллиарды деревьев, в то время как опровергается это предложение всего лишь одним примером дерева, сохранившего листву среди зимы. Подобная асимметрия между подтверждением и опровержением общих предложений и критика индукции как метода обоснования знания и привели Карла Поппера, первоначально близкого к членам Венского кружка, к фальсификационизму.