Верифицируемость – Верифицируемость — это… Что такое Верифицируемость?

Верифицируемость — это… Что такое Верифицируемость?

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

Верификация (от лат. verus — истинный, facere — делать) — это подтверждение соответствия конечного продукта предопределённым эталонным требованиям.

или

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

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

Примерами псевдонауки являются заявления некоторых программистов о том, что программ без ошибок не бывает. Алгоритм или программа содержит ошибки, если можно указать такие тестовые данные, при которых выполнение алгоритма (программы)приводит к получению сбоев, отказов или неправильных результатов.

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

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

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

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

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

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

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

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

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

Примечания

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

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

— осуществление альтернативных расчетов

— сравнение научной и технической документации (3.7.3) по новому проекту с аналогичной документацией по апробированному проекту

— проведение испытаний (3.8.3) и демонстраций

— анализ документов до их выпуска.

---

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

См. также

Литература

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

Wikimedia Foundation. 2010.

dic.academic.ru

верифицируемость — это… Что такое верифицируемость?



верифицируемость

верифицируемость

сущ., кол-во синонимов: 1

Словарь синонимов ASIS. В.Н. Тришин. 2013.

.

Синонимы:

• верифицированный
• верифицирующий

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

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

• Верифицируемость — В различных сферах деятельности человека под верификацией могут подразумеваться немного различные вещи. Например: Верификация (от лат. verus  истинный, facere  делать)  это подтверждение соответствия конечного продукта предопределённым эталонным… …   Википедия

• Верифицируемость — (от лат. verus истинный и facio делаю) 1) подтверждение; 2) (в неопозитивизме) проверка, эмпирическое подтверждение теоретических положений науки путем сопоставления их с наблюдаемыми объектами, чувственными данными, экспериментами; 3) (в… …   Начала современного естествознания

• Верифицируемость — (Verifiability). Критерий, используемый для определения ценности теории. Адекватная теория должна содержать четко определенные, логически взаимосвязанные и поддающиеся эмпирическому обоснованию концепции …   Теории личности: глоссарий

• Верификация, верифицируемость — (лат. verificare – доказать истину) – понятие методологии науки, характеризующее возможность установления истины научных утверждений в результате их эмпирической проверки …   Философия науки. Эпистемология. Методология. Культура

• ПОППЕР Карл Раймунд — (Popper, Karl Raimund) (1902 1994), британский философ австрийского происхождения. Родился в Вене 28 июля 1902 в семье видного юриста. Примыкал к социалистам и коммунистам, но затем отказался от социалистических идей, осознав, что они несут зла… …   Энциклопедия Кольера

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

• ПОСТСТРУКТУРАЛИЗМ —         (неоструктурализм)         обобщающее название ряда философско методол. подходов к осмыслению культурной деятельности и интерпретации текстов культуры, сложившихся в 70 90 х гг. на основе преодоления и отрицания структуралистского подхода …   Энциклопедия культурологии

• ДАММИТ — (Dummett) Майкл Энтони Эрдли (р. 1925) англ. аналитический философ и логик. Проф. логики Оксфордского ун та. Наибольшее влияние на формирование взглядов Д. оказали филос. идеи Г. Фреге и позднего Л. Витгенштейна, интуиционистская философия… …   Философская энциклопедия

• ПОППЕР — (Popper) Карл Раймунд (1902 1994) австро английский философ, один из крупнейших представителей философии науки 20 в. Род. в Вене, после окончания в 1924 Венского ун та преподавал физику и математику в средней школе и в Венском ун те. В 1937… …   Философская энциклопедия

dic.academic.ru

ВЕРИФИЦИРУЕМОСТЬ — это… Что такое ВЕРИФИЦИРУЕМОСТЬ?

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

    ß. С. Швырев

Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001.

dic.academic.ru

Верификация — это… Что такое Верификация?

Позитивизм
Основные понятия
Верификация, Опыт, Факт Индукция, Конвенционализм Теорема о неполноте Тезис Дюэма — Куайна Метаязык
Тексты
Основные начала Логико-философский трактат
Течения
Эмпириокритицизм, Махизм Венский кружок, Неопозитивизм Львовско-варшавская школа
Люди
Конт, Тэн, Милль, Спенсер Мах, Авенариус Пуанкаре, Дюэм, Рассел Шлик, Карнап, Гедель, Нейрат Витгенштейн

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

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

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

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

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

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

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

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

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

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

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

В российском государственном стандарте ГОСТ Р ИСО 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

dic.academic.ru

ВЕРИФИКАЦИЯ — это… Что такое ВЕРИФИКАЦИЯ?

        (позднелат. verificatio — доказательство, подтверждение, от лат. verus — истинный и faCIO — делаю), понятие, употребляемое в логике и методологии науки для обозначения процесса установления истинности науч. утверждений в результате их эмпирич. проверки. Различают непосредств. В.— как прямую проверку утверждений, формулирующих данные наблюдения и эксперимента (или утверждений, фиксирующих зависимости между этими данными), и косвенную В.— как установление логич. отношений между косвенно верифицируемыми и прямо верифицируемыми утверждениями. Науч. положения, содержащие развитые теоретпч. понятия, относятся к косвенно верифицируемым утверждениям (см. Эмпирическое и теоретическое). Следует различать также В. как актуальный процесс проверки реальных утверждений и верифицируемость, т. е, возможность В., ее условия. Именно анализ условий и схем верифицируемости выступает в качестве предмета логико-методологич. — исследования.         Термин «В.» получил широкое распространение в связи с концепцией анализа языка науки в логическом позитивизме, который сформулировал т. и. принцип В., или верифицируемости. Согласно этому принципу, всякое научно осмысленное утверждение о мире должно быть сводимо к совокупности т. н. протокольных предположений, фиксирующих данные «чистого опыта». Т. о., гносеологич. основанием принципа В. явилась феноменалистская, узкоэмпирич. доктрина, согласно которой познание не может выйти за пределы чувств. опыта. Основой подобной сводимости для логич. позитивистов Венского кружка выступала выдвинутая Д. Витгенштейном в «Логико-филос. трактате» идея возможности представления каждого осмысленного утверждения о мире в качестве функции истинности элементарных утверждений, являвшаяся по существу абсолютизацией формализма исчисления высказываний математич. логики.         Явная гносеологич. и методологич. несостоятельность принципа верифицируемости, сводящего знание о мире к «чистому опыту» и лишающего науч. осмысленности утверждения, непосредственно пе проверяемые опытным путём, вынудила его сторонников принять ослабленный вариант этого принципа, состоящий в замене понятия строгой и исчерпывающей В. понятием частичной и косвенной В., или подтверждения.         В совр. логико-методологич. литературе, резко критически относящейся к примитивному «верификационизму», В. рассматривается как момент сложного, противоречивого процесса развития науч. знания, как результат многопланоного взаимоотношения между соперничающими теориями и данными их экспериментальных проверок.

        Франк Ф., Философия науки, пер. с, англ., M., 1960; Хилл Т. И., Совр. теории познания, пер. с англ., M., 1965, гл. 14; Совр. бурж. философия, М., 1978, гл. 2, § 5; Ш в ы р ё в В. С., Теоретическое н эмпирическое в науч. познании, М., 1978, гл. 2.

Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.

dic.academic.ru

Верифицируемость — это… Что такое Верифицируемость?



Верифицируемость

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

Теории личности. — СПб.: Питер. Л. Хьелл, Д. Зиглер. 2003.

Синонимы:

• Вербальное кодирование
• Верность

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

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

• верифицируемость — сущ., кол во синонимов: 1 • проверяемость (1) Словарь синонимов ASIS. В.Н. Тришин. 2013 …   Словарь синонимов

• Верифицируемость — В различных сферах деятельности человека под верификацией могут подразумеваться немного различные вещи. Например: Верификация (от лат. verus  истинный, facere  делать)  это подтверждение соответствия конечного продукта предопределённым эталонным… …   Википедия

• Верифицируемость — (от лат. verus истинный и facio делаю) 1) подтверждение; 2) (в неопозитивизме) проверка, эмпирическое подтверждение теоретических положений науки путем сопоставления их с наблюдаемыми объектами, чувственными данными, экспериментами; 3) (в… …   Начала современного естествознания

• Верификация, верифицируемость — (лат. verificare – доказать истину) – понятие методологии науки, характеризующее возможность установления истины научных утверждений в результате их эмпирической проверки …   Философия науки. Эпистемология. Методология. Культура

• ПОППЕР Карл Раймунд — (Popper, Karl Raimund) (1902 1994), британский философ австрийского происхождения. Родился в Вене 28 июля 1902 в семье видного юриста. Примыкал к социалистам и коммунистам, но затем отказался от социалистических идей, осознав, что они несут зла… …   Энциклопедия Кольера

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

• ПОСТСТРУКТУРАЛИЗМ —         (неоструктурализм)         обобщающее название ряда философско методол. подходов к осмыслению культурной деятельности и интерпретации текстов культуры, сложившихся в 70 90 х гг. на основе преодоления и отрицания структуралистского подхода …   Энциклопедия культурологии

• ДАММИТ — (Dummett) Майкл Энтони Эрдли (р. 1925) англ. аналитический философ и логик. Проф. логики Оксфордского ун та. Наибольшее влияние на формирование взглядов Д. оказали филос. идеи Г. Фреге и позднего Л. Витгенштейна, интуиционистская философия… …   Философская энциклопедия

• ПОППЕР — (Popper) Карл Раймунд (1902 1994) австро английский философ, один из крупнейших представителей философии науки 20 в. Род. в Вене, после окончания в 1924 Венского ун та преподавал физику и математику в средней школе и в Венском ун те. В 1937… …   Философская энциклопедия

personality_theory.academic.ru

Верификация — Википедия. Что такое Верификация

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

См. также

Примечания

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

Литература

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

wiki.sc