Основное для Л. с. отношение между выражением и его интерпретацией при более детальном анализе оказывается не двухместным, а трёхместным: понятие интерпретации «расслаивается» на экстенсиональный и интенсиональный уровни. Следуя традиции, идущей от автора первых фундаментальных работ по Л. с. Г. Фреге,австрийского логика Р. Карнапа и современного американского логика А. Чёрча,каждому собственному имени (в широком смысле включающем, например, количественные числительные и любые существительные с определёнными артиклями или указательными местоимениями) сопоставляют, с одной стороны, обозначаемый (называемый) им предмет (иначе, денотат, или номинат), а с другой - выражаемый этим именем смысл (или концепт). Члены этого «семантического треугольника» определяются в первую очередь для естественных языков и только затем уже, с некоторыми ограничениями, переносятся на формализованные языки.Отношения между именем, денотатом и концептом, вообще говоря, не однозначны; так, имена- омонимы имеют несколько различных концептов, а одному и тому же концепту могут соответствовать различные имена- синонимы;неоднозначно и т. н. отношение называния между именем и денотатом (пример, восходящий к Фреге: имена «Утренняя звезда» и «Вечерняя звезда», имеющие общий денотат - планету Венера, но разные концепты). Однако концепт полностью определяет денотат (если, конечно, таковой существует; например, имя «Пегас» имеет смысл, но не имеет денотата). В отличие от естественных языков, формализованные языки строятся, как правило, таким образом, чтобы каждое имя имело в точности один смысл; синонимия же, напротив, сохраняется и в большинстве формализованных языков, причём синонимы, по определению, связываются отношением типа равенства (эквивалентности, тождества); устранение синонимии оказывается в ряде случаев принципиально невозможным ввиду отсутствия алгоритма установления тождества произвольных выражений («слов») в достаточно широком классе формализованных языков.
Основы систематического построения современной Л. с. заложены в работах А. Тарского,уделявшего главное внимание анализу и возможностям точного определения понятий «истина», «выполнимость», «определимость», «обозначение» и т.п. Оказалось, что все эти понятия определяются для формализованных языков средствами более богатых языков, играющих для первых («объектных», или «предметных», языков) роль метаязыков.(Для определения соответствующих понятий для неформализованных языков их следует прежде всего формализовать, после чего придерживаться той же схемы.) Метаязык может быть, в свою очередь, формализован, и для определения его семантических понятий (истины и др.) приходится подниматься ещё на один метаязыковый уровень и т.д. Смешение же языка и метаязыка (на любом уровне) неминуемо приводит к семантическим парадоксам.
Вслед за американским логиком У. ван О. Куайном различают свойства языковых выражений, характеризуемые в терминах произвольных интерпретаций (моделей) данного языка и инвариантные относительно перехода от одной интерпретации к другой, и языковые свойства, определяемые в терминах какой-либо одной интерпретации. Первый круг вопросов относят к теории смысла, второй - к теории референции (теории обозначения). Понятия смысла (концепта), синонимии, осмысленности, семантические следования относятся к теории смысла; эта область Л. с. находится по существу в самой начальной стадии развития. Теория референции, оперирующая понятиями истины (истинности), обозначения, именования и т.п., сравнительно богата результатами, из которых следует отметить теорему Тарского о неопределимости предиката истинности любой непротиворечивой языковой системы её собственными средствами. Значение теоремы Тарского, устанавливающей определённую ограниченность выразительных средств формальных языков, во многом аналогично роли знаменитой теоремы К. Гёделя [о принципиальной дедуктивной неполноте (см. Полнота в логике) достаточно богатых логико-математических исчислений] для метаматематики; сами конструкции доказательств обоих замечательных предложений обнаруживают глубокие аналогии, в совокупности же они дают весьма сильное орудие метаматематических доказательств (проблемы непротиворечивости,полноты и неполноты и др.).
Следуя традиции, идущей ещё от Г. В. Лейбница,предложения какого-либо языка, истинные во всех его моделях («во всех возможных мирах»), принято называть аналитически истинными (соответственно предложения, не истинные ни в одной модели, - аналитически ложными), в отличие от синтетически (или фактически) истинных предложений, истинность которых, так сказать, зависит от свойств «данного мира» (иными словами, это предложения, не являющиеся ни аналитически истинными, ни аналитически ложными: они выполняются в некоторых, но не во всех моделях данного языка). Для полных языков понятие аналитической истинности, носящее семантический характер, удаётся описать в чисто синтаксических терминах - через доказуемость. Для языков же неполных (а именно таковы все языки, представляющие наибольший интерес для науки) подобного сведения Л. с. к синтаксису непосредственно провести не удаётся.
Идея Лейбница о различении «возможных миров» и «действительного мира» как основы для построения Л. с. развивалась также голландским логиком Э. В. Бетом, английским логиком А. Н. Прайором, финским логиком Я. Хинтиккой и особенно американским логиком С. А. Крипке, который ввёл понятие модельной структуры; модельная структура - это совокупность множества всех моделей классической логики высказываний («все возможные миры»), конкретной модели из этого множества («действительный мир») и рефлексивного бинарного отношения на множестве моделей, связывающего общезначимость (тождественная истинность) произвольного предложения в одной модели с возможностью этого же предложения в другие модели. В зависимости от дополнительных свойств такого отношения (симметричность и транзитивность порознь и вместе) моделью «действительного мира» оказываются различные системы модальной логики.Современные исследования в области Л. с. привлекают также идеи и представления многозначной логики, аксиоматической теории множестви абстрактной алгебры.
Идеи, методы и результаты Л. с. находят применение в разнообразных областях прикладной лингвистики и семиотики (автоматическая дешифровка, машинный перевод,автоматическое реферирование), при построении теории семантической информации, в вопросах эвристического программирования (см. Эвристика ) ,в исследовании проблем распознавания образов и др. кибернетических вопросов. См. также Семантика.
Лит.:Карнап Р., Значение и необходимость, пер. с англ., М., 1959; Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960, введение; Финн В. К., О некоторых семантических понятиях для простых языков, в сборнике: Логическая структура научного знания, М., 1965, с. 52-74; Frege G., Ьber Sinn und Bedeutung, «Zeitschrilt fьr 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 свободную переменную, в частности, пропозициональную форму с одной свободной переменной применение квантора (по этой переменной) преобразует в высказывание.
Пропозициональные связки (в отличие от кванторов, введение которых знаменует переход к логике предикатов) употребляются уже в самой элементарной части логики - в
логике высказываний.В формализованных логических и логико-математических языках они выполняют функции, вполне аналогичные функциям союзов и союзных слов, употребляемых для образования сложных предложений в естественных языках. Так, отрицание щ истолковывается как частица «не», конъюнкция & истолковывается как союз «и», дизъюнкция
- как (неразделительное) «или», импликация Й - как оборот «если..., то...», эквиваленция ~ - как оборот «тогда и только тогда, когда» и т. п. При этом, однако, соответствие между Л. о. и средствами естественного языка отнюдь не взаимно однозначно. Во-первых, потому, что высказывания, по определению, могут принимать лишь два «истинностных значения»: «истину» («и») и «ложь» («л»), так что пропозициональные Л. о. можно рассматривать как различные функции, отображающие некоторую область из двух элементов в себя; поэтому число различных n-местных (т. е. от n аргументов) Л. о. определяется из чисто комбинаторных соображений - оно равно 2
n. Во-вторых, в формализованных языках математической логики игнорируются любые смысловые (и тем более стилистические) оттенки значений союзов, кроме тех, что непосредственно определяют истинностное значение получающегося сложного предложения. В свою очередь, в качестве Л. о. рассматриваются подчас и такие связки, содержательные аналоги которых в обычном языке, как правило, не имеют специальных наименований; таков, например, «штрих Шеффера» ½ в нижеследующей таблице, где приведён полный перечень всех
двуместных пропозициональных Л. о. (в первых двух столбцах помещены истинностные значения некоторых «исходных» высказываний р и q, в остальных - значения высказываний, образуемых из них посредством указанных сверху Л. о.).
| Тождественная истина | Тождественная ложь | P | Отррицание p | q | Отрицание q | Конъюнкция | Антиконъюнкция (штрих Шеффера) | Дизъюнкция | Антидизъюнкция | Эквиваленция | Антиэквиваленция | Импликация | Антиимпликация | Обратная импликация | Обратная антиимпликация | ||
| p | q | и | л | p | щ p | q | щ q | p&q | Pчq | pЪq | p
 q |
p~q | p
 q |
pЙq | p
 q |
pМq | pЛq |
| и | и | и | л | и | л | и | л | и | л | и | л | и | л | и | л | и | л |
| и | л | и | л | и | л | л | и | л | и | и | л | л | и | л | и | и | л |
| л | и | и | л | л | и | и | л | л | и | и | л | л | и | и | л | л | и |
| л | л | и | л | л | и | л | и | л | и | л | и | и | л | и | л | и | л |
Поскольку в таблице сведены все мыслимые двуместные Л. о., соответствующие всевозможным «четырехбуквенным словам» из «и» и «л», записанным по вертикали в её столбцах, то естественно, что среди этих 17 Л. о. есть и «вырожденные» случаи: первые две «связки» вообще не зависят ни от каких «аргументов» - это константы «и» и «л» (понятно, что таких «нульместных» связок имеется ровно
), далее идут
«одноместных связок» (каждая из которых зависит лишь от одного из аргументов р или q) и только затем уже 16-2-4 = 10 собственно двуместных Л. о. Можно далее рассматривать
трёхместных Л. о. и т. д.; оказывается, однако, что уже небольшой части приведённых Л. о. достаточно для того, чтобы посредством их суперпозиций (т. е. последовательного применения) выразить любые n-местные Л. о. для любого натурального n. Такими функционально полными наборами связок являются, например, щ и &, щ и
, щ и Й и даже одна-единственная связка ½. Поскольку логика высказываний может быть изоморфно (см.
Изоморфизм
) интерпретирована в терминах
логики классов,для каждой Л. о. имеется аналогичная теоретико-множественная операция; совокупность таких операций над множествами (классами) образует т. н. алгебру множеств. См.
Алгебра логики.
Лит.:Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960, §§ 05, 06 и 15.
Ю. А. Гастев.
Логический закон
Логи'ческий зако'н, общее название законов, образующих основу логической дедукции. Понятие о Л. з. восходит к древнегреческому понятию о lуgos'e как предпосылке объективной («природной») правильности рассуждений. Собственно логическое содержание оно впервые получает у Аристотеля,положившего начало систематическому описанию и каталогизации таких схем логических связей произвольных элементарных высказываний в сложные высказывания, убедительность (общезначимость) которых вытекает из одной только их формы, а точнее - из одного только правильного понимания смысла логических связей, безотносительно к истинностному значению элементарных высказываний. Большинство Л. з., открытых Аристотелем, это - законы силлогизма.Позже были открыты и другие законы и даже установлено, что множество Л. з. бесконечно. В некотором смысле обозреть это бесконечное множество Л. з. стало возможным благодаря различного типа формальным теориям логического рассуждения - т. н. логическим формализмам, или логическим исчислениям,в которых Л. з. выражаются определённого вида формулами и определяются - каждый по отношению к «своему» исчислению - выводимыми формулами данного вида (т. н. «общезначимыми формулами», или теоремами исчислений, см. Логика ) .Существующее многообразие логических исчислений естественно порождает идею относительности Л. з. Однако типом логического исчисления полагаются одновременно и границы этой относительности, поскольку тип исчисления не является исключительно делом произвольного выбора, а диктуется (или подсказывается) «логикой вещей», о которых хотят рассуждать, а также, в известном смысле, субъективной уверенностью в том или ином характере этой логики. Все исчисления, основанные на одной и той же гипотезе о характере «логики вещей», являются эквивалентными в том смысле, что они описывают («порождают») одни и те же Л. з. К примеру, исчисления, основанные на двузначности принципе,т. н. исчисления классической логики, несмотря на всё их «внешнее» разнообразие, описывают один и тот же «мир» классический Л. з. - тождественных истин, которые издавна получили общепринятую онтологическую философскую характеристику «вечных истин», или «истин во всех возможных мирах». Л. з. интуиционистской логики никакой общепринятой онтологической интерпретации пока не получили. «Логикой вещей», отражением которой они исторически явились, была логика умственных математических построений - логика «знания», а не логика «бытия».
Изучение Л. з. образует естественный исходный пункт логического анализа приемлемых («хороших») способов рассуждений (умозаключений), поскольку само понятие «приемлемое, или логически правильное, рассуждение» уточняется через понятие «Л. з.». Связь логически правильных рассуждений с Л. з. выражается в логике т. н. теоремой о дедукции, фиксирующей ту, замеченную ещё стоиками, особую роль, которую Л. з. играют при обосновании или проверке наших умозаключений: относительно любого утверждения о выводимости заключения В из посылок А 1, А 2, ..., A nвопрос о его истинности решается разысканием среди Л. з. высказывания A 1Й(A 2Й)(... Й(AnЙB)..)), где Й выражает логический союз «если..., то...». Указанная связь Л. з. с умозаключениями имеет общенаучное значение и выходит далеко за пределы собственно логики, обеспечивая общий метод формального доказательства средствами логики (см. Аксиоматический метод ) .
М. М. Новосёлов.
Термин «Л. з.» применялся в традиционной логике по отношению к т. н. «законам мышления»: закону тождества («всякая сущность совпадает сама с собой»), закону противоречия («никакое суждение не может одновременно быть истинным и ложным»), закону исключённого третьего («для произвольного высказывания либо оно само, либо его отрицание истинно») и закону достаточного основания («всякое принимаемое суждение должно быть надлежащим образом обосновано»). Первый из перечисленных принципов (термин «закон» здесь вообще представляется неуместным) есть важная предпосылка рассуждений, относящаяся, однако, не к логике, а к
онтологии
и к
теории познания
и к тому же применимая всякий раз в точно оговорённых пределах; последний принцип также не относится к логике, а имеет отчётливо выраженный методологический характер.
Исключённого третьего принцип
действительно принадлежит логике, но не во всякой логической системе соответствующая формула (А
щ А) общезначима (см.
Математический интуиционизм,
Конструктивное направлениев математике и логике). И лишь принцип противоречия (в современной логической символике: щ (А&щ А) представляет собой утверждение, не только доказуемое в любой логической системе, но и лежащее в некотором смысле в основе всей современной формальной логики.
Ю. А. Гастев.
Лит.см. при ст. Логика.
Логический позитивизм
Логи'ческий позитиви'зм, направление неопозитивизма,возникшее в 1920-х гг. на основе Венского кружка.Оно попыталось сочетать эмпиризм, основанный на принципе верификации , с методом логического анализа научного знания с целью сведения последнего к «непосредственно данному», т. е. к эмпирически проверяемому содержанию научных понятий и утверждений. Со 2-й половины 1930-х гг., после переезда в США основных представителей Л. п. (Р. Карнап, Г. Фейгль, К. Гемпель, Ф. Франк), он стал известен под названием логического эмпиризма. К этому времени Л. п. отказался от ряда своих исходных гносеологических догм, сформулированных в Венском кружке и обнаруживших свою несостоятельность при попытках осуществления программы логического анализа науки, в частности от принципа сводимости научного знания к эмпирически данному. В 1950-х гг. Л. п. утратил своё положение ведущего направления философии науки, а в 1960-е гг., по существу, перестал существовать как самостоятельное философское течение. Однако, несмотря на критику, которой подвергаются исходные установки Л. п., его воззрения продолжают оказывать определённое воздействие на многих представителей науки. См. также Аналитическая философия.
Лит.:Философия марксизма и неопозитивизм, Сб. ст., М., 1963; Швырёв В. С., Неопозитивизм и проблемы эмпирического обоснования науки, М., 1966; Хилл Т. И., Современные теории познания, пер. с англ., М., 1965, гл. 13 и 14; Карнап Р., Философские основания физики, пер. с англ., М., 1971; Joergensen J., The development of logical empiricism, Chi., 1951; Logical positivism, ed. by A. J. Ayer, Glencoe, 1960; The legacy of logical positivism, Baltimore, 1969. См. также лит. при ст. Неопозитивизм .
В. С. Швырёв.
Логический элемент
Логи'ческий элеме'нт, простейшее устройство ЭВМ, выполняющее одну определённую логическую операцию над входными сигналами согласно правилам алгебры логики. Для Л. э. независимо от их физической реализации приняты дискретные значения входных и выходных сигналов; обычно это два уровня, которые условно принимаются за «0» и «1». Различают Л. э. комбинационные, выходные сигналы которых в какой-то момент времени определяются комбинацией входных сигналов, действующих в тот же момент времени, и Л. э. запоминания (памяти) или задержки, у которых выходные сигналы определяются состоянием Л. э. к моменту действия очередного сигнала. К комбинационным Л. э. относятся инвертор (элемент «не»), совпадений схема (конъюнктор или элемент «и»), а также собирательная схема (дизъюнктор или элемент «или») - Л. э. с несколькими входами и одним выходом, сигнал на котором возникает при наличии сигнала хотя бы на одном из входов. Широко распространены Л. э. из сочетаний элементов - «не - и», «не - или». Отдельный класс Л. э. составляют пороговые элементы,частный случай которых - мажоритарные элементы, работающие по «принципу большинства», т. е., если на большинство входов элемента подан сигнал «1», то на выходе схемы также устанавливается сигнал «1».
Л. э. являются основными элементами для построения логических цепей вычислительных машин и дискретных систем автоматики; совокупность Л. э. образует логическую структуру блока, узла, устройства машины. Набор Л. э., состоящий из элементов «и», «или», «не», с помощью которого можно построить логическую структуру любой сложности, называется функционально полным. Существует тенденция создания универсальных Л. э., на которых может быть реализовано несколько логических функций.
Лит.:Анисимов Б. В., Четвериков В. Н., Основы теории и проектирования цифровых вычислительных машин, М., 1962; Вавилов Е. Н., Портной Г. П., Синтез схем электронных цифровых машин, М., 1963.
А. В. Гусев.
Логического анализа философия
Логи'ческого ана'лиза филосо'фия, течение современной аналитической философии,которое усматривает задачи философии в логическом анализе языка науки средствами современной формальной (математической) логики. Возникновение и развитие Л. а. ф. обусловливались повышением интереса к логико-методологической проблематике, характерным для науки 20 в. и связанным с интенсивным процессом математизации науки, развитием методов формализации и т. п. Углублённое исследование логической проблематики науки оказалось, однако, связанным в Л. а. ф. с позитивистским отрицанием мировоззренческого значения философии. Основные идеи Л. а. ф. впервые были сформулированы Б. Расселом,выдвинувшим тезис, что любая научно осмысленная философская проблема есть, по существу, формально-логическая проблема. Идеи Л. а. ф. были развиты также в «Логико-философском трактате» Л. Витгенштейна и получили развёрнутое выражение в логическом позитивизме Венского кружка.Начиная с 1930-х гг. к течению Л. а. ф. примыкает ряд других групп и отд. философов (в США т. н. логические прагматисты У. Куайн, Н. Гудмен, А. Пап, в Великобритании К. Поппер, в Польше К. Айдукевич, Я. Лукасевич, Т. Котарбиньский и др.).