Верификация: что это такое и какая она бывает

Содержание

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

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

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

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

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

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

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

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

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

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

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

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

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

Клуб Здорового Сознания

Внешняя валидность (англ. external validity) — вид валидности, определяющий то, насколько результаты конкретного исследования можно распространить на весь класс подобных ситуаций/явлений/объектов. Данное понятие можно рассматривать как междисциплинарное: оно широко применяется в экспериментальной психологии, а также в других сферах науки.

Общие сведения

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

Как и в отношении любой другой валидности, о внешней валидности в исследовании, вероятно, невозможно сказать, что она абсолютно соблюдена, можно указать только на её нарушение.

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

Критерии внешней валидности

Чтобы исследование обладало наивысшей степенью валидности, должна существовать возможность генерализации его результатов на

• другие популяции,
• другие условия,
• другое время.

Пример нарушения внешней валидности

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

Критика внешней валидности этого исследования в частности состояла в том, что учёный не учитывал половых различий в особенностях мышления способах принятия моральных решений и, следовательно, неправомерно генерализовал свою модель на представителей обоих полов.

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

Соблюдение внешней валидности

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

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

Верификация и валидация — QALight

Верификация и валидация

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

Верификация (verification) – это процесс оценки системы или её компонентов с целью определения того, удовлетворяют ли результаты текущего этапа разработки условиям, сформированным в начале этого этапа. То есть, выполняются ли задачи, цели и сроки по разработке продукта.

Валидация (validation) – это определение соответствия разрабатываемого ПО ожиданиям и потребностям пользователя, требованиям к системе.

Следующая таблица поможет выделить ключевые отличия между этими понятиями:

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

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

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

Народные средства для быстрого лечения простуды на губах

Различные средства от простуды на губах быстрого действия есть и среди народных рецептов. К ним относятся:

Сок алоэ. Применяется как для обработки высыпаний, так и для приёма внутрь в сочетании с мёдом в пропорции 2:1.

Компрессы из поваренной соли. Одна ч. л. соли разводится в 1/3 стакана воды, пропитанный этой жидкостью ватный диск накладывается на поражённую область на ночь.

Зубная паста. Ей обрабатывают ранку и не смывают до полного высыхания пасты.

Ромашка. Одну ст. л. измельчённых листьев заливают стаканом кипятка и настаивают 30 минут. Затем полученную жидкость процеживают и смешивают с 1 ст. л. спиртовой настойки прополиса. Такой раствор можно употреблять внутрь или обрабатывать им язвы на губах.

Пихтовое масло. Ватку, на которую нанесено небольшое количество этого вещества, нужно приложить к больному участку и держать 5-10 минут

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

Мумиё. Растолчённую таблетку наносят тонким слоем на область поражения 3-4 раза в день.

Отличия верификации и валидации в сравнении

В сравнительной таблице легче обозначить различия этих в чем-то схожих терминов.

Верификация	Валидация
Делаем ли мы продукцию правильно?	Произвели ли мы правильный продукт?
Вся ли функциональность была реализована?	Верно ли функциональность была реализована?
Верификация предшествует валидации: она включает в себя полную проверку правильности написания, производства и прочего сотворения.	Случается уже после верификации — это оценка качества произведенного продукта.
Проводят разработчики.	Проводят тестировщики.
Статистический тип анализа: сравнение с установленными требованиями к продукту.	Динамический тип анализа: продукт тестируется в эксплуатации для выяснения его соответствия нормам.
Объективная оценка: выносится на основе соответствия определенным стандартам.	Субъективная оценка: личная оценка, которую ставит специалист-тестировщик.

Давайте еще немного порассуждаем, чем отличается валидация от верификации, в следующем разделе.

Верификация страницы Вконтакте

Сейчас мы с вами будем разбираться, как сделать подтвержденную страницу Вконтакте. Что это такое и кому она может понадобиться?

В принципе, большинство из вас уже, наверное знают, что это такое, раз перешли на данную статью, но все же… У меня для вас как обычно придуманный мною термин.

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

Как выглядит верифицированная страничка? Чтобы посмотреть, достаточно просто забить в поиске имя какого-нибудь известного человека (Как найти человека вконтакте по имени и фамилии). Я в качестве примера приведу аккаунт Павла Дурова – создателя всеми нами любимой социальной сети.

Как видно из скриншота, который я предоставил выше, напротив имени Павла стоит голубой кружочек с белой птичкой внутри. Вот так и выглядят верифицированные страницы.

Как подтвердить страницу и сделать себе такой же аккаунт, как у Павла? Можно было бы в принципе ответить на этот вопрос несколькими предложениями. Добейтесь того, чего добился Дуров и будет у вас такая же страница.

Ну, а так, ели по серьезному, то могу сказать, что верифицированные страницы – это роскошь не для всех.

В каких случаях вам подтвердят страницу:

1. Вы известная личность;
2. У вас десятки клонов, а то и сотни, в социальной сети Вконтакте;
3. О вас напечатана статья в Википедии;
4. Кроме Вконтакте и Википедии о вас печатают и другие источники, какие-нибудь популярные Интернет-издания;
5. Ваша страница не заспамлена;
6. Вы не постите на своей странице всякую ерунду из тупых пабликов;
7. Посты на вашей странице носят информационный характер и касаются вашей жизни либо вашей деятельности.

А я сегодняшнюю свою статью заканчиваю и считаю ее  такой мини мотивацией. Хочешь себе верифицированную страницу – добейся результатов.



Верификации — что это означает в разных областях?

Верификация в философии  — это установление истинности теоретических утверждений при помощи их опытной проверки. Термин «верификация» в науке используется в том же значении.

Верификация в банке — что это? Это означает проверку личности клиента и предоставляемых им данных о себе либо проверку операций, выполняемых клиентом. Сейчас многие операции выполняются клиентами онлайн в интернете при помощи платежных карт. Каждая операция проходит верификацию (подтверждение), например, при помощи отправки смс с кодом на телефон клиента.

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

Верификация в системе качества — это проверка на соответствие продукции ГОСТам или международным стандартам ISO.

Тысячи парней и девушек нашли свою половинку!

Кортни Кокс

Американской актрисе, известной по роли в ситкоме «Друзья», приписывали романы со многими мужчинами, но настоящую любовь встретила на съёмках фильма «Крик».

Идентификация пенсионеров-переселенцев в «Ощадбанке»: очереди и смерти

В течение последней недели пенсионеры-переселенцы, имеющие банковские карточки «Ощадбанка», получают СМС с рекомендацией пройти физическую идентификацию до 3 апреля. В противном случае их карта будет заблокирована.

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

Так, в Северодонецке на Луганщине в помещении «Ощадбанка» умер переселенец, который стоял 100-м в очереди для прохождения идентификации.

А в Мариуполе умерла 80-летняя переселенка, так и не дождавшись идентификации. Пожилая женщина была прикована к постели и не могла явиться в отделение банка, а сотрудники финучреждения отказались провести процедуру на дому. При этом отделение банка находилось через дорогу от дома женщины. Однако работники «Ощадбанка» заявили, что они «по домам не ходят».

Чем является ментальное тело

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

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

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

Ещё один вариант разделения предлагает Ледбитер. Согласно ему, ментальное тело образуется следующими оболочками:

• ментально-эфирным телом;
• астральным;
• казуальным;
• боддхическим;
• атманическим.

Аналогичное разделение присуще и уровню ментала.

Валидация и верификация — что это простыми словами?

Оба понятия связаны с тестированием какого-либо продукта и обеспечением его качества. Если мы будем говорить простым языком, то выведем следующее:

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

Рассказывая простыми словами, что это – верификация и валидация, нужно сделать упор и на такие факты:

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

Характеристика общения

В психологии принято оценивать общение в соответствии с тремя характеристиками: по содержанию, по функциям и по средствам.

Что касается содержания, то оно может принимать вид передачи информации, взаимной оценки, взаимного влияния, взаимодействия, управления или просто восприятия.

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

• Инструментальная функция служит достижению какой-либо цели. Проявляется в форме рычагов воздействия или давления.
• Трансляционная функция призвана осуществить передачу какой-либо информации.
• Синдикативная функция помогает достижению цели объединения, сплочения группы людей.
• Функция самовыражения, как следует из самого названия, имеет целью самопрезентацию для достижения взаимопонимания между партнерами.
• Экспрессивная функция базируется на синхронизации эмоционального фона и переживаний.
• Функция социализации служит цели адаптации личности в условиях новой социальной среды.
• Наконец, функция социального контроля призвана регламентировать те или иные стороны жизнедеятельности человека. Это средство общения между законодателем и подчиненным.

Основной актёрский состав[править | править код]

• Лина Хиди — Серсея Ланнистер (10 серий)
• Джек Глисон — Джоффри Баратеон (10 серий)
• Шон Бин — Эддард Старк (9 серий)
• Мишель Фэйрли — Кейтилин Старк (9 серий)
• Эмилия Кларк — Дейнерис Таргариен (9 серий)
• Иэн Глен — Джорах Мормонт (9 серий)
• Софи Тёрнер — Санса Старк (9 серий)
• Мэйси Уильямс — Арья Старк (9 серий)
• Альфи Аллен — Теон Грейджой (9 серий)
• Рори МакКанн — Сандор Клиган (9 серий)
• Питер Динклэйдж — Тирион Ланнистер (9 серий)
• Джейсон Момоа —Дрого (9 серий)
• Николай Костер-Вальдау — Джейме Ланнистер (8 серий)
• Эйдан Гиллен — Петир Бейлиш (8 серий)
• Кит Харингтон — Джон Сноу (8 серий)
• Ричард Мэдден — Робб Старк (8 серий)
• Айзек Хэмпстед-Райт — Бран Старк (8 серий)
• Марк Эдди — Роберт Баратеон (7 серий)
• Гарри Ллойд — Визерис Таргариен (5 серий)

История праздника

Если верить легенде, то примерно в десятом веке Константинополь оказался в окружении врагов. Народ собрался на молитву в Влахернском храме. В этот момент произошло чудо – к верующим сошла Богородица, чтобы вместе с верующими помолиться за мир. А потом она сняла с себя покров и накрыла им людей. Удивительным образом после этого события языческие войска отступили.

Согласно преданию, явление Богородицы приободрило греков. Они собрали последние силы и победили сарациов. С тех пор люди искренне верят, что Богородица оберегает их. Покров стал одним из наиболее любимых праздников у христиан.

Что такое валидация и верификация, чем они отличаются?

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

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

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

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

Данный пример можно перенести в сферу интернет-технологий. Скажем, некий программист разрабатывает какой-либо софт по заказу. Созданная программа отвечает всем нормативам, которые предусмотрены в ТЗ и верифицирована со стороны исполняющего заказ. А вот производить валидацию будет уже сам заказчик, когда установит ПО и проверит его работу.

Примеры верификации

Давайте посмотрим на конкретные примеры, чтобы закрепить в голове разницу между этими понятиями.

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

Рассмотрим на примере велосипеда. Проверяем, есть ли руль, сидение, цепи, колеса, тормозная система и проч. Все на месте? Верификация пройдена!

Ключевые различия понятий

Итак, расставим все точки над i. Верификация – это любое тестирование, через которое проходит продукт. Проверка правильности технологии его производства, а также качества изделия. Валидация же — понятие, более близкое к аттестации. Это соответствие каким-то конкретным, а не общим требованиям. Насколько хорош продукт не вообще, а именно для определенного потребителя, заказчика или заданных условий.

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

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

Принцип верификации Венского кружка

В действительности идея верифицируемости не является отправной идеей представителей Венского кружка и была еще ранее сформулирована — хотя и не вполне ясно — Витгенштейном:

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

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

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

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

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

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

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

Методы верификации

Верификация – это ответ на вопрос «Выполнено ли программное обеспечение правильно?», а валидация – «Сделано ли правильное программное обеспечение?».

Ища ответ на поставленные вопросы обнаруживается, что валидация (или аттестация) по содержанию имеет значение пошире, чем проверка (верификация). Но верификация тесно связана с контролем качества программного продукта.

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

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

Верификация системного кода подразумевает проведение анализа кодировки источника и проверка соответствия его документальному описанию.

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

Мы коротко рассмотрели понятие верификации, его принципы, методы. Оставляйте свои комментарии или дополнения к материалу.

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

ВЕРИФИЦИРУЕМОСТЬ

ВЕРИФИЦИРУЕМОСТЬ (от лат. verificare – доказать истину) – понятие методологии науки, характеризующее возможность установления истинности научных утверждений в результате их эмпирической проверки. Различается непосредственная верифицируемость, связанная с возможностью прямой проверки утверждений, формулирующих данные наблюдения и эксперимента, или утверждений, фиксирующих зависимости между этими данными и их обобщения (см. Эмпирический базис), и косвенная верифицируемость, основанная на установлении логических отношений между косвенно верифицируемыми и прямо верифицируемыми утверждениями. Научные положения, содержащие развитые теоретические понятия, относятся к косвенно верифицируемым утверждениям (см. Эмпирическое и теоретическое). Следует отличать верификацию как актуальный процесс эмпирического обоснования реальных утверждений и установления их истинности и верифицируемость как возможность верификации. Именно анализ идеализированных условий и схем верифицируемости как возможности верификации и может выступать в качестве предмета логико-методологического анализа.

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

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

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

В.С.Швырев

• Назад

• Вперёд