Словарь логики

— логический закон, согласно которому всякое высказывание влечет (имплицирует) само себя. Внешне это самый простой из логических законов. Его можно передать так: если высказывание истинно, то оно истинно. Напр.: «Если трава зеленая, то она зеленая», «Если трава черная, то она черная». Т. з. выражает идею, что каждое высказывание является необхо­димым и достаточным условием своей собственной истинности. С применением символики логической закон записывается так (р — некоторое высказывание; -> - импликация, «если, то»): если р, то р. Иногда Т. з. именуется формула с эквивалентностью (= — «если и только если»): Р = Р, р в том и только том случае, если р. Т. з. принято называть и принципы аналогичного содержания, относящиеся не к высказываниям, а к именам (A — некоторое имя): «Всякое A есть A» и «Некоторые A есть A». Напр.: «Всякий человек есть человек», «Некоторые квадраты — это квадраты». «Некоторые» здесь означает «по меньшей мере некоторые, а может быть, и все», но не «только некоторые, но не все». Принцип «Всякое А есть A» иногда называют аристотелев­ски м Т. з. Традиционная ошибка, связанная с Т. з., — подмена его требова­нием устойчивости, определенности мысли в ходе рассуждения. Еще Аристотель писал, что невозможно ничего мыслить, «если не мыс­лишь (каждый раз) что-нибудь одно». В процессе рассуждения зна­чения понятий и утверждений не следует изменять. Они должны оставаться тождественными самим себе, иначе свойства одного объекта незаметно окажутся приписанными другому объекту. Если мы нача­ли говорить, допустим, о звездах как небесных телах, то слово «звезда» должно, пока мы не оставим эту тему, обозначать именно эти тела, а не звезды на погонах или елочные звезды. Требование не изменять и не подменять значения в ходе рассуж­дения справедливо. Но оно не относится к законам логики, точно так же как не относится к ним совет выделять обсуждаемые объек­ты по достаточно устойчивым признакам, чтобы уменьшить вероят­ность подмены в рассуждении одного объекта другим. Несостоятельно и имеющее долгую традицию истолкование Т. з. как одного из законов бытия, говорящего о его относительной ус­тойчивости и определенности. Понятый так закон превращается в утверждение, что вещи всегда остаются неизменными, тождествен­ными самим себе. Такое истолкование является, конечно, недоразу­мением. Т. з. ничего не говорит об изменчивости или неизменности. Он утверждает только, что если вещь меняется, то она меняется, а если она остается той же, то она остается той же.