В процессе логического познания человек стремится достичь истины. Следует различать истинность мысли и логическую правильность рассуждений.
Мысль считается истинной, если она соответствует действительности. Например, Город Сыктывкар – столица Республики Коми.
Однако для более сложных высказываний необходимо прибегнуть к иным способам обоснования истинности. Например, при использовании логических средств, мы выстраиваем цепь рассуждения, которая приводит к определенным заключениям.
Переход от одной мысли к другой осуществляется по законам логики и по определенным формам, нарушения которых ведет к ложности вывода. Формальная правильность рассуждения может привести к ложному выводу, если в основе правильного рассуждения находятся ложные высказывания.