Как называется опытный способ проверки истинности научного положения

Верификация

Основные понятия Верификация, Опыт, Факт

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

• Верификация — проверка, проверяемость, способ подтверждения, проверка с помощью доказательств, каких-либо теоретических положений, алгоритмов, программ и процедур путем их сопоставления с опытными (эталонными или эмпирическими) данными, алгоритмами и программами. Принцип верификации был выдвинут Венским кружком[1] .

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

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

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

• Гипотеза — недоказанноефальсифицируемоеправдоподобноеутверждение на основе ряда подтверждающих её наблюдений или суждений, понятий, постулатов (в науке). Гипотезы, основанные на ложных суждениях, неправильных понятиях, постулатах, составляют псевдонауку[2]
• Концепция — модель с подтверждающими её истинность фактами и/или без них (см. Философия).
• Теория — объяснение с предоставлением доказательств максимальной степени (см. Наука).

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

Содержание

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

Формальная верификация — доказательство с помощью формальных методов правильности или неправильности программы (системы) в соответствии с формальным описанием свойств программы (системы).

• Метод аксиоматической семантики Хоара
• Метод индуктивных утверждений Флойда
• Доказательное программирование (proofing programming)
• Автоматическое доказательство теорем (Theorem proving)
• Проверка моделей (Model checking)
• Символьное выполнение (Symbolic execution)
• Абстрактная интерпретация (Abstract Interpretation)

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

Верификация в системе качества

В российском государственном стандарте ГОСТ Р ИСО 9000-2008 (который является аутентичным переводом международного стандарта ISO 9000:2000) «верификация» определена следующим образом:

3.8.4 верификация (en verification; fr verification): Подтверждение на основе представления объективных свидетельств (3.8.1) того, что установленные требования (3.1.2) были выполнены.

1. Термин «верифицировано» используется для обозначения соответствующего статуса.

2. Деятельность по подтверждению может включать:

• осуществление альтернативных расчетов
• сравнение научной и технической документации (3.7.3) по новому проекту с аналогичной документацией по апробированному проекту
• проведение испытаний (3.8.3) и демонстраций
• анализ документов до их выпуска.

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

Примечания

1. ↑ Апель, К.-О. Трансформация философии. М.: Логос, 2001. — С.35
2. ↑ В случае, когда гипотезы претендуют на статус научных.

См. также

Литература

• Синицын С. В., Налютин Н. Ю. Верификация программного обеспечения. М.:БИНОМ, 2008, 368 c. ISBN 978-5-94774-825-3

Wikimedia Foundation . 2010 .

Полезное

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

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

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

ВЕРИФИКАЦИЯ — (от лат. verificatio доказательство, подтверждение) установление истинности или эмпирической осмысленности научных утверждений. Этот термин получил широкое распространение в связи с неопозитивистской программой эмпирического обоснования науки. С… … Философская энциклопедия

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

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

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

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

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

верификация — контроль проверка Установление соответствия принятой и переданной информации с помощью логических методов [http://www.rol.ru/files/dict/internet/#]. [http://www.morepc.ru/dict/] верификация (ITIL Service Transition) Деятельность, которая… … Справочник технического переводчика

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

ВЕРИФИКАЦИЯ — (от латинского verus истинный и facio делаю), проверка, эмпирическое подтверждение теоретических положений науки путем сопоставления их с наблюдаемыми объектами, фактическими данными, экспериментом … Современная энциклопедия

Источник

Специфические особенности проверки научных теорий

Методы проверки, подтверждения и опровержения научных гипотез и теорий

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

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

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

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

Специфические особенности и связанные с ними труд­ности проверки научных теорий состоят в следующем.

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

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

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

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

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

лирических понятий и утверждений и только потом подвергать

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

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

Эмпирическая проверяемость сводится к сопоставлению сле­дствий теории с результатами наблюдений, экспериментов и практики в целом, ибо научные наблюдения и эксперимент представляют собой специфические формы практической дея-j тельности в науке. Очевидно, что не все следствия теории до­пускают непосредственную проверку на опыте, а лишь те, ко| торым можно дать эмпирическую интерпретацию и тем самым сопоставить с результатами наблюдений и экспериментов. Од­нако не все теории можно проверить таким способом.

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

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

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

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

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

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

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

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

Критикуя такой подход, известный американский ло­гик У.В.О. Куайн квалифицирует его как редукционистскую догму, опирающуюся на философию эмпиризма. «Догма редук­ционизма, — указывает он, — имеет право на существование только при предположении, что каждое утверждение теории, взятое изолированно от других, может допускать подтвержде­ние или опровержение. Мое противоположное мнение сводит­ся к тому, что наши утверждения сталкиваются с трибуналом чувственного опыта не индивидуально, а только в целом» 1 . Вся наука, по его мнению, образно может быть представлена в виде силового поля, граничными условиями которого служат резуль­таты опыта. Противоречие с опытом на периферии поля ока­зывает воздействие на все поле. Вследствие этого приходится переосмысливать истинность некоторых утверждений теории, а поскольку они логически связаны с другими утверждениями, то! это влечет переосмысление остальных утверждений. Таким об- j разом, системный подход к теории как единому, целостному; концептуальному образованию в ее рамках различных понятий и утверждений, значительно усложняет процесс ее проверки. Во всяком случае, теории проверяются совсем иначе, чем от­дельные, изолированные гипотезы или утверждения.

Источник