Akademik

ЛОГИЧЕСКИЙ АНАЛИЗ

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

ЛОГИЧЕСКИЙ АНА́ЛИЗ: уточнение логич. формы (строения, структуры) рассуждений, осуществляемое средствами формальной логики. Л. а. касается как рассуждений (логич. выводов, доказательств, умозаключений и т.п.) и их составных частей (понятий, терминов, предложений), так и отд. областей знания. Наиболее развитой формой Л. а. содержательных областей знания и важных науч. понятий является построение формальных систем, интерпретируемых на этих областях или с помощью данных понятий, т.н. формализованных языков. Л. а. – один из важнейших познават. приемов совр. науки, значение к-рого особенно возросло благодаря развитию математич. логики, кибернетики, лингвистики математической и семиотики, созданию информационно-логич. машин (см. Логические машины) и т.д. (см. Формализация, Форма логическая).

В бурж. философии необоснованная универсализация гносеологич. возможностей Л. а. неоднократно приводила (особенно начиная с 1-го десятилетия 20 в.) к оформлению субъективистских филос. течений, наиболее известным из к-рых является логического анализа философия. Критикуя эти течения, диалектич. материализм раскрывает подлинную познават. роль Л. а. в совр. науке.

Лит.: Чёрч Α., Введение в матем. логику, [т. ] 1, пер. с англ., М., 1960 (введение); Субботин А. Л., Смысл и ценность формализации в логике, в сб.: Филос. вопросы соврем. Формальной логики, М., 1962.