Логика высказываний

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

Логика классов

Ло'гика кла'ссов, раздел логики,основным предметом рассмотрения в котором служат классы (множества) предметов, задаваемые характеризующими их свойствами, общими для всех входящих в данный класс элементов. В рамках современной формальной (математической) логики Л. к. может пониматься, с одной стороны, как такое усиление (расширение) логики высказываний,при котором «элементарные высказывания» уже не рассматриваются только как нерасчленяемое далее «целое», а каждое из них имеет субъектно-предикатную форму [т. e. может рассматриваться на содержательном уровне как нераспространённое повествовательное предложение, в котором различаются подлежащие (subjects) и сказуемые (predicates)]. Другая - отличающаяся от только что указанной по форме, но эквивалентная по существу, - трактовка Л. к. состоит в истолковании её как частного случая логики предикатов,а именно логики одноместных предикатов, точнее логики, оперирующей с объёмами понятий, содержания которых выражаются соответствующими одноместными предикатами. Имеется, наконец, ещё одна, изоморфная (см. Изоморфизм ) первым двум, интерпретация Л. к., в соответствии с которой объектами её рассмотрения являются множества (классы) каких-либо предметов - вне зависимости от каких бы то ни было свойств, общих для их элементов, - и операции над множествами (см. Логические операции ) .Иными словами, Л. к. в этом случае можно отождествить с алгеброй множеств (см. Алгебра логики ) ,в которой рассматриваются произвольные множества и обычные теоретико-множественные операции. Сопоставляя (взаимнооднозначно) множествам (классам) высказывания о принадлежности какого-либо предмета данному множеству, пересечению множеств - конъюнкцию соответствующих высказываний, объединению - дизъюнкцию, а дополнению - отрицание, получают упомянутый выше изоморфизм алгебры высказываний и алгебры множеств (Л. к.). Рассматривая реализацию Л. к. на одноэлементной области, сводят вопрос об истинности (ложности) формул Л. к. к соответствующим вопросам для логики высказываний, подобно которой Л. к. оказывается, т. о., разрешимой. Отсюда нетрудно получить и разрешимость логики одноместных предикатов; а поскольку, как было указано, она по существу совпадает с Л. к., последнюю не рассматривают обычно в виде специальной теории, трактуя её как фрагмент логики предикатов. См. ст. Логика и литературу при ней.

  Ю. А. Гастев.

Логика науки

Ло'гика нау'ки, в специальном смысле дисциплина, применяющая понятия и технический аппарат современной логики к анализу систем научного знания. Термин «Л. н.» часто употребляется также для обозначения законов развития науки (логика научного развития), правил и процедур научного исследования (логика исследования), учения о психологических и методологических предпосылках научных открытий (логика научного открытия).

  Л. н. как специальная дисциплина начала развиваться во 2-й половмны 19 в. и окончательно оформилась в 1-й четверти 20 в. под влиянием идей Г. Фреге,Б. Рассела и Л. Витгенштейна.Интенсивно Л. н. занимались участники Венского кружка под руководством М. Шлика и члены Берлинского общества научной философии под руководством Г. Рейхенбаха, а также др. философы, естествоиспытатели и математики (К. Поппер, В. Дубислав и др.). Так как в подавляющем большинстве они стояли на позициях неопозитивизма, то на протяжении многих лет было широко распространено мнение, что Л. н. является специфически позитивистским подходом к философскому и методологическому анализу научного знания. Однако в действительности неопозитивистская интерпретация Л. н. представляет собой частный вариант её философского истолкования.

  В разработке современной Л. н. активное участие принимают философы и логики, стоящие на позициях диалектического материализма, а также представители неопозитивизма, прагматизма и неотомизма, философии лингвистического анализа и др. направлений. Интенсивные исследования по Л. н. ведутся в СССР, США, Польше, Великобритании, ГДР, ФРГ и Италии. Круг основных проблем Л. н. охватывает: 1) изучение логических структур научных теорий; 2) изучение построения искусств. (формализованных) языков науки; 3) исследование различных видов дедуктивных (см. Дедукция ) и индуктивных (см. Индукция ) выводов, применяемых в естественных, социальных и технических науках; 4) анализ формальных структур фундаментальных и производных научных понятий и определений; 5) рассмотрение и совершенствование логической структуры исследовательских процедур и операций и разработка логических критериев их эвристической эффективности; 6) исследование логико-гносеологического и логико-методологического содержания редукции научных теорий, процессов абстрагирования, объяснения, предвидения, экстраполяции и т. п., наиболее часто применяемых во всех сферах научной деятельности.

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

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

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

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

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

  Последний период (с конца 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) запятая, скобки (для уточнения строения формул).

  Если Q ⁿесть n-местная предикатная переменная, a x ₁,..., x _n- предметные переменные, то выражение Q ⁿ( x ₁,..., x _n) есть, по определению, атомарная (элементарная) формула. Индекс nу предикатной переменной в атомарной формуле обычно опускается. Содержательно Q (x ₁,..., x _n) означает высказывание, гласящее, что объекты x ₁,..., x _nсвязаны отношением Q. Формулами считаются атомарные формулы, а также выражения, получаемые из них посредством следующих операций образования новых формул из уже полученных: 1) если j и  - формулы, то (j& ), (j ), (jЙ ) и щj - также формулы; 2) если j - формула и х - предметная переменная, то "xj, $xj - формулы. Определением формулы заканчивается описание языка исчисления предикатов.

  Вхождение предметной переменной х в формулу j называется связанным, если х входит в часть j вида $xj или "xj или стоит непосредственно после знака квантора. Несвязанные вхождения переменной в формулу называются свободными. Если найдётся хоть одно свободное вхождение хв j, то говорят, что переменная хвходит свободно в j или является параметром j. Интуитивно говоря, формула j с параметрами выражает некоторое условие, которое превращается в конкретное высказывание, если (конкретизировав предварительно область объектов) приписать определённые значения входящим в формулу параметрам и предикатным буквам. Связанные же переменные не имеют самостоятельного значения и служат (вместе с соответствующими кванторами) для обозначения общих утверждений или утверждений существования. Если j - формула, а хи у- предметные переменные, то через j( х½ у) будет обозначаться результат замещения всех свободных вхождений xв j на y(а если при этом уоказалось на месте хв части формулы вида " y или $ y , то следует дополнительно заменить все связанные вхождения ув эту часть на переменную, не входящую в j; это делается для того, чтобы не допустить искажения смысла j при замене хна у).

  Пусть j, , h - произвольные формулы, а хи у- предметные переменные. Тогда формулы следующих видов принимаются в качестве аксиом классического исчисления предикатов:

  1. (jЙ( Йh)),

  2. ((jЙ( Йh))Й((jЙ )Й(jЙh))),

  3. ((j& )Йj),

  4. ((j& )Й ),

  5. (jЙ( Й(j& ))),

  6. ((jЙh)Й(( Йh)Й((j )Йh))),

  7. (jЙ(j )),

  8. ( Й(j )),

  9. (щjЙ)(jЙ )),

  10. ((jЙ )Й((jЙщ )Йщj))

  11. (j щj),

  12. ( "xjЙj(x/y)),

  13. (j(x/y) Й $xj).

  В исчислении предикатов употребляются след. три правила вывода. 1) Правило вывода заключений: из формул j и (jЙ ) выводится формула . Два кванторных правила вывода: 2) из формулы (jЙ ), где  не содержит свободно х, можно вывести (jЙ "x ); 3) из формулы (jЙ ), где  не содержит свободно х, можно вывести ( $xjЙ ).

  В отличие от других формулировок исчисления (см., например, Логика , раздел Предмет и метод современной логики), здесь j,  и h не принадлежат языку рассматриваемого исчисления, а обозначают его произвольные формулы; поэтому каждая из записей 1-13 есть аксиомная схема, «порождающая» при подстановке вместо греческой буквы некоторую конкретную аксиому; специальных правил подстановки при этой формулировке не надо.

  Интуиционистское исчисление предикатов отличается от классического лишь тем, что закон исключенного третьего (аксиома 11) исключается из числа аксиом. Различие двух исчислений отражает различие в их истолкованиях. Истолкование логических связок &, , Й, щ в исчислениях предикатов таково же, как и в соответствующих исчислениях высказываний. Что касается истолкования кванторов, то в классическом исчислении предикатов кванторы трактуются с точки зрения актуальной бесконечности. Точнее, каждая формула получает значение «истина» или «ложь», если определить модель исчисления предикатов, т. е. определить множество объектов, приписать каждой предикатной букве формулы некоторое отношение на этом множестве и приписать всем параметрам формулы некоторые объекты в качестве значений. Формула называется классически общезначимой, если она в любой модели принимает значение «истина». Как показал К. Гёдель,в классическом исчислении предикатов выводимы все классически общезначимые формулы, и только они. Эта теорема Гёделя и представляет собой точное выражение идеи формализации логики: в классическом исчислении предикатов выводятся все логические законы, общие для всех моделей.

  В интуиционистском же истолковании утверждение, что некоторая формула истинна, требует проведения некоторого математического построения. Например, " x $ yj истинно с интуиционистской точки зрения, только если имеется общий метод, позволяющий находить для каждого хсоответствующее у. Истинность " x(j щj) предполагает наличие метода для определения истинного члена дизъюнкции (j щj) для каждого значения параметра х. Например, классически общезначимые формулы, выражающие закон исключенного третьего (j щj) или закон пронесения отрицания через всеобщность (щ " xjЙ $ xщj), интуиционистски необщезначимы (теория моделей развивается, однако, и для интуиционистского исчисления предикатов).

  Л. п. является обычным базисом для построения логических исчислений, предназначенных для описания тех или иных дисциплин (прикладных исчислений). С этой целью язык исчисления предикатов «конкретизируется»: к нему добавляют предикатные символы и знаки операций, выражающие специфические отношения и операции рассматриваемой дисциплины. Например, если мы стремимся описать истинные суждения арифметики натуральных чисел, то можно добавить операции сложения, умножения, отношение делимости и т.п. Затем, кроме аксиом и правил вывода исчисления прецикатов (логических постулатов), в исчисление вводятся аксиомы, выражающие специфические законы изучаемого предмета (прикладные, специфические аксиомы). Таким образом строится, например, формальная арифметика.

 Помимо классического и интуиционистского исчислений предикатов, имеются и др. логические системы, описывающие логические законы, выразимые иными логическими средствами или с иных методологических позиций. Сюда относятся исчисления модальной логики, вероятностной логики, индуктивной логикии др.

  Лит.:Клини С. К., Введение в метаматематику, пер. с англ., М., 1957.

  А. Г. Драгалин.

Логинов Евгений Федорович

Ло'гиновЕвгений Федорович [10(23).10.1907, Гельсингфорс, ныне Хельсинки, - 7.10.1970, Москва], советский военачальник, маршал авиации (1967). Член КПСС с 1939. В Советской Армии с 1926. Окончил Военно-теоретическую школу ВВС (1926), военную школу лётчиков (1928), Высшую военную академию им. К. Е. Ворошилова (1949). В 1926-42 лётчик, командир звена, отряда, эскадрильи, помощник командира авиабригады. Во время Великой Отечественной войны 1941-1945 командовал авиационной дивизией и авиационным корпусом дальнего действия. После Великой Отечественной войны начальник факультета и заместитель начальника Военно-воздушной академии (1950-54), на ответственной работе в войсках; заместитель Главкома ВВС и генерал-инспектор Главной инспекции министерства обороны (1954-59), начальник Главного управления Гражданского воздушного флота (1959-1964), с 1964 министр Гражданской авиации СССР. Депутат Верховного Совета СССР 7-го созыва. Кандидат в члены ЦК КПСС (с 1966), член ЦК КПСС с 1968. Награжден 4 орденами Ленина, 3 орденами Красного Знамени, орденами Кутузова 1-й степени, Суворова 2-й степени, Александра Невского, Красной Звезды и медалями.

Е. Ф. Логинов.

Логистика

Логи'стика(от греч. logistike - искусство вычислять, рассуждать), 1) синоним (несколько архаический) термина математическая логика.2) Наименование этапа в развитии математической логики, представленного работами Б.