Первое условие связано с истинностью мышления, а второе – с правильностью мышления. Эти понятия следует различать. Истинным является мышление, адекватно отражающее фрагмент действительности, а
«правильным» называется мышление, не нарушающее

правил и законов формальной логики. Истинный вывод гарантируется соблюдением обоих требований: по содержанию наши мысли должны быть истинными, а по форме - правильными. Если одно из условий не выполняется, то истинность вывода не гарантируется. В таком случае имеют место две логические ошибки:

1. «Ложность посылок» - когда исходные суждения ложны, а правила вывода не нарушены. Например, умозаключение: «В каждую сессию входит пять экзаменов, а поскольку скоро сессия, то она будет

включать пять экзаменов», формально правильно, но вывод ложен, так как первое суждение ложно. Не каждая сессия состоит из пяти экзаменов. «Ложность посылок» – содержательная ошибка.

2. «Неправильность вывода»— когда исходные суждения истинны, но нарушается определённое логическое правило. Например: «Все гусеницы едят капусту. Я ем капусту. Следовательно, я гусеница»1 . Вывод очевидно ложен, хотя исходные суждения истинны.
«Неправильность вывода» - формальная ошибка.

Итак, формальная правильность рассуждения достигается соблюдением правил логики. Задача же логики сводится к выявлению этих правил. Она решается путем формализации различных с точки зрения конкретного содержания умозаключений. Знание правильных форм умозаключения, а также правил позволяет контролировать процесс получения нового знания.