В Степин - Новая философская энциклопедия. Том четвёртый Т—Я

245

стей (типа интеррегиональной схоластики); во второй — в значительно более активном обогащении философа-невостоковеда достижениями восточной рациональности. Лит.: Шохин В. К. Ф. И. Щербатской и его компаративистская философия. М., 1998; Masson OurselP. La philosophie comparee. P., 1923; Stcherbatsky Th. Buddhist Logic, vol. 1—2. Leningrad, 1930—32; Kwee Swan Liat Methods of Comparative Philosophy. Leiden, 1953; Naka- mura H. Parallel Developments: A Comparative History of Ideas. Tokyo— N. Y, 1975: Halbfass W. Indien und Europa. Basel-Stuttg., 1981; Interpreting Across Boundaries. New Essays in Comparative Philosophy, ed. by G. J. Larson and E. Deutsch. Princeton, 1988. В. К. Шохин ФИЛОСОФСКАЯ ЛОГИКА —широкая область логических исследований, требующая философского осмысления основных понятий, применяемых в современной логике, и результатов, полученных средствами логики символической, а также применение логики, в основном технического аппарата неклассических логик, к анализу и реконструкции различных философских проблем. На самом деле термин «философская логика» весьма неопределен, разноречив и единого употребления не имеет. Различными специалистами в математике, в символической логике и самой философии философская логика понимается по-разному, а скорее, по-своему. Даже если она понимается как особая научная дисциплина, определить ее предмет, границы применения и методы однозначно не удается. В основном путаница происходит между терминами «философская логика» и «философия логики». Зачастую одно подменяется другим, хотя это два разных направления исследований. Термин «философская логика» появился в англоязычной логико-философской литературе и наиболее широкое применение получил в 50—60-е гг. 20 в. С одной стороны, кризис в основаниях математики (обнаружение парадоксов в теории множеств и ограничительные теоремы А. Тарского и К. Геде- ля) потребовал глубокого осмысления самого концептуального аппарата логики. С другой стороны, появление и бурное развитие неклассических логик, в первую очередь модальной логики, привлекло широкое внимание логиков с философской ориентацией, обозначилась та область исследований, которая получила название «философия логики». Для логиков-математиков философией логики является развитие теории множеств и соответствующие вопросы о способе образования множеств и о природе числа. Обнаружение парадоксов в теории множеств и в особенности парадокса Рассела (см. Парадокс логический) поставило вопрос о природе самой математики. Логицизм пытался определить основные понятия математики в логических терминах (Г. Фреге в 1884 и Б. Рассел в 1903). Это уже не только техническая, но и философская проблема. В этом смысле грандиозное построение, предпринятое Н. Уайтхедом и Б. Расселом в «Principia Mathematica», оказалось неуспешным. И хотя в их логико-математической теории не обнаружено парадоксов, из чисто логических аксиом оказалось невозможным вывести существование бесконечных множеств. Интуиционизм, как еще один ответ на обнаружение парадоксов, поставил принципиальные вопросы о различии конечного и бесконечного, отличия потенциальной бесконечности от актуальной. Возникла проблема существования и обоснования доказательств, а также проблема о статусе классических логических законов. Все это является философской проблематикой. Формалистическая программа Д. Гильберта (см. Формализм) тоже вызвала оживленную философскую дискуссию, в особенности проблема финитизма. На самом деле выше сказанное относится больше к философии математики, чем к философии логики, но задача философского осмысления применения логики к решению различных проблем математики остается. Убедительным примером здесь являются ограничительные теоремы К. Гёделя о неполноте достаточно богатых теорий (1931), которые говорят о том, что нет и в принципе не может быть адекватного формализма, охватывающего всю математику. Философские следствия этих результатов обсуждаются по сей день и привлекли к себе внимание не только логиков-профессионалов, но и философов, методологов, и вообще дилетантов, не имеющих никакого понятия о логике. К этому следует добавить также философскую дискуссию относительно тезиса Чёрча—Тьюринга. Интересно, что философией логики занялись математики, получившие в ней глубокие результаты (Г. Фреге, Б. Рассел, У. Куайн, Р. Карнап и др.). Куайн в 1940 публикует книгу под названием «Математическая логика», а в 1970 — под названием «Философия логики», в которой под логикой понимает систематическое изучение логических истин, а под философией логики — инструмент для анализа естественного языка. Книга содержит следующие разделы, которые Куайн относит к философии логики: «Значение и истина» (проблема высказываний и предложений, высказывания как информация, теория смысла языковых выражений, истина и семантическое согласие); «Грамматика» (рекурсивное задание грамматики, категории, пересмотр цели грамматики, имена и функторы, критерий лексики; время, события, глаголы, пропозициональные установки и модальность); «Истина» (определение истины по Тарскому, парадоксы в объектном языке, связь между семантическими и логическими парадоксами); «Логическая истина» (в терминах структуры, в терминах модели, в терминах подстановки, в терминах доказательства, в терминах грамматики); «Сфера (scope) логики» (проблема тождества, теория множеств, квантификация); «Девиант (deviant) логики» (под этим понимаются неклассические логики, в первую очередь многозначная логика, интуиционистская логика, ветвящиеся кванторы); «Основания логической истины» (место логики, логика и другие науки). Т. о., Куайн сконцентрировал свой труд вокруг главной проблемы в философии логики: что есть истина? Вопрос столь сакраментальный, что повседневно звучит уже 2000 лет. Однако только с развитием символической логики, а именно начиная с работ А. Тарского (1936), было впервые дано семантическое определение истины для большой группы формализованных языков и одновременно указаны границы такого определения. На самом деле сфера философии логики значительно шире. К проблематике последней относится теория пропозициональной формы как высказывания о некоторых положениях дел (вещей) в мире, учение о логических и семантических категориях, теория референции и предикации, идентификация объектов, проблема существования, учение о пресупозициях, отношение между аналитическими и синтетическими суждениями, проблема научного закона, онтологические допущения в логике и многое другое. И даже такие вопросы, казалось бы чисто логические, относятся к философии логики: сущность и общая природа отношения следования или логической выводимости между любыми высказываниями или множествами высказываний, смысл логических связок, информативность логических законов, значение фундаментальных теорем, полученных в символической логике, и в связи с этим тщательный анализ таких понятий, как «вычислимость», «разрешимость» «доказуемость» и опять же «истина».