что такое верифицируемость теории
ВЕРИФИЦИРУЕМОСТЬ
Полезное
Смотреть что такое «ВЕРИФИЦИРУЕМОСТЬ» в других словарях:
верифицируемость — сущ., кол во синонимов: 1 • проверяемость (1) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
Верифицируемость — В различных сферах деятельности человека под верификацией могут подразумеваться немного различные вещи. Например: Верификация (от лат. 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… … Философская энциклопедия
Верифицируемость
В различных сферах деятельности человека под верификацией могут подразумеваться немного различные вещи. Например:
Верификация (от лат. 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) и демонстраций
— анализ документов до их выпуска.
Верификацию некоторые люди путают с валидацией. Верификация всегда опирается на перепроверке реальных опытных образцов с эталонными, создаваемых на фазе проектирования.
См. также
Литература
Полезное
Смотреть что такое «Верифицируемость» в других словарях:
ВЕРИФИЦИРУЕМОСТЬ — ВЕРИФИЦИРУЕМОСТЬ (от лат. verificare доказать истину) понятие методологии науки, характеризующее возможность установления истинности научных утверждений в результате их эмпирической проверки. Различается непосредственная верифицируемость,… … Философская энциклопедия
верифицируемость — сущ., кол во синонимов: 1 • проверяемость (1) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
Верифицируемость — (от лат. 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… … Философская энциклопедия
Верифицируемость
ВЕРИФИЦИРУЕМОСТЬ (от лат. verificare — доказать истину) — понятие методологии науки, характеризующее возможность установления истинности научных утверждений в результате их эмпирической проверки. Различается непосредственная верифицируемость, связанная с возможностью прямой проверки утверждений, формулирующих данные наблюдения и эксперимента, или утверждений, фиксирующих зависимости между этими данными и их обобщения (см. Эмпирический базис), и косвенная верифицируемость, основанная на установлении логических отношений между косвенно верифицируемыми и прямо верифицируемыми утверждениями. Научные положения, содержащие развитые теоретические понятия, относятся к косвенно верифицируемым утверждениям (см. Эмпирическое и теоретическое). Следует отличать верификацию как актуальный процесс эмпирического обоснования реальных утверждений и установления их истинности и верифицируемость как возможность верификации. Именно анализ идеализированных условий и схем верифицируемости как возможности верификации и может выступать в качестве предмета логико-методологического анализа.
Термин «верифицируемость» получил широкое распространение в связи с концепцией анализа языка науки логического позитивизма, который сформулировал так называемый принцип верифицируемости, согласно которому всякое претендующее на научно-познавательное значение утверждение о мире посредством логического анализа составляющих его терминов к предложений в принципе должно быть сводимо к совокупности т. н. протокольных предложений, фиксирующих данные «чистого опыта». Тем самым принцип верифицируемости выступил в концепции науки логического позитивизма как критерий познавательного значения утверждений о мире, в своей критической функции анализа языка науки, призванной очистить последнюю от т. н. метафизики. В своей позитивной же функции принцип верифицируемости должен был выступать как исходная установка всеохватывающей логической реконструкции языка науки, в основе которой должны были лежать протокольные предложения.
Таким образом, гносеологическим основанием принципа верифицируемости в логическом позитивизме явилась феноменалистская, узкоэмпирическая доктрина о том, что познание, в том числе и научное, в принципе не может выйти за пределы чувственного опыта. Основой же логической схемы такой сводимости для логических позитивистов Венского кружка выступала выдвинутая Л. Витгенштейном в рамках его концепции логического атомизма идея возможности представления каждого осмысленного утверждения о мире в качестве функции истинности элементарных, т. н. атомарных, предложений, являвшаяся по существу абсолютизацией формализма исчисления высказываний математической логики. Однако впоследствии явная гносеологическая и методологическая несостоятельность принципа как формы радикального эмпиризма, настаивавшего на возможности исчерпывающей сводимости научных утверждений к совокупности предложений наблюдения, вынудила логических позитивистов принять ослабленный вариант принципа верифицируемости, заменяющий понятие строгой и исчерпывающей верифицируемости понятием частичной верифицируемости или подтверждаемости. В рамках этого подхода разрабатывались, в частности, попытки экспликации количественной оценки подтверждаемости на основе использования вероятностных методов (см. Вероятностная логика). Разрабатываемые варианты вероятностной «логики подтверждения» (Карнап, Рейхенбах) носили, однако, весьма искусственный характер и не имели сколько-нибудь серьезного реального методологического значения. Следствием вынужденного отказа от идеи исчерпывающей сводимости языка науки к совокупности предложений наблюдения явился и отказ по существу от идеи верифицируемости в ее сколько-нибудь последовательной и определенной форме, на смену которой пришло представление о косвенной и частичной эмпирической подтверждаемости научно-теоретических утверждений в рамках гипотетико- дедуктивной модели научного знания. Современная методология науки, резко критически относящаяся к примитивному верификационизму, отвергая идею верифицируемости в ее «классическом» варианте, рассматривает частичную и косвенную подтверждаемость научных утверждений в структуре теории как момент сложного и многоступенчатого динамического процесса согласования концептуально-теоретического аппарата науки и ее эмпирического базиса.
См. также ст. Верификационизм, Оправдание теории.
Верифицируемость
Верифицируемость, или верификация — это понятие методологии науки (см. Методология науки), которое характеризует возможность установления истинности научных утверждений в результате их эмпирической проверки. Термин «верифицируемость» подразумевает логико-методологическую процедуру установления истинности научной гипотезы (равно как и частного, конкретно-научного утверждения) на основе их соответствия эмпирическим данным или теоретическим положениям, соответствующим эмпирическим данным. Различаются непосредственная верифицируемость, связанная с возможностью прямой проверки утверждений, формулирующих данные наблюдения и эксперимента, или утверждений, фиксирующих зависимости между этими данными и их обобщения, и косвенная верифицируемость, основанная на установлении логических отношений между косвенно верифицируемыми и прямо верифицируемыми утверждениями. Научные положения, содержащие развитые теоретические понятия (см. Теория), относятся к косвенно верифицируемым утверждениям. Наряду с этим принято различать верификацию как актуальный процесс эмпирического обоснования реальных утверждений и установления их истинности, и верифицируемость как возможность верификации. Именно анализ идеализированных условий и схем верифицируемости как возможности верификации и может выступать в качестве предмета логико-методологического анализа. В современных научно-ориентированных концепциях верифицируемость обычно рассматривается как результат многопланового взаимоотношения между соперничающими теориями и данными их экспериментальных проверок.
Термин «верифицируемость» получил широкое распространение в связи с концепцией анализа языка науки логического позитивизма, который сформулировал так называемый принцип верифицируемости, согласно которому всякое претендующее на научно-познавательное значение утверждение о мире посредством логического анализа составляющих его терминов и предложений в принципе должно быть сводимо к совокупности так называемых протокольных предложений, фиксирующих данные «чистого опыта». Тем самым принцип верифицируемости выступил в концепции науки логического позитивизма как критерий познавательного значения утверждений о мире, в своей критической функции анализа языка науки, призванной очистить последнюю от так называемой метафизики. В своей позитивной же функции принцип верифицируемости должен был выступать как исходная установка всеохватывающей логической реконструкции языка науки, в основе которой должны были лежать протокольные предложения. Таким образом, гносеологическим основанием принципа верифицируемости в логическом позитивизме явилась феноменалистская, узкоэмпирическая доктрина о том, что познание, в том числе и научное, в принципе не может выйти за пределы чувственного опыта. Основой же логической схемы такой сводимости для логических позитивистов Венского кружка выступала выдвинутая Л. Витгенштейном в рамках его концепции логического атомизма идея возможности представления каждого осмысленного утверждения о мире в качестве функции истинности элементарных, так называемых атомарных, предложений, являвшаяся по существу абсолютизацией формализма исчисления высказываний математической логики (см. Символическая логика). Однако впоследствии явная гносеологическая и методологическая несостоятельность принципа как формы радикального эмпиризма, настаивавшего на возможности исчерпывающей сводимости научных утверждений к совокупности предложений наблюдения, вынудила логических позитивистов принять ослабленный вариант принципа верифицируемости, заменяющий понятие строгой и исчерпывающей верифицируемости понятием частичной верифицируемости или подтверждаемости. В рамках этого подхода разрабатывались, в частности, попытки экспликации количественной оценки подтверждаемости на основе использования вероятностных методов. Разрабатываемые варианты вероятностной «логики подтверждения» носили, однако, весьма искусственный характер и не имели сколько-нибудь серьёзного реального методологического значения.
Следствием вынужденного отказа от идеи исчерпывающей сводимости языка науки к совокупности предложений наблюдения стал и отказ по существу от идеи верифицируемости в её сколько-нибудь последовательной и определённой форме, на смену которой пришло представление о косвенной и частичной эмпирической подтверждаемости научно-теоретических утверждений в рамках гипотетико-дедуктивной модели научного знания. Современная методология науки, критически относящаяся к упрощённому верификационизму (см. Верификационизм) и отвергая идею верифицируемости в её «классическом» варианте, рассматривает частичную и косвенную подтверждаемость научных утверждений в структуре теории как момент сложного и многоступенчатого динамического процесса согласования концептуально-теоретического аппарата науки и её эмпирического базиса.
Что такое верифицируемость теории
ВЕРИФИЦИРУЕМОСТЬ
ВЕРИФИЦИРУЕМОСТЬ (от лат. verificare – доказать истину) – понятие методологии науки, характеризующее возможность установления истинности научных утверждений в результате их эмпирической проверки. Различается непосредственная верифицируемость, связанная с возможностью прямой проверки утверждений, формулирующих данные наблюдения и эксперимента, или утверждений, фиксирующих зависимости между этими данными и их обобщения (см. Эмпирический базис), и косвенная верифицируемость, основанная на установлении логических отношений между косвенно верифицируемыми и прямо верифицируемыми утверждениями. Научные положения, содержащие развитые теоретические понятия, относятся к косвенно верифицируемым утверждениям (см. Эмпирическое и теоретическое). Следует отличать верификацию как актуальный процесс эмпирического обоснования реальных утверждений и установления их истинности и верифицируемость как возможность верификации. Именно анализ идеализированных условий и схем верифицируемости как возможности верификации и может выступать в качестве предмета логико-методологического анализа.
Термин «верифицируемость» получил широкое распространение в связи с концепцией анализа языка науки логического позитивизма, который сформулировал так называемый принцип верифицируемости, согласно которому всякое претендующее на научно-познавательное значение утверждение о мире посредством логического анализа составляющих ‘его терминов и предложений в принципе должно быть сводимо к совокупности т.н. протокольных предложений, фиксирующих данные «чистого опыта». Тем самым принцип верифицируемости выступил в концепции науки логического позитивизма как критерий познавательного значения утверждений о мире, в своей критической функции анализа языка науки, призванной очистить последнюю от т.н. метафизики. В своей позитивной же функции принцип верифицируемости должен был выступать как исходная установка всеохватывающей логической реконструкции языка науки, в основе которой должны были лежать протокольные предложения.
Т.о., гносеологическим основанием принципа верифицируемости в логическом позитивизме явилась феноменалистская, узкоэмпирическая доктрина о том, что познание, в том числе и научное, в принципе не может выйти за пределы чувственного опыта. Основой же логической схемы такой сводимости для логических позитивистов Венского кружка выступала выдвинутая Л.Витгенштейном в рамках его концепции логического атомизма идея возможности представления каждого осмысленного утверждения о мире в качестве функции истинности элементарных, т.н. атомарных, предложений, являвшаяся по существу абсолютизацией формализма исчисления высказываний математической логики. Однако впоследствии явная гносеологическая и методологическая несостоятельность принципа как формы радикального эмпиризма, настаивавшего на возможности исчерпывающей сводимости научных утверждений к совокупности предложений наблюдения, вынудила логических позитивистов принять ослабленный вариант принципа верифицируемости, заменяющий понятие строгой и исчерпывающей верифицируемости понятием частичной верифицируемости или подтверждаемости. В рамках этого подхода разрабатывались, в частности, попытки экспликации количественной оценки подтверждаемости на основе использования вероятностных методов (см. Вероятностная логика). Разрабатываемые варианты вероятностной «логики подтверждения» (Карнап, Рейхенбах) носили, однако, весьма искусственный характер и не имели сколько-нибудь серьезного реального методологического значения.
Следствием вынужденного отказа от идеи исчерпывающей сводимости языка науки к совокупности предложений наблюдения явился и отказ по существу от идеи верифицируемости в ее сколько-нибудь последовательной и определенной форме, на смену которой пришло представление о косвенной и частичной эмпирической подтверждаемости научно-теоретических утверждений в рамках гипотетико-дедуктивной модели научного знания. Современная методология науки, резко критически относящаяся к примитивному верификационизму, отвергая идею верифицируемости в ее «классическом» варианте, рассматривает частичную и косвенную подтверждаемость научных утверждений в структуре теории как момент сложного и многоступенчатого динамического процесса согласования концептуально-теоретического аппарата науки и ее эмпирического базиса. См. также ст. Верификационизм, Оправдание теории.