|
|
|
|
|
ТОЖДЕСТВА ЗАКОН |
Философский словарь |
закон логики, согласно к-рому в процессе рассуждения каждое осмысленное выражение (понятие, суждение) должно употребляться в одном и том же смысле. Предпосылкой его выполнимости является возможность различения и отождествления тех объектов, о к-рых идет речь в данном рассуждении. На деле, однако, такое различение и отождествление не всегда возможно (Различие, Тождество). Т. з. предполагает поэтому некоторую идеализацию действительного характера тех объектов, о к-рых идет речь в данном рассуждении (отвлечение от их развития и изменения), правомерность чего вытекает из факта относительной устойчивости явлений объективного мира. |
Философский энциклопедический словарь |
ТОЖДЕСТВА ЗАКОН – в логике закон, согласно которому в процессе рассуждения любая законченная мысль (суждение, выражение) должна употребляется в одном и том же смысле. Непреложность закона тождества в исчислениях высказываний выражается теоремой: если при утверждении высказывания отрицается закон тождества, то тем самым отрицается и утверждение этого высказывания. На практике закон тождества предполагает некую идеализацию действительного характера тех объектов, о которых идет речь в данном высказывании, отвлечение от их развития и изменения, но это правомерно вследствие относительной устойчивости всех явлений в мире. |
Философский энциклопедический словарь 2 |
(лат. lex identitatis) в логике высказываний, закон постоянства высказываний: любая законченная мысль (суждение), выраженная в определ. форме высказывания и имеющая опре-дел. истинностное значение, должна сохранять свою первонач. форму и своё значение в некотором известном заранее или подразумеваемом контексте. Для переменных в исчислении высказываний контекст действия Т. з. не фиксирован и не ограничен, а в приложениях логики (в моделях) он определяется ролью высказываний относительно модели. Этой особенностью Т. з. обусловлен, в частности, и выбор параметров при переводе с естеств. языка на язык логики: в пределах данного перевода каждый параметр может заменять только одно высказывание-константу, а разные высказывания-константы должны заменяться разными параметрами. Непреложность Т. з. в классич. и интуиционистском исчислениях высказываний выразима теоремой: если при утверждении высказывания отрицается Т. з., то тем самым отрицается и утверждение этого высказывания. В логике предикатов Т. з. полностью сохраняется для той её части, которая совпадает с логикой высказываний, а для универсума подразумеваемой модели вводится понятие о тождестве, имеющее значение для всей логики.
Новоселов M. M., Категория тождества и ее модели, в кн.: Кибернетика и диалектика, М., 1978. |
|
|
|
|
|
|
|
|
|
|
|
|