Большая Советская Энциклопедия (ЛО)

  Важным средством логического анализа систем научного знания является применение методов формализации. Преимущество метода формализации заключается в том, что он позволяет выявить логические связи и отношения и точно фиксирует правила, гарантирующие получение наиболее достоверных знаний из исходных посылок данной теории, выступающих после определённой логической обработки в качестве аксиом рассматриваемого формализма. В случае дедуктивных теорий речь идёт о правилах необходимого следования. Дедуктивное построение теории чаще всего встречается в математике, теоретической физике, теоретической биологии и в некоторых других тяготеющих к ним научных дисциплинах. Правила индуктивных теорий характеризуют различные формы вероятностного следования. Индуктивные теории характерны для большинства эмпирических наук, в которых по тем или иным причинам возникают ситуации неопределённости, связанные с неполнотой информации о связях, свойствах и отношениях исследуемых объектов.

  Создание формализованных систем позволяет исследовать ряд важнейших логических свойств содержательных теорий, отображённых в данном формализме. К ним прежде всего относятся непротиворечивость, полнота и независимость исходных постулатов данной теории.

  Обнаружение общности логических структур различных в содержательном смысле научных теорий открывает большие возможности для перенесения идей и методов одной теории в область другой, для обоснования возможности сведения одной теории к другой и выявления их общих понятийных и методологических предпосылок. Это важно для унификации и упрощения систем научного знания, особенно в условиях быстрого возникновения и развития новых научных дисциплин.

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

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

  Последний период (с конца 50-х гг.) был переломным для развития Л. н. не только вследствие осознания принципиальной ограниченности её неопозитивистской интерпретации, но также и в силу того, что в этот период были сделаны наиболее значительные шаги для распространения идей и методов логического анализа на область социальных наук. Интенсивные исследования ведутся в сфере изучения языка, структур и правил рассуждения правовых, этических и отчасти социологических теорий. Достигнуты значительные результаты в логике решений, логике норм и оценок, логике систем и т. д. В этих отраслях современной Л. н. широкое распространение находят технические и понятийные средства тех разделов символической логики, которые принято называть неклассическими (различные виды многозначных логик, модальные логики, логика вероятностных и статистических рассуждений и т. п.). Однако применение Л. н. к ряду общественных дисциплин наталкивается на значительные трудности, связанные, с одной стороны, со сложностью закономерностей и теоретических структур этих наук, а с другой — с недостаточной разработанностью или отсутствием адекватного математического аппарата. Поэтому дальнейшее развитие Л. н. требует усиления исследований в области символической логики во всех её разнообразных видах.