Смотреть больше слов в «Словаре по логике»
ТОЖДЕСТВА ЗАКОН (лат. lex identitatis) в логике высказываний, закон постоянства высказываний: любая законченная мысль (суждение), выраженная... смотреть
логический закон, согласно которому всякое высказывание влечет (имплицирует) само себя. Внешне это самый простой из логических законов. Его можно пере... смотреть
лат. principium identitatis) 1) В традиц. формальной логике – один из осн. мышления законов наряду с достаточного основания принципом, пpинципом исключенного третьего и пpотиворечия законом. Т. з. не равнозначен понятию тождества. Традиц. формула Т. з. х=х (к-рой в логике и в философии зачастую исчерпывалось понятие о тождестве) выражает лишь рефлексивность отношения тождества (вообще отношений типа равенства) и недостаточна для характеристики понятия (предиката) тождества, любое нетривиальное употребление к-рого основано на принципе отождествления неразличимых, т.е. предполагает отождествление лишь относительно неразличимых объектов – неразличимых в рамках той или иной абстракции отождествления (в интервале абстракции отождест-в л е н и я), что, напр., является типичным для прикладных логико-матем. исчислений. Поэтому в приложениях логики Т. з. потерял свое некогда фундаментальное значение "принципа, выражающего неизменность сущего" (к-рое, кстати, незаслуженно ему приписывалось), уступив место тем или иным определениям предиката тождества (равенства), не имеющим ничего общего с "метафизическими основоположениями" формальной логики. Поскольку рефлексивность тождества указывает на индивидуализацию, формулу х=х, входящую в аксиоматич. определение предиката тождества (а следовательно, и традиц. Т. з.), естественно рассматривать как логич. характеристику понятия "индивидуальное" (подробнее об этом см. в ст. Тождество). Абстракция х=х – тавтология. И хотя она не зависит от выбора универсума рассуждения (см. Универсум), в интерпретации ей должна соответствовать определенная онтология – эта абстракция должна иметь объективную значимость, если, конечно, полагать, что содержание наших абстракций (в качестве объекта абстрагирования) не зависит от абстрагирующей деятельности мышления, существует независимо от него. 2) В совр. формальной (математической) логике Т. з. наз. обычно формулу логики высказываний А?А, выражающую свойство рефлексивности импликации, и любой вариант подстановки в эту формулу. О Т. з. см. также ст. А = А, Равенство в логике и математике, Эквивалентность и лит. при этих статьях. М. Новоселов. Москва. ... смотреть
(лат. lex identitatis) в логике высказываний, закон постоянства высказываний: любая законченная мысль (суждение), выраженная в определ. форме высказывания и имеющая определ. истинностное значение, должна сохранять свою первонач. форму и своё значение в нек-ром известном заранее или подразумеваемом контексте. Для переменных в исчислении высказываний контекст действия Т. з. не фиксирован и не ограничен, а в приложениях логики (в моделях) он определяется ролью высказываний относительно модели. Этой особенностью Т. з. обусловлен, в частности, и выбор параметров при переводе с естеств. языка на язык логики: в пределах данного перевода каждый параметр может заменять только одно высказываниеконстанту, а разные высказыванияконстанты должны заменяться разными параметрами. Непреложность Т. з. в классич. и интуиционистском исчислениях высказываний выразима теоремой: если при утверждении высказывания отрицается Т. з., то тем самым отрицается и утверждение этого высказывания. В логике предикатов Т. з. полностью сохраняется для той её части, к-рая совпадает с логикой высказываний, а для универсума подразумеваемой модели вводится понятие о тождестве, имеющее значение для всей логики.... смотреть
в логике закон, согласно которому в процессе рассуждения любая законченная мысль (суждение, выражение) должна употребляется в одном и том же смысле. Непреложность закона тождества в исчислениях высказываний выражается теоремой: если при утверждении высказывания отрицается закон тождества, то тем самым отрицается и утверждение этого высказывания. На практике закон тождества предполагает некую идеализацию действительного характера тех объектов, о которых идет речь в данном высказывании, отвлечение от их развития и изменения, но это правомерно вследствие относительной устойчивости всех явлений в мире. ... смотреть
в логике закон, согласно которому в процессе рассуждения любая законченная мысль (суждение, выражение) должна употребляется в одном и том же смысле. Непреложность закона тождества в исчислениях высказываний выражается теоремой: если при утверждении высказывания отрицается закон тождества, то тем самым отрицается и утверждение этого высказывания. На практике закон тождества предполагает некую идеализацию действительного характера тех объектов, о которых идет речь в данном высказывании, отвлечение от их развития и изменения, но это правомерно вследствие относительной устойчивости всех явлений в мире.... смотреть
один из основных законов логики, по которому любая мысль должна быть равна самой себе, т. е. должна быть ясной, точной и определенной (нельзя подменять и путать понятия, создавать двусмысленность, уклоняться от темы, употреблять одни и те же слова в разных значениях или вкладывать одни и те же значения в разные слова и т. п.). ... смотреть
(в логике) закон, согласно которому в процессе рассуждения любая законченная мысль (суждение, выражение) должна употребляться в одном и том же значении. Начала современного естествознания. Тезаурус. — Ростов-на-Дону.В.Н. Савченко, В.П. Смагин.2006.... смотреть
один из основных логических законов, устанавливающий отношение мысли к самой себе. Его требование: любая конкретная мысль должна быть тождественной самой себе, то есть иметь строго определенное и неизменное содержание. ... смотреть