А = А

формула, выражающая принцип тождества в формальной логике; читается: "А есть А", "А тождественно А", "А равно А", "А есть то же самое, что А", "А эквивалентно А". Различают онтологический и логич. аспекты принципа А = А. Онтологич. аспект означает отнесение формулы А = А к самим реальностям – вещам, свойствам, отношениям; формула А = А в этом смысле есть утверждение о тождестве предмета А самому себе. Логич. аспект означает отнесение формулы А = А к понятиям и суждениям; формула А = А в этом смысле есть утверждение о тождестве мысли А себе самой. В истории логики и философии понимание формулы А = А находилось в зависимости от философских взглядов мыслителей, особенно от решения ими основного вопроса философии. Различные философы выдвигали на первый план то онтологический, то логич. аспект принципа А = А. В др.-греч. философии принцип тождества в онтологич. смысле развил Парменид. Аристотель подчеркнул логич. аспект этого принципа, рассматривая постоянство смысла слов в качестве необходимого условия правильного рассуждения. Формула "А есть А" вошла в употребление в ср.-век. логике. В домарксистской философии и традиционной формальной логике (т.е. логике, к-рая выросла из аристотелевского логич. учения благодаря, прежде всего, трудам ср.-век. зап.-европ. логиков и после Канта приняла замкнутую форму т.н. школьной логики) принцип, выражаемый формулой А = А, трактовался преимущественно в метафизич. смысле. Метафизич. трактовка формулы А = А выражается утверждениями: "всякий предмет А есть то же, что А", "каждая вещь тождественна себе самой", что понимается как признание тождества различных по времени состояний вещи, т.е. как утверждение о неизменности вещей. Такое истолкование формуле А = А придавал, напр., X. Вольф (конец 17 – нач. 18 вв.), к-рый писал: "То же самое сущее есть то самое сущее, которое является сущим. Или, иначе говоря, всякое А есть A" ("Philosophia prima sive ontologie", 1729, § 55). Подобные утверждения понимались обычно как признание неизменных сущностей (изменчивость в мире чувственных данных, конечно, не отрицалась). Такой подход соответствовал характеру науки 16–18 вв., к-рая рассматривала виды животных и растений, типы минералов, химич. элементы и т.д. как нечто вечное и неизменное. Классики марксизма резко критиковали метафизич. истолкование формулы А = А. "Принцип тождества в старо-метафизическом смысле, – писал Энгельс, – есть основной принцип старого мировоззрения: а = а. Каждая вещь равна самой себе. Все считалось постоянным – солнечная система, звезды, организмы. Естествознание опровергло этот принцип в каждом отдельном случае...; но в области теории он все еще продолжает существовать, и приверженцы старого все еще противопоставляют его новому: „вещь не может быть одновременно сама собой и другой“" ("Диалектика природы", 1955, с. 170). Областью теории, в которой и в 19 веке господствовал этот принцип, была бурж. философия и метафизич. формальная логика (ср., напр., взгляды Джевонса). Метафизич. принцип А = А проявляет себя и в последующие периоды бурж. филос. мысли; в частности, неопозитивистская концепция логического атомизма по существу основана на этом принципе. Логич. аспект формулы А = А также подвергался метафизич. истолкованию. Это истолкование сводилось к следующему: полагали, что предписание "предмет должен сохранять свое тождество, не переходить в другой предмет, не смешиваться с другими предметами, пока о нем ведется рассуждение" всегда выполнимо в процессе познания. В соответствии с таким взглядом требовали, чтобы в процессе каждого данного рассуждения всякий мыслимый предмет (то есть мысль о любой вещи в данном рассуждении) оставался тем же самым. Такое понимание формулы А = А составляет характерную черту традиционной формальной логики, в к-рой считается абсолютным законом, что в рассуждении, доказательстве, дискуссии каждое понятие (сколько бы раз оно ни встретилось в рассуждении) должно сохранять неизменным свой объем и свое содержание (по крайней мере, в его основной части), а каждое суждение (сколько бы раз оно ни использовалось в доказательстве) должно сохранять неизменной заключенную в нем информацию. В формальной логике считается, что нарушение этого принципа всегда представляет собой логич. ошибку формального характера, не вытекающую из природы рассматриваемых объектов, не зависящую от характера той области действительности, к-рая подлежит исследованию, не связанную с объективными особенностями понятий и суждений как средств логич. отражения действительности, не зависящую от свойств того языка, на к-ром ведется рассуждение. Метафизич. истолкование формулы А = А с позиций идеалистич. диалектики подверг критике Гегель. Однако он не смог выявить рациональный смысл этой формулы. Познавательное значение и вместе с тем ограниченность принципа А = А выясняются материалистич. диалектикой. Объективный диалектич. процесс, происходящий в природе и обществе, характеризуется тем, что вещи, свойства и отношения находятся в состоянии взаимодействия, развития, столкновения противоположных тенденций; это делает все грани в объективном мире относительными, изменчивыми; вместе с тем вещи и явления в этом процессе сохраняют, в определенных пределах, качественную определенность, обладают относительной устойчивостью, что и делает возможным подход к ним с позиции рационально понимаемого принципа тождества. Абсолютного тождества вещи себе самой, исключающего всякое развитие, не существует. Тезис о том, что всякий предмет тождествен самому себе, ложен. "Всякая конкретная вещь, всякое конкретное нечто, – писал Ленин, – стоит в различных и часто противоречивых отношениях ко всему остальному, ergo, бывает самим собой и другим" ("Философские тетради", 1947, с. 112). Формула А = А приобретает рациональный смысл, если под ней понимать утверждение о том, что вещь, изменяясь, сохраняет вместе с тем на определенных этапах своего развития нек-рые основные, существенные (в данной связи) свойства, а также относительную отграниченность от других вещей. Понятие о тождестве вещи себе самой есть идеальный случай, к-рый мы получаем, отвлекаясь от несущественных (на данной ступени изучения) изменений вещи. Диалектический материализм отбрасывает также метафизическую трактовку логич. аспекта формулы А = А. Применение принципов материалистич. диалектики к логике приводит к выводу, что однозначность понятий и суждений, применяемых в процессе познания, не есть какое-то их неотъемлемое свойство, а представляет собой результат логич. обработки понятий и суждений, совершающейся в процессе познания; лишь после такой обработки к ним оказываются применимыми законы формальной логики (формальная логика берется здесь в широком смысле, в нее, в частности, включается логич. содержание математической логики). Для большинства суждений такая обработка состоит, напр., в таком уточнении заключенной в них информации, к-рое делает их либо истинными, либо ложными и притом только одним из двух. Формально-логич. обработка понятий предполагает, прежде всего, отвлечение от таких свойств мыслимых в них объектов, к-рые могут сделать объем понятия изменчивым, неопределенным. Однако естественное как будто требование к уточнению понятий, состоящее в том, чтобы относительно каждого предмета (нек-рой области предметов) всегда было возможно установить, входит ли он в объем уточненного понятия или нет, оказывается отнюдь не всегда выполнимым (см. Алгоритм). Диалектич. материализм исходит из того, что формально-логич. обработка (формализация) понятий и суждений возможна далеко не во всех случаях; что принципиально невозможно формализовать все понятия и суждения, к-рыми пользуются наука и практика на данной ступени познания; что пределы логич. формализации зависят от изучаемой области действительности; что способы уточнения понятий и суждений могут быть различными в различных научных теориях; что переход от одного способа логич. формализации к др. способу, позволяющему глубже отразить действительность, является противоречивым процессом, развертывающимся в ходе развития науки и практики и подчиняющимся законам диалектич. логики; что именно в этом процессе важнейшее значение приобретает та универсальная гибкость понятий, гибкость, доходящая до тождества противоположностей, значение к-рой в познании подчеркивал Ленин (см. тамже, с. 84, 121). Следует выделить три важных фактора общего характера, ограничивающих возможность строгого (в смысле формальной логики) уточнения понятий и суждений и тем самым суживающих сферу применимости формулы А=А: 1) относительность понятия предмета в логике, 2) трудности, связанные с различением и отождествлением вещей материального мира, их свойств и отношений, 3) нек-рые свойства языка. Метафизич. понимание формулы А = А покоится на наивном понимании предмета как объекта произвольной природы или даже как всего того, что может быть о б ъ е к т о м м ы с л и. Такое представление о предмете типично для традиционной формальной логики, а также для ранних стадий в развитии математич. логики. Однако оно бессодержательно и приводит к формальным противоречиям [впервые противоречие, связанное с неопределенностью (в известном смысле) понятия предмета, было получено Расселом в логической системе Г. Фреге (см. такжеПарадоксы)]. Это совершенно понятно, ибо в процессе познания мы всегда имеем дело с определенными областями действительности, в которых понятие предмета имеет вполне конкретный смысл. Именно для определенных областей познания имеет смысл требование такого уточнения понятий и суждений, которое делает применимыми в них принципы формальной логики, в том числе принцип А = А. Понятие предмета, к-рым пользуются в логике, представляет собой абстракцию, образуемую посредством отвлечения от тех или иных (несущественных в данной области) свойств вещей и процессов объективной реальности. Эта абстракция существенно зависит от возможности различения и отождествления объектов познания. Возможность различения и отождествления объектов, о к-рых идет речь в данном рассуждении, составляет предпосылку применимости принципа А = А как логич. принципа. Метафизич. истолкование формулы А = А исходит из того, что различение и отождествление объектов познания всегда может быть осуществлено, что вопрос о тождестве или различии всегда однозначно определен по самой сущности вещей. Однако такое представление ошибочно. Данные науки – в полном согласии с философией диалектич. материализма – показали, что существуют области (напр., объектов микромира), где индивидуализация предметов наталкивается на трудности принципиального характера (и где поэтому приходится применять вероятностный подход). Все это также накладывает определенные ограничения на сферу применимости формулы А = А. Наконец, источником ограниченности принципа, выражаемого формулой А = А, являются нек-рые свойства естественных человеч. языков. Выражения языка носят осмысленный характер. Формулу А = А в ее логич. аспекте можно рассматривать как требование, чтобы каждое осмысленное выражение нек-рого языка, употребляемое в данных контекстах, сохраняло один и тот же смысл. Выполнение же этого требования существенно зависит от возможности различения и отождествления смыслов языковых выражений. Но решение этой задачи в применении к естественным языкам наталкивается на серьезные трудности. В естественных языках проблема различения и отождествления смыслов языковых выражений не может быть полностью сведена к задаче различения и отождествления языковых выражений по их синтаксической структуре (хотя и эта задача, как показывают работы по автоматическому переводу с одного языка на другой, достаточно сложна), ибо семантика языка постоянно развивается и смыслы выражений зависят не только от формальных синтаксич. свойств выражений и их лингвистич. окружения, но и от ситуации, в к-рой происходит общение людей, от психологич. факторов, от дополнения языка средствами эмоциональной выразительности и т.п., короче – от прагматики языка. Задача различения и отождествления смыслов выражений в естественном языке решается только за счет его нек-рого упрощения. Это упрощение равносильно выделению (в нек-ром смысле) из данного языка его фрагмента, для выражений к-рого можно ввести более строгие критерии различения и отождествления смыслов выражений. Однако на этом упрощенном языке уже нельзя выразить всего того, что может быть выражено на первоначальном естественном языке (см. также Логическая семантика, Семиотика). Относительно строго решается вопрос о различении и отождествлении смыслов выражений в т.н. формализованных языках (напр., в интерпретированных исчислениях математической логики). Выражения исчисления строятся по точно установленным правилам; для любых двух выражений исчисления (записанных достаточно разборчиво) задача их различения и отождествления всегда (в принципе) решается. При интерпретации исчисления обычно заранее предполагается, что предметы, составляющие предметную область, выбраны так, что мы можем отвлечься от происходящих с ними изменений и их взаимодействия и рассматривать каждый из них как совершенно фиксированный, неменяющийся, "жесткий" предмет, полностью отличный от других предметов. В таком формализованном языке каждое выражение употребляется в одном и том же смысле, а каждый предмет из области интерпретации исчисления подчиняется онтологич. принципу А = А. В исчислениях обычно встречаются формулы, являющиеся формальными аналогами содержательного принципа А = А. Вид этих формул зависит от типа исчисления. Напр., в обычном исчислении высказываний (см. Исчисления высказываний) такими формулами являются: А ? А (читается "из А следует A"), A [B]? A ("А эквивалентно А"), в исчислении предикатов (см. Исчисления предикатов), кроме того, формулы V x (Ф(x) ? Ф(x)) ("для всякого предмета x рассматриваемой области верно, что если x имеет свойство Ф, то x имеет это свойство") и V x (Ф(x) =?(x)), а в исчислении предикатов с равенством - еще и формула а = а ("любой предмет а рассматриваемой области равен самому себе"). В аксиоматически построенных исчислениях формулы такого рода являются доказуемыми (из аксиом исчисления по его правилам вывода) либо входят во множество аксиом исчисления. То, что исчисления математич. логики как системы материальных объектов (букв и формул, записанных мелом на доске или нанесенных с помощью типографской краски на бумагу и т.п.) устраиваются так, что они вполне подчиняются принципу А = А, не означает, что с помощью формальных средств исчислений (проинтерпретированных соответствующим образом) нельзя выражать факта изменяемости вещей внешнего мира. Возможны исчисления, при интерпретации к-рых в предметной области допускаются, помимо "жестких" предметов, еще и такие, для к-рых не выполняется принцип тождества и к-рые поэтому можно истолковать как изменяющиеся (таково, напр., одно из исчислений, построенных польским логиком Лесневским), или исчисления, нек-рые из выражений к-рых естественно интерпретировать как понятия, не имеющие фиксированного объема, т.е. как понятия с изменяющимся объемом (исчисление такого рода было предложено сов. логиком Д. А. Бочваром). Т.о., развитие математической логики, естественно, привело к результатам, свидетельствующим об ограниченности принципа тождества. См. также Тождества закон, Тождества проблемы, Тождество, Равенство (в логике и математике). Лит.: Энгельс Ф., Анти-Дюринг, ?., 1957, с. 52. 112–21, 356–57; его же, Диалектика природы, М., 1955, с. 159, 168–70, 212; Ленин В. И., Философские тетради, Соч., 4 изд., т. 38; Асмус В. Ф., Логика, М., 1947, с. 15-17, Бакрадзе К., Логика, Тб., 1951, с. 415–19; Минто В., Дедуктивная и индуктивная логика, 6 изд., М., 1909, с. 36–49; Бочвар Д. А., К вопросу о парадоксах и к проблеме расширенного исчисления предметов, 1957, "Матем. сб.", т. 42(84), No 1; Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948 ([гл.] 3 и предисловие С. А. Яновской); Карнап Р., Значение и необходимость, пер. с англ., М., 1959 (Предисловие С. А. Яновской); Sоbосi?ski В., L´analyse de l´antinomie russelienne par Le?niewski, "Methodos", v. 1, 1949, p. 94–107, 220–28, 308–16, v. 2, 1950, p. 237–57; Pap A., Semantics and necessary truth – an inquiry into the foundations of analytic philosophy, New Haven, 1958. Б. Бирюков. Москва.