Философская энциклопедия - тождества закон

ТОЖДЕСТВА ЗАКОН

(лат. lex identitatis) в логике высказываний, закон постоянства высказываний: любая законченная мысль (суждение), выраженная в определ. форме высказывания и имеющая опре-дел. истинностное значение, должна сохранять свою первонач. форму и своё значение в некотором известном заранее или подразумеваемом контексте. Для переменных в исчислении высказываний контекст действия Т. з. не фиксирован и не ограничен, а в приложениях логики (в моделях) он определяется ролью высказываний относительно модели. Этой особенностью Т. з. обусловлен, в частности, и выбор параметров при переводе с естеств. языка на язык логики: в пределах данного перевода каждый параметр может заменять только одно высказывание-константу, а разные высказывания-константы должны заменяться разными параметрами. Непреложность Т. з. в классич. и интуиционистском исчислениях высказываний выразима теоремой: если при утверждении высказывания отрицается Т. з., то тем самым отрицается и утверждение этого высказывания. В логике предикатов Т. з. полностью сохраняется для той её части, которая совпадает с логикой высказываний, а для универсума подразумеваемой модели вводится понятие о тождестве, имеющее значение для всей логики.

Новоселов M. M., Категория тождества и ее модели, в кн.: Кибернетика и диалектика, М., 1978.

Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.