Семантический поворот: Тарский и Карнап

Исследование посвящено «семантическому повороту» 1930-х гг. в творчестве двух крупнейших представителей логического эмпиризма - Р. Карнапа и А. Тарского. Семантическому повороту предшествовал «синтаксический период», нашедший воплощение в «Логическом синтаксисе языка» Карнапа и в теории логического следования Тарского. Отход от чисто синтаксической трактовки языка науки включал «Введение в семантику» Карнапа и теоретико-модельную концепцию Тарского. Показано, что, несмотря на близость семантических доктрин обоих мыслителей, предположение о влиянии результатов Тарского на семантические исследования Карнапа не является достаточно обоснованным. В частности, центральный вопрос возможности формального языка науки - вопрос о статусе логических понятий или логических констант - существенно по-разному трактовался Карнапом и Тарским. Если Карнап был заинтересован в выделении класса аналитических выражений в языке с помощью четко определенного класса логических констант, то Тарский сомневался вообще в идее зафиксированного множества логических констант, полагая, что даже чисто теоретико-множественные концепции вроде принадлежности к множеству могут при необходимости иметь статус логических констант. Далее, показано, что на исходную мотивацию семантики Карнапа повлияла философская доктрина верификации Венского Кружка, в то время как теоретико-модельная семантика Тарского была ориентирована на решение логико-математических проблем.