3. Принцип верификации в позитивизме.
Для доказательства научности теорий используется верификация.
Верификация — процедура проверки истинных знаний. Она предполагает, что сложные предложения нужно разделить на протокольные. Истинность протокольных предложений абсолютно несомненна, так как соответствует наблюдаемой действительности. Форма протокольного предложения выглядит так: «NN наблюдал такой-то и такой-то объект в такое-то время и в таком-то месте». Сведение сложных предложений к протокольным называется редукцией. Таким образом, вся деятельность учёного сводится к проверке протокольных предложений и их обобщению. Основываясь на редукции. «Венский кружок» во главе с Р. Карнапом замахивается на создание единой научной теории — «Фундамент единой науки», то есть протокольные предложения которые держат науку наверху обобщения. В 40е — 50е годы эта теория будет пересмотрена на основе физики.
Ранние критики логического позитивизма говорят, что его основополагающие принципы не могут быть сами сформулированы таким образом, чтобы в них отслежиалась явная последовательность. Еще одна проблема заключается в том. что в то время как позитивные экзистенциальные утверждения («есть по крайней мере один человек») и негативные универсальные утверждения («не все вороны черные») позволяют определить четкие методы верификации (найти человека или нечерного ворона), отрицательные экзистенциальные утверждения и позитивные универсальные утверждения не поддаются проверке.
Универсальное утверждение, по всей видимости, никогда не может быть проверено: Вы не можете утверждать, что все вороны черные, пока не поймаете всех воронов, в том числе из прошлого и из будущего. Это приведёт к большому объёму работ по индукции в сочетании с верификацией и фальсификацией.
Ответ логических позитивистов первым критикам заключался в том. что логический позитивизм является философией науки, а не аксиомой системы, которая может доказать свою собственную последовательность. Во-вторых, теория языка и математической логики созданы для того, чтобы делать утверждения вроде «все вороны черные», то есть, объяснять факты как они есть на самом деле.
В 1929 г. Венский кружок анонсировал свою формулировку эмпирицистского критерия значения, ставшую первой в ряду таких формулировок. Венский кружок заявил: значением предложения является метод его верификации. А. Дж. Айер в своей книге "Язык, истина и логика" ввел в обиход англоязычного философского мира новую формулировку: непроверяемое положение познавательно бессмысленно. Положение должно быть или
а) аналитическим (более точно -- логически истинным или логически ложным), или
б) эмпирически проверяемым, или в) бессмысленным., т.е. не действительным положением, а псевдоположением. Заметим, что уже это означало изменение первой формулировки.
Очевидной реакцией на эти формулировки было бы возразить, что критерий логического позитивизма является самоопровергающимся: ибо сам по себе этот критерий не является: а) ни аналитическим (кроме, быть может, аналитически ложного), б) ни эмпирически проверяемым. Однако критика такого рода нанесла незначительный удар по логическому позитивизму и очень незначительно притормозила это движение.
Карл Поппер был известным критиком логического позитивизма, который опубликовал книгу «Logik der Forschung» в 1934 году (Логика научного открытия, опубликована в 1959 году). В этой книге он утверждал, что позитивистский критерий верификации является слишком строгим критерием для науки, и он должен быть заменен критерием фальсификации. Фальсификация − научная процедура, имеющая своим результатом установление ложности соответствующей гипотезы посредством эмпирической проверки на соответствие экспериментальным данным или теоретической проверки на соответствие принятым в научном сообществе фундаментальным теориям Поппер считал, что фальсификация является лучшим критерием хотя науки, поскольку в данном случае не приходится прибегать к философским проблемам, связанным с проверкой индукцией, и это оправдывает научность теорий, которые не вписываются в рамки верификации.
Принцип верификации, предложенный позитивистами, предусматривал признание обладающими научной значимостью только те знания, содержание которых можно обосновать протокольными предложениями. Поэтому факты науки в доктринах позитивизма абсолютизируются, обладают приматом перед другими элементами научного знания, ибо, по их мнению они определяют содержательный смысл и истинность теоретических предложений.
Иными словами, согласно концепции логического позитивизма "существует чистый опыт, свободный от деформирующих влияний со стороны познавательной деятельности субъекта и адекватный этому опыту язык; предложения, выражаемые этим языком, проверяются опытом непосредственно и не зависит от теории, так как словарь, используемый для их формирования, не зависит от теоретического словаря".