Суть принципа верификации состоит в том что. Доклад по философии науки и техники на тему:«Принцип верификации и фальсификации Карла Поппера

Тезис Дюэма - Куайна
Метаязык Тексты Основные начала
Течения Эмпириокритицизм , Махизм
Люди Конт , Тэн , Милль , Спенсер

В различных сферах деятельности человека под верифика́цией (от лат. verus - «истинный» и facere - «делать») могут подразумеваться разные понятия. Например:

• Верификация - это подтверждение соответствия конечного продукта предопределённым эталонным требованиям.

• Верификация - методика распознавания лжи (укрывательства, искажения).

В значении доказуемости, проверяемости объяснений (моделей) объектов /явлений , в зависимости от степени подтверждаемости реальностью (эмпирически , фактами), образует понятия :

Корень различного понимания понятия верификация кроется в спектре возможностей сличения соответствия конечного продукта предопределённым требованиям. Верифицировать соответствие конечного продукта предопределённым требованиям возможно, в зависимости от ситуации, по прямым и косвенным характеристикам этого конечного продукта. А также существует процессный подход, который отслеживает продвижение продукта к предопределённым требованиям.

Формальная верификация

Wikimedia Foundation . 2010 .

Синонимы :

Смотреть что такое "Верификация" в других словарях:

- (этим. см. предыд. сл.). Удостоверение, проверка. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. ВЕРИФИКАЦИЯ свидетельство, удостоверение в подлинности. Словарь иностранных слов, вошедших в состав русского языка.… … Словарь иностранных слов русского языка

Проверка документов, расчетов и др. Словарь финансовых терминов. Верификация Верификация установление соответствия принятой и переданной информации с помощью логических методов. По английски: Verification См. также: Информационные взаимодействия… … Финансовый словарь

- (от лат. verificatio доказательство, подтверждение) установление истинности или эмпирической осмысленности научных утверждений. Этот термин получил широкое распространение в связи с неопозитивистской программой эмпирического обоснования науки. С… … Философская энциклопедия

Верификация - Верификация ♦ Verification Проверка истинности высказывания с целью его оценки. Так, расчет можно проверить, повторив ту же операцию или проделав другую, а гипотезу – посредством опыта. Правда, остается вопрос об истинности самой проверки –… … Философский словарь Спонвиля

В культурологии (позднелат. verificatio доказательство, подтверждение верности или истинности чего либо; от лат. verus истинный и facio делаю) установление истинности тех или иных суждений (утверждений и отрицаний) о культуре в знании о… … Энциклопедия культурологии

Проверка, сличение, подтверждение, свидетельство Словарь русских синонимов. верификация сущ., кол во синонимов: 5 валидация (4) … Словарь синонимов

верификация - и, ж. vérification f. Свидетельство, удостоверение в подлинности. СИС 1954. Не для суеты, но для оного я в сие плодовитое описание вошел; некие происшествия я забыл и не помню верификациев чисел и имян, не писавши у себя никогда никаких записок.… … Исторический словарь галлицизмов русского языка

Верификация - (лат. verificatio дәлел, растау) – ғылыми ақиқат пен оның деректері (мәліметтері) эмпирикалық, яғни тәжірибелік тексеру арқылы айқындалады деген әдістемелік концепция, принцип. Ол логикалық позитивизм мен аналитикалық философияның бір тармағы… … Философиялық терминдердің сөздігі

верификация - контроль проверка Установление соответствия принятой и переданной информации с помощью логических методов . верификация (ITIL Service Transition) Деятельность, которая… … Справочник технического переводчика

Англ. verification А. Проверка подлинности, правильности оформления документов, материалов. Б.Процесс сличения копии с оригиналом Словарь бизнес терминов. Академик.ру. 2001 … Словарь бизнес-терминов

- (от латинского verus истинный и facio делаю), проверка, эмпирическое подтверждение теоретических положений науки путем сопоставления их с наблюдаемыми объектами, фактическими данными, экспериментом … Современная энциклопедия

Книги

• Верификация гипотезы М. Фарадея о силовых линиях в космосе. Силовые линии М. Фарадея в космосе , Серков Аркадий. Эта книга будет изготовлена в соответствии с Вашим заказом по технологии Print-on-Demand. Конкретизируя гипотезу М. Фарадея, гравитационное поле рассматривается как вязко-упругое тело,…

Логический позитивизм

История возникновения логического позитивизма

Основные идеи

Третий позитивизм (логический позитивизм, «Венский кружок» или неопозитивизм) возник из дискуссий группы интересующихся философией учёных-специалистов (математиков, физиков, социологов), которые в 20-х - 30-х годах регулярно собирались в Венском университете. Участники этого кружка были вдохновлены успехами двух видных мыслителей XX в.: Бертрана Рассела в области оснований математики («Principia Mathematica») и его ученика Л. Витгенштейна, положившего математические идеи Рассела в основание своей философии («Логико-философский трактат»). Логические позитивисты решили перенести логико-математические идеи Рассела и Витгенштейна на философию науки и построить её, подобно математике, аксиоматически. Базисом (аксиомами) должны были служить бесспорные эмпирические факты (т.н. «протокольные предложения»), а все теории должны получаться из базисных утверждений путём логических выводов.

Логический позитивизм выдвинул ряд требований в числе которых отказ от гегелевской метафизики понятий, так как невозможно получать новые знания только путем анализа понятий и их определений. Философия должна быть не системой абсолютного знания, а методом критического исследования. Задача философии: прояснения смысла понятий с помощью логического анализа.

Анализ языка

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

Пример: выражения «Утренняя звезда» и «Вечерняя звезда» имеют одно значение (планета Венера), но разный смысл.

Введение понятия смысла символизировало отказ от традиционной (аристотелевской) логики, где изолированные понятия рассматривались как неизменные. Смысл зависит от конкретного контекста словооупотребления и делает возможным понимание языка конкретным человеком, т.е. имеет отношение к внутреннему миру или душе человека. Денотат связывает слово с миром вещей, а значение - с миром идей или всеобщих знаков, благодаря которым возможна коммуникация между людьми.

Бертран Рассел (1872-1970) отказался от понятия смысла и принял существование только значений. Слова он рассматривал как имена универсалий, их значение суть некоторая дескрипция, принимаемая человеком (теория дескрипций). Но, отказавшись от понятия смысла, Рассел столкнулся с проблемой значения терминов, обозначающие несуществующие объекты: если А – некоторое имя, то если оно не бессмысленно, то объект должен существовать. Но если объекта нет? Он предположил, что имена – не обозначение реальности, а только сокращенные дескрипции. Пример: «Гомер – автор Илиады и Одиссеи». Но перед ним возник вопрос: будут ли имя и дескрипция полностью взаимозаменяемы? Например, вы хотите узнать является ли Гомер автором Илиады и Одиссеи. Фраза "является ли Гомер автором Илиады и Одиссеи?" представляет собой содержательный вопрос, а фраза «является ли автор Илиады и Одиссеи - автором Илиады и Одиссеи?» представляет собой тавтологию, поэтому имя и дескрипция не могут быть полностью взаимозаменяемы.

Чтобы решить проблему значения несуществующих объектов, Рассел предположил, что имя несуществующего объекта и предложения о нем не бессмысленны, они ложны.

Пример: Рассмотрим предложения

«Нынешний король Франции лыс» - оно ложно;

«Нынешний король Франции не лыс» - оно тоже ложно.

Но два противоположных утверждения об одном и том же не могут быть ложными одновременно. Поэтому Расселу пришлось прибегнуть к логическому анализу, чтобы показать, что любое утверждение всегда содержит предположение о существовании. Например "Существует Х такой что Х - нынешний король Франции и Х - лыс". Тогда значение "ложь" следует приписать первой части данного предложения: Существует Х.

Б. Расселу принадлежит выделение трех видов бессмыслицы: 1. Бессмысленные слова в осмысленных сочетаниях

Пример: Глокая куздра штеко будланула бокра и кудлачит бокрёнка.

2. Осмысленные слова в бессмысленных сочетаниях

Пример: «жареный лед», «Луна умножает четырехугольно»

3. Бессмысленные слова в бессмысленных сочетаниях

Пример: философия

Идея создания логически совершенного языка

Рассел и Л. Виттгенштейн разрабатывали концепцию логического атомизма. Их цель заключалась в том, чтобы создать логически совершенный язык, который обеспечит однозначное соответствие между словами и фактами. Эта концепция смыкалась с концепцией логического эмпиризма: все наше знание из опыта. Слова только обозначают то, что известно из опыта, а однозначное соответствие между словами и фактами позволит сделать анализ языка анализом структуры мира. Согласно Л. Виттгенштейну, атом - элементарная пропозиция, соответствующая состоянию дел. Такая пропозиция с необходимостью либо истинная, либо ложная. Язык и реальность, пропозиция и факт - мы не думаем о них как о двух различных сущностях. Следовательно, изучая синтаксис, мы можем получить знания о структуре мира. Предложение рассматривалось Л. Виттгенштейном как картина: «Предложение свою форму показывает».

Положения логического поитивизма

Программа Венского кружка

Венский кружок принял логический атомизм и эмпиризм Рассела и Л. Виттгенштейна. Программа венского кружка включала:

1. установку на достижение единства знания;
2. признание единства языка ведущим условием объединения научных законов в цельную систему;
3. признание осуществимости единства языка только лишь на базе редукции всех высказываний научного порядка к интерсубъективному языку протоколов;

Анализ языка позволил логическим позитивистам выделить следующие виды предложений:

1. предложения, не имеющие предметного содержания, сводимые к тавтологии и относящиеся к логико-математической сфере, - аналитические, логические истины;
2. осмысленные предложения, сводящиеся к эмпирическим фактам и относимые к сфере конкретных наук - фактические истины;
3. Прочие предложения - абсурдны (бессмысленны), включая "метафизические" или философские предложения.

Принцип верификации

Логический позитивизм сформулировал принцип верификации: верификация – критическая проверка предложений. Виды верификации: эмпирическая (проверка опытом) и логическая (соответствие структуры предложения логическим правилам).

Девиз Венского кружка - «Логика и опыт».

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

Неудача логического позитивизма

В середине XX в. было вскрыто сразу несколько принципиальных затруднений, непреодолимых в логическом позитивизме. Смысл их состоял в том, что метафизику, т.е. непроверяемые понятия нельзя было изгнать из науки, так как к непроверяемым относятся некоторые фундаментальные научные понятия и принципы. Это привело к возникновению множества альтернативных взлядов на науку, получивших общее название «постпозитивизм».

При всех своих сильных сторонах, принцип верификации был подвержен жесточайшей критике, в ходе которой обнаружились его серьёзные изъяны. Например, мы не можем высказать с достоверностью универсальное суждение типа «Все вороны черные», так как нереально пересчитать всех ворон в мире и проверить их цвет. Увиденные нами (две, десять, тысяча) черные вороны не доказывают, что не найдётся хотя бы одна белая. Более того, «парадокс» позитивизма заключается в том, что сам принцип верификации не поддается проверке и тем самым не может считаться научным.

Постпозитивизм

Постпозитивизм - собирательное название множества различных концепций, в чём-то схожих, а в чём-то друг другу противоречащих. Все они возникли как попытки преодоления недостатков позитивизма.

Критический рационализм К. Поппера

Замечание: Поппер строго говоря не относится ни к логический позитивистам, ни к постпозитивистам.

Карл Поппер вместо процедуры верификации, занимавшей центральное место в концепции логических позитивистов, ввёл процедуру фальсификации: научную теорию нельзя подтвердить опытом (верифицировать). Опыт может только опровергнуть теорию, доказать ее ложность, т. е. фальсифицировать.

Поппер сформулировал принцип фаллибилизма (погрешимости): любое научное знание носит лишь гипотетический характер и подвержено ошибкам. Рост научного знания осуществляется благодаря выдвижению и опровержению гипотез, т.е. в соответствии с принципом фальсификации. Попперу принадлежит концепция трех миров: мир вещей, мир человеческого (личностного) знания, мир объективного знания (почти как у Платона - это мир идей).

Концепция исследовательских программ И. Лакатоса

Сам Лакатос, ученик Поппера, называл свою концепцию «усовершенствованным фальсификационизмом». Он ввёл понятие исследовательской программы, которое позволило более реалистично описать историю науки. Только последовательность теорий, а не отдельную теорию можно классифицировать как научную/ненаучную. Ряд теорий
представляет собой исследовательскую программу. Принадлежность к данной «исследовательской программе» определяется сохранением в каждой новой теории метафизических предложений, образующих твердое ядро научно-исследовательской программы. Твердое ядро неизменно, оно не приходит в сопоставление с опытом непосредственно, это обеспечивает защитный пояс вспомогательных гипотез. При появлении фальсифицирующего факта ядро сохраняется, а защитный пояс меняется.

По Попперу, при появлении фальсифицирующего примера теория должна быть отвергнута. Согласно Лакатосу, наивный (попперовский) фальсификационизм не верен: теория держится до тех пор пока проблематичные факты могут быть объяснены путем изменения защитного пояса, т.е. добавлением вспомогательных гипотез. В концепции же Лакатоса рассматривается не отдельная теория, а их последовательность. Смена теории Тk на Tk+1 называется сдвигом программы. Если смена теории приводит к открытию новых фактов, то сдвиг программы прогрессивный. Если сдвиг не добавляет эмпирического содержания, он называется регрессивный. Подлинно научным является прогрессивный сдвиг исследовательской программы, который обеспечивает знание новых фактов.

Концепция исторической динамики науки Т. Куна

Кун ввёл в философию науки такие понятия, как научная парадигма, научное сообщество, нормальная наука и научная революция. По Куну, развитие науки просходит скачками.

Ход научной революции по Куну:

• нормальная наука - каждое новое открытие поддаётся объяснению с позиций господствующей теории;
• экстраординарная наука - кризис в науке. Появление аномалий - необъяснимых фактов. Увеличение количества аномалий приводит к появлению альтернативных теорий. В науке сосуществует множество противоборствующих научных школ;
• научная революция - формирование новой парадигмы.

Принципы верификации и фальсификации

Верификация - (от лат. verificatio - доказательство, подтвер­ждение) - понятие, используемое в логике и методологии науч­ного познания для обозначения процесса установления истинно­сти научных утверждений посредством их эмпирической проверки.

Проверка заключается в соотнесении утверждения с реальным по­ложением дел с помощью наблюдения, измерения или экспери­мента.

Различают непосредственную и косвенную верификацию. При непосредственной В. эмпирической проверке подвергается само ут­верждение, говорящее о фактах действительности или эксперимен­тальных данных.

Однако далеко не каждое утверждение может быть непосредственно соотнесено с фактами, ибо большая часть науч­ных утверждений относится к идеальным, или абстракт­ным, объектам. Такие утверждения верифицируются косвенным путем. Из данного утверждения мы выводим следствие, относя­щееся к таким объектам, которые можно наблюдать или изме­рять. Это следствие верифицируется непосредственно.

В. след­ствия рассматривается как косвенная верификация того утверждения, из которого данное следствие было получено. Напр., пусть нам нуж­но верифицировать утверждение «Температура в комнате равна 20°С». Его нельзя верифицировать непосредственно, ибо нет в реальности объектов, которым соответствуют термины «темпера­тура» и «20°С». Из данного утверждения мы можем вывести след­ствие, говорящее о том, что если в комнату внести термометр, то столбик ртути остановится у отметки «20».

Мы приносим термо­метр и непосредственным наблюдением верифицируем утвержде­ние «Столбик ртути находится у отметки "20"». Это служит кос­венной В. первоначального утверждения. Верифицируемость, т. е. эмпирическая проверяемость, научных утверждений и теорий считается одним из важных признаков на­учности. Утверждения и теории, которые в принципе не могут быть верифицированы, как правило, не считаются научными.

ФАЛЬСИФИКАЦИЯ (от лат. falsus - ложный и facio - делаю) - методологическая процедура, позволяющая установить ложность гипотезы или теории в соответствии с правилом modus tollens классической логики. Понятие «фальсификация» следует отличать от принципа фальсифицируемости, который был предложен Поппером в качестве критерия демаркации науки от метафизики, как альтернатива принципу верифицируемости, принятому в неопозитивизме. Изолированные эмпирические гипотезы, как правило, могут быть подвергнуты непосредственной Ф. и отклонены на основании соответствующих экспериментальных данных, а также из-за их несовместимости с фундаментальными научными теориями. В то же время абстрактные гипотезы и их системы, образующие научные теории, непосредственно нефальсифицируемы. Дело в том, что эмпирическая проверка теоретических систем знания всегда предполагает введение дополнительных моделей и гипотез, а также разработку теоретических моделей экспериментальных установок и т.п. Возникающие в процессе проверки несовпадения теоретических предсказаний с результатами экспериментов в принципе могут быть разрешены путем внесения соответствующих корректировок в отдельные фрагменты испытываемой теоретической системы.

Поэтому для окончательной Ф. теории необходима альтернативная теория: лишь она, а не сами по себе результаты экспериментов в состоянии фальсифицировать испытываемую теорию. Таким образом, только в том случае, когда имеется новая теория, действительно обеспечивающая прогресс в познании, методологически оправдан отказ от предшествующей научной теории.

Ученый старается, чтобы научные концепции удовлетворяли принципу проверяемости (принципу верификации ) или хотя бы принципу опровержимости (принципу фальсификации ).

Принцип верификации утверждает: научно осмысленными являются только проверяемые утверждения.

Ученые самым тщательным образом проверяют открытия друг друга, а также свои собственные открытия. Этим они отличаются от людей, чуждых науке.

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

Принцип фальсификации не признаёт научным такое утверждение, которое подтверждается любыми другими утверждениями (порою даже взаимоисключающими), и не может быть даже в принципе опровергнуто. Существуют люди, для которых любое утверждение есть очередное доказательство того, что именно они были правы. Сообщишь такому что-нибудь, он в ответ: "А я что говорил!" Скажешь ему что-нибудь прямо противоположное, а он снова: "Вот видишь, я был прав!"

Сформулировав принцип фальсификации, Поппер следующим образом дополнил принцип верификации:

а) Научно осмысленна такая концепция , которая удовлетворяет опытным фактам и для которой существуют воображаемые факты, способные при их обнаружении ее опровергнуть. Подобная концепция истинна.

б) Научно осмысленна такая концепция , которая опровергается фактами и для которой существуют воображаемые факты, способные при их обнаружении ее подтвердить. Подобная концепция ложна.

Если сформулированы условия хотя бы косвенной проверки, то утверждаемый тезис становится более надежным знанием.

Если невозможно (или очень трудно) найти доказательства, постарайтесь убедиться, что по крайней мере не существует опровержений (своеобразная «презумпция невиновности»).

Скажем, мы не можем проверить какое-то утверждение. Тогда попытаемся убедиться, что утверждения, противоположные ему, не подтверждаются. Подобным своеобразным способом "от противного" проверяла свои чувства одна легкомысленная особа: "Милый! Я встречаюсь с другими мужчинами, чтобы еще больше убедиться, что по-настоящему люблю только тебя…"

Более строгаяаналогия с тем, о чем мы говорим, существует в логике. Это так называемое апагогическое доказательство (от греч. apagōgos - отводящий). Вывод об истинности некого утверждения делается косвенным путем, а именно опровергается противоречащее ему утверждение.

Разрабатывая принцип фальсификации, Поппер стремился осуществить более эффективную демаркацию между научными и ненаучными знаниями.

По словам академика Мигдала, профессионалы в отличие от дилетантов постоянно стремятся опровергнуть самих себя...

Ту же мысль высказывал Луи Пастер: истинный исследователь – это тот, кто пытается «разрушить» свое собственное открытие, упорно проверяя его на прочность.

Итак, в науке большое значение придается достоверности фактов, их репрезентативности, а также логической обоснованности создаваемых на их основе гипотез и теорий.

В то же время научные представления включают элементы веры . Но это особая вера, не уводящая в трансцендентный, потусторонний мир. Ее примером могут служить «принимаемые на веру» аксиомы, исходные принципы.

И.С. Шкловский в ставшей научным бестселлером книге «Вселенная, жизнь, разум» ввел плодотворный принцип, названный «презумпцией естественности». Согласно ему, всякое открытое явление считается автоматически естественным, если не будет совершенно надежно доказано обратное.

В рамках науки тесно взаимосвязаны ориентации на то, чтобы верить, доверять и перепроверять.

Чаще всего, ученые верят лишь в то, что можно перепроверить. Не всё можно перепроверить самому. Кто-то перепроверяет, а кто-то доверяет тому, кто перепроверял. В наибольшей мере доверяют авторитетным профессиональным экспертам.

Зачастую «то, что априорно * для личности, апостериорно для рода» (об этом тезисе см. Тему 16 по КСЕ, а также вопрос по «Эволюционной эпистемологии»).

Как бы Вы отнеслись к моим словам о том, что я изобрел «эталон невидимости», но показать его никому не могу - ведь он невидимый.

Данное утверждение может быть в конкретном случае как истинным, так и ложным. Ведь далеко не каждая Наташа любит каждого Петю. Какая-то Наташа, возможно, и любит какого-то Петю, но другого Петю либо не знает, либо к нему равнодушна. Да и любовь разные люди понимают по-разному. Для кого-то «любить – это значит в глубь двора вбежать и до ночи грачьей, о всем позабыв, рубить дрова, силой своей играючи» (Вл. Маяковский). А для кого-то – это добровольная смерть («Дело корнета Елагина» И.А. Бунина).

Можно проверить истинность утверждений «Наташа получила диплом» или «Петя потерял ключи». Но любовь – глубоко внутреннее, субъективное, интимное чувство. И никакой «детектор лжи» не поможет «проверить» любовь со стороны ее неповторимой самоценности для человека.

«делать») в различных сферах деятельности человека может подразумевать:

В значении доказуемости, проверяемости объяснений (моделей) объектов /явлений , в зависимости от степени подтверждаемости реальностью (эмпирически , фактами), образует понятия :

Корень различного понимания понятия верификация кроется в спектре возможностей сличения соответствия конечного продукта предопределённым требованиям. Верифицировать соответствие конечного продукта предопределённым требованиям возможно, в зависимости от ситуации, по прямым и косвенным характеристикам этого конечного продукта. А также существует процессный подход, который отслеживает продвижение продукта к предопределённым требованиям.

Формальная верификация [ | ]

Предложение можно понять тогда, если мы знаем, при каких условиях оно может быть истинным. Это означает, что требуется не знание того, является ли предложение истинным или ложным, но знание обстоятельств, которые позволяют установить его истинность. ЛФТ , 4.024

Принцип верификации был выдвинут Венским кружком , в котором состоял философ-позитивист Мориц Шлик в 20-е годы XX века. Члены кружка полагали, что в науке должны остаться два класса научных предложений - аналитические истины, не имеющие предметного содержания, и фактические истины, эмпирические факты конкретных наук, значение которых может быть проверено особым способом - принципом верификации . «Очищающая» науку от метафизики процедура верификации с помощью протокольных предложений эмпирического характера лежит в основе всей программы логического позитивизма.

Верификация - процедура проверки истинности знаний. Она предполагает, что сложные предложения нужно разделить на протокольные. Истинность протокольных предложений абсолютно несомненна, так как соответствует наблюдаемой действительности. Форма протокольного предложения выглядит так: «NN наблюдал такой-то и такой-то объект в такое-то время и в таком-то месте». Сведение сложных предложений к протокольным называется редукцией. Таким образом, вся деятельность учёного сводится к проверке протокольных предложений и их обобщению. В результате процедуры верификации все метафизические вопросы попадали в категорию бессмысленных и отбрасывались. Причина этого кроется в том, что философские вопросы не могут быть посредством логической цепочки рассуждений сведены к эмпирическим утверждениям, которые их могут подтвердить или опровергнуть.

Также Шлик указывал на то, что основой нашего эмпирического знания являются так называемые констатации , как он называл предложения о «теперешнем восприятии». Такие предложения, как полагал философ, являются также однозначно определенно разрешимыми, как и предложения аналитического характера. На этой основе и было выдвинуто требование полной верификации, которое можно было бы сформулировать следующим образом:

Предложение Σ {\displaystyle \Sigma } имеет значение тогда и только тогда, когда оно не является аналитическим предложением или противоречием, и если логически следует из непротиворечивого конечного класса предложений Φ {\displaystyle \Phi } , причём элементами этого класса предложений являются предложения наблюдения.

Таким образом, верификация была критерием истинности, но одновременно и способом выявления значения, и принципом разграничения эмпирического осмысленного знания и метафизического, неосмысленного.

Однако вскоре стало очевидным, что такой прямой верификационизм невозможен в тех случаях, когда мы имеем дело с событиями прошлого, с общими суждениями и т. д. Тогда этот критерий был ослаблен и появился критерий принципиальной верификации, или верифицируемости: оговаривались условия практической проверки того или иного факта. Типичным примером стало в те годы рассуждение об обратной стороне Луны, которое в принципе можно будет подтвердить, когда будет построен летательный аппарат, который облетит Луну. Уязвимым было и само понятие протокольных предложений. Внешним критиком выступал