Закон тождества — один из основополагающих логических законов, который используется при оперировании понятиями и суждениями, в умозаключениях, доказательствах и опровержениях. 5
Некоторые способы применения закона тождества в современной логике:
- Сохранение мысленного содержания предмета рассуждения. 5 Если в одной из посылок рассуждения сформулирован какой-либо термин (слово, выражение), то закон тождества обязывает при использовании данного термина в других посылках и в заключении сохранить тождество между ними. 5
- Достижение определённости мысли в термине. 5 Каждый используемый в посылках термин должен быть определён, причём корректным образом. 5
- Установление тождества и различия между терминами (словами, выражениями) в процессе коммуникации. 5 Сюда включаются синонимия, омонимия и полисемия, некорректное использование которых может привести к неправомерному отождествлению слов, имеющих одинаковую словесную форму, но разные значения. 5
Формулировка закона тождества в современной формальной логике более строгая: «Всякое высказывание влечёт само себя». 2 Иными словами, любое высказывание является необходимым и достаточным условием собственной истинности. 2