Тождественная истинность

Тожде́ственная истинность

Свойство сложных высказываний (См. Высказывание), истинных в силу их формально-логической структуры и смысла (интерпретации) входящих в них логических операций. Такие высказывания лишь «по видимости» описывают факты (классы фактических ситуаций), о которых говорят входящие в них элементарные высказывания и которые составляют их «материю»; по существу же они выражают логически значимые связи между высказываниями, связи, которые всегда порождают истинную мысль независимо от того, в какой области знания, на каком «материале» эта мысль высказана. Инвариантность к содержанию мысли и способность характеризовать её конкретную форму выражения обусловливает общенаучное значение Т. и.: каталогизированные в системы логических законов (См. Логический закон) тождественные истины непротиворечиво (см. Непротиворечивость) входят в любую отрасль человеческого знания, образуя её «логическую ткань», логическую основу применяемых в этой отрасли знания способов рассуждений.

М. М. Новосёлов.