Отсюда — наименование самого закона: закон тождества. Его наиболее общая формула: «А есть А» или «А = А», где под «А» разумеется всякая мысль вообще.
Закон тождества есть закон функционирования отдельно взятой мысли. Но, как и во всяком законе, в нем так или иначе выражается внутренняя, существенная, необходимая связь, повторяющаяся всегда и всюду при определенных условиях. В данном случае это
Исторически закон тождества в качестве формально-логического закона явился обобщением практики оперирования
Если бы понятия не были определенными по своему содержанию и объему, то мы не смогли бы выделять их виды, устанавливать отношения между ними, производить над ними логические операции — определения, деления, обобщения и ограничения.
Действие закона тождества простирается и на
Пожалуй, наиболее рельефно закон тождества проявляется в суждениях типа: «Солнце есть Солнце», «Война есть война» и др., упоминавшихся выше. В них непосредственно раскрывается тождество предмета с самим собой. И такие суждения нередки в практике мышления. Вспомним слова поэта: «Осел останется ослом, хотя осыпь его звездами». Или высказывания других авторов: «Факты есть факты, и по вашему желанию они никуда не исчезнут»; «Прибыль есть прибыль, как бы мала она ни была»; «Джентльмен всегда джентльмен». А вот заголовки из современных газет: «Мастер — он и в глубинке мастер»; «Ложь всегда есть ложь»; «Преступность везде преступность». Вспомним народную мудрость: «Что в лоб, что по лбу»; «Как был дураком, так им и остался» и др.
Разновидностью подобных суждений, выражающих объективное тождество, служат суждения типа: «Отрицательный результат тоже результат»; «Мировой судья есть судья»; «Суров закон, но он закон». Здесь налицо тождество рода и вида (в том смысле, что вид заключает в себе все признаки рода, хотя и не наоборот).
Обобщая, можно сказать, что любое суждение — будь то атрибутивное или реляционное, — фиксируя то или иное тождество свойств предметов или отношений между предметами, является утверждением или отрицанием и в силу этого может быть истинным или ложным. В свою очередь, каждое простое суждение, вступая в связи с другими, образуя конъюнкцию, дизъюнкцию и т. д., сохраняет в них свой определенный, однозначный смысл. Без этого было бы тоже невозможно выяснять значение истинности или ложности сложного суждения, включать его в еще более сложные мыслительные конструкции.
Действие закона тождества распространяется и на обширную область
В