Антиметафізика неопозитивістської інтерпретаціїістини: аргумент верифікації
Логічний аналіз науки і філософії як етап розвитку аналітичної філософії називають логічним позитивізмом, або неопозитивізмом. Інтерес мислителів зосереджувався на науковому знанні, а не на дослідженні буденної мови.
Певний вплив на неопозитивізм мали ідеї Г. Лейбніца, який перший в історії філософії створив розгорнуте вчення про логічний аналіз, на відміну від раціоналістично-аналітичного методу Р. Декарта. Німецький філософ розумів аналіз як суто формальний, тавтологічний процес переведення знання на більш точну логічну мову. Він прагнув створити єдину систему формального логічного знання на основі штучної мови. Філософські та логічні ідеї Г. Лейбніца вплинули на Б. Рассела, який (як він писав) повірив видатному мислителю стосо- вно того, що «все складне розкладається на частини і під час аналізу важливо вважати метою просте»56.У праці «Мислителі нашого часу» систематизатор філософії А. Хюбшер писав: «Відштовхуючись від Лейбніца, Рассел зробився не лише справжнім філософом математики, але й засновником нової “аналітичної” епохи у філософії»57. Варто зазначити, що Г. Лейбніц як предтеча символічної логіки вважав, що у філософії ніколи не припиняться дискусії, заплутані, складні для розуміння міркування, поки філософи не будуть «озброєні» строгими методами логічного аналізу. Такого роду «мову символів» Б. Рассел (разом з А. Вайтхедом) запропонував у «Principia Mathematica» - «головній праці сучасної логістики, що виконує стару вимогу Лейбніца і зближує роботу Рассела з результатами досліджень німецьких вчених від Готліба Фреге до Генріха Шольца»558.
Значний внесок у розвиток неопозитивізму як логічного позитивізму і лінгвістичного аналізу внесли мислителі Віденського гуртка (кола) - М. Шлік, Р. Карнап, О. Heupam та інші, а також представники берлінського Товариства наукової філософії (X.
Рейхенбах, К. Гемпель та інші). Щоправда, P. Карнап заперечував такі назви, як «логічний позитивізм» або «неопозитивізм», стверджуючи, що вони занадто безпосередньо підкреслюють залежність цього напряму від «старого позитивізму» О. Конта і Е. Maxa.Насамперед увагу неопозитивістів привернула проблема обґрунтування достовірного, тобто наукового знання. Для перевірки на наукову переконливість було поставлено чотири сфери знання: метафізика і філософія; логіка і математика (акцент, як було показано вище, робився на логіці); природознавство (насамперед фізика); гуманітарні дисципліни - етика, естетика, теологія. Жодна з них не повинна уникнути неу- передженого критичного аналізу.
Визначальна ідея неопозитивізму, що стала головним аргументом в критичному аналізі гуманітарної науки, зокрема метафізики, сформульована представником Віденського гуртка М. Шліком. «Мова складається зі слів і синтаксису, тобто з наявних слів, які мають значення, з правил утворення речень; ці давила вказують, як зі слів можна утворювати речення різного виду»59. Псевдоречення, як і хибні наукові положення, виникають в двох випадках: або слова не володіють смислами, тобто не означують факти, або речення (положення) утворено не за правилами синтаксису - у цьому випадку воно не буде мати смислу. Останній як комбінацію знаків речення цілком визначено тим, яким чином встановлено значення дескриптивних і логічних знаків, а завдяки правилам утворення задано їхній зв’язок в реченні. Смисл полягає в тому, що означає ця комбінація відповідно до встановлених значенням знаків і правилам утворення. Інакше кажучи, смисл визначено словни- ком і логічною граматикою мови. Цей висновок зробив також і М. Шлік, який писав: «У речень з’являється смисл, якщо відомі словник 60
і граматика мови».
Тест на науковість успішно проходить логіка, але тоді, коли її положення (речення) несуперечливо узгоджені між собою (критерій когерентної істини). Зміст логічних речень є формальним, він не вимагає звернення до фактів.
Для зарахування логіки до наукових дисциплін достатньо того, що вона є необхідною для всіх наук. «Логіка, - доводить В. Крафт, - не дає жодного знання, вона виражає не основні закони буття, а обґрунтовує впорядкування думок. Логічні зв’язки є лише мисленнєвими, вони являють собою не фактичні зв’язки реальності, а лише зв’язки в системі зображення реальності»61. Наприклад, класи існують не як певні реальності, а як об’єднання в мисленні. І запереченню в оточуючому світі не відповідає яке-небудь особливе положення справ поряд з їх позитивним положенням. Оскільки логічні зв’язки є суто формальними, то вони можуть встановлюватися незалежно від конкретного смислу висловлювань і стану справ. Тому вони можуть взагалі нічого не говорити про реальний стан справ про буття.У такому контексті логіка складається з аналітичних речень і положень, істинність яких аргументується їхнім змістом. Математика у всіх аспектах подібна до логіки, вона може бути виведена з логіки і володіє таким самим характером. Математик також не говорить ні про які факти. З суто математичної точки зору, числа - якщо абстрагуватися від їх застосування - не означують жодних предметів зі світу досвіду, а геометрія не описує реального простору. Положення математики є не синтетичними, а аналітичними. Вони визнаються істинними (або хибними) лише на основі визначення понять, що входять в них (в положення). Отже, «математику можна, як і логіку, вважати наукою».
Природознавство, зокрема фізика, успішно проходить тест на науковість тоді, коли положення, з яких вона складається, мають експериментальне значення і характер, тобто означують конкретні факти, проходять перевірку, або верифікацію, даними експерименту. Положення фізики належать до класу семантичних положень, істинність яких визначається верифікацією. Серед положень фізики є складні та елементарні (протокольні). Останні містять найбільш елементарні, атомарні факти. Зазначимо, що онтологію «логічного атомізму» буде редуковано з мови «Принципів математики», побудовано на аналогічній їй дискретній схемі.
Основним смисловим одиницям мови (атомарним висловлюванням) відповідають одиниці світу (атомарні факти), а компонентам атомарних висловлювань (простим назвам) відповідають елементи фактів (об’єкти). Логіко-атомістичну онтологію подано в «Логіко- філософському трактаті», де світ розглядається як «сукупність атомар- них фактів, а не предметів»63. Під «атомарним фактом» розуміють найпростіше положення речей, які являють собою поєднання, «конфігурацію» звичайних простих об’єктів, що «утворює співбуття»64, тобто подію, ситуацію.Так, М. Шлік вважав, що у кожному конкретному випадку перевірки положень фізики «констатації є остаточними» і вони не заперечуються. Верифікація забезпечує аргументованому достовірність синтетичних наукових положень і відкидає псевдоположення, що за своїм змістом є хибними. У підсумку все природознавство зводиться до фізики (теза т. зв. «фізикалізму»), і, таким чином, воно наукове в цілому.
Зовсім інша справа з метафізикою, яка не проходить тест на науковість. Справа полягає у тому, що, за визначенням, вона складається із семантичних положень і речень, оскільки розповідає та досліджує різного роду сутності (ідеї, форми, принципи, буття), що не отримують експериментального підтвердження. Оскільки філософія не дотична до фактів, її положення не можуть претендувати на істинність, то «правильним методом філософії, - вказував Л. Вітгенштейн, - був би наступний: не говорити нічого, окрім того, що може бути сказано, - отже, окрім положень природознавства, тобто того, що немає нічого спільного з філософією, - і потім завжди, коли хто-небудь захоче сказати щось метафізичне, показати йому, що він не надав жодного значення певним знакам у своїх висловлюваннях. Цей метод був би незадовільним для нашого співрозмовника, він не відчував би, що ми вчимо його філософії, але лише такий метод є строго правильним методом»66.
Як зрозуміло з аргументів цього положення, Л. Вітгенштейн не заперечував, що існує «правильний метод філософії», про який можна міркувати, наприклад, так: «Надавайте словам речення чітке значення».
Мислитель виступав не проти філософії, що сприяє розвитку науки, а проти метафізики, що вигадує, створює те, що відсутнє в реальному, фактуальному світі, те, чого в ньому немає. Філософія - це методологія, що формується завдяки положенням, але таким, що не володіють істинним смислом (істинне чи хибне). Простір, час, колір, вважав Л. Вітгенштейн, є форми предметів. Зрозуміло, що все просторово- темпоральне, колоритне фізично відчувається. «Сукупність істинних положень - наука в її повноті (або сукупність наук)... Філософія не є однією з наук. Слово “філософія” означає те, що стоїть під або над, але не поряд з науками. Мета філософії - логічне прояснення думок. Філософія не вчення, а діяльність»67, - аргументував свою позицію мислитель.Критику метафізики Л. Вітгенштейн розпочинає з того, що людина не в змозі безпосередньо вилучити з повсякденної мови її логіку. «Мова долає думки, - писав вчений. - Причому настільки, що зовнішня форма одягу створювалася із зовсім іншими цілями, не для того, щоб судити за нею про форму тіла. Угоди, які мовчки приймаються і слугують розумінню повсякденної мови, надзвичайно складні. Більшість положень і питань, що трактуються як філософські, не хибні, а безглузді... Більшість положень і питань філософії укорінені в нашому не розумінні логіки мови. Тому не дивно, що найбільш глибокі проблеми - це, по суті, не проблеми. Вся філософія - це критика мови»68. Тому філософський твір потребує витлумачення. Філософська активність прояснює комбінації символів між собою. Саме на долю філософії випадає діяльність щодо прояснення характеру тверджень і положень емпіричних наук (природознавства), логічних тавтологій, псевдосуджень і міркувань метафізики.
Антиметафізика Л. Вітгенштейна та інших представників неопозитивізму зумовлена необхідністю пошуку істини в її конкретності, не обмеженої жодними «зайвими» привнесеннями. Через це розуміння філософії як формально-логічної мови науки означало в неопозитивізмі не лише пошук аргументів на перетворення філософії у формальну теорію пізнання (без пізнання існуючої реальності), а і вчення про логічне конструювання дійсності в науці, тобто використання логіки в ролі нової онтології.
Аргументовану критику Л. Вітгенштейном традиційної філософії як метафізики не потрібно розуміти як позитивістську, як твердження, що метафізика взагалі складається із безглуздих положень. «Слово філософія, - писав мислитель у своїх щоденниках, - повинно означати щось вище або нижче, але не поряд з природничими науками. Філософія не дає жодних образів дійсності і не може бути ані підтвердженою, ані запереченою природничо-науковим дослідженням. Вона складається з логіки і метафізики, перша виступає її основою». Отже, Л. Вітгенштейн не ототожнює метафізику з філософією, а звертає увагу на особливе завдання філософії, що полягає в критиці мови.
Таким чином, Л. Вітгенштейн усуває традиційне розуміння філософії, а положення традиційної метафізики стають для нього такими, що перебувають за межами мови і тому є безглуздими. У «Трактаті» філософ зазначав: «Мої положення слугують проясненню: той, хто зрозуміє мене, піднявшись з їх допомогою - по ним - над ними, в кінцевому рахунку визнає, що вони безглузді. (Він повинен, так би мовити, відкинути драбину, після того, як підніметься ПО НІЙ). Ио\ІА потрібно подолати ці положення, тоді він правильно побачить світ». Це означає, що великі теми метафізики: Бог, душа, Я, свобода, безсмертя, або питання про смисл життя Л. Вітгенштейн вміщує в категорію того, про що неможливо говорити. Ці проблеми не можуть бути вирішені об’єктивним чином. Він прагне чітко розрізняти висловлювання про факти і те, що виходить за межі фактів. На останнє накладається вимога мовчання. Таке розрізнення можна зрозуміти як свого роду критику опредметнення, що здійснюється метафізикою, яка хоче перетворити свою специфічну категорію в сферу того, про що можна говорити, таким чином вміщуючи ці теми в світ і фальсифікуючи їх. «Коли люди не прагнуть висловити невисловлюване, - формулює свою думку Л. Вітгенштейн, - то нічого не втрачається, а не висловлюване - залишаючись невисловленим - міститься у висловлюваному»71.
Така аргументація пов’язана зі спробою «зняти» мову метафізики і помісити все те, що може бути лише показано, але не сказано, в категорію того, про що належить мовчати. У той же час висока оцінка етики Л. Вітгенштейном показує, що подібна деструкція метафізики означає не її ліквідацію, а постійне подолання метафізичних прагнень вийти за межі того, що може бути сказано. Його критика метафізики основується на ставленні мислителя до сфери містичного, оскільки остання відкривається лише в мовчанні, а не в теоріях.
Нову онтологію більш ширше окреслено в працях Р. Карнапа «Логічна конструкція світу», «Подолання метафізики логічним аналізом мови», «Філософія та логічний синтаксис». Поряд з іншими представниками Віденського гуртка і неопозитивістами Р. Карнап проголошує класифікацію положень (позицій), що мала на меті відокремити власне філософську проблематику від логіки та інших наук. Усі положення (речення), що претендують на змістовність, було розбито на три основних класи: недоладні, тобто безглузді, недійсні (unsinnige); науково- осмислені, тобто позанаукові (sinnlose), і науково-осмислені, або просто наукові (sinnvolle), а отже істинні та хибні. Р. Карнап вважає, що безглузді речення власне не являють собою речень чи висловлювань, а лише нагадують їх, будучи подібними до них за зовнішніми характеристиками своєї структури, як наприклад, теза: «місяць примножує чотирикутник»72.
Філософські (метафізичні) положення Р. Карнап оголошує позанау- ковими, тобто такими, аргументи яких підлягають порівнянню з фактами. Він виводив цей їх статус або з неможливості їхньої перевірки, або з того, що до цих положень входять псевдопоняття, визначення яких також не підлягають перевірці (наприклад, «абсолют»), або, нарешті, з неправомірності дедуктивного висновку, результатом якого є певне речення (висловлювання, положення). Одним із засобів викорінення «традиційної» філософії Р. Карнап використав вчення про кеазісинтак- сичні речення (висловлювання), тобто про такі речення, які в їх неуточ- неному вигляді можна розуміти по-різному, як: речення предметної мови, тобто мови, на якій ми говоримо про різні предметні речі, кількісні відношення тощо (ці висловлювання говорять про властивості «ре- чей», наприклад, «п’ять є число»); висловлювання метамови (які стверджують щось про властивості слів і речень предметної мови, наприклад, «п’ять є число, тобто числівник»). До квазісинтаксичних висловлювань P. Kapuan зараховує філософські положення, вважаючи, що коли вони і мають той чи інший раціональний смисл, то лише тоді, коли їх інтерпретувати як висловлювання про відношення між словами. Тому мислитель вважав, що необхідно перетворити філософські положення в речення, які говорять лише про логіко-синтаксичні відношення слів. Замість «час одномірний, а простір трьохмірний» Р. Карнап, наприклад, запропонував говорити так: «визначення часу складається з однієї координати, а простору - з трьох»73.
Отже, філософія, хоча і не подає, як метафізика, псевдоположення, хибні висловлювання, проте її також не можна визнавати науковою дисципліною. Це лише метод логічного аналізу, що необхідний для виключення псевдоположень; філософію «неможливо викласти у формі системи положень і речень». Таке переконання випливає з «теорії структури» (Konstitutinstheorie), що зробила ім’я Р. Карнапа відомим. Завдання теорії структури - привести дійсність до «даного», із «даного» сконструювати предмети. А все «дане», тобто безпосередньо існуюче, є найпростішою істиною (einfachste Erlebniswahrheit), непроникливою для будь-якого пізнання. Воно, «дане», не лише дає в руки нитку- путівник, з якою можна пройти лабіринт дійсності, воно є основою «всієї системи дійсності самої по собі»75.
У цій новій спробі сконструювати світ полягає сутність науково- аналітичного методу. За словами А. Хюбнера, останній висновок Р. Карнапа - безглуздість філософської проблематики, яку він розглядає в книзі «Уявні проблеми у філософії». До «уявних проблем належать: пізнання чужої свідомості, пізнання дійсності “в собі”, ідеалістичні та реалістичні положення про зовнішній світ і безумовно, всілякого роду метафізика»76. Те, що залишається після знищення цих «проблемних ситуацій» - це нова єдина наука, надбудована над всіма чуттєвими даними математично-формальним методом, що розповсюджується на всі дисципліни. Для єдиної науки немає питань, на які вона не могла знайти відповідь.
Прагнення віднайти новий теоретичний інструментарій для пізнання істини сприяє створенню нового способу її аргументації - верифікації. Принцип верифікації було задумано, по-перше, як критерій наукового осмислення (і в цій своїй якості він і підлягає насамперед розгляду в межах «філософії науки») і, по-друге, як критерій істинності та хибності. Відповідно до принципу верифікації, перевірка положень і висловлювань проходить через їхнє зіставлення з фактами чуттєвого досвіду суб’єкта. Положення, які в принципі не підлягають чуттєвій (емпіричній) перевірці, вважаються, як зазначалося вище, позбавленими наукового смислу (визначення критерію наукової осмисленості збігається при цьому з визначенням самого наукового смислу). Ті положення, які цій перевірці підлягають, вважаються науково осмисленими. Дія принципу верифікації як функції критерію та хибності формулюється наступним чином: «положення або висловлювання істинне, якщо воно підтверджене фактами-переживаннями і якщо можуть бути вказані уявні факти, які, якби вони були б реальними, це положення заперечували б»77 (на важливість другої умови вказує К. Поппер); положення хибне, якщо воно «заперечується фактами-переживаннями і якщо можуть бути вказані уявні факти, які, якби вони були реальними, ці положення підтверджували б»78 (друга умова також надана К. Поппером).
Необхідно зазначити, що елементи принципу верифікації були наявні у працях мислителів минулих епох. У прихованій формі принцип верифікації міститься в агностичній філософії Д. Юма, який вважав, що «всі наші ідеї скопійовані з наших вражень». Хоча Д. Юм не вважав ті чи інші відповіді на питання про існування зовнішнього джерела вражень позбавленими смислу, його відмова від певної відповіді була близька до такої точки зору. Співмірним принципу верифікації був закон О. Konma про «постійну залежність уявлення від спостереження»: «... Кожне положення, яке недоступне для точного перетворення в просте пояснення окремого або загального ^акту, не може представляти жодного реального і зрозумілого смислу»80.
Представники прагматизму повністю стали на платформу верифікації. «. Істини являють собою, по суті, процеси перевірки, оскільки суто об’єктивної істини - істини, під час визначення якої не відігравало б жодної ролі суб’єктивне задоволення від поєднання старих елементів досвіду з новими елементами, такої істини ніде не можна знайти»81, - писав В. Джеймс. Під перевіркою він розумів пошук і знаходження чуттєвого переживання, яке веде до істини.
У принципі верифікації як у аргументі з досягнення істинного знання ототожнюється неспостережуваність з позбавленістю наукового смислу. Так, М. Шлік та інші представники неопозитивізму розширено витлумачили характерну для спеціальної теорії відносності трактовку поняття «одночасність», згідно з якою, твердження: «події А і В одночасні» в абсолютному його значенні не має фізичного (наукового) смислу, оскільки принципово неможливо здійснити експеримент для визначення одночасності незалежно від системи відліку. Отже, критерій судження про факт одночасності явищ полягає в принциповій можливості знаходження засобів його визначення. Одночасність - це операційне поняття. Воно має смисл лише за вказівки на операції, що дозволяють перевірити факт наявності одночасності. Потрібно визнати, що низка теоретичних понять науки дійсно має операційний характер: наприклад, поняття «сила» не має смислу в динаміці поза вимірюваних у певних системах відліку прискорень, «імпульс», «довжина» тощо82.
У чому причина операційного характеру «одночасності»? З точки зору неопозитивізму, операційний характер одночасності полягає лише в залежності її від дій суб’єкта, тобто почасти вона існує лише остільки, оскільки є сам суб’єкт. Перенесення цього твердження на всі інші випадки перевірки судження науки про факти неопозитивізмом зумовило ототожнення істинності та можливість її пізнання, істинності та її перевірки. Ці ототожнення є однією з характерних особливостей принципу верифікації на досемантичному етапі його еволюції.
Важливий аргумент стосовно істинності тих чи інших положень і висловлювань вніс Л. Вітгенштейн. Для висловлювань найпростішого виду умови істинності можна задати прямо: вони істинні, якщо об’єктам, означеним іменами, фактично властиві відношення, означені предикатами. Для інших видів висловлювань, що складаються з декількох елементів, умови істинності визначаються побічним способом. Істинність загального висловлювання є функцією істинності всіх одиничних висловлювань, що підпадають під це загальне висловлювання і умови істинності яких задані безпосередньо. Тому «загальне висловлювання можна подати у виді кон’юнкції простих висловлювань»83.
Важливе завдання полягало в дослідженні атомарних речень (висловлювань) і визначенні їхньої логічної форми. Л. Вітгенштейн ототожнював їх з висловлюваннями, які він називав «елементарними»84. Це такі висловлювання (теоретичні положення), які можна безпосередньо порівняти з дійсністю, тобто з чуттєво даним. Усі висловлювання, що не є елементарними, повинні бути функціями істинності елементарних висловлювань. Тому всі емпіричні висловлювання повинні зводитись до висловлювання про чуттєве дане. Всі висловлювання, які не допускають такого зведення, вважаються позбавленими смислу, оскільки невідомо, про що в них йдеться. Так емпірична теорія пов’язує «смисл, поняття і висловлювання одне з одним»85.
Основуючись на тому, що «атомарні» і «елементарні» висловлювання є висловлюваннями про чуттєве дане, неопозитивісти (члени Віденського гуртка) намагались знайти їх в «прокольних реченнях». Вони повинні означувати безпосередні чуттєві переживання. Хоча не зовсім зрозуміло, які висловлювання відповідають цим вимогам. Спочатку такі протокольні висловлювання (про чуттєві сприйняття) розглядалися як абсолютно достовірні, слугуючи «основою для всіх інших положень науки»86. Але, з точки О. Нейрата, у випадку необхідності «протокольні речення» також можна розглядати як недостовірні. Оскільки вони не вільні від попередньої обробки, тому вони первісні не більше ніж інші емпіричні положення (висловлювань), є такими ж гіпотетичними і можуть підлягати виправленням. Взагалі висловлювання не можна порівнювати з чуттєво даним, з сприйняттями, з чимось, що знаходиться поза мовою. Висловлювання можна порівнювати лише з висловлюваннями. До цього погляду О. Heupama приєднався і Р. Карнап, з точки зору якого протокольні висловлювання не володіють жодними перевагами порівняно з іншими положеннями і висловлюваннями. «Кожне протокольне висловлювання фізикалістської системної мови за певних обставин може слугувати протокольним висловлюванням»87, - говорив Р. Карнап.
Постає питання: якщо «протокольні висловлювання» більше не вважаються абсолютно достовірними і можуть коректуватися, то від чого залежить, приймаються вони чи не приймаються? Якщо ми за власним вибором вирішуємо, зберегти чи відкинути несумісне «протокольне висловлювання», то ми відмовляємося від емпіризму і схиляємося до конвенціоналізму. Але з точки зору М. Шліка, який вступив у дискусію, узгодженість емпіричних висловлювань один з одним означає не- суперечливість, однак нею можна задовольнятися лише в суто інтелектуальних системах (наприклад, в математиці). Для пізнання фактів недостатньо простої несуперечливості, оскільки потрібна аргументована несуперечливість відносно цілком повних висловлювань, які не обираються вільно і характеризуються тим, що вони не можуть бути виправлені або змінені. Це висловлювання про власні сприйняття в конкретний момент. Але ці висловлювання не є протокольними положеннями, що стоять на початку пізнання. Вони, можливо, є джерелом пізнання, але не його фундаментом. Ці «виокремлені висловлювання утворюють завершення пізнання. Вони є висловлювання про спостереження, які допускають верифікацію»88.
Як аргумент для доказу істинності того чи іншого положення, верифікація здійснюється в результаті узгодження передбачуваного стану справ з їхнім наявним положенням, що ми спостерігаємо. Наприклад, астрономічний розрахунок говорить про те, що в такий-то момент часу в телескоп, установлений певним чином, можна буде побачити певну зірку. Тоді спостереження може показати: тут збіглися світла і темна точки (зірка в перехресті телескопу). Висловлювання про таке спостереження завжди має форму: «тут тепер то-то і те», причому «то-то і те» означає отримане сприйняття, а не його предметну інтерпретацію. Наприклад, «тут тепер чорне стикається з білим», або «тут тепер боляче». Ці висловлювання про спостереження характеризуються тим, що вказівні слова «тепер», «тут», «це» є істотними елементами їхньої логічної форми. Ці слова не мають жодного певного змісту, вони вказують не безпосередньо дане, на теперішнє. Смисл таких положень можна зрозуміти, лише дотримуючись цих вказівок і звертаючи увагу на те, на що вони вказують. Завдяки цьому розуміння такого висловлювання вже містить знання про те, істинне воно чи ні. Те, що утворює його смисл, дано безпосередньо. Раніше у процесі верифікації розуміння смислу висловлювання і визначення його істинності були двома різними фазами, а тут вони збігаються. Розуміння смислу таких висловлювань, які М. Шлік назвав «констатаціями»89, супроводжуються розумінням їх істинності.
Варто зазначити, що раніше це визнавали лише для аналітичних висловлювань: коли для нас стає зрозумілим їхній смисл, то одразу дізнаємося, що вони істинні, оскільки їхня істинність розкривається самим висловлюванням. З синтетичними висловлюваннями усе інакше: навіть якщо ми розуміємо таке висловлювання, ми ще не знаємо, істинне воно чи хибне. Відповідь на це питання дає досвід порівняння з висловлюваннями про спостереження. Оскільки розуміння «констатації» містить знання про її істинність, то таке висловлювання абсолютно істинне і не викликає сумніву, як і аналітичне. Вони «остаточні, не підлягають жод-
• < • 90
йому сумніву і тому утворюють фундамент емпіричного пізнання».
«Констатації» М. Шліка одразу викликали критику. Спочатку О. Нейрат виступив проти «констатацій», критично оцінивши їхню абсолютну достовірність та узгодженість з реальністю. Потім К. Поппер у своїй відомій праці «Логіка і зростання наукового знання»91, що здійснила певний вплив на розвиток ідей неопозитивізму та Віденського гуртка, висунув серйозні заперечення і розвинув нову точку зору на проблеми, що обговорюються. Основна думка концепції К. Поппера полягала в тому, що зовсім не одиничні висловлювання про чуттєве сприйняття є тією основою, на яку спирається наукове пізнання, до якої воно зводиться і яка репрезентує його справжній смисл.
Однак саме на основі висловлювань про чуттєві сприйняття і враження ми приймаємо базисні положення. Вони вважаються достовірними саме тому, що узгоджуються з усіма висловлюваннями про чуттєві сприйняття. Верифіковані висловлювання повинні бути про спостереження або принаймні зводитись до них. І вони вважаються достовірними остільки, оскільки немає жодних підстав сумніватися в них. Сумніви виникають, коли вони вступають у суперечність з визнаними положеннями. Тоді аргументи перших або других підлягають перевірці таким самим способом. Однак рішення завжди спирається на сумісність (або несумісність) з аргументами про чуттєві сприйняття і враження, що узгоджуються не лише з верифікованими базисними висловлюваннями, але також й інтерсуб’єктивно. Таким чином, основу достовірності емпіричних висловлювань утворюють «висловлювання про чуттєве сприйняття, а не довільні рішення»92. Разом із тим тут присутній і конвенційний аспект, оскільки від нашого рішення залежить, чи вважати достатньо достовірним певне базисне положення, чи продовжити його перевірку. Однак це рішення має відношення лише до необхідності перевірки. Результат такої перевірки або відмова від неї визначається не
• 93
довільним рішенням, а висловлюваннями про «чуттєве сприйняття». Рішення стосується лише питання продовження перевірки, а не змістовного вибору верифікованих положень. Останні залежать від зв’язку з висловлюваннями про чуттєві враження. Найбільш достовірними постають ті теорії, що найбільшою мірою аргументовано узгоджуються з висловлюваннями, що інтерсуб’єктивно узгоджуються з висловлюваннями про спостереження.
Загалом аргументи стосовно «протокольних висловлювань» пов’язали з тим, що мова повинна бути віднесена до чогось, що знаходиться «поза мовою», причому не лише тому, що саме так вона отримує значення, але й тому, що лише завдяки цьому система висловлювань може розглядатися як знання про реальність. Для М. Шліка саме це було головним. Якщо верифікація обґрунтовується логічно і формально, то вона цілком залишається у площині мови. Однак простий синтаксис не може охопити верифікації як аргументу на користь істинності висловлювання. Це показали зусилля Р. Карнапа. На думку Л. Вітгенштейна, суто формальний аналіз не дозволяє виділити емпіричних висловлювань, оскільки вони не володіють особливою логічною формою. О. Нейрат хотів знайти рішення за допомогою «теорії конвергенції». Однак вона не дає жодної визначеності, вносить свавілля і призводить до відмови від емпіризму. За суто синтаксичного підходу до мови проблема верифікації не вирішується, оскільки вона не передбачає жодного зв’язку з позамовною сферою. Цей зв’язок враховується «лише за сема- 94 нтичної точки зору».
Це означає нову принципову реформу емпіризму. З точки зору логіки потрібно відмовитися від звичної опори на індукцію. Уявлення Дж. С. Мілля, Е. Maxa і Л. Вітгенштейна про емпіричне пізнання виявилося не вірним: воно не спирається на достовірні одиничні висловлювання, з яких у процесі узагальнення отримують закони природи. Виникнення одиничних висловлювань можна описати психологічно, але неможливо обґрунтувати їхню достовірність. Кожне емпіричне пізнання полягає у тому, що ми формулюємо гіпотези, які основуються на чуттєво даному, але наявні спостереження не можуть обґрунтувати гіпотезу раз і назавжди, вона повинна і надалі підлягати все новим перевіркам. Її верифікація залежить від сумісності з інтерсуб’єктивно визнаними висловлюваннями про чуттєво дане. Завдяки постійно поповнюваним перевіркам, емпіричні висловлювання не володіють жодним постійним значенням, воно завжди носить тимчасовий характер. Емпіричне знання не зводиться до простих узгоджень, що забезпечується ін- терсуб’єктивністю рішень. «Прийняття рішень, або заперечення тих чи інших висловлювань про чуттєві враження, зумовлено не свавільною угодою, а закономірністю, що відкривається у них різними суб’єктами, і дозволяє здійснити верифікацію».
На основі вищесказаного постає проблема верифікації загальних положень (висловлювань). Значення загальних висловлювань для «неін- дуктивістського» підходу також є досить складною проблемою. Існує два види загальності: слово «все» може означати певну кінечну множину, визначену сукупність, елементи якої можна перераховувати (наприклад, усіх жителів м. Києва, які зафіксовані в певний момент). Однак слово «все» може означати також «клас», який визначається лише пев- ною ознакою (властивістю або відношенням), а тому являє собою неви- значену, відкриту (незамкнену) множину, елементи якої неможливо перерахувати повністю. Така загальність властива законам природи, тому лише висловлювання першого роду ми можемо перетворити в кон’юнкцію і розглядати їх як функції істинності. Для висловлювань другого роду це неможливо. На основі цих міркувань, Л. Вітгенштейн і його послідовники Ф. Рамсей і М. Шлік доводили, що дійсними пізнавальними висловлюваннями потрібно вважати лише атомарні та утворені з них «молекулярні висловлювання», оскільки їх можна «однозначно всрифікувати»96. Висловлювання необмеженої загальності вони не вважали пізнавальними висловлюваннями.
Ця позиція призвела до важливих наслідків. Наприклад, не лише з математики вилучалася «актуальна безкінечність», але й «закони природи позбавлялися звичного смислу висловлювань необмеженої загальності. Якщо закон природи витлумачується як молекулярне висловлювання, тобто як проста кон’юнкція сингулярних висловлювань і функцій їхньої істинності, то він говорить лише про вже відомі констатації, але не включає в себе висловлювань про нові випадки»97. Тому загальні положення і висловлювання, що виражають закони природи, М. Шлік розглядає лише як вказівки або формули, що слугують для утворення висловлювань, тобто тих положень (висловлювань), які можна вивести із загального положення. Відповідно до цього закони природи, а отже, теоретичний зміст точних наук і основ техніки, не надають жодного знання, вони нічого не говорять про світ об’єктів і являють собою лише вид (рід) синтаксичних правил. Так, Р. Карнап у своєму «Logische Aufban der Welt» також не приймає положень і висловлювань з «необмеженою загальністю»98. Закон природи виявляється лише схемою висловлювання, «функцією-висловлюванням», через що зазвичай не звертає уваги на факти. Закон дає певне методологічне правило і слугує лише для того, щоб через підстановку до нього конкретних даних можна було отримати певні висловлювання. Останні можуть бути верифіковані, однак для самої по собі схеми результати верифікації в якості аргументів виключаються.
Всупереч цьому один із видатних представників неопозитивізму Е. Кайла виступає з твердженнями про те, що осмислення загального положення не передбачає його повної верифікованості. Смисл положення (висловлювання) не залежить від його верифікованості та вимагає лише синтаксично коректного виразу. Верифікованими повинні бути лише окремі висловлювання, що випливають із загального положення, а не сама по собі «загальність». Загальні положення і висловлювання важливі для пізнання, тому що вони не цілком верифіку- ються. Якщо б їхній зміст вичерпувався кінечним числом відомих випадків, то нічого не можна було б говорити про те, що може трапитись в майбутньому.
Завдяки аналізу мови Р. Карнапом стало зрозуміло: немає необхідності у виключенні необмежено загальних положень, що залежить від нашого рішення, яке може бути підтримано іншими рішеннями. Ті рішення, що належать до правил утворення мови, можуть вільно обиратися і бути найрізноманітнішими. Р. Карнап вибудував шкалу мов, у яких приймаються або виключаються «висловлювання різних ступенів»99. Найпростішою буде та мова, у якій можна утворити лише «молекулярні висловлювання» і висловлювання «обмеженої загальності». Наступною, більш багатою мовою буде та, у якій допускаються необмежені загальні висловлювання найпростішої форми, тобто з одним оператором загальності. На більш високому щаблі знаходиться мова, до якої належать екзистенціальні висловлювання (речення) найпростішої форми, тобто з одним екзистенціальним оператором. Подальші форми мови утворюються за допомогою послідовного додавання операторів загальності та існування (з двома операторами загальності та одним екзистенціальним оператором, потім з двома екзистенціальними операторами та одним оператором загальності і т. д.). Так утворюються нові, все більш багаті мови, число яких «теоретично безкінечне, але практично обмежене зростаючою складністю». Цінність такої побудови полягає в тому, що вона показує, яким чином побудова мови залежить від наших аргументів, на основі яких приймаються рішення.
Виключення «необмеженої загальності», що було запропоновано Л. Вітгенштейном, М. Шліком, Ф. Рамсеєм, не можна вважати хибним аргументом, оскільки вибір першої, найбільш простої форми мови також є справою вільного вибору. Однак такий вибір є недоцільним, оскільки не узгоджується з фактичною мовою науки. В останньому у великій кількості використовуються висловлювання про закони природи необмеженої загальності, причому вони вживаються у зв’язку з сингулярними, безсумнівно «дійсними» положеннями і висловлюваннями в імплікаціях, кон’юнкціях тощо саме як «дійсні висловлювання, а не синтаксичні правила»101. Тому краще обирати форму мови з необмежено загальними висловлюваннями. Отже, питання про можливість і допустимість таких висловлювань є зрозумілим і повністю вирішеним.
На основі вищевказаного варто зазначити, що залишається проблема верифікації висловлювань «необмеженої загальності». Представники неопозитивізму хотіли виключити їх з числа дійсних висловлювань (положень), тому що ці висловлювання неможливо використати як аргументи істинності «сингулярних висловлювань». їх неможливо подати у вигляді кінечної кон’юнкції сингулярних висловлювань, оскільки не всі їх конкретні приклади відомі, а тому вони не можуть бути перераховані та перевірені. Висловлювання «необмеженої загальності» взагалі не можуть бути цілком верифіковані.
Отже, верифікація висловлювань «необмеженої загальності» завжди може здійснюватися лише таким чином, що з них за допомогою інших висловлювань як аргументів виводяться сингулярні висловлювання, які потім перевіряються відносно їх узгодженості з уже визнаними в якості достовірних висловлюваннями, а насамкінець - з висловлюваннями про чуттєві враження (емпіричні). Якщо в усіх випадках перевірка завершується отриманням позитивного результату і не виникає жодних суперечливих висловлювань, то висловлювання «необмеженої загальності» для цих відомих випадків верифіковано. Однак для невідомих, майбутніх випадків його смисл і значення залишається неясним. Можливо, що надалі виявиться одиничне висловлювання, яке суперечить йому. Цю часткову верифікацію можна назвати «підтвердженням» (К. Поппер), або «свідченням» (P. Карнап)12.
Принцип верифікації як аргумент перевірки істинності (чи хибності) отримав детальне розроблення в неопозитивізмі. Особливої уваги заслуговує вихідне формулювання механізму верифікації М. Шліком, який постає системою аргументів доказу істини: «Допустимо, що ми повинні здійснити верифікацію якого-небудь реального твердження U. З цього U можна вивести нове судження U1, звертаючись за допомогою до іншого судження U, яке обрано так, що U і U разом слугують засновками силогізму, висновком з якого є саме U1. Судження и може бути, по-перше, знову реальним твердженням, або, по-друге, дефініцією, або, по-третє, чисто понятійним висловлюванням; відносно нього приймемо, що його істинність абсолютно визначена. З U1 можна, звертаючись за допомогою до судження U1, вивести наступне судження U2, причому, якщо йдеться про характер U11, то існують ті ж самі можливості, що і у випадку з U1. Із U2, а також нового U ми отримуємо U3 і т. д., поки не приходимо до судження Un, що володіє формою більш або менш такого виду: “в тому-то і в тому місці, в той-то і той-то час, в тих-то і тих- то умовах можна спостерігати і пережити те-то і то-то”. Йдемо на вказане місце, так щоб опинитися там у вказаний час, реалізуємо вказані умови і описуємо, тобто означуємо, отримані при цьому спостереження або переживання певним судженням W (судження спостереження), причому те, що спостерігається або переживається на основі актів повторного пізнання, підводять під відповідні поняття і означують потрібними для цього словами. Якщо W тотожне з Un, то це означає верифікацію Un, а тим самим і первісного U». Із вищесказаного зрозуміло, що передостання ланка у сплетінні актів процесу верифікації складається з «фіксації у висловлюванні (W) результату спостереження або експерименту (F). Остання ж ланка полягає у порівнянні двох висловлювань (W і Un) для визначення їхньої тотожності. У цілому верифікація складається з операцій чотирьох видів: дедуктивне виведення (Un з U), фіксація досвіду (F) у висловлюванні (W), порівняння висловлювань (W і Un) і встановлення результату верифікації (U оголошується або істинним, або хибним)»104.
На основі вищесказаного варто виокремити аспекти принципу верифікації як аргументу в досягненні істинного знання: згідно з принципом верифікації, критерій істинності та хибності висловлювання (положення) полягає у його перевірці через досвід; перевірка через досвід полягає в порівнянні висловлювання з безпосередньо даним; перевірка є осмисленістю, а сукупність операцій перевірки висловлювання становить його смисл. Тут термін «смисл» вживається нами як «значення», але таке, що співвідносне з «позбавленістю смислу». Висловлювання є осмисленим, якщо воно або істинне, або хибне, і є позбавленим смислу, якщо не здатне бути тим або іншим.
Отже, результатом верифікації повинно стати істинне висловлювання. Однак потрібно враховувати, що загальні положення (висловлювання) про факти не цілком верифікуються, оскільки для цього аргументація є недостатньою. Тому їхня достовірність підтверджена лише тим, що висловлювання і положення, які виводяться з них, завжди верифікуються. Отже, неможливо з впевненістю судити про достовірність на основі кількості проведених перевірок (причому нові перевірки можуть ці положення заперечити). Тому стосовно загального висловлювання (положення) неможливо сказати, що воно істинне. Можливо, воно істинне, але про це неможливо дізнатися. Хоча завдяки асиметрії між верифікацією (верифікаційністю) і фальсифікацією (фальсифікаційністю) можна дізнатися, що воно хибне, якщо його заперечили. Тому стосовно загальних положень (висловлювань) можна «говорити не про їхню іс-.. 105
тинність, а лише про їхнє підтвердження».
Одиничні та окремі висловлювання (положення) є більш достовірними, тому що вони мають відношення до нашої повсякденності, нашого звичного оточення, знайомих об’єктів і класів об’єктів. Впевненість у них зумовлена численними перевірками відповідних положень. Якщо ж виникають нові висловлювання та незвичні ситуації, то їх потрібно перевірити.
Висловлювання про багаторазову перевірку стану справ можна вважати безсумнівним, на основі доведеної ситуації, що структура світу не змінюється, що в ньому зберігається стабільність, тобто існує певна закономірність і доцільність. Однак таке припущення не дає достовірного знання, воно саме являє собою загальне положення (висловлювання) необмеженої загальності, тобто стосується ще невідомих речей, про які ми нічого не знаємо. У нас немає впевненості в тому, що ми застраховані від випадковостей. Якщо допустити наявність закономірностей, то перевірені та підтверджені відповідними аргументами висловлювання про добре відомі ситуації можна вважати істинними, оскільки ми виводимо їх з цього припущення. Однак вони істинні лише умовно, а не абсолютно. З точки зору теорії пізнання, такі окремі висловлювання не мають жодної переваги. Унаслідок своєї логічної залежності від загальних висловлювань, які принципово недостовірні, оскільки їхня істинність не може бути доведена через недостатність аргументів, то ці висловлювання не можуть бути більш достовірними, ніж загальні положення, з яких вони виведені. Якщо говорити про «аргументовану доказовість їхньої істинності, то вона доведена і аргументована в тій же мірі, що й істинність більш загальних припущень, з яких вони випливають»106, - зазначає В. Крафт.
Якщо окремі висловлювання повинні підлягати перевірці, то це відбувається так само, як і у випадку загальних висловлювань: з них виводяться наслідки, що перевіряються за допомогою порівняння з визнаними базисними висловлюваннями. Перевірка всіх таких наслідків також неможлива, тому «повної верифікації не може бути і для окремих 107 висловлювань».
Можливість перевірки висловлювань різною мірою зумовлює в такій же мірі можливість їх підтвердження. Рівень підтвердження збільшується з числом прикладів, але залежить не від їхньої кількості, а від строгості перевірок. Р. Карнап, який систематизував і описав умови і види підтвердження, відрізняє перевірку висловлювання від його підтвердження. Висловлювання володіє можливістю підтвердження, якщо можна задати обставини, за яких воно буде істинним. Висловлювання може бути підтверджено за допомогою аргументів, до яких воно буде зведено, - безпосередньо або опосередковано, повністю або частково. Емпіричне висловлювання може бути підтверджено, якщо його підтвердження можна звести до підтвердження предиката, що спостерігається. «Молекулярне висловлення» (що складається з простих висловлю- вань) з предикатами, що підтверджуються, може бути «підтверджено як у позитивній, так і у негативній формі, воно має здатність до двосто- 108
роннього підтвердження».
Для здійснення перевірки повинні бути задані, по-перше, умови перевірки, тобто певна експериментальна ситуація, по-друге, умови істинності, тобто можливий експериментальний результат перевірки. Також повинна існувати можливість реалізації умов перевірки, а виконання умов істинності повинно допускати перевірку. Відповідно до цього можна визначити, наскільки ці умови можуть бути виконані для висловлювань того чи іншого виду. Положення, для яких умови істинності формулюються через посередництво атомарних або молекулярних висловлювань, можна цілком підтвердити, але це не означає - цілком верифікувати.
Потрібно врахувати відмінність між емпіризмом і метафізикою, від чого залежить істина чи хибність висловлювання або того чи іншого положення. Якщо емпіризм прагне лише до того, щоб відмежувати наукове знання від трансцендентної метафізики, то для цього достатньо і слабкої вимоги. Метафізичні положення не можуть отримати навіть часткового підтвердження. Метафізичний суб’єкт, який перебуває на межі світу, і протиставляється емпіричному і психологічному суб’єкту як фактам світу, не може бути ототожнений з трансцендентським пізнавально-доказовим апаратом І. Канта. Так, Л. Вітгенштейн чітко дає зрозуміти, що «присутнього в світі суб єкта, який пізнає, не існує». Якщо І. Кант наполягає на реальному розділенні предметів самих по собі та їхніх феноменів, то Л. Вітгенштейн, навпаки, не розглядає світ, окреслений межею метафізичного суб’єкта, як сукупність суб’єктивних феноменів, що протиставляються реальному, ноуменальному світу, який не залежить від суб’єкта. Світ, що сприймається, збігається зі світом реальним.
У цьому контексті «строго проведений соліпсизм співпадає з чистим реалізмом»110. Оскільки даний світ єдиний, який я сприймаю своїми органами чуття, тому немає смислу говорити про якийсь інший, незалежний від суб’єкта світ. Гносеологічне розуміння суб’єкта в цілому не може бути застосовано до «Логіко-філософського трактату» Л. Вітгенштейна і неопозитивізму загалом. Завдання експлікації вчення Л. Вітгенштейна про «трансцендентне» вимагає прийняття особливого визначення, що, по-перше, враховує безсуб’єктну інтерпретацію мови як незалежної від суб’єкта логічної форми, по-друге, здатне надалі включити його в більш широке розуміння мови, розвинене у «Філософських дослідженнях». Такий підхід - лінгвістичний - повинен «розглядати трансцендентне як те, що перевершує межі мови в її логічній структурі, що оформлює емпіричні факти, і тому невиразиме в її межах».
Стає зрозуміло, що побудова мови для метафізики зовсім не виключена, але це буде мова, яка відмовляється від зв’язку зі спостереженням, перевірки і наукового підтвердження. Тоді у науковому підтвердженні повинні бути визначені власні критерії смислу і значення. Якщо метафізика залишається трансцендентною, ірраціональною, інтуїтивною, догматичною і прагне бути раціональною та логічною, то вона повинна знайти власні аргументи для обґрунтування своїх основ.
Як підтвердження стосується істини? Вони різні за своїм змістом. Якщо істинність і хибність не пов’язані з часом, то підтвердження завжди прив’язано до певного моменту зі строгим формулюванням. Воно завжди повинно містити орієнтир на той чи інший момент часу. Про емпіричне висловлювання неможливо з впевненістю стверджувати, що воно істинне. Можна лише сказати, що до цього часу воно підтверджувалося. Підтвердження має рівні, воно завжди тимчасове і відносне. Підтвердження є логічним відношенням між теорією та її базовими висловлюваннями, тому воно також не залежить від часу, однак сукупність базисних положень і висловлювань не залишається незмінною, і з часом змінюється. Отже, істину не можна ототожнювати з підтвердженням. Однак відносно емпіричної теорії і взагалі будь-якого емпіричного висловлювання можна говорити лише про більшу міру підтвердження, але не про абсолютну істинність.
Таким чином, у інтелектуальному просторі аналітичної філософії виокремлюється течія неопозитивізму, що на перших етапах свого розвитку відомий як «логічний позитивізм». Він утворився і набув наукового статусу у Віденському гуртку, який зібрав плеяду видатних логіків, філософів, математиків. У неопозитивізмі було аргументовано відокремлення філософії від логіки та інших наук, що поставило проблему істинних та хибних висловлювань. У цьому контексті проводиться критика метафізики як дисципліни, положення якої не підлягають перевірці фактами. У результаті неопозитивізм аналізує логічну побудову висловлювань, аргументовано критикуючи псевдопроблем- ність і безглуздість ненаукових положень. Вимога перевірки положень і висловлювань про досвід, тобто проблема емпіричного критерію їхньої істинності, концептуалізувала принцип верифікації, що є критерієм наукової осмисленості, а також істинності та хибності. Перевірка висловлювань відбувається на основі їх співставлення з фактами чуттєвого досвіду суб’єкта. Верифікація постає аргументом доказовості істинності чи хибності висловлювань і положень, доводить існування відмінності між істиною та підтвердженням. Верифікованість емпіричних чи теоре- тико-метафізичних положень і висловлювань поставила аргументацію на новий рівень логічної доказовості, що відкрило нові параметри вчення про істину.
2.3. Логіка аналізу і перевірки об'єктивного знання: аргумент фальсифікації
Головний принцип «верифікації» - критерій істинності та хибності положення (висловлювання), що полягає в його перевірці через досвід, зумовив проблему «перевірки» загальних положень. З них складається основна «архітектоніка» науки, оскільки саме вони формулюють закони природи. Тісно пов’язане з проблемою «повної» і «неповної» індукції, це питання стало предметом поглиблених роздумів представників Віденського гуртка і неопозитивізму загалом. Вони по різному намагалися відійти або «обминути» факт неможливості верифікувати (у позитивному смислі слова) загальні закони природи, що випливало із неможливості перевірки всіх одиничних положень.
Спроба підтвердити можливість такої перевірки зумовила виникнення системи аргументів, поданої мислителями неопозитивістського спрямування. Як зазначалося вище, М. Шлік аргументував пропозицію інтерпретувати закони природи як «вказівки» до утворення одиничних (елементарних, молекулярних, протокольних, базисних) висловлювань. їхній смисл М. Шлік вбачав у тому, що вони не лише знаходяться на початку процесу пізнання, але й дозволяють перевірити (верифікувати) «передбачення теорії»112. Однак докази М. Шліка сприяли виникненню нових питань: якщо пізнання починається з базисних положень, то яким чином, основуючись на них, приходять до теоретичних фактів? Чи дійсно верифікація переводить положення і висловлення-гіпотези у категорію істинних положень?
Інший представник Віденського гуртка Г. Рейхенбах розглядав одиничні висловлювання як «імплікації імовірності», тобто висловлювання, які мають вигляд тверджень: якщо відбувається А, то з певною мірою імовірності відбудеться В. Не допомогло і перетворення Р. Карнапом одиничних висловлювань на правила для утворення наслідків, типу: для будь-якого х, якщо з ним відбувається А, то з ним відбувається В. Намагаючись звільнити загальні судження від необхідності застосування до них верифікації, представники неопозитивізму упевнилися лише у вилученні законів природи зі сфери наукових суджень. На їхню думку, визначення теоретичних законів пізнання природи наближує логічна індукція. Так, Р. Карнап доводив, що «імовірності логічної імплікації можна надати числове (кількісне) значення».113 Дійсно, до відкриття закону (або визначення принципу) нас наближує не лише вміло поставлений експеримент, але й детально продумана ло- гіко-імовірнісна імплікація.
Досліджуючи способи і можливості досягнення істини та її верифікації, неопозитивізм висуває такі постулати: істинність теоретичного знання та його законів засвідчується їх підтвердженням. Однак підтвердження лише імовірно фіксує істинність теоретичного знання і його законів. «Ніколи не можна досягнути повної верифікації закону»114, - писав Р. Карнап. З висловлюваннями спостереження (чуттєвого пізнання) і пов’язують правила відповідності, які повинні забезпечити інтерпретацію теоретичних законів. Для науки (логіко-математичних дисциплін) властиві «точки довільності»115, - писав Г. Рейхенбах. Проголошуючи «принцип толерантності», Р. Карнап зазначав: «У логіці недоречна мораль. Кожний може вибудовувати власну логіку, тобто свою форму мови, так, як він побажає»116. Принцип толерантності Р. Карнап переводить в площину конвенціоналізму, що пов’язується з принципом «простоти».
Вказані висновки і твердження надавали принципу верифікації основоположного значення. Якщо закони природи є лише орієнтирами або висловлюваннями (тому до них не варто застосовувати верифікацію), то вони вже не закони. Якщо ж вони є суттю правила для утворення результатів, то їхня роль обмежується інтерпретацією формул законів, але вони знову ж таки не є законами. Також встановлення того, що сам принцип верифікації не перевіряється, поставило завдання шукати нові аргументи для доказу істинності знання. У зв’язку з цим Г. Рейхенбах запропонував розрізняти технічну і принципову можливості перевірки, а всередині останньої три види: логічну (внутрішня несу- перечливість), синтаксичну (відповідність прийнятим правилам логічного синтаксису) і фізичну (відповідність прийнятим в науці законам).117
Найбільш суттєву спробу «врятувати» верифікативність загальних положень (висловлювань) здійснив К. Поппер у своїй фундаментальній праці «Логіка наукового дослідження». Мислитель запропонував уточнити і зміцнити «ослаблену» верифікацію введенням принципу «фальсифікації», що повинна стати своєрідним аргументом для доказу істинності або хибності загальних положень. Фальсифікація є способом вказівки (орієнтиру) на такі емпіричні умови, за яких гіпотези (загальні положення) будуть не істинними, а хибними, тобто вказівками на те, що певні базисні положення, а, по суті, емпіричні факти, цим положенням суперечать. Відсутність емпіричного заперечення гіпотези вважається свідченням не на користь її істинності, але лише «виправданості». Проте наявність емпіричного (досвідного) заперечення гіпотези говорить про її хибність, що є вже більш «надійним» знанням.
Отже, якщо висловлювання (положення) необмеженої загальності (універсальні положення) неможливо цілком фальсифікувати, то їх все- таки можна спростувати за допомогою визнаного і протилежного їм ви- оновлюванням (положення). У цьому контексті К. Поппер звертає увагу на співвідношення загальних та екзистенціальних висловлювань. Стверджувальному загальному висловлюванню відповідає загальне негативне висловлювання (заперечення). Наприклад, висловлюванню «Всі хижаки з породи котячих мають кігті, що втягуються» відповідає «Не існує хижака з породи котячих з кігтями, що не втягуються». Негативному загальному висловлюванню відповідає стверджувальне екзистен- ційне висловлювання. Наприклад, висловлюванню «Не вірно, що всі корови є білими» відповідає «Існує корова, яка не є білою». У сингулярному екзистенційному висловлюванні констатується певний факт. Таким чином, завдяки своєму логічному зв’язку із загальним висловлюванням, воно може слугувати для його перевірки. За допомогою «достовірного стверджувального екзистенціального висловлювання, запереченням якого буде стверджувальне загальне висловлювання, останнє висловлювання спростовується»118. Отже, загальні (універсальні) положення (висловлювання) повністю спростовуються, або фальсифікуються.
Ця ситуація справедлива не лише для «молекулярних положень» (висловлювань) і загальних та екзистенціальних положень з одним оператором, але не для більш складних мовних форм. У такому разі заперечення загальних висловлювань будуть верифіковані за допомогою стверджувальних сингулярних екзистенціальних висловлювань. І навпаки, завдяки своїй кореляції із загальними висловлюваннями екзистенціальні висловлювання верифікуються, але не фальсифікуються, за допомогою висловлювань про чуттєві сприйняття. Наприклад, висловлювання «Існує величезний морський дракон» можна верифікувати за допомогою «сингулярного екзистенційного висловлювання, але спростувати його неможливо. Не можна цілком дослідити всі морські глибини, щоб визначити, що нічого подібного знайти неможливо»119. Відповідно до цього, «спростування» такого невизначеного несингулярного екзистенційного висловлювання не верифікується, а фальсифікується.
Аналіз змісту і смислового «навантаження» принципу фальсифікації К. Поппера у ролі нового аргументу в доказі істинності та хибності ставить завдання розглянути основні засади його філософування. Серед них, на наш погляд, особливої уваги заслуговують визначення завдань пізнання. Так, головне завдання філософії - це пізнання світу, що здійснюється у формі наукових теорій. «Теорії - це сіті, призначені вловлювати те, що ми називаємо “світом”, для усвідомлення, пояснення і оволодіння ним». Дійсне пізнання реалізується як зростання наукового знання, як зміна теорій, а метод забезпечення зростання наукового знання полягає у «чіткому формулюванні проблеми, що обговорюється, і критичному дослідженні її вирішень»121. Критичний аналіз має справу з проблемами, що у ситуації науково-емпіричної теорії виступають суперечностями теорії та експериментальних фактів.
Отже, вихідний пункт усіх міркувань К. Поппера - це теорія. Якщо представники неопозитивізму (Л. Вітгенштейн, Р. Карнап, М. Шлік та ін.) починають свої міркування або з логічного аналізу мови, або з положень та висновків спостереження, то для К. Поппера така постановка питання не переконлива, оскільки «теорія панує і над експериментальною діяльністю, і над мовою».122 І перше, і друге інтерпретується у теоретичному аналізі. На думку філософа, якщо визнати, що наші теорії є і залишаються здогадками, припущеннями, гіпотезами, то постає питання: чи можливі суто раціональні, зокрема емпіричні аргументи на користь переваги одних припущень або гіпотез порівняно з іншими? У процесі відповіді потрібно розрізняти точку зору теоретика - шукача істини, особливо істинних пояснювальних теорій, від точки зору практичної людини дії. Тобто потрібно розрізняти надання переваги теорії та переваги практичності. Теоретика насамперед цікавить істина, а особливо пошук та знаходження істинних теорій. Коли теоретик остаточно засвоїть, як говорить К. Поппер, що «істинність тієї або іншої наукової теорії неможливо обґрунтувати емпірично, тобто за допомогою перевірочних висловлювань, і що, таким чином, перед нами в кращому разі постає проблема пробної переваги одних здогадок над іншими, тоді він може з точки зору шукача істинних теорій замислитися над такими питаннями: які принципи надання переваги потрібно нам прийняти? Чи можуть деякі теорії бути “кращими” за інші?».
Поставлені питання щодо переваги теорії та завдання теоретика показують, що вони виникають винятково відносно конкуруючих теорій, які пропонуються для вирішення одних і тих самих проблем. Висловлюючи положення, що теорія має більше переваг в доведенні істини, К. Поппер пропонує низку аргументів, які демонструють систему логіки його міркувань. Логіка відкриває нові способи розуміння принципу фальсифікації. «Якщо теоретика цікавить істинність, - зазначає К. Поппер, - то його повинна також цікавити і хибність, тому що визначити хибність певного твердження - те ж саме, що визначити істинність його заперечення. Отже, заперечення теорії завжди являє теоре- 124 тичнии інтерес».
У процесі дослідження теоретик може виявити слабкі місця цієї теорії, але він не лише отримує теоретично потрібну інформацію, але й обґрунтовує нову важливу теорію для підтвердження будь-якої нової «пояснювальної» теорії. Кожна нова теорія повинна досягти успіху там, де попередня зазнала невдачі, тобто там, де її заперечили або розкритикували. Якщо нова теорія досягла і першого, і другого, то вона буде принаймні більш успішною, а отже «кращою», ніж попередня. Окрім того, вона буде розглядатися як «можливо істинна», оскільки до моменту певного часу ще не доведено, що вона хибна. Для теоретика нова теорія буде цінною не лише через її успішність або істинність, але через те, що вона можливо є хибною. Вона цікава і цінна як об’єкт для подальших спроб заперечення і критики, що поставлять нову проблему для наступної теорії. Таким чином, теоретика цікавлять теорії, що не спростовані, особливо тому, що деякі з них, можливо, є істинними. Він «віддає перевагу неспростованій теорії, що спростовується за умови, коли вона пояснює успіхи і невдачі спростованої теорії»125.
Наступний аргумент К. Поппера стосується тієї нової теорії, що може виявитися хибною. Тому теоретик прагне знайти хибні теорії серед багатьох неспростованих конкурентів. Він прагне відносно кожної не- спростованої теорії вигадати випадки або ситуації, за яких, якщо вона хибна, то її хибність могла б проявитися. Отже, він буде прагнути спланувати строгі випробування і вирішальні (ті, що вирішують) перевірочні ситуації. Це означає «побудову фальсифікуючого закону, тобто закону, рівень універсальності якого може бути настільки низький, що він буде не в змозі пояснити успіхи теорії, яка підлягає перевірці, але який, проте, може підказати вирішальний експеримент - експеримент, який може спростувати, залежно від його результату, або теорію, що
А •/ 126 *, ' '
підлягає перевірці, або теорію, що її фальсифікує».
Отже, зростання наукового знання передбачає зміну наукових теорій. Фальсифіковані гіпотези (передбачення) обов’язково повинні бути замінені новими. Порівняння теорій завжди дозволяє визначити ту, у якої вищий експериментальний (та істинний) зміст.
На думку К. Поппера, не можна вважати, що наукове пізнання починається з фактів, їх спостереження й опису, оскільки і перше, і друге, і третє є теоретично «навантаженим». Аргументацію К. Поппера можна спростувати так: якщо факт не пояснюється теорією, то він не залежить від неї і, таким чином, теза про теоретичну завантаженість фактів не витримує критики. На це К. Поппер, можливо, відповів би (в нашій реконструкції його поглядів) наступним чином. Теоретична навантаже- ність факту F означає, що він обов’язково певним способом інтерпретується, а це неможливо без теорії. Якщо інтерпретація є суперечливою, то це не означає, що вона відсутня. Суперечлива інтерпретація, будучи з точки зору раціональної дискусії неможливою, засвідчує необхідність зміни «старої» теорії (T1) новою (T2).127 Так, К. Поппер вважав, що зі своєю концепцією «фактів і базисних положень» неопозитивісти не в змозі уникнути «пастки психологізму». Якщо базисні висловлювання не інтерпретуються теоретично, тобто через універсальні положення, то вони обов’язково виступають формою чуттєвості, а це і призводить до психологізму як негативному з наукової точки зору явищу.
Будь-яка теоретична система, якщо лишити її основ, втрачає своє значення. Заперечення актуального базису науки одразу ставить під сумнів феномен підтвердження теорії, а отже і верифікацію, індуктивний метод, розрізнення (демаркацію) наукового та ненаукового знання, і навіть тезу про істинність наукової теорії. У результаті К. Поппер пропонує свій метод пошуку істинної наукової теорії, метод у жодному разі не може визначити її істинність, навіть якщо вона істинна. Це зумовлено тим, що кількість теорій, які, можливо, істинні, залишаються безкінечними у кожний момент часу і після будь-якої кількості випробувань (перевірки). Зрозуміло, кількість реально висунутих теорій кіне- чна і може статися так, що ми аргументовано спростуємо їх усі, і більше жодної не зможемо вигадати. Результатом наведеної аргументації може виявитися певна «множина теорій, “конкуруючих” між собою в тому розумінні, що вони пропонують рішення хоча б деяких загальних для них проблем, хоча кожна з них дає, окрім того, вирішення деяких проблем, яких не дають інші теорії»129. Адже, хоча ми вимагаємо, щоб нова теорія давала вирішення і проблем, вирішених її попередниками, і проблем, які попередній теорії не вдалося вирішити, зрозуміло, завжди може трапитися, що будуть запропоновані дві або більше нові конкуруючі теорії, кожна з яких задовольняє ці вимоги і, окрім того, пропонує вирішення тих чи інших проблем, що не вирішують інші.
Своєю заслугою К. Поппер вважає створення об’єктивного критерію для виявлення високих рівнів новизни або «сміливості» теорії. Цей критерій полягає у тому, що «хоча нова теорія і повинна пояснювати те саме, що пояснювала стара теорія, вона коректує стару теорію, тобто вона суперечить старій теорії: вона містить стару теорію, але лише в якості наближення»130. Так, теорія І. Ньютоиа суперечить і теорії Й. Кеплера, і теорії Г. Галілея, хоча вона пояснює їх завдяки тому, що містить їх у якості наближень. Аналогічно теорія А. Ейнштейна суперечить теорії І. Ньютона, яку вона також пояснює і містить в якості наближення. Так створюється цілісне теоретичне знання, або теорія.
Описаний метод К. Поппер називає «критичним методом», що полягає в тому, щоб «висувати теорії і перевіряти їх самими строгими способами, які лише можемо винайти»13. Ця позиція зумовлена системою творчої діяльності мислителя, який є загальновизнаним «офіційним опонентом» (О. Нейрат) Віденського гуртка. Принцип верифікації як принцип конкретної значущості мислитель замінив критерієм фальси- фікаційності (демаркаційна заміна науки від науки), а індуктивний метод - на дедуктивний метод доказу, на основі якого доводив, що «протокольні положення не абсолютні та навіть не дефінітивні за своєю 132 природою».
Проблемна ситуація - це проблема вибору з декількох теорій. Можливості знайти і виявити істинні закономірності є досить незначними. У наших теоретичних пошуках буде безліч помилок і жодний загадковий «канон індукції», базовий чи ні, не може уберегти нас від цих помилок. Тому формулювання і вирішення проблем здійснюється «у рамках дедуктивної логіки». Якщо ми спробуємо застосувати її до реальних ситуацій, що виникають в науці, то зустрінемося з проблемами іншого характеру. Наприклад, співвідношення між «перевірочними» висловлюваннями і теоріями можуть виявитися не такими чіткими, як передбачалося, або ж самі перевірочні висловлювання можна критикувати. Такі проблеми виникають завжди, коли «ми хочемо застосувати чисту логіку до реальної життєвої ситуації, - зазначає К. Поппер. - Коли йдеться про науку, це призводить до того, що я назвав методологічними правилами, правилами критичного обговорення... Ці методологічні правила можна вважати підпорядкованими головній меті раціонального обговорення - наближення до істини»133.
У цьому контексті показовою є аргументація К. Поппера проти індукції як помилкового методу. Філософ вказує, що у минулому термін «індукція» використовувався двозначно: а) індукція перерахування; б) індукція елімінації. Перша - індукція повторення, або перерахування - повинна б обґрунтовувати певне теоретичне узагальнення. Малоцін- ність такого способу міркування є очевидною: будь-яке число спостережень лебедів білого кольору недостатнє для узагальнення: «Усі лебеді білі» (або що імовірність знайти не білого лебедя мала). Отже, за допомогою цієї індукції нічого неможливо обґрунтувати і довести. З іншого боку, індукція елімінації заснована на методі виведення або спростування хибних теорій. На перший погляд, цей тип індукції здається схожим на метод критичної дискусії, але насправді є серйозна відмінність. Оскільки теорій, що підлягають оцінці, існує нескінченна кількість, то для кожної проблеми існує безліч логічно можливих рішень. Це має ключове значення для науки загалом, тому науковий пошук нагадує азартну гру. Там, де рутина, не може бути науки. Ризиковані ідеї і уявлення в ній необхідні, як, зрозуміло, і суворий критичний контроль»134.
Отже, індукція нічого не обґрунтовує, а методів, заснованих на чистій рутині, не повинно бути. Традиційно вважають, що від окремих, одиничних суджень через впорядкування експериментальних даних ми йдемо до універсальних суджень, тобто гіпотез і теорій. Однак через нескінченність кожний перших з отриманих таким чином висновків не буде логічно досконалим. Якщо подивитися на проблему з іншого боку, то основа індукції - це або аналітичне твердження (тобто тавтологія), або синтетичне твердження (тобто емпіричне). Тобто виходить, що якби принцип індукції був суто логічним, не було б жодної проблеми індукції, оскільки всі індуктивні висновки були б логічними трансформаціями виведень дедуктивної логіки. Чи може принцип бути універсально-синтетичним твердженням? Якщо ми бачимо його істинність у досвіді, то виникають ті ж проблеми, що і на початку. Для його обґрунтування ми повинні застосувати індуктивні висновки, а для виправдання останніх ми повинні прийняти індуктивний принцип більш високого порядку тощо. Таким чином, будь-яка «спроба так чи інакше обґрунтувати індуктивний принцип на практиці провалюється, втягуючи дослідника в нескінчений регрес»135.
Отже, завдання полягає в пошуку продуктивного знання. Універсальність теоретичних положень (теорії) означає, що вони не можуть бути отримані через індукцію, яка веде від окремого, одиничного до одиничного, а не від одиничного до загального. Таким чином, можна сформулювати два важливих висновки. По-перше, теоретичні положення є гіпотезами, вони придумуються, а не отримуються з експериментальних досліджень. По-друге, природу експериментальних наук показує, виражає гіпотетико-дедуктивний метод, згідно з яким, потрібно винаходити, творити гіпотези, виводити з них наслідки, а на основі останніх пояснювати факти. З наукової точки зору, гіпотетико- дедуктивний метод є більш змістовним, ніж індуктивний, що не означає заперечення правомірності останнього за відомих умов. У К. Поппера зв’язок між теорією і базисними положеннями забезпечує не індукція, а насамперед дедукція. Тому мислитель проголошував себе прибічником гіпотетико-дедуктивного методу. Теорії - це гіпотези, від яких змушені відмовлятися у разі їх фальсифікації. Метод індукції, як показала послідовна аргументація К. Поппера - «ілюзія, оскільки перехід від сингулярних висловлювань до універсальних в принципі неможливий»136.
Таким чином, принцип фальсифікації (або фальсифікаційності - спростування) є аргументом на користь науковості теорії. Таким чином, теорії, що в принципі не фальсифікуються через їхню ізольованість від фактів, «не відповідають принципу науковості». Для підтвердження цієї тези К. Поппер використав аргумент про підкріплення теорії. Підкріплення теорії надає не істинність, а лише усталеність, стійкість, що підкреслює її. Він визнавав наявність рівня (ступеня) підкріплення, але визначав його залежним від рівня фальсифікованості: «Гіпотеза, що фальсифікується на більш високому рівні або більш проста, так само і підкріплюється на більш високому рівні». Найкраще підкріплюються найбільш точні теорії. Хіроманти і гадалки також оперують теоріями, але такими, які через їхню аморфність не підкріплюються. Мислитель іронізував над неопозитивістами: якщо ви вважаєте найкращими найбільш імовірні теорії, то, по суті, підтримуєте позиції хіромантів і гадалок, тобто людей, які керуються ненауковими теоріями.
Методологічна позиція К. Поппера змушує його відмовитися від традиційного розуміння концептів «істинне» і «хибне»: «Замість того, щоб говорити: “Передбачення p істинне за умови теорії t і базисного висловлювання в”, ми можемо сказати, що висловлювання p випливає з (несуперечливої) кон’юнкції t і в. Фальсифікацію теорії можна описати аналогічно. Замість того, щоб назвати теорію «хибною», ми можемо сказати, що вона суперечить певній множині прийнятих базисних висловлювань»139. Сутність пропозиції К. Поппера, яка пов’язана з аргументом фальсифікації, полягає у тому, що на місце невиразного уявлення про відповідність теорії фактам ставиться виведення з теоретичних висловлювань базисних. К. Поппер вважав, що надав адекватний зміст теорії «семантичної істини» А. Тарського', який, незважаючи на новаторство своїх поглядів, продовжував притримуватися теорії «абсолютної істини»141. Проте саме уявлення про істину є зайвим, і якщо навіть допустити його правомірність, то принаймні потрібно відмовитися від прийняття можливості абсолютної істини. Справа в тому, що «сингулярні висловлювання дедуктивно виводяться з теорії, отже, і висловлювань, вільних від теорії». Таким чином, протокольні положення (висловлювання) не можуть забезпечити абсолютну достовірність теорії (абсолютну істину), оскільки вони самі залежать від неї.
Дослідження, як стверджує К. Поппер, починається не зі спостережень, а з практики або теорії, що опинилася у критичному стані. Проблема часто полягає у невиправданому очікуванні. За своєю логічною природою проблема є суперечністю між установленими положеннями. Отже, дослідження починається з пошуку виходу із суперечності, затруднения, де необхідним постає творче уявлення. Так само необхідним є розуміння відмінності між контекстом відкриття та контекстом аргументації. Психологічний процес, або генезис ідей - це одне, а їх аргументація і доказ - зовсім інше. У «наукових ідей немає привілейованих джерел: міф, метафізика, сон, галюцинації можуть породити відкриття». При цьому важливо, що так чи інакше вони повинні підтверджуватися фактами, бути контрольованими та критично обґрунтованими. Чим відрізняються нові ідеї від традиційних міфів? На це своє запитання К. Поппер відповідає: «Традиційне збереження догми змінюється традицією більш високого порядку; на місці традиційної теорії - на місці міфу - ми бачимо традицію критики теорій (які на перших порах мало відрізняються від міфів). І лише в ході критичного обговорення відбувається звернення до спостереження як до свідка»144.
Кожне наукове дослідження починається з постановки проблем, для вирішення яких потрібні гіпотези. Висунуті гіпотези підлягають перевірці за допомогою вилучення з них висновків та аналізу того, що вони дають. За характером висновків ми судимо, підтверджується гіпотеза чи ні. Іншими словами, є «проблема P і теорія Т, запропонована як вирішення проблеми. Ми говоримо: якщо T вірна, повинні випливати P1, P2, P3..., що підтверджують цю теорію. їх відсутність буде засвідчувати протилежне». Отже, для свого підтвердження теорія повинна бути в принципі контрольованою, тобто фальсифікованою з боку фактів. Якщо неможливо отримати висновки, відкриті контролю аргументації фактами, то це означає, що теорія ненаукова. Щоправда, на сьогодні метафізична теорія уже завтра може стати науковою; так метафізика атомізму часів Демокріта в епоху Фермі стала науковою теорією, доведеною експериментально.
Процес вилучення висновків (наслідків) з теорії під контролем базисних (протокольних) положень і висловлювань, які, як ми знаємо, описують факти, і складає суть контрольно-дедуктивного методу. В логічній перспективі контроль не має кінечної дефінітивної точки, оскільки будь-який наступний контроль здатен спростувати теорію, що тривалий час вважалася невразливою, про що багаторазово підтверджує історія науки. Таким чином, постає проблема логічної асиметрії між верифікацією та фальсифікацією. Численні підтвердження і докази не здатні увіковічити теорію, але досить одного негативного факту, щоб логічно підірвати її. З подібної асиметрії К. Поппер сформулював методологічний принцип: оскільки теорія залишається підлеглою спростуванню, то потрібно випробувати її фальсифікацією. І чим швидше завдяки її аргументам буде знайдено помилку, тим швидше ми знайдемо іншу «кращу» теорію для необхідної перевірки. Так само оцінюється позитивна сила помилки. Досвід - це «ім’я, яке ми даємо власним помилкам», - повторював за О. Уайльдом К. Поппер. «Від наукової теорії я не вимагаю, щоб вона була вибрана позитивним чином раз і назавжди; однак я вимагаю, щоб її логічна форма була явною для засобів емпіричного контролю в негативному смислі. Емпірична система не повинна ви-
• 146
ключати спростування досвідом».
Адекватність такого критерію виявляється тоді, коли ми звертаємося до метафізичних систем. Вони завжди верифікуються (який факт не підтверджує хоча б одну з багатьох філософій історії?) і не спростовані нічим (яким фактом можна спростувати філософію, історію або те чи інше релігійне бачення світу?). Для істинних (які стверджуються) знань фальсифікованість дійсно є важливим аргументом їх підкріплення, адже хибні положення (псевдоположення) в принципі не порівнювані ні з підтверджуючими, ні зі спростовуючими їх фактами, а тому вони вживаються, як вже зазначалося вище, з будь-якими фактами. Отже, для істинних висловлювань необхідними є не лише реальні факти, що їх підтверджують, але і уявні (фантазійні) факти, що їх спростовують, тобто наявність фальсифікованості. Якщо теорія не спростовується жодними, навіть уявними, фактами, то вона не наукова. Тут К. Поппер вірно підмітив те, що теорія втрачає наукову осмисленість не тоді, коли її можна підтвердити конкретно відомими аргументами, і навіть не тоді, коли нам невідомі конкретні аргументи і способи її спростування, а тоді, коли стає зрозуміло, що «друге неможливе саме в принципі, тобто ця теорія аргументується і підтверджується будь-якими фактами, оскільки з цього випливає не лише те, що її неможливо перевірити, але і те, що майбутні факти, якими б вони не були, її в принципі не зачіпають, так що вона в принципі не сумісна з кожним з них»147.
Необхідно зазначити, що перевірка вимагає певних умов і обставин. Умови, яким повинні відповідати особливі, базисні положення, для того щоб слугувати основою фальсифікації, задаються через певні логічні зв’язки даних положень. 1) Положення, що фальсифікується, не може випливати з положення, що перевіряється, без інших допоміжних положень і висловлювань, оскільки інакше воно не могло б вступити в суперечність з положенням, що перевіряється. 2) 3 положення, що перевіряється, повинно логічно випливати заперечення базисного положення, щоб могла виникнути суперечність. Тому положення, що фальсифікується, і його заперечення повинні мати різну логічну форму. Це забезпечується співвідношенням загального і екзистенціального положень: із загального положення неможливо вивести несумісне з ним сингулярне екзистенціальне положення (згідно з пунктом 1); але через узагальнення його заперечення можна вивести загальне положення, що суперечить (згідно з пунктом 2). До цього додається ще одна змістовна умова: положення, що фальсифікується, повинно говорити про подію, що спостерігається. Це пов’язано з тим, що «існування» можна верифі-, 148
кувати лише «через зв язок із чуттєвими переживаннями», - вказує В. Крафт.
Не усі гіпотези або теорії науки перевіряються однаковою мірою. Вони тим більше перевіряються, чим більше у них можливостей фальсифікації. Відносну міру фальсифікованості К. Поппер намагався точно визначити двозначним чином. По-перше, через порівняння класів можливих фальсифікаторів двох положень. Мислитель аргументує: одне положення більшою мірою фальсифіковано або краще перевіряється, ніж друге, якщо клас його можливих фальсифікаторів охоплює клас можливих фальсифікаторів другого положення. Вони перевіряються однаковою мірою, якщо обидва ці класи рівні за об’ємом. Однак, якщо не можна встановити якогось співвідношення цих класів, якщо класи можливих фальсифікаторів не порівнювані, то такий спосіб визначення виявляється неможливим. Другий спосіб виміру ступенів перевірки К. Поппер намагається отримати за рахунок того, що він виокремлює певний клас положень і висловлювань «відносно атомарних» положень. Мислитель визначає їх як ті положення, що виникають завдяки підстановці в довільно встановлену функцію висловлювання (яка містить, наприклад, схему вимірів). Якщо «певне положення (висловлювання) може бути фальсифіковано лише з допомогою кон’юнкції, яка складається з n різних положень класу таких атомарних положень і висловлювань, але не може бути фальсифіковано кон’юнкцією з n-1 положень, то число n означає ступінь складності цього положення відносно класу атомарних положень і ступінь його перевірюваності, якщо атомарні положення (висловлювання) визначені як базисні положення». Отже, уся аргументація К. Поппера спрямована на обґрунтування завдань і принципів наукового пізнання.
Метою наукового пізнання є досягнення істини. Але істина приписується не фактам, а теоріям. Теорія є правильною, істинною, якщо відповідає фактам. Однак у нас все ж таки немає критерію істини, навіть якщо ми на правильному шляху. Про це неможливо знати напевно, оскільки висновків і наслідків з теорій нескінченно багато і контролювати усі неможливо. Завдяки цьому включається аргументація фальси- фікаціонізму. Суть його, як вказують Дж. Реале і Д. Антисері, полягає в наступному. Якщо прийнята «гіпотеза - фальсифікат», то теорія, яка виявляє себе в якості такої, що суперечить їй, є логічно недостатньою в силу «modus tolleus» (аргументація типу: якщо t вірне, то вірним буде і р, але р хибне, отже, і t хибне. У символах (t → λ 1 р) → ^∣ t)). Отже, щоб вивести наслідки, висновки з певної гіпотези, потрібна «допоміжна гіпотеза (з ряду тих, що поряд з контрольними гіпотезами дають можливість отримати наслідки, що спостерігаються)». Саме допоміжні гіпотези є відповідальними надалі за негативний результат. До того ж, щоб фальсифікувати теорію, ми потребуємо базисних тверджень, які покладаються як правильні аргументи. Однак прийняті як правильні, вони далеко не завжди є істинними на практиці. Тому протокольні положення (висловлювання) не застраховані від помилок, а хибною може бути не та гіпотеза, що перевіряється, а «посилання - фальсифікант».
Усе це говорить про те, що хоча логічна фальсифікація остаточна, методологічна фальсифікація не має підсумкового характеру. А якщо так, то зрозуміло, що претензію теорії на науковість неможливо обґрунтувати емпірично. «Можна сказати, - зазначає К. Поппер, - що емпіричні успіхи старої теорії підкріплюють нову теорію; разом з тим, ці корекції можуть бути перевірені і, можливо, - спростовані або підкріплені. Найбільш яскраво виявляється цією логічною ситуацією той факт, що нова теорія не може бути ні ad hoc (латин. - придуманий для даного випадку - Л. K.), ні круговою. Вона не лише не повторює своє пояснюване, але й суперечить йому і коректує його»151. Отже, емпіричні факти тут не відіграють вирішальної ролі.
Таким чином, ми постаємо перед проблемою переваги однієї теорії над іншою. Зазначимо, що питання про переваги виникає винятково в умовах конкуренції теорій, про які вже говорилося вище, що пропонують вирішення однієї проблеми. Дослідник обирає ту, яка ближче до істини, але, прагнучи до істини, він також не упускає з поля зору хибні рішення, оскільки визначити помилку означає через її заперечення знайти істинне, правильне рішення, нову проблему для нової теорії. Фальсифікація призводить до збагачення проблем: не вводячи гіпотез ad hoc, ми запитуємо, чому теорія втратила своє значення? У якості відповіді обов’язково повинна з’явитися нова версія, краща теорія.
В аналізі об’єктивного знання в множинності його аспектів К. Поппер особливу увагу приділяє ролі теорії в розвитку науки. Мислитель вказує, що з переходом до «абстрактної теорії» було досягнуто тієї стадії розвитку науки, на якій від пояснювальної теорії практично не вимагається нічого, окрім можливості її «незалежної» перевірки; «ми готові працювати з теоріями, котрі на інтуїтивному рівні можна подати у вигляді діаграм, рисунків..., - це дає нам «конкретні» теорії»152. Якщо ж такі зображення отримати не можна, то можна працювати з «абстрактними» теоріями.
Розвиток теорій, як відомо, пов’язаний зі зростанням наукового знання. Вимоги до такого зростання не надумані, адже люди свідомо бажають найбільш плідного наукового знання. Зростання наукового знання передбачає змінюваність наукових теорій. Фальсифіковані гіпотези, з яких починаються теорії, повинні бути замінені новими. Таку позицію К. Поппер аргументує низкою доказів і метафор. Немає дороги ні «царської» і ні будь-якої іншої, що за потреби веде від «даної» множини конкретних фактів до якогось загального закону. Те, що ми називаємо «законами» - це просто гіпотези, або передбачення, які утворюють частину більш «крупної» системи теорій (власне, всього нашого «горизонту» очікувань), які, таким чином, неможливо перевіряти кожну окремо. Прогрес науки полягає в апробаціях, в усуненні помилок і в наступних апробаціях, керованих досвідом, набутим у процесі попередніх апробацій і помилок. Жодну теорію ніколи не можна і не потрібно вважати абсолютно надійною. Кожна теорія може стати проблематичною, якою б добре підкріпленою вона не здалась тепер. Жодна наукова теорія не є священною і недоторканою, що стоїть вище критики. Це часто забували під впливом досягнень певних «механічних» теорій, що зрештою стали вважатися суто істинними. Проте бурхливий розвиток науки, особливо фізики, показав, що завдання вченого - постійно піддавати свою теорію новим перевіркам, і жодну теорію не можна оголошувати остаточною. Перевірка полягає в тому, що «беруть теорію, яка підлягає перевірці, та комбінують її зі всілякими видами початкових умов, а також з іншими теоріями, а потім зіставляють отримані передбачення з дійсністю. Якщо це призводить до оманливих очікувань, до спростувань, то ми змушені перебудовувати нашу теорію»153.
Попри здавалося небажаний результат, «обмануті очікування», з якими ми в таких сподіваннях і з надією підходили до дійсності, відіграють в цій процедурі важливу роль. Вона полягає у досвіді, який можна порівняти з досвідом сліпого: він доторкається до перепон або наштовхується на них, і завдяки цьому дізнається про їх існування. Тому, підкреслює К. Поппер, «лише через фальсифікацію наших передбачень ми є дотичними з “дійсністю ”. Лише виявлення і усунення наших помилок і складає той “позитивний” досвід, який ми отримуємо у дійсності»154.
Звісно, продовжує аргументувати К. Поппер, завжди можна «врятувати» фальсифіковану теорію за допомогою додаткових гіпотез. Однак це не буде шляхом прогресу в науці. Відповідною реакцією на фальсифікацію буде пошук нових теорій, які, схоже, «обіцяють» нам краще оволодіння фактами. Наука зацікавлена не в тому, щоб залишити за собою останнє слово, якщо це означає «закрити» наші (мислення) розуми перед фальсифікуючим досвідом, а в тому, щоб вчитися на досвіді, тобто вчитися на наших помилках.
В цьому контексті потрібно вказати на спосіб, завдяки якому можна формулювати наукові теорії так, щоб вони особливо ясно вказували на можливість власної фальсифікації: їх можна формулювати у вигляді заборон (або негативних висловлювань про існування), наприклад, таких: «Не існує закритої фізичної системи, в одній частині якої енергія мінялась би так, що в другій частині не відбувалися б компенсуючі зміни (перший закон термодинаміки). Можна показати, що загальні висловлювання і негативні висловлювання про існування є еквівалентними. Це надає можливість формулювати всі загальні закони вказаним чином, тобто як заборони. Однак ці заборони адресовані насамперед технологам, а не вченим. Технологу вони повідомляють, як він повинен діяти, якщо не хоче витрачати сили даремно. Для «вченого ж ці заборони - виклик перевірити їх і спробувати їх фальсифікувати; вони стимулюють його спроби, його намагання відкрити такі положення речей, які вони забороняють або заперечують»155.
Альфою і омегою методології К. Поппера, на думку В. А. Канке, є обґрунтування феномену теорії як сукупності універсальних висловлювань, тобто висловлювань, що мають відношення «до всіх елементів даного класу».156 Поставивши питання про відкриття теорій, К. Поппер вважав, що «кожне відкриття містить ‘‘ірраціональний елемент” або “творчу інтуїцію” в бергсонівському смислі»157. Мислитель брав собі в союзники А. Ейнштейна, який стверджував, що універсальні закони можуть бути отримані лише за допомогою інтуїції. Свою позицію К. Поппер аргументує на основі досягнень математичної теорії Л. Е. Брауера, видатного математика і філософа, який створив своєрідну інтуїціоністську філософію математики, цінність якої проявляється в її продуктивності. Вона одним зусиллям вирішує три групи проблем філософії математики.
По-перше, епістемологічні проблеми джерел математичної достовірності, природи математичних даних і природи математичної доказовості вирішуються, відповідно, за допомогою концепції інтуїції як джерела знання, концепції, згідно з якою, ми можемо інтуїтивно вбачати і бачити математичні об’єкти, які конструюємо, а також концепції, відповідно до якої математичний доказ є послідовним конструюванням, або «конструкцією конструкцій»158.
По-друге, онтологічні проблеми природи математичних об’єктів і способу їх існування були вирішені Л. Брауером за допомогою доктрини, що має два аспекти: конструктивізм і менталізм. Згідно з менталі- змом, усі математичні об’єкти знаходяться у сфері т. зв. «другого світу». Математичні об’єкти є конструкціями людського розуму. Вони існують насамперед як конструкції в людському розумі. Для «інтуїціо- ніста, - стверджував Л. Брауер, - математичні об’єкти існують в людському розумі, в той час як для формаліста вони існують на папері»159.
По-третє, методологічні проблеми математичних доказів, для яких найбільшою мірою може бути застосовано принцип фальсифікації у визначенні істинності чи хибності математичних положень. Одних математиків насамперед цікавлять теореми - істинність чи хибність математичних висловлювань, інші цікавляться доказами: питаннями існування доказів тієї чи іншої теореми і специфікою таких доказів. Якщо домінуючим є перший підхід, тоді він пов’язаний з інтересом до відкриття математичних «фактів» і тому з «платонізованою» математичною евристикою. Якщо ж домінує другий підхід, тоді докази є не просто засобами формування впевненості в теоремах про математичні об’єкти, а самостійними математичними об’єктами. Отже, для Л. Брауера стверджувати певну теорему означало стверджувати існування певного доказу для неї, а заперечувати її означало стверджувати існування спростування, тобто доказу її абсурдності. Це безпосередньо призводить до відмови Л. Брауера від закону виключеного третього, до заперечення ним побічних доказів і до тези, що існування може бути доведено лише реальною побудовою математичних об’єктів, що розглядаються, коли вони робляться (стають) «видимими»160.
Розглянувши і високо оцінивши брауерівську епістемологію за її «антиплатонізм», «антиформалізм», К. Поппер звертається до її логічної критики, насамперед за її «інтуїціонізм». Філософ вважає, що необхідно відмовлятися від помилкової «філософії інтуїції» як достовірного джерела знання. Свою позицію він аргументує твердженням, що не існує авторитетних джерел знання, і жодне «джерело» не є абсолютно надійним. Все схвалюється як джерело натхнення, стимулювання, включаючи «інтуїцію», особливо якщо вона пропонує нам нові проблеми. Однак немає нічого безсумнівного, і всі ми помиляємося. Стосовно ж «інтуїції», то вона значною мірою є продуктом нашого культурного розвитку і наших успіхів у дискурсивному мисленні. Сказане є справедливим відносно нашої «інтуїції часу», що є способом бачення наших темпоральних відносин і залежить від нашої мови, наших теорій і міфів, включених в мову. У будь-якому разі наша «інтуїція часу» може змінюватися зі зміною наших теорій. Інтуїції І. Ньютона, І. Канта, М. Коперніка відрізняються від інтуїції А. Ейнштейна, і роль часу у фізиці елементарних частинок відрізняється від ролі часу у фізиці твердого тіла, особливо в оптиці. На основі «законів оптики у фізиці не може бути якогось стану світу в певний момент часу». Ця аргументація повинна дати і дійсно дає зовсім інше розуміння інтуїції.
У результаті об’єктом аналізу стає проблема інтуїціоністської епістемології. Якби вона була вірна, то питання про математичну компетенцію не було б проблемним. Оскільки ця проблема існує, то її можна вирішити лише за допомогою істотного використання аргументатив- ної функції мови. Зрозуміло, що критичне використання мови не зобов’язує нас використовувати аргументи, заборонені інтуїціоністською філософією математики. Точка зору, яку обстоює К. Поппер, полягає в наступному: якщо допустимість запропонованого інтуїціонізмом математичного конструювання може бути взята під сумнів, - а вона звісно може підлягати сумніву, - то мова стає не просто засобом комунікації, без якої можна в принципі обійтися, вона є необхідною умовою і засобом критичного обговорення, умовою дискусії. Відповідно до цього, вона не являє собою інституціоністську конструкцію, «яка об’єктивна в тому розумінні, що не важливо, який суб’єкт її створює»162. Насправді, об’єктивність навіть інтуїціоністської математики спирається на критику її аргументації (як це має місце у всіх науках). Це означає, що мова є «необхідною як спосіб аргументування, тобто як спосіб критичного обговорення»163.
Сказане пояснює, чому К. Поппер вважає помилковою епістемологію Л. Epayepa, яка, на його думку, є суб’єктивістською. Адже існує процес взаємного обміну між конструюванням, інтуїцією і традицією, і цей процес не враховується. Хоча можна допустити часткову правоту Л. Брауера на статус мови. Справа в тому, що хоча «третій світ» (світ науки) і не ідентичний світу лінгвістичних форм, він виникає разом з «аргументативною функцією мови, постаючи її побічним продуктом. Це пояснює, чому, коли наші конструкції стають проблематичними, систематизованими і аксіоматизованими, мова може також стати пробле- матизованою, і чому формалізація може стати відгалуженням математичного конструювання».
Так само здійснюється аргументована критика онтологічних та методологічних проблем, що засвідчує практичну реалізацію принципу фальсифікації як аргументу у доказі своєї позиції.
Для К. Поппера більш важливою є та теорія, що у контексті доступних на даний момент часу засобів контролю, у т. ч. фальси^ікаціонізму, містить «більше інформації, точніше пояснює реальність». Основуючись на цьому, мислитель в якості об’єкта аналізу обирає реалізм, а саме реалізм «здорового глузду». Реалізм - це істотна риса здорового глузду, що розрізняє видимість і реальність. Теза, яку висуває К. Поппер, полягає в тому, що реалізм неможливо ні доказати, ні спростувати. Як і все, що виходить за межі логіки і арифметики, реалізм не доказується, навіть не спростовується. Однак його можна аргументувати, і аргументи за нього явно переважують. Жодний «мисленнєвий досвід і описана подія не можуть розглядатися як ефективне спростування реалізму. В цьому питанні, як і в багатьох інших, немає вирішальних аргументів. Однак є аргументи на користь реалізму»^66.
Аргументи на захист реалізму, які висуває К. Поппер, такі: реалізм є частиною здорового глузду; аргументи проти нього філософські, тому не підлягають фальсифікації; всі теорії природознавчої науки є реалістичними, у тому розумінні, що якщо вони істинні, то і реалізм повинен бути істинним. Це одна із причин виникнення терміну «науковий реалізм»; аргументи від мови: кожне обговорення реалізму, а особливо аргументи проти нього, повинні бути висловлені у мові, що за своєю суттю дескриптивна і аргументативна, а не одіозний опис завжди реалістичний - це завжди опис чогось, що може бути реальним або уявним; заперечення ідеалізму абсурдної теорії є аргументом раціональним; питання про істинність або хибність думок або теорій стає безпредметним, якщо немає жодної реальності. «Я пропоную, - підсумовує К. Поппер, - прийняти реалізм як єдину осмислену гіпотезу - як припущення, якому ще ніколи не було запропоновано осмисленої альтернативи... Однак мені здається, що я знаю всі епістемологічні аргументи (вони переважно суб’єктивістські), які пропонувалися у ролі альтернатив реалізму, таких як позитивізм, ідеалізм, феноменалізм, феноменологія тощо, і хоча я не ворог обговорення філософських -ізмів, але вважаю всі філософські аргументи, які (наскільки мені відомо) висувалися на користь перерахованих мною -ізмів, очевидно помилковими. Вони є похідними від помилкової, хоча і заснованої на здоровому глузді, теорії пізнання, яка не витримує скільки-небудь серйозної критики»16.
На доказ існування реальності К. Поппер наводить коментар В. Черчилля до філософії ідеалізму, який також є аргументом на користь реалізму. «Деякі з моїх двоюрідних братів, які мали значну перевагу університетської освіти, - писав В. Черчилль, — мали звичку дратувати мене аргументами на доказ того, що ніщо не має жодного існування, окрім того, що ми про нього думаємо». І далі він продовжує: «Я завжди спирався на наступний аргумент, який я придумав для себе багато років назад. От це велике Сонце, існування якого, схоже, не має жодних інших основ, окрім наших фізичних почуттів. На щастя, існує спосіб зовсім незалежно від наших фізичних почуттів перевірити реальність Сонця. Астрономи передбачають за допомогою математики і чистого розуму, що в певний день по диску Сонця пройде чорна пляма. Ви дивитесь, і ваше почуття зору безпосередньо говорить вам, що ваші розрахунки виправдалися. Я знову рішуче стверджую, що Сонце реальне, і що воно гаряче — насправді гаряче, як пекло, і якщо метафізики в цьому сумніваються, то нехай намагатимуться потрапити туди і подивляться самі»168.
З точки зору мислителя, наведений аргумент В. Черчилля є не лише обґрунтованою критикою ідеалістичних та суб’єктивістських аргументів, але й найбільш здоровим і найбільш винахідливим доказом проти суб’єктивістської епістемології. Цей аргумент вищою мірою оригінальний, його не може ігнорувати жоден із мислячих філософів.
Постійна увага К. Поппера до метафізики та її критика говорить про те, що на відміну від принципу верифікації (верифікованості), критерій фальсифікованості проводить демаркаційну лінію між емпіричними та неемпіричними твердженнями. Сказати, що положення ненаукове, не означає сказати, що воно безглузде. Критерій демаркації покликаний відокремити наукові системи від метафізичних тверджень.
Неопозитивісти намагалися елімінувати затавровану ними метафізику, але і не змогли її уникнути, коли ввели принцип верифікації. Як обійти той факт, що серед метафізичних ідей є ті, що суперечать прогресу науки, так і ті, без яких ані науки, ані прогресу не існувало б. Із психологічної точки зору, на думку К. Поппера, наукове відкриття неможливе без віри в ідеї суто спекулятивного характеру, за усієї їх не- проясненості (непрозорості). Ідеї реалізму, універсального порядку, каузальності наскрізь метафізичні, містять «ірраціональні моменти». З психологічної точки зору дослідження не може без них обійтися, а з історичної точки зору часто виникають ситуації, коли ідеї, прописані віками в ареалі метафізики, входили в контакт з наукою і зростались з нею. Серед них «ідеї атомізму, фізичного принципу “першоелемента”, теорія руху Землі, корпускулярна теорія світла та багато інших. Навіть в найпростішій, примітивній формі ці ідеї несли образ світового порядку, ідеї передбачення, причинності тощо». Однак ідеї такого роду досягають наукового статусу лише тоді, коли вони подані у формі, що допускає спростування, коли неможливе емпіричне порівняння її з іншими теоріями.
У «Postscriptum» К. Поппер викладає свою програму метафізичних досліджень: «Атомізм - блискучий приклад неконтрольованої метафізичної теорії, вплив якої на науку переважає множину контрольованих теорій... Остання грандіозна програма Фарадея, Максвелла, де Бройля і Ейнштейна - це спроба зрозуміти світ у термінах неперервності. Кожна з цих метафізичних теорій давала наукову програму, вказуючи напрям адекватних пояснень і покладаючи можливу оцінку глибини теорії»170.
Отже, з психологічної, історичної та логічної точки зору, сферу істинного не можна ототожнювати зі сферою емпірично контрольованого знання. Хоча, застосовуючи критерій фальсифікаціонізму як аргумент доказу істинності, ми бачимо, що метафізичні теорії, хоча і осмислені, часто є правильними і все ж емпірично неспростованими, так чи інакше можуть бути об’єктом критики. Вони не поза критикою, оскільки існують не ізольовано від інших теорій, а надані у контексті об’єктивно проблематичних ситуацій. Завдання вченого - аргументовано їх вирішувати, доказуючи істинність чи хибність.
Таким чином, у процесі пошуку достовірного знання постпозити- візм в особі К. Поппера стверджує головне призначення науки - побудову теорій і усвідомлення на їх основі принципів буття і розвитку світу. Теорія складається з універсальних положень і висловлювань, від яких через дедукцію здійснюється перехід до сингулярних висловлювань. У цій ситуації одразу стає очевидною асиметрія між верифікацією та фальсифікацією. На відміну від критерію верифікації, фальсифікація співвідноситься з сингулярними і універсальними висловлюваннями. Критерій фальсифікації як аргумент для перевірки достовірності знання виявляється ширшим за критерій верифікації. Теорія не лише верифіку- ється, а також і фальсифікується. Демаркація між наукою і ненаукою можлива, причому насамперед завдяки фальсифікації.