Емпiричнi факти та теоретичнi узагальнення в науці
У "Нарисах з експериментальної логiки" вказується, що вчений повинен розглядати iстину як те, "що приймається на пiдставi вiдповiдного доведення". Розглядаючи "вiдповiднiсть чи згоду" мiж судженням i фактом, про яку звичайно кажуть, що вона означає iст謬¬ну, Дьюї встановлює, що ця"вiдповiднiсть чи згода подiбна до вiдповiдностi мiж винаходом та умовами, для яких винахiд признବ-чався.Для усунення будь-яких непорозумiнь стосовно свого емпiризму Дьюї присвятив цiлу главу "Нарисiв..." темi "Контроль над iдеями при допомозi факту". Ця глава цiкава наведенням демонструючого прикладу щодо людини, що заблукала в лiсi. "На щастя", ця людина мала "iдею про зворотнiй шлях", i, дiючи згiдно цiєї iдеї, їй вдବ¬лося повернутися додому. Таким чином, iдея людини про шлях додому виявиласяь iстинною. фї iдея про дорогу через лiс була перевiрена саме при допомозi фактiв.
Чи можна тому сказати, що iдея, на основi якої блукаюча в лiсi людина планувала свiй шлях додому, вiдповiдала дiйсно об' єктивн¬му виходовi з лiсу? "Нi в якому разi", вважає Дьюї, тому що це о第¬начало б постулювати лiс як "дiйснiсть-зразок", якому повиннi вiдповiдати тiльки наслiдки дослiдження. Згода чи вiдповiднiсть її iдеї з фактом була "згодою мiж планом i його здiйсненням".
Так само, мабуть, мандрiвник по Києву, вивчаючи карту метро з метою досягнути якогось мiсця призначення, не вважатиме, що карта вiдповiдає якимось тунелям-зразкам, iснуючим "заздалегiдь" пiд й¬го ногами. Вiн просто вважає карту планом дiй, який багато громବ¬дян рахують корисним, i до якого вiн також може ставитись з довiрою. Стосовно логiки так само, не саме судження, а акт його ствердження є iстинним або хибним. Судження є лише iнструмент..
Коли ми починали главу посилаючись на книгу "Логiчний синтаксис мови" Р.Карнапа, тодi нас цiкавило, а чи дiйсно перехiд до синтаꬬ¬сису має таке важливе значення для iндуктивiзму. I здається п嬬-ресвiдчилися, що рiзнi спроби розумiння поняття "емпiричне" постiйно вступають у самосуперечнiсть.
Тепер повернемося знову до Карнапа, який вважає, що будь-якi питання, що зустрiчаються в теоретичнiй сферi, можна подiлити в загальних рисах на - "питання про об'єкти" i "логiчнi питання". Отже мова йде про рiвень теоретичного пiзнання. "Питання про об'¬¬¬єкти" - це тi, що стосуються об'єктiв областi розгляду. "Логiчнi питання" - це тi, що стосуються речень, термiнiв, теорiй тощо, якi самi вiдносяться до об'єктiв логiчного емпiризму. Таким чином, нବ¬ука має справу з об'єктами, а фiлософiя науки - "реченнями, словବ¬ми, теорiями тощо".
Звiдси випливає, за Карнапом, що Расселу та Вiтгенштейну, яких вiн вважає своїми попередниками у справi побудови "наукової фiл-софiї", взагалi не слiд було говорити про об'єкти i факти, про значення речень та про порiвняння речень з дiйснiстю, бо це все привело їх до повернення iдеї апрiорностi - "метафiзики".
У свою чергу вiн визначає наступне: "Пiд логiчним синтаксисом мови ми розумiємо формальну теорiю лiнгвiстичних форм цiєї мови ¬¬-систематичний виклад формальних правил, що керують мовою, а також розвиток наслiдкiв, що витiкають з цих правил"[8. -с.41]. Це ознବ¬чає, що "логiчний синтаксис" - це система, що охоплює правила п¬будови i перетворень мови. Правила перетворення показують, як мо欬¬на з'єднувати символи один з одним, щоб скласти речення.
Отже, якщо ми знаємо правила перетворення, то це означає, що нам вiдомо, якi речення суто емпiрично можуть бути виведенi з iнших речень i якi не можуть або суперечать iншим реченням. З фор¬¬-мальної точки зору те, що p витiкає з q, означає, що якщо ви скବ¬зали q, то за правилами мови ви можете сказати тiльки p, але нi в якому разi "не-p". Тут судження постає лише як iнструмент, а от сам факт його ствержування має визначатися через поняття "iстина" або "хиба".
У свою чергу, логiки, котрi переконанi, що логiка має справу з смисловими вiдношеннями мiж реченнями, насправдi неусвiдомлено вважають, що вони мають справу зi значеннями речень, якi можуть верифiкуватися.
Але для фiлософськи освiдчених iндуктивiстiв це не так. Наприꬬ¬лад Карнап вважає, що принципи логiки можливо i необхiдно формулю¬¬¬вати абсолютно незалежно вiд значення слiв - тобто просто як син¬¬¬таксичнi правила побудови i перетворення. Оскiльки "ми володiємо у всiх вiдношеннях повною свободою щодо форм мови; правила побудови речень i правила перетворення (останнi звичайно iменуються як "постулати" i "правила виведення умовиводiв") можна вибирати цiлком довiльно". Дану точку зору Карнап назвав "принципом терп謬-мостi", котрий надає "безмежнi можливостi довiльного винаходу уся¬¬¬ких можливих видiв мов"[9. -р.73].
В цiлому, для iндуктивiзму, логiчний аналiз мови науки набуває строго формальної синтаксичної природи, де вся система наукових положень, виводиться вiдповiдно до певних формальних правил з пр-токольних положень.