Верифікація
А.А. Грицанов
Верифікація
(від лат. verificatio - доказ, підтвердження) - встановлення істинності
або емпіричної свідомості наукових тверджень, Цей термін набув широкого
поширення у зв'язку з неопозітівістской програмою емпіричного
обгрунтування науки. З точки зору неопозитивізму, емпіричний базис науки утворюють
абсолютно достовірні протокольні речення, що виражають «чистий» чуттєвий
досвід суб'єкта. Лише ті пропозиції науки Правдиві й осмислені, які можуть
бути верифіковані, тобто зведені до протокольного пропозиціям. Завдання
логічного аналізу науки полягає в тому, щоб, з одного боку, пов'язати
наукові затвердження з протокольними пропозиціями та забезпечити науці міцний
емпіричний базис, а з ін боку - очистити мову науки від неверіфіціруемих,
отже, безглуздих пропозицій. При здійсненні цієї програми
постали дві головні проблеми: з'ясування природи протокольних пропозицій і розробка
процедур В. Спроби неопозітівістов вирішити ці проблеми привели їх до нового
емпіричного розуміння мови - як мови, що фіксує факти і результати
спостережень і експериментів, і до визнання непрямої верифіковані: лише
невелике число наукових пропозицій має бути безпосередньо зводиться до протокольного,
всі інші пропозиції верифікуються опосередковано - завдяки їх логічної
зв'язку з безпосередньо верифіковані пропозиціями, У сучасній філософії
науки термін В. вживається рідко, причому в самому широкому розумінні:
верифікувати деякий пропозицію або теорію - значить як-то (прямо чи опосередковано)
підтвердити її за допомогою емпіричних процедур - спостереження або експерименту.
***
Верифікація (пізньолат. verificatia - підтвердження лат.
verus - справжній, facio - роблю) - логіко-методологічна процедура
встановлення істинності наукової гіпотези (так само як і приватного,
конкретно-наукового твердження) на основі їхньої відповідності емпіричним даним
(пряма або безпосередня В.) або теоретичним положенням, відповідним
емпіричним даним (непряма В.).
Концепція
веріфікаціонізма була розроблена учасниками Віденського гуртка, нерідко
посилалися в зв'язку з цим на ідею Вітгенштейна про те, що «розуміти пропозицію
- Значить знати, що має місце, коли воно істинно ». (Хоча сам Вітгенштейн
якось зазначив: «У свій час я часто повторював, що для прояснення вживання
якого-небудь пропозиції не погано було б запитати себе - як можна
верифікувати це твердження? Але це лише один спосіб прояснити вживання
слова або пропозиції ... Деякі люди перетворили даний мною рада звернутися
до верифікації - в догму, представивши справу так, ніби я висуваю теорію
значення »). Перша експліцитно формулювання принципу верифіковані була здійснена
Ф. Вайсманом у роботі «Логічний аналіз понять ймовірності» (1930). У рамках
логічного позитивізму принцип верифіковані мислився (змістовно
вичерпуючи майже повністю в рамках формалізованого представлення методів
Маха і К. Пірсона) критеріальною вичерпним способом апробації наукових
тверджень, понятих як «протокольних пропозицій» як фіксацій даних
безпосереднього досвіду.
Згідно
Шліком, «спочатку під« протокольними пропозиціями »розумілися - як це
видно з самого найменування - ті пропозиції, які висловлюють факти абсолютно
просто, без будь-якого їх перероблення, зміни або додавання до них
чого-небудь ще, - факти, пошуком яких займається будь-яка наука і які
передують всякому пізнання і кожному, судження про світ. Нема сенсу говорити
про недостовірних фактах. Тільки твердження, тільки наше знання можуть бути
недостовірними. Тому якщо нам вдається висловити факти в «протокольних
пропозиції », без будь-якого викривлення, то вони стануть, напевно, абсолютно
безсумнівними відправними точками знання ». Можливий логічний алгоритм
здійснення верифікаційної процедури Шлік характеризував так: для того,
щоб верифікувати судження А, необхідно вивести з нього за допомогою
істинних суджень A1, А2, А3 ... Ак - послідовний ланцюжок суджень A1, A2,
А3 ... Ак. Останній член цієї послідовності має бути судженням типу
«... в такому-то місці, в такий-то час, за таких-то обставин
переживається або спостерігається те-то ».
Оскільки
пропозиції, тільки й можуть, відповідно до концепції Віденського гуртка, фігурувати
в науковому знанні діляться на два класи:
1)
пропозиції, що не мають предметного змісту, зводяться до тавтології і пов'язані
до логіко-математичної сфері, - аналітичні, логічні істини
2)
осмислені пропозиції, що зводяться до емпіричних фактів і що відносяться до сфери
конкретних наук - фактичні істини.
Інші
ж пропозиції або абсурдні (безглузді), оскільки організовані всупереч
логіко-синтаксичним правилам, чи все ще науково неосмислений
( «Метафізичні» або філософські пропозиції, які оперують з поняттями типу
«Матерія», «абсолют», «принцип» і т.п.). Наукова свідомість пропозицій
виявлялася тотожною його можливості перевірки, в той час як значення - способу
його В. Пізніше, у книзі «Філософія і логічний синтаксис» (1935) Карнапом
розмежував непряму і пряму В. Перша передбачала безпосередню В.
вихідного висловлювання: на основі вже відомого і апробованого допомогою
В. закону здійснюється прогноз, конституюється необхідні умови і прогноз
перевіряється.
Внаслідок
очевидності того, що не допускали чуттєвої В. багато справді наукові
пропозиції -
а)
«Загальні» пропозиції, які не можуть бути підтвердженими кінцевим кількістю
досвідчених процедур
б)
пропозиції, що стосуються майбутнього і минулого, не підвладних щохвилинному
спостереження, - принцип В. був пом'якшений в ідею «можливу можливості перевірки» (у
принцип «верифіковані»).
Наука
20 в., Опровергнувшая процедуру В., як і пов'язану з нею ідею незалежності
«Чистого досвіду» від самого експериментатора, віддала деяка перевага ідеї
фальсифікації і орієнтувалася на елімінацію В. з дисциплінарного арсеналу
філософії. Так, у доповіді на Xiv Міжнародному філософському конгресі (1968)
Айер запропонував інтерпретувати принцип В. як вимога, щоб гіпотеза науки
хоча б «нетривіально фігурувала в теорії, яка, узята як ціле, була
відкрита для підтвердження ». (Див. також Айер, Шлік, Карнапом, Поппер, Гіпотеза,
Істина, Досвід, Теорія, Фальсифікація, Віденський гурток.)
Список літератури
Никифоров
А.Л. Філософія науки: історія та методологія. М., 1998
Carnap R. Testability and Meaning//
Philosophy of Science. 1937. Vol. 4, Джерело: «Філософський
енциклопедичний словник ", що використовуються скорочення,
Для
підготовки даної роботи були використані матеріали з сайту http://ariom.ru/
