Закон тождества (или принцип тождества) — это один из основных общелогических принципов (см. Логика), согласно которому в процессе рассуждения всякое суждение, выраженное в определённой форме высказывания и имеющее определённое истинностное значение, должно сохранять свою первоначальную форму и своё значение в некотором известном заранее или подразумеваемом контексте, то есть должно оставаться тождественным самому себе. Закон тождества относится к четырём так называемым основополагающим логическим законам — закону тождества, закону противоречия, закону исключённого третьего и закону достаточного основания (см. Законы логики), которые подразумевают наиболее общие принципы (или постулаты) теоретического мышления и используются при оперировании понятиями и суждениями, в умозаключениях, доказательствах и опровержениях, и поэтому присутствуют практически во всех логических системах.
Закон тождества подразумевает требование определённости мышления и выражает идею о том, что каждое высказывание является необходимым и достаточным условием своей собственной истинности. Поэтому законом тождества принято называть и принципы аналогичного содержания, относящиеся не к высказываниям, а к именам (A — некоторое имя): «Всякое A есть A» и «Некоторое A есть A». Непреложность закона тождества в исчислениях высказываний выражается теоремой: если при утверждении высказывания отрицается закон тождества, то тем самым отрицается и утверждение этого высказывания.
Закон тождества обычно формулируется как «всякое A есть A», или «всякий предмет есть то, что он есть», и выражается формулой A = A. Применение в этом выражении буквы A несущественно и обязано, по-видимому, особенности латинского алфавита; равным образом для выражения того же закона можно было бы писать B = B, C = C и так далее. В современной логике традиционная нотация не используется. В логике высказываний (см. Логика высказываний) она заменяется формулами A ≡ A или A ⊃ A, где A — это произвольное высказывание, а «≡» и «⊃» — это пропозициональные логические связки. В логике предикатов (см. Логика предикатов) формула x = x (или y = y, z = z и так далее), где предметные переменные x, y, z «пробегают» по множеству объектов универсума (предметной области), выражает одно из свойств логического равенства, а именно свойство рефлексивности равенства (или тождества). В узком исчислении предикатов она является частью аксиоматического определения равенства, а в расширенном исчислении доказывается как теорема.
Закон тождества содержит в себе несколько основных предписаний:
- Сохранение мысленного содержания предмета рассуждения. Так, если в одной из посылок рассуждения сформулирован какой-либо термин (слово, выражение), то закон тождества обязывает при использовании данного термина в других посылках и в заключении сохранить тождество между ними.
- Достижение определённости мысли в термине (слове, выражении). Это означает, что каждый используемый в посылках термин должен быть определён, причём корректным образом. Корректность определения предполагает прежде всего прояснение значения неизвестного (например A) через нечто уже известное (например B), то есть, утверждая, что A есть B, необходимо установить тождество A и B.
- Различение формального и содержательного тождества.
- Установление тождества и различия между терминами (словами, выражениями) в процессе коммуникации. Сюда включаются синонимия, омонимия и полисемия, некорректное использование которых может привести к неправомерному отождествлению слов, имеющих одинаковую словесную форму, но разные значения.
Впервые принцип тождества сформулирован Аристотелем, который отмечал, что «всё истинное должно во всех отношениях быть согласно с самим собой» (Аристотель. Сочинения, т. 2. — М., 1978, с. 185), в виде закона запрещения противоречий, но не закона тождества. Формула A есть A (A = A) для обозначения принципа тождества впервые использовалась Г. В. Лейбницем. Р. Декарт относит положение, согласно которому «немыслимо одновременно быть и не быть одним и тем же», к вечными истинам — к фундаментальным аксиомам научного познания. Д. Локк признает положение, согласно которому «одна и та же вещь не может быть и не быть», самоочевидным и несомненным (Локк Д. Сочинения, т. 2. — М., 1985, с. 69–73). Лейбниц, проводя различие между двумя типами научных высказываний — «истинами разума» и «истинами факта», усматривает в тождественных положениях, к которым сводятся все положения математики, абсолютно первые истины. «Великой основой математики является принцип противоречия, или тождества, то есть положение о том, что суждение не может быть истинным и ложным одновременно, что, следовательно, A есть A и не может быть не = A. Один этот принцип достаточен для того, чтобы вывести всю арифметику и всю геометрию, а стало быть, все математические принципы» (Лейбниц Г. В. Сочинения, т. 1. — М., 1982, с. 433). Для Лейбница предложение A = A является истинным само по себе, и из этих тавтологий можно вывести все истинные утверждения математики (Лейбниц Г. В. Сочинения, т. 1. — М., 1984, с. 567). В логических работах 1680–1690 годов («Логические определения», «Математика разума» и другие) он ставит задачу построить силлогистику на минимальных логических основаниях (к ним он относит принцип тождества: «Всякое A есть A» и «Некоторое A есть A») и синтетическим методом вывести силлогистику. Лейбниц исходит из логико-гносеологического статуса принципа тождества, подчёркивая, что «не бывает никаких двух неразличимых друг от друга отдельных вещей». Отрицая онтологическую интерпретацию принципа тождества, он настаивает на том, что «полагать две вещи неразличимыми — означает полагать одну и ту же вещь под двумя именами» (Лейбниц Г. В. Сочинения, т. 1. — М., 1962, с. 450).
Онтологическое обоснование принципа тождества, для которого каждая вещь тождественна себе самой, было дано X. Вольфом: «То же самое сущее есть то самое сущее, которое является сущим. Или, иначе говоря, всякое A есть A» (Wolf Ch. Philosophia prima sive ontologia, 1736, § 55). Для И. Канта тождество познания с самим собой — формальный критерий истинности знания и принцип выведения всех истин. Он рассматривает аналитические суждения как те, в которых связь предиката с субъектом мыслится через тождество (Кант И. Сочинения, т. 3. — М., 1964, с. 111). И. Г. Фихте выводит принцип тождества A = A из первоначального акта деятельности Я: принцип Я = Я («Я есть») является основанием принципа тождества A = A. Положение A = A «признается за нечто совершенно достоверное и установленное» (Фихте И. Г. Сочинения, т. 1. — М., 1995, с. 283), «не положение A = A служит основанием для положения «Я есмь» а, наоборот, это последнее положение обосновывает собой первое» (Фихте И. Г. Сочинения, т. 1. — М., 1995, с. 287). Эта же линия различения формального и материального принципов и критики формального понимания принципа тождества A = A характерна и для Ф. В. Й. Шеллинга. Рассматривая формальную формулу A = A, он отмечает, что «логический характер в нём носит лишь форма тождественности между A и A; но откуда у меня само A = A? Если A есть, то оно равно само себе, но откуда оно? Ответ на этот вопрос может быть, без сомнения, дан исходя не из этого положения, а из чего-то более высокого. Анализ A = A предполагает синтез A … невозможно мыслить формальный принцип, не предпосылая ему материальный, а также материальный, не предпосылая ему формальный» (Шеллинг Ф. В. Й. Сочинения, т. 1. — М., 1984, с. 250). Формула принципа тождества A = A возникает благодаря абстрагированию от содержания субъекта A, и всякое синтетическое знание должно выходить за пределы тождественности мышления и тем самым положения A = A, которое предполагает мышление, становящееся объектом для самого себя, то есть предполагает самосознание. Положение A = A интерпретируется им как принцип безусловного и абсолютного разумного познания, как выражение вечного и необходимого равенства субъекта и объекта, как воплощение самосознания разума.
По К. Эшенмайеру, логическая формула A = A выводится из первоначального тождества Я с самим собой (Eschenmayer К. А. Psychologie. Tüb., 1817, S. 296). Г. В. Ф. Гегель, который положил начало критике формальной логики, считал формулу A = A пустой и лишь законом абстрактного рассудка. По его словам, «никакое сознание не мыслит… не говорит согласно этому закону… Выражения, следующие этому нормативному закону истины (планета есть планета, магнетизм есть магнетизм, дух есть дух), справедливо считаются глупыми» (Гегель Г. В. Ф. Сочинения, т. 1. — М.-Л., 1929, с. 197). Эта же линия критики принципа тождества как пустого и лишённого смысла представлена у Ф. Э. Бенеке, И. Рёмке, Ф. Маутнера.
Для марксистской философии принцип тождества A = A есть основной принцип метафизического мировоззрения, согласно которому каждая вещь равна самой себе и считается постоянной (Энгельс Ф. Диалектика природы. — М., 1955, с. 170). Это и было основанием критики формальной логики и попыток построения новой диалектической логики, исследующей принципы анализа изменчивости явлений, различных процессов природы, общества и мышления. Эта же линия критики принципа тождества обращается А. Бергсоном против не только формальной логики как логики твёрдых тел, но и интеллекта.
В конце XIX века для логики и методологии науки характерна абсолютизация принципа тождества. Так, в теории дедукции У. С. Джевонса проводится мысль о том, что «вещь во всякий момент тождественна сама с собой» (Джевонс У. С. Основы науки. 1874. — СПб., 1881, с. 5), и выдвигается принцип замещения, согласно которому «всякий термин, встречающийся в каком-либо предложении, можно замещать термином, о котором утверждается в какой-нибудь посылке, что он тождествен с первым» (Джевонс У. С. Основы науки. 1874. — СПб., 1881, с. 48). Вместе с тем в философии и логике начинается, с одной стороны, ограничение предметной области принципа тождества, а с другой — различение предмета и предметного содержания актов мысли. Так, Б. Эрдман исходит из принципа нетождественности, отмечая, что любой предмет, поскольку он тождествен с самим собой, отличается от другого. Согласно X. Зигварту, формула A = A фиксирует константность содержания представлений и понятий. Это же отмечает и В. Вундт, для которого принцип тождества как фундаментальный закон познания фиксирует устойчивость нашего логического мышления во всех его преобразованиях. В отличие от них Г. Дриш считает принцип тождества нормой не просто мысли, но и её предметного содержания. Для Э. Гуссерля, Н. О. Лосского, М. Шелера формула A = A выражает то, что во всех актах суждения объективное содержание A остаётся одним и тем же. Г. Фреге, понимая под принципом A = A принцип равенства, или тождества, усматривает в нём отношение между знаками предметов, а не отношение между предметами (Фреге Г. Смысл и значение. — В книге: Избранные работы. — М., 1997, с. 25). Согласно Г. Фреге, смысл и значение относятся к разным сферам (мысль — смысл предложения, а значение — обозначаемый предмет) и необходимо проводить различие между «выражением» и «обозначением».
В начале XX века в центре внимания логиков вновь оказалась проблема тождества, сходства и равенства. Для Э. Гуссерля там, где имеется равенство, имеется и тождество в истинном смысле слова. Классы и определяются как совокупность равных себе сущностей, которые являются элементами одного и того же класса. Однако отношение «одних и тех же сущностей» предполагает отношение равенства более высокого типа и так далее до бесконечности. Тем самым платоновское обоснование принципа тождества увеличивает сущности до бесконечности. В это же время Э. Бугру анализирует связь принципа тождества и законов природы, Э. Мейерсон раскрывает значение способности разума к идентификации в формировании категорий причинности, закона и других. В номинализме Ст. Лесневского было раскрыто смешение коллективного и дистрибутивного истолкования слова «класс» в теории парадоксов Б. Рассела и проведено различение мереологии и онтологии. В ходе обсуждения в XX веке предметной области логики равенство стало пониматься как основание абстракции, а закон тождества в приложениях логики потерял своё некогда фундаментальное значение «принципа, выражающего неизменность сущего» (которое ранее незаслуженно ему приписывалось).
Формальная логика — наука, изучающая формы мысли (понятия, суждения, умозаключения, доказательства) со стороны их логической структуры, отвлекаясь от конкретного содержания мыслей. Это конструирование и исследование правил преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий.
Формальная логика и мышление
Предмет формальной логики — это не все мышление, а только одна его сторона — логические формы мышления. Формальная логика исследует как бы готовые, имеющиеся, уже возникшие мысли — понятия, суждения и т.д. — и устанавливает определенные соотношения (формулы) между ними. Формальная логика отвлекается, абстрагируется от непосредственных условий возникновения и развития этих мыслей — понятий, суждений, умозаключений.
Формальная логика отвлекается, абстрагируется от непосредственных условий возникновения и развития тех или иных мыслей. Она полностью отвлекается, в частности, и от взаимосвязи мышления с чувственным познанием. Иначе говоря, она вовсе не исследует, в отличие от психологии, как конкретно возникает и обогащается содержание нашего мышления на основе ощущений, восприятий и представлений. В логических формулах, например в силлогизме, соотносятся друг с другом уже как бы застывшие, законченные, полностью четко и до конца сформулированные мысли, т.е. результаты, готовые продукты мышления.
. Во французском языке слово «закон» двусмысленно. Оно может принимать как широкое, так и узкое значения. С точки зрения источников права наиболее важным является различие между законом в материальном смысле и законом в формальном смысле.
А — Материальный закон
Понятие материального закона связано с тем, что называют законностью в широком смысле этого слова. Именно такое значение придается термину «закон», когда речь идет о законе как источнике права, отличающемся от обычая и судебной практики. В этом значении понятие закона охватывает, как мы уже видели, совокупность правовых норм, как правило писанных, утвержденных органами государственной власти любого уровня и обладающих всеобщим характером их применения.
Этот материальный закон, то есть законность в ее широком понимании, включает нормы как международного, так и государственного права. Что касается норм международного права, то речь идет, главным образом, о международных договорах и соглашениях, а также о нормах, определяемых компетентными органами Европейского сообщества. Что же касается внутригосударственных норм, то они вытекают из решений, принимаемых на всех уровнях политико-административной иерархии различными субъектами государственной власти.
Во Франции такие нормы устанавливаются важнейшим правовым актом — Конституцией V Республики, а также менее масштабными и более скромными юридическими актами, такими как постановление мэра, постановление директора департаментской службы сельского хозяйства, решение директора больницы или заведующей детским садом. В порядке исключения материальный закон включает даже некоторые неписанные принципы общего характера, установленные судебными инстанциями: речь идет, во-первых, об основных принципах республиканского законодательства, сформулированных Конституционным советом, и, во-вторых, об общих принципах права, сформулированных Государственным советом.
По существу, понятие материального закона, то есть закона, рассматриваемого в качестве источника права, соответствует наиболее широкому толкованию большей части писанных правовых норм общего характера, так как это определено в известном выражении: «Никто не может отговариваться незнанием законов». Более или менее полный список составных элементов материального закона, являющегося основным источником французского права, включает более двадцати нормативных категорий. Все они содержатся в представленной ниже таблице.
Закон — основной источник права (закон в материальном смысле)
— Конституция V Республики- Международные договоры и соглашения, ратифицированные или одобренные полномочными государственными инстанциями
— Общеевропейские нормы
— Основные принципы законодательства Республики, формулируемые Конституционным советом
— Формальные законы: референдумные законы, конституционные законы, обычные законы парламентские законы
— Общие принципы права, формулируемые Государственным Советом
— Ордонансы
— Указы Премьер-министра или Президента: указы, одобренные в Госсовете, обычные указы
— Постановления министров
— Постановления префектов
— Постановления или решения руководителей администраций округов и департаментов
— Постановления или решения начальников различных государственных административных служб
— Решения окружных советов
— Постановления председателей окружных советов
— Решения генеральных советов
— Постановления председателей генеральных советов
— Решения муниципальных советов
— Муниципальные постановления
— Постановления или решения начальников административных служб местных коллективов