(греч. tauto — тот же самый). 1. В математической логике— то же самое, что тождественно-истинные высказывания. 2. В традиционной логике — определение, в к-ром определяющее является простым повторением иными словами того, что мыслится в определяемом.