Сторінка
7
Зд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льно"[10. -с.89].
Для Карнапа стала вiдкриттям праця А.Тарського "Поняття iстини у формалiзованих мовах" (1933), у якiй було зображено, що симантичнi вiдношення не лише можуть розглядатись як логiчнi, але й можуть трактуватись з тiєю ж строгiстю, що й синтаксичнi[Див.: 11. -с.44-67].
Пiсля цього, вiн висунув тезу, що логiчний синтаксис повинен доповнюватись логiчною семантикою, а фiлософська процедура має вмiщувати семантичний аналiз (якщо взагалi не звестись до нього).
Цiй проблемi Карнап присвячує свої монографiї "Вступ до семантики" (1942), "Формалiзацiя логiки" (1943), "Значення та необхiднiсть" (1947), а також деякi сумiжнi з ними працi.
Вихiдним пунктом своїх розмiркувань Карнап обрав запропоновану Ч.Моррiсом теорiю семантики викладену у роботi "Основи теорiї знакiв" (1938). Моррiс вiдзначав, що "знак" завжди функцiонує у трьохсторонньому вiдношеннi, а саме: 1) у вiдношеннi до людини; 2) у вiдношеннi до того, що вiн позначає; 3) у в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тичне воно чи синтетичне.