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

Идея Лейбница о различении «возможных миров» и «действительного мира» как основы для построения Л. с. развивалась также голландским логиком Э. В. Бетом, английским логиком А. Н. Прайором, финским логиком Я. Хинтиккой и особенно американским логиком С. А. Крипке, который ввёл понятие модельной структуры; модельная структура — это совокупность множества всех моделей классической логики высказываний («все возможные миры»), конкретной модели из этого множества («действительный мир») и рефлексивного бинарного отношения на множестве моделей, связывающего общезначимость (тождественная истинность) произвольного предложения в одной модели с возможностью этого же предложения в другие модели. В зависимости от дополнительных свойств такого отношения (симметричность и транзитивность порознь и вместе) моделью «действительного мира» оказываются различные системы модальной логики. Современные исследования в области Л. с. привлекают также идеи и представления многозначной логики, аксиоматической теории множеств и абстрактной алгебры.

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

Лит.: Карнап Р., Значение и необходимость, пер. с англ., М., 1959; Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960, введение; Финн В. К., О некоторых семантических понятиях для простых языков, в сборнике: Логическая структура научного знания, М., 1965, с. 52—74; Frege G., "Uber Sinn und Bedeutung, «Zeitschrilt f"ur Philosophie und philosophische Kritik», 1892, Bd 100, S. 25—50; Tarsky A., Logic, semantics, metamathematics, Oxf., 1956; Quine W. V. 0., From a logical point of view, Camb. (Mass.), 1953; Kemeny J. G., A new approach to semantics, «Journal of Symbolic Logic», 1956, v. 21, № 1, p. 1—27, № 2, p. 149—61; Martin R. М., Truth and denotation, L., 1958; Rogers R., A survey of formal semantics, «Synthese», 1963, v. 15, № 1.

Ю. А. Гастев, В. К. Финн.

Логические диаграммы

Логи'ческие диагра'ммы, графический (геометрический, точнее — топологический) аппарат математической логики. Идея Л. д. была известна ещё в средние века, развивалась затем Г. В. Лейбницем, но впервые достаточно подробно и обоснованно была изложена Л. Эйлером в «Письмах... к немецкой принцессе» (1768) — т. н. круги Эйлера. Отношения между классами (объёмами понятий) с тех пор принято изображать с помощью систем взаимно пересекающихся кругов (или любых других односвязных областей); объединению классов соответствует при этом объединение (теоретико-множественное, см. Множеств теория) изображающих их областей, пересечению — пересечение, дополнению (до универсального класса) — дополнение до некоторой «стандартной» объемлющей области (например, прямоугольника). Отношению включения между изображаемыми классами при этом соответствует одноимённое отношение между их изображениями (причём случаи, когда объемлющий класс совпадает с объемлемым и когда он существенно шире последнего, здесь не различаются). В дальнейшем идея Л. д. была развита и усовершенствована; особенно отчётливый вид она приобрела в работах Дж. Венна. (Оригинальный метод построения Л. д. был предложен также английским математиком Ч. Доджсоном, известным как детский писатель под псевдонимом Л. Кэрролл). Аппарат диаграмм Венна основан на центральной для алгебры логикиидее разложения логических функций на «конституэнты»; он позволяет решать единообразным методом ряд задач логики высказываний и логики одноместных предикатов (см. Логика предикатов), обзор следствий из данных посылок, решение логических уравнений (при любом конечном числе переменных) и др., вплоть до простого и изящного решения разрешения проблемы. Аппарат Л. д. распространён и на классическое исчисление многоместных предикатов, а также оказывается весьма удобным средством для решения ряда задач из приложений математической логики к теории автоматов.

Лит.: Кутюра Л.,: Алгебра логики, пер. с франц., Одесса, 1909; Кузич ев А. С., Диаграммы Венна. История и применения. М., 1968 (см. лит.); Venn J., Symbolic logic, 2 ed., L. — N. Y., 1894.

Ю. А. Гастев.

Логические операции

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

Пропозициональные связки (в отличие от кванторов, введение которых знаменует переход к логике предикатов) употребляются уже в самой элементарной части логики — в логике высказываний. В формализованных логических и логико-математических языках они выполняют функции, вполне аналогичные функциям союзов и союзных слов, употребляемых для образования сложных предложений в естественных языках. Так, отрицание `u истолковывается как частица «не», конъюнкция & истолковывается как союз «и», дизъюнкция

 — как (неразделительное) «или», импликация 'E — как оборот «если..., то...», эквиваленция ~ — как оборот «тогда и только тогда, когда» и т. п. При этом, однако, соответствие между Л. о. и средствами естественного языка отнюдь не взаимно однозначно. Во-первых, потому, что высказывания, по определению, могут принимать лишь два «истинностных значения»: «истину» («и») и «ложь» («л»), так что пропозициональные Л. о. можно рассматривать как различные функции, отображающие некоторую область из двух элементов в себя; поэтому число различных n-местных (т. е. от n аргументов) Л. о. определяется из чисто комбинаторных соображений — оно равно 2ⁿ. Во-вторых, в формализованных языках математической логики игнорируются любые смысловые (и тем более стилистические) оттенки значений союзов, кроме тех, что непосредственно определяют истинностное значение получающегося сложного предложения. В свою очередь, в качестве Л. о. рассматриваются подчас и такие связки, содержательные аналоги которых в обычном языке, как правило, не имеют специальных наименований; таков, например, «штрих Шеффера» ½ в нижеследующей таблице, где приведён полный перечень всех

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

Тождественная истина

Тождественная ложь

P

Отррицание p

q

Отрицание q

Конъюнкция

Антиконъюнкция (штрих Шеффера)

Дизъюнкция

Антидизъюнкция

Эквиваленция

Антиэквиваленция

Импликация

Антиимпликация

Обратная импликация

Обратная антиимпликация

p

q

и

л

p

`u p

q

`u q

p&q

P:q

p'Uq

p q

p~q

p q

p'Eq

p q

p`Iq

p"Eq

и

и

и

л

и

л

и

л

и

л

и

л

и

л

и

л

и

л

и

л

и

л

и

л

л

и

л

и

и

л

л

и

л

и

и

л

л

и

и

л

л

и

и

л

л

и

и

л

л

и

и

л

л

и

л

л

и

л

л

и

л

и

л

и

л

и

и

л

и

л

и

л

Поскольку в таблице сведены все мыслимые двуместные Л. о., соответствующие всевозможным «четырехбуквенным словам» из «и» и «л», записанным по вертикали в её столбцах, то естественно, что среди этих 17 Л. о. есть и «вырожденные» случаи: первые две «связки» вообще не зависят ни от каких «аргументов» — это константы «и» и «л» (понятно, что таких «нульместных» связок имеется ровно

), далее идут

 «одноместных связок» (каждая из которых зависит лишь от одного из аргументов р или q) и только затем уже 16—2—4 = 10 собственно двуместных Л. о. Можно далее рассматривать

 трёхместных Л. о. и т. д.; оказывается, однако, что уже небольшой части приведённых Л. о. достаточно для того, чтобы посредством их суперпозиций (т. е. последовательного применения) выразить любые n-местные Л. о. для любого натурального n. Такими функционально полными наборами связок являются, например, `u и &, `u и

, `u и 'E и даже одна-единственная связка ½. Поскольку логика высказываний может быть изоморфно (см. Изоморфизм) интерпретирована в терминах логики классов, для каждой Л. о. имеется аналогичная теоретико-множественная операция; совокупность таких операций над множествами (классами) образует т. н. алгебру множеств. См. Алгебра логики.

Лит.: Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960, §§ 05, 06 и 15.

Ю. А. Гастев.

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

Логи'ческий зако'н, общее название законов, образующих основу логической дедукции. Понятие о Л. з. восходит к древнегреческому понятию о l'ogos'e как предпосылке объективной («природной») правильности рассуждений. Собственно логическое содержание оно впервые получает у Аристотеля, положившего начало систематическому описанию и каталогизации таких схем логических связей произвольных элементарных высказываний в сложные высказывания, убедительность (общезначимость) которых вытекает из одной только их формы, а точнее — из одного только правильного понимания смысла логических связей, безотносительно к истинностному значению элементарных высказываний. Большинство Л. з., открытых Аристотелем, это — законы силлогизма. Позже были открыты и другие законы и даже установлено, что множество Л. з. бесконечно. В некотором смысле обозреть это бесконечное множество Л. з. стало возможным благодаря различного типа формальным теориям логического рассуждения — т. н. логическим формализмам, или логическим исчислениям, в которых Л. з. выражаются определённого вида формулами и определяются — каждый по отношению к «своему» исчислению — выводимыми формулами данного вида (т. н. «общезначимыми формулами», или теоремами исчислений, см. Логика). Существующее многообразие логических исчислений естественно порождает идею относительности Л. з. Однако типом логического исчисления полагаются одновременно и границы этой относительности, поскольку тип исчисления не является исключительно делом произвольного выбора, а диктуется (или подсказывается) «логикой вещей», о которых хотят рассуждать, а также, в известном смысле, субъективной уверенностью в том или ином характере этой логики. Все исчисления, основанные на одной и той же гипотезе о характере «логики вещей», являются эквивалентными в том смысле, что они описывают («порождают») одни и те же Л. з. К примеру, исчисления, основанные на двузначности принципе, т. н. исчисления классической логики, несмотря на всё их «внешнее» разнообразие, описывают один и тот же «мир» классический Л. з. — тождественных истин, которые издавна получили общепринятую онтологическую философскую характеристику «вечных истин», или «истин во всех возможных мирах». Л. з. интуиционистской логикиникакой общепринятой онтологической интерпретации пока не получили. «Логикой вещей», отражением которой они исторически явились, была логика умственных математических построений — логика «знания», а не логика «бытия».

Изучение Л. з. образует естественный исходный пункт логического анализа приемлемых («хороших») способов рассуждений (умозаключений), поскольку само понятие «приемлемое, или логически правильное, рассуждение» уточняется через понятие «Л. з.». Связь логически правильных рассуждений с Л. з. выражается в логике т. н. теоремой о дедукции, фиксирующей ту, замеченную ещё стоиками, особую роль, которую Л. з. играют при обосновании или проверке наших умозаключений: относительно любого утверждения о выводимости заключения В из посылок А₁, А₂, ..., A_n вопрос о его истинности решается разысканием среди Л. з. высказывания A₁'E(A₂'E)(... 'E(An'EB)..)), где 'E выражает логический союз «если..., то...». Указанная связь Л. з. с умозаключениями имеет общенаучное значение и выходит далеко за пределы собственно логики, обеспечивая общий метод формального доказательства средствами логики (см. Аксиоматический метод).

М. М. Новосёлов.

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

`u А) общезначима (см. Математический интуиционизм, Конструктивное направление в математике и логике). И лишь принцип противоречия (в современной логической символике: `u (А&`u А) представляет собой утверждение, не только доказуемое в любой логической системе, но и лежащее в некотором смысле в основе всей современной формальной логики.