| rdfs:comment
| - right|thumb|200px| [http://ru.dianomica.wikia.com/wiki/%D0%9F%D0%A0%D0%9E%D0%9B%D0%95%D0%93%D0%9E%D0%9C%D0%95%D0%9D%D0%AB Dianomika] Зако́н то́ждества — фундаментальный закон классической формальной логики, в соответствии с которым в процессе умозаключения любое суждение (понятие) должно оставаться тождественным самому себе по своим значению и смыслу или, что то же самое, всякое суждение влечет (имплицирует) само себя. Внешне это самый простой из логических законов. Его можно передать так: если суждение истинно, то оно истинно. Напр.: «Если трава зеленая, то она зеленая», «Если трава черная, то она черная».
|
| abstract
| - right|thumb|200px| [http://ru.dianomica.wikia.com/wiki/%D0%9F%D0%A0%D0%9E%D0%9B%D0%95%D0%93%D0%9E%D0%9C%D0%95%D0%9D%D0%AB Dianomika] Зако́н то́ждества — фундаментальный закон классической формальной логики, в соответствии с которым в процессе умозаключения любое суждение (понятие) должно оставаться тождественным самому себе по своим значению и смыслу или, что то же самое, всякое суждение влечет (имплицирует) само себя. Внешне это самый простой из логических законов. Его можно передать так: если суждение истинно, то оно истинно. Напр.: «Если трава зеленая, то она зеленая», «Если трава черная, то она черная». left|200pxЗако́н то́ждества входит не только в состав так называемых основных логических законов традиционной логики, но, одновременно, является аксиомой или тавтологией всех неклассических формальных логик. Таким образом, он отражает тот факт, что все, без исключения, формальные логики основываются на Тождества законе Лейбница, или, иначе, соответствуют идеализации реальности, задаваемой данным законом. Впервые закон тождества сформулирован Аристотелем в трактате «Метафизика» следующим образом: «…иметь не одно значение — значит не иметь ни одного значения; если же у слов нет (определенных) значений, тогда утрачена всякая возможность рассуждать друг с другом, а в действительности — и с самим собой; ибо невозможно ничего мыслить, если не мыслить (каждый раз) что-нибудь одно» — Аристотель, «Метафизика» В формальной логике закон тождества принято выражать формулой: есть , или , где под понимается любое суждение. Символическая логика при построении исчислений высказываний оперирует формулами (читается: влечет ) и ≡ (Читается: равнозначно ), где — любое высказывание, — знак импликации, ≡ — знак эквивалентности. Эти формулы соответствуют закону тождества. В логике предикатов закон тождества выражается формулой , т. е. для всякого верно, что если имеет свойство , то имеет это свойство.
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)