Верифікація

Верифіка́ція (пізньолат. verificatia — підтвердження; лат. verus — істинний, facio — роблю) — доказ того, що твердження є істинним.

Загальна характеристика

Термін використовується залежно від того, як обґрунтовується істина: базується вона на приведенні одного доказу або аргументу — чи вона повинна підтверджуватися можливістю багаторазового відтворювання, тобто перевірятися практикою.

Перевірка, підтвердження, метод доказів будь-яких теоретичних положень, алгоритмів, програм і процедур шляхом їх зіставлення з досвідченими (еталонними або емпіричними) даними, алгоритмами і програмами

Методика розпізнавання на відповідність правді.

В науці: логіко-методологічна процедура встановлення істинності наукової гіпотези (так само як і поодинокого, конкретно-наукового твердження) на підставі їхньої відповідності емпіричним даним (пряма або безпосередня верифікація) або теоретичним положенням, що відповідають емпіричним даним (непряма верифікація). У рамках логічного позитивізму принцип верифікованості розуміється критеріально вичерпним способом апробації наукових тверджень, які розуміються як «протокольні припущення» як фіксації даних безпосереднього досвіду: твердження, котрі виходять за рамки «протокольних пропозицій» трактуються як такі, що неверифікуються, у випадку чого в дію вступає принцип фальсифікації.

Див. також

• Принцип верифікації
• Принцип фальсифікації
• Ідентифікація
• Валідація
• Разбор шляхти

Література

• А. Кудряченко. Верифікація // Політична енциклопедія. Редкол.: Ю. Левенець (голова), Ю. Шаповал (заст. голови) та ін. — К.: Парламентське видавництво, 2011. — с.91 ISBN 978-966-611-818-2.
• Верифікаційний принцип // Філософський енциклопедичний словник / В. І. Шинкарук (гол. редкол.) та ін. — Київ : Інститут філософії імені Григорія Сковороди НАН України : Абрис, 2002. — 742 с. — 1000 екз. — ББК 87я2. — ISBN 966-531-128-X.

Посилання

• Верифікація //ЕСУ
• Верифікація // Юридична енциклопедія : [у 6 т.] / ред. кол.: Ю. С. Шемшученко (відп. ред.) [та ін.]. — К. : Українська енциклопедія ім. М. П. Бажана, 1998—2004. — ISBN 966-749-200-1.
• Верифікація // Митна енциклопедія : у 2 т. / І. Г. Бережнюк (відп. ред.) та ін.. — Хм. : ПП Мельник А. А., 2013. — Т. 1 : А — Л. — 472 с. — ISBN 978-617-7094-09-7.
• Верифікація // Універсальний словник-енциклопедія. — 4-те вид. — К. : Тека, 2006.

Інтернет-ресурси

• Verifizierung von Lexikoneinträgen
• VeriFun, ein semiautomatischer Beweiser für funktionale Programme