Верифицируемость — это… Что такое Верифицируемость?
В различных сферах деятельности человека под верификацией могут подразумеваться немного различные вещи. Например:
Верификация (от лат. 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
ВЕРИФИЦИРУЕМОСТЬ — это… Что такое ВЕРИФИЦИРУЕМОСТЬ?
ВЕРИФИЦИРУЕМОСТЬ (от лат. verificare— доказать истину) — понятие методологии науки, характеризующее возможность установления истинности научных утверждений в результате их эмпирической проверки. Различается непосредственная верифицируемость, связанная с возможностью прямой проверки утверждений, формулирующих данные наблюдения и эксперимента, или утверждений, фиксирующих зависимости между этими данными и их обобщения (см. Эмпирический базис), и косвенная верифицируемость, основанная на установлении логических отношений между косвенно верифицируемыми и прямо верифицируемыми утверждениями. Научные положения, содержащие развитые теоретические понятия, относятся к косвенно верифицируемым утверждениям (см. Эмпирическое и теоретическое). Следует отличать верификацию как актуальный процесс эмпирического обоснования реальных утверждений и установления их истинности и верифицируемость как возможность верификации. Именно анализ идеализированных условий и схем верифицируемости как возможности верификации и может выступать в качестве предмета логико-методологического анализа. Термин “верифицируемость” получил широкое распространение в связи с концепцией анализа языка науки логического позитивизма, который сформулировал так называемый принцип верифицируемости, согласно которому всякое претендующее на научно-познавательное значение утверждение о мире посредством логического анализа составляющих его терминов и предложений в принципе должно быть сводимо к совокупности т.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… … Философская энциклопедия
Книги
- Гидрогеологические прогнозы в системе мониторинга подземных вод, С. М. Семенов, В работе обосновывается принципиальная вероятность гидрогеологических прогнозов вне зависимости от метода их составления. Характеризуются их верифицируемость, заблаговременность, адекватность… Категория: Научная и техническая литература Издатель: Наука, Производитель: Наука, Подробнее Купить за 928 грн (только Украина)
- Гидрогеологические прогнозы в системе мониторинга подземных вод, Семенов С.М., В работе обосновывается принципиальная вероятность гидрогеологических прогнозов вне зависимости от метода их составления. Характеризуются их верифицируемость, заблаговременность, адекватность… Категория: Гидрология, океанология Серия: — Издатель: Наука, Подробнее Купить за 717 руб
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) и демонстраций
- анализ документов до их выпуска.
Верификацию некоторые люди путают с валидацией. Верификация всегда опирается на сравнение реальных опытных образцов с эталонными, создаваемыми на фазе проектирования.
Примечания
- ↑ Апель, К.-О. Трансформация философии. М.: Логос, 2001. — С.35
- ↑ В случае, когда гипотезы претендуют на статус научных.
См. также
Литература
- Синицын С. В., Налютин Н. Ю. Верификация программного обеспечения. М.:БИНОМ, 2008, 368 c. ISBN 978-5-94774-825-3
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… … Философская энциклопедия
Книги
- Гидрогеологические прогнозы в системе мониторинга подземных вод, С. М. Семенов, В работе обосновывается принципиальная вероятность гидрогеологических прогнозов вне зависимости от метода их составления. Характеризуются их верифицируемость, заблаговременность, адекватность… Категория: Научная и техническая литература Издатель: Наука, Производитель: Наука, Подробнее Купить за 928 грн (только Украина)
- Гидрогеологические прогнозы в системе мониторинга подземных вод, Семенов С.М., В работе обосновывается принципиальная вероятность гидрогеологических прогнозов вне зависимости от метода их составления. Характеризуются их верифицируемость, заблаговременность, адекватность… Категория: Гидрология, океанология Серия: — Издатель: Наука, Подробнее Купить за 717 руб
personality_theory.academic.ru
ВЕРИФИЦИРУЕМОСТЬ это что такое ВЕРИФИЦИРУЕМОСТЬ: определение — Философия.НЭС
ВЕРИФИЦИРУЕМОСТЬ
от лат. verificare— доказать истину) — понятие методологии науки, характеризующее возможность установления истинности научных утверждений в результате их эмпирической проверки. Различается непосредственная верифицируемость, связанная с возможностью прямой проверки утверждений, формулирующих данные наблюдения и эксперимента, или утверждений, фиксирующих зависимости между этими данными и их обобщения (см. Эмпирический базис), и косвенная верифицируемость, основанная на установлении логических отношений между косвенно верифицируемыми и прямо верифицируемыми утверждениями. Научные положения, содержащие развитые теоретические понятия, относятся к косвенно верифицируемым утверждениям (см. Эмпирическое и теоретическое). Следует отличать верификацию как актуальный процесс эмпирического обоснования реальных утверждений и установления их истинности и верифицируемость как возможность верификации. Именно анализ идеализированных условий и схем верифицируемости как возможности верификации и может выступать в качестве предмета логико-методологического анализа.
Термин «верифицируемость» получил широкое распространение в связи с концепцией анализа языка науки логического позитивизма, который сформулировал так называемый принцип верифицируемости, согласно которому всякое претендующее на научно-познавательное значение утверждение о мире посредством логического анализа составляющих его терминов и предложений в принципе должно быть сводимо к совокупности т. н. протокольных предложений, фиксирующих данные «чистого опыта». Тем самым принцип верифицируемости выступил в концепции науки логического позитивизма как критерий познавательного значения утверждений о мире, в своей критической функции анализа языка науки, призванной очистить последнюю от т. н. метафизики. В своей позитивной же функции принцип верифицируемости должен был выступать как исходная установка всеохватывающей логической реконструкции языка науки, в основе которой должны были лежать протокольные предложения.
Т, о., гносеологическим основанием принципа верифицируемости в логическом позитивизме явилась феноменалистская, узкоэмпирическая доктрина о том, что познание, в том .числе и научное, в принципе не может выйти за пределы чувственного опыта. Основой же логической схемы такой сводимости для логических позитивистов Венского кружка выступала выдвинутая Д. Витгенштейном в рамках его концепции логического атомизма идея возможности представления каждого осмысленного утверждения о мире в качестве функции истинности элементарных, т. н. атомарных, предложений, являвшаяся по существу абсолютизацией формализма исчисления высказываний математической логики. Однако впоследствии явная гносеологическая и методологическая несостоятельность принципа как формы радикального эмпиризма, настаивавшего на возможности исчерпывающей сводимости научных утверждений к совокупности предложений наблюдения, вынудила логических позитивистов принять ослабленный вариант принципа верифицируемости, заменяющий понятие строгой и исчерпывающей верифицируемости понятием частичной верифицируемости или подтверждаемости. В рамках этого подхода разрабатывались, в частности, попытки экспликации количественной оценки подтверждаемости на основе использования вероятностных методов (см. Вероятностная логика}. Разрабатываемые варианты вероятностной «логики подтверждения» (Карнап, Рейхенбах) носили, однако, весьма искусственный характер и не имели сколько-нибудь серьезного реального методологического значения.
Следствием вынужденного отказа от идеи исчерпывающей сводимости языка науки к совокупности предложений наблюдения явился и отказ по существу от идеи верифицируемости в ее сколько-нибудь последовательной и определенной форме, на смену которой пришло представление о косвенной и частичной эмпирической подтверждаемости научно-теоретических утверждений в рамках гтотетикодедуктивной модели научного знания.
Современная методология науки, резко критически относящаяся к примитивному верификационизму, отвергая идею верифицируемости в ее «классическом» варианте, рассматривает частичную и косвенную подтверждаемость научных утверждений в структуре теории как момент сложного и многоступенчатого динамического процесса согласования концептуально-теоретического аппарата науки и ее эмпирического базиса. См. также ст. Верификационизм. Оправдание теории.
Оцените определение:
Источник: Новая философская энциклопедия
terme.ru
Верифицируемость — это… Что такое Верифицируемость?
- Верифицируемость
(от лат. verus — истинный и facio — делаю)
1) подтверждение;
2) (в неопозитивизме) проверка, эмпирическое подтверждение теоретических положений науки путем сопоставления их с наблюдаемыми объектами, чувственными данными, экспериментами;
3) (в естественных науках) проверка истинности теоретического положения, установление достоверности опытным (эмпирическим, экспериментальным) путем. Принцип (критерий) верификации — один из принципов (критериев) научности выдвигаемых или установленных положений, используемого знания.
Начала современного естествознания. Тезаурус. — Ростов-на-Дону. В.Н. Савченко, В.П. Смагин. 2006.
- Верификация
- Вероятностный процесс
Смотреть что такое «Верифицируемость» в других словарях:
ВЕРИФИЦИРУЕМОСТЬ — ВЕРИФИЦИРУЕМОСТЬ (от лат. verificare доказать истину) понятие методологии науки, характеризующее возможность установления истинности научных утверждений в результате их эмпирической проверки. Различается непосредственная верифицируемость,… … Философская энциклопедия
верифицируемость — сущ., кол во синонимов: 1 • проверяемость (1) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
Верифицируемость — В различных сферах деятельности человека под верификацией могут подразумеваться немного различные вещи. Например: Верификация (от лат. verus истинный, facere делать) это подтверждение соответствия конечного продукта предопределённым эталонным… … Википедия
Верифицируемость — (Verifiability). Критерий, используемый для определения ценности теории. Адекватная теория должна содержать четко определенные, логически взаимосвязанные и поддающиеся эмпирическому обоснованию концепции … Теории личности: глоссарий
Верификация, верифицируемость — (лат. verificare – доказать истину) – понятие методологии науки, характеризующее возможность установления истины научных утверждений в результате их эмпирической проверки … Философия науки. Эпистемология. Методология. Культура
ПОППЕР Карл Раймунд — (Popper, Karl Raimund) (1902 1994), британский философ австрийского происхождения. Родился в Вене 28 июля 1902 в семье видного юриста. Примыкал к социалистам и коммунистам, но затем отказался от социалистических идей, осознав, что они несут зла… … Энциклопедия Кольера
ВЕРИФИКАЦИЯ — в культурологии (позднелат. verificatio доказательство, подтверждение верности или истинности чего либо; от лат. verus истинный и facio делаю) установление истинности тех или иных суждений (утверждений и отрицаний) о культуре в знании о… … Энциклопедия культурологии
ПОСТСТРУКТУРАЛИЗМ — (неоструктурализм) обобщающее название ряда философско методол. подходов к осмыслению культурной деятельности и интерпретации текстов культуры, сложившихся в 70 90 х гг. на основе преодоления и отрицания структуралистского подхода … Энциклопедия культурологии
ДАММИТ — (Dummett) Майкл Энтони Эрдли (р. 1925) англ. аналитический философ и логик. Проф. логики Оксфордского ун та. Наибольшее влияние на формирование взглядов Д. оказали филос. идеи Г. Фреге и позднего Л. Витгенштейна, интуиционистская философия… … Философская энциклопедия
ПОППЕР — (Popper) Карл Раймунд (1902 1994) австро английский философ, один из крупнейших представителей философии науки 20 в. Род. в Вене, после окончания в 1924 Венского ун та преподавал физику и математику в средней школе и в Венском ун те. В 1937… … Философская энциклопедия
Книги
- Гидрогеологические прогнозы в системе мониторинга подземных вод, С. М. Семенов, В работе обосновывается принципиальная вероятность гидрогеологических прогнозов вне зависимости от метода их составления. Характеризуются их верифицируемость, заблаговременность, адекватность… Категория: Научная и техническая литература Издатель: Наука, Производитель: Наука, Подробнее Купить за 928 грн (только Украина)
- Гидрогеологические прогнозы в системе мониторинга подземных вод, Семенов С.М., В работе обосновывается принципиальная вероятность гидрогеологических прогнозов вне зависимости от метода их составления. Характеризуются их верифицируемость, заблаговременность, адекватность… Категория: Гидрология, океанология Серия: — Издатель: Наука, Подробнее Купить за 717 руб
estestvoznanie.academic.ru