Следовательно, логическая правильность мышления – это совсем не то же самое, что научная правильность и истинность мышления, хотя в естествознании их принято отождествлять. Для логики формальное следование логическому алгоритму при создании языковой конструкции гораздо важнее истинности создаваемой конструкции как модели, то есть ее соответствия окружающей реальности.