Зако́н то́ждества — принцип постоянства или принцип сохранности предметного и смыслового значений суждений (высказываний) в некотором заведомо известном или подразумеваемом контексте (в выводе, доказательстве, теории). Является одним из законов классической логики.
В процессе рассуждения каждое понятие, суждение должно употребляться в одном и том же смысле. Предпосылкой этого является возможность различения и отождествления тех объектов, о которых идёт речь.. Мысль о предмете должна иметь определённое, устойчивое содержание, сколько бы раз она ни повторялась. Важнейшее свойство мышления — его определённость — выражается данным логическим законом.
Впервые закон тождества сформулирован Аристотелем в трактате «Метафизика» следующим образом:
«…иметь не одно значение — значит не иметь ни одного значения; если же у слов нет значений, тогда утрачена всякая возможность рассуждать друг с другом, а в действительности — и с самим собой; ибо невозможно ничего мыслить, если не мыслить что-нибудь одно»
В формальной логике закон тождества принято выражать формулой:
A
{\displaystyle A}
есть
A
{\displaystyle A}
, или
A
{\displaystyle A}
=
{\displaystyle =}
A
{\displaystyle A}
, где под
A
{\displaystyle A}
понимается любая мысль.
Символическая логика при построении исчислений высказываний оперирует формулами
a
→
a
{\displaystyle a\to a}
(читается как «
a
{\displaystyle a}
влечёт
a
{\displaystyle a}
») и
a
{\displaystyle a}
≡
a
{\displaystyle a}
(читается как «
a
{\displaystyle a}
равнозначно
a
{\displaystyle a}
»), где:
a
{\displaystyle a}
— любое высказывание;
«
→
{\displaystyle \to }
» — знак импликации;
«≡» — знак эквивалентности.Эти формулы соответствуют закону тождества.
В логике предикатов закон тождества выражается формулой
∀
x
(
p
(
x
)
→
p
(
x
)
)
{\displaystyle \forall x(p(x)\to p(x))}
, то есть для всякого
x
{\displaystyle x}
верно, что если
x
{\displaystyle x}
имеет свойство
p
{\displaystyle p}
, то
x
{\displaystyle x}
имеет это свойство.
Источник: Википедия
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: олимпизм — это что-то нейтральное, положительное или отрицательное?
Нарушение закона тождества может привести также к тому, что свойства одного объекта могут быть приписаны совершенно другому, не обладающему ими.
Предпосылкой выполнимости закона тождества является возможность различия и отождествления тех объектов, о которых идёт речь в процессе размышления, что не всегда выполняется на практике в силу изменчивости этих объектов.
Поэтому закон тождества имеет значение не только в логике, но и носит всеобщий характер.