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

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

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

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

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

  В СССР исследования по Л. н. наиболее интенсивно ведутся в институтах философии АН СССР, АН УССР, АН Грузинской ССР, на философских факультетах Московского, Ленинградского и Тбилисского университетов.

  Лит.: Проблемы логики научного познания, М., 1964; Логика научного исследования, М., 1965; Зиновьев А. А., Основы логической теории научных знаний, М., 1967; его же, Логика науки, М., 1971; Копнин П. В., Логические основы науки, К., 1968; Попович М. В., О философском анализе языка науки, К., 1966; его же, Логika i наукове пiзнання, К., 1971; Ракитов А. И., Анатомия научного знания. (Популярное введение в логику и методологию науки), М., 1969; его же, Курс лекций по логике науки, М., 1971; Smart Н. R., The logic of science, N. Y. — L., 1931; Northrop F. S. C., The logic of the sciences and the humanities, N. Y., 1948; Popper K. R., The logic of scientific discovery, N. Y., 1959; Harre R., An introduction to the logic of the sciences, L. — N. Y.; 1966; Durbin P. R., Logic and scientific inquiry, Milwaukee, 1968.

  А. И. Ракитов.

Логика отношений

Ло'гика отноше'ний, раздел логики, посвященный изучению отношений между объектами различной природы. В естественных языках отношения выражаются сказуемыми предложений, имеющих более одного подлежащего (или подлежащее и одно или несколько дополнений). В зависимости от числа этих подлежащих (или подлежащих и дополнений) говорят о бинарных (двуместных, двучленных), тернарных (трёхместных, трёхчленных), вообще n-арных (n-местных, n-членных) отношениях. В формализованных языках математической логики аналогом понятия отношения служит понятие (многоместного) предиката; соответственно современная модификация Л. о. называется логикой предикатов. На языке теории множеств и алгебры n-местным отношением называется класс упорядоченных систем из n элементов; если, например, упорядоченная пара <х, у> принадлежит некоторому отношению R, то говорят, что х находится в отношении R к у. Для понимаемых таким образом отношений определяются понятия области определения данного отношения (множество первых элементов входящих в него пар) и области значений (множество их вторых элементов) и аналогично тому, как это делается в теории множеств, вводятся операции объединения (суммы) и пересечения (произведения) отношений. В получающейся «алгебре отношений» (термин, также употребляемый как синоним термина «Л. о.») роль «единицы» играют т. н. отношения эквивалентности, т. е. отношения, обладающие свойствами рефлексивности (для всех х имеет место xRx), симметричности (из xRy следует yRx) и транзитивности (из xRy и yRz следует xRz). К этому важнейшему классу отношений принадлежит, например, равенство чисел, подобие многоугольников, параллельность прямых и т. п. Другой важнейший класс отношений — т. н. отношения порядка (рефлексивные и транзитивные, но несимметричные — «нестрогий» порядок; транзитивные, но нерефлексивные и несимметричные — «строгий» порядок; примерами могут соответственно служить отношения «не больше» и «меньше» для чисел или отрезков). В терминах отношений (и с использованием аппарата алгебры отношений) вводятся многие важнейшие понятия логики и математики, в частности понятия функции и операции.

  Ю. А. Гастев.

Логика предикатов

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

  В классическом исчислении предикатов употребляются следующие знаки: 1) т. н. предметные переменные — буквы х, у, z,..., которые содержательно рассматриваются как неопределённые имена объектов исследования теории; 2) предикатные переменные — знаковые комплексы вида P^m, Qⁿ, R^l,... (m, n, l — натуральные числа), причём, например, Qⁿ означает произвольное n-местное отношение между объектами; 3) знаки для логических связок: конъюнкции &, дизъюнкции

, импликации É, отрицания ù, означающие соответственно «... и...», «... или...», «если..., то...», «неверно, что...»; 4) знаки для кванторов" (квантор всеобщности), 3 (квантор существования), означающие соответственно «для всех...» и «существует... такое, что...»; 5) запятая, скобки (для уточнения строения формул).