логический анализ

- применение средств математической логики для обсуждения и решения философских и методологических проблем. Выражение проблемы в формальном языке придает ей точность и определенную ясность, что иногда способно облегчить поиск ее решения. При этом часто оказывается, что формальное выражение проблемы не вполне адекватно ее содержательному пониманию. Тогда мы пытаемся улучшить это выражение и сделать его более адекватным. Одновременно происхо-

дит и более глубокое содержательное уяснение анализируемой проблемы. Напр., когда А. Тарский строит точное формальное определение понятия истины, он применяет понятие истины к предложениям. Это дает повод поставить вопрос о том, чему мы приписываем понятие истины - предложениям или суждениям. Обсуждение этого вопроса позволяет более глубоко понять природу суждения и предложения.

Основы метода Л. а. были заложены в трудах немецкого математика и логика Г. Фреге и англ. логика и философа Б. Рассела. Однако широкое распространение он получил в трудах представителей логического позитивизма, которые провозгласили, что основной задачей философии является Л. а. языка науки. Несмотря на значительные успехи в решении отдельных проблем, достигнутые Р. Карнапом, К. Гемпелем, К. Рейхенбахом и др., представители логического позитивизма в общем не смогли использовать все эвристические возможности метода Л. а., т. к. в силу своих гносеологических установок ограничивали базис этого метода средствами экстенсиональной логики. В настоящее время метод Л. а. часто используется на различных этапах философско-методологического исследования: для более четкой постановки проблем, для выявления скрытых допущений той или иной точки зрения, для уточнения и сопоставления конкурирующих концепций, для их более строгого и систематического изложения и т. п. Следует лишь помнить об ограниченности этого метода и опасностях, связанных с его применением. Точность выражений, к которым приводит метод Л. а., часто сопровождается обеднением содержания. Простота и ясность формального выражения некоторой проблемы иногда может порождать иллюзию решения там, где еще требуются дальнейшие исследования и дискуссии. Трудности формального представления и заботы о его адекватности могут увести нас от обсуждений собственно философской или методологической проблемы и заставить заниматься техническими вопросами, лишенными философского смысла. Между прочим, так и случилось со многими методологическими проблемами логического позитивизма. Если же помнить об этом и рассматривать формальное выражение философско-методологической проблемы не как конечный результат, а как вспомогательное средство более глубокого философского анализа, как некоторый промежуточный этап в ходе философского исследования, то такие формальные выражения иногда могут оказаться полезными (см.: Логика научного познания)