История философии (Энциклопедия)

тинность может быть решающим образом установлена на опыте. Но оно верифицируемо в слабом смысле, если опыт может сделать его вероятным". Его (как и позже) особенно беспокоила проблема - что же подлежит верификации. В предисловии ко второму изданию "Языка, истины и логики" (1946) - под воздействием критики - А. стал трактовать принцип верификации как чисто методологическое требование установления осмысленности предложений. А. поддержал введение семантического определения истины в принцип верификации (утверждение истинности положения в метафизике эквивалентно факту принятия этого предложения в предметном языке). Тем самым верификация в "слабом" смысле выступала как допустимость операции написания предложения, заменяющей чувственную верификацию операциями фиксации предложения. (По А., "признаком подлинного фактического высказывания является не то, что оно должно быть эквивалентно некоторому опытному высказыванию или какому-либо конечному числу опытных высказываний, но просто то, что из него, в конъюнкции с определенными иными посылками, могут быть выведены некоторые опытные высказывания, не дедуцируемые из одних только этих иных посылок".) А. предложил собственную вероятностную (косвенную) модель верификации, основанную на двух утверждениях: 1) предложение в конъюнкции с некоторыми другими посылками должно быть верифицируемо хотя бы в одном утверждении, не дедуцируемом непосредственно из одной из посылок; 2) эти посылки не должны включать в себя какое-либо утверждение, которое не было бы ни аналитическим, ни непосредственно проверяемым, ни способным к независимому его установлению в качестве непосредственно верифицируемого. Фактически эта "поправка" А. была равнозначна отказу от классической редукционистской схемы верификации и переходу к гипотетико-дедуктивной концепции построения научного знания. Последняя предполагала выдвижение гипотез с последующим подтверждением их через эмпирически проверяемые следствия (т.е. было снято требование возможности сведения теории к эмпирическому базису науки). В общем плане А. ввел третьего кандидата на "верификацию" - "утверждение" (в дополнение к "предложению" и "высказыванию"). По его схеме "предложение" суть грамматически значимый набор слов; "утверждение" суть то, что такие наборы выражают; "высказывание" - подкласс, содержащий только "утверждения", выраженные "строго осмысленными" предложениями. По А., тем самым, "высказывание" как таковое не может быть "бессмысленным". Только предложения являются "строго осмысленными". Только "утверждения", таким образом, подлежат верификации. В издании "Проблема познания" А. рассматривал особен