еоріям. Програма побудови цього В«уніфікованої мови наукиВ» і деякі результати роботи в цьому напрямку викладені в В«Енциклопедії уніфікованої науки В», одним з редакторів і авторів якої був Карнап.
У логічній еволюції Карнапа виділяють три етапи. p> - Перший етап (до поч. 30-их рр..) Характеризується активною участю у Віденському гуртку і в розробці ідей логічного емпіризму. Його погляди у цей період, що сформувалися під сильним впливом Вітгенштейна, являють собою своєрідне поєднання розгляду філософських проблем у дусі традиційного емпіризму з методами, притаманними раціоналізму, причому використовує всі досягнення у розвитку логіки. Найбільш яскравим прикладом вищевказаного є його книга В«Логічна конструкція світу В», де, використовуючи нові методи логіки, Карнап намагався розкрити логічну структуру процесу створення картини світу у окремої пізнає особистості, що виходить від своїх В«безпосередніх данихВ», тобто сприйнять. У ряді робіт цього періоду Карнап починає застосовувати апарат математичної логіки до аналізу понять і аксіоматизації окремих теорій у конкретних науках (Арифметика, геометрія і лінгвістика). Починаючи з 1934 Карнап приділяє основну увагу розробці спеціально логічних запитань.
-Другий період розвитку його ідей можна назвати В«синтаксичнимВ» (до 1936). У 1934 в роботі В«Логічний синтаксис мови В»Карнап докладно розглядає новітні результати в області логіки, отримані після виходу праці В«Principia of mathematica В» Б. Рассела О.М. Уайтхеда. Карнап викладає теорему про неповноту К.Геделя, розвиває теорію логічного синтаксису, що є частиною В«металогікиВ»; будує логічна мова, представляє собою мову розширеного числення предикатів з рівністю і з правилом нескінченної індукції. В«Мова!!В», Крім логічних символів, містить також постійні предикати і функтори, і, на думку Карнапа в ньому можуть бути сформульовані не тільки всі пропозиції класичної математики, але і всі пропозиції теоретичної фізики. Таким чином, Карнап будує свій В«Мова!!В» як апарат для логічного аналізу мови науки. Карнап висуває тезу про те, що логіка науки є синтаксис мови науки. Карнап зводить на цьому етапі розвитку своїх філософських поглядів філософський аналіз науки до аналізу чисто синтаксичних зв'язків між реченнями, поняттями і теоріями, заперечуючи можливість наукового обговорення питань, що стосуються природи реальних об'єктів і їх ставлення до пропозицій мови науки. Карнап також відстоює тезу екстенсіональності, згідно з яким мова науки є екстенсіональним, а всяке интенсиональное пропозиція може бути в нього переведено.
У 1936-1938 Карнап розробляє проблеми, пов'язані з побудовою уніфікованої мови науки (в роботі В«Верифікованість і значенняВ» він дає перший логічний аналіз поняття диспозиції і розглядає слідом за Поппером поняття ступеня підтвердження). У зв'язку з цими дослідженнями, а також під впливом робіт А. Тарського і Ч. Морріса Карнап приходить до висновку про недостатність чисто синтаксич...