Укажите границы применения характеристик «формально правильно» и «формально неправильно».

Понятие истинности или ложности относится лишь к конкретному содержанию того или иного суждения. Если в суждении верно отражено то, что имеет место в действительности, то оно истинно, в противном случае оно ложно. Например, суждение «Все волки — хищные животные» истинно, а суждение «Все грибы — ядовиты» ложно.

Понятие формальной правильности рассуждения относится лишь к логическим действиям и операциям мышления. Ф. Энгельс писал: «Если наши предпосылки верны и если мы правильно применяем к ним законы мышления, то результат должен соответствовать действительности...». Если в числе посылок умозаключения встречается ложная посылка, то при соблюдении правил логики мы в заключении можем получить и истину, и ложь. Чтоб это показать, возьмем такое умозаключение:

Все металлы — твердые тела. Ртуть не является твердым телом.

Ртуть не является металлом.

В этом умозаключении заключение получилось ложным именно потому, что в качестве первой посылки взято ложное суждение. Чтобы заключение было истинным, обе посылки должны быть истинными суждениями (имеется в виду, что правила логики соблюдены). При несоблюдении правил логики (если посылки при этом истинны) мы также можем получить как истинное, так и ложное заключение. Например:

Все тигры — полосатые. Это животное — полосатое.

Это животное — тигр.

Во втором умозаключении обе посылки — истинные суждения, но полученное заключение может быть как ложным, так и истинным потому, что было нарушено одно из правил умозаключения.

Итак, с точки зрения содержания мышление может давать истинное или ложное отражение мира, а со стороны формы оно может быть логически правильным или неправильным. Истинность есть соответствие мысли действительности, а правильность мышления — соблюдение законов и правил логики. Нельзя отождествлять (смешивать) следующие понятия: «истинность» («истина») и «правильность», а также понятия «ложность» («ложь») и «неправильность».

Мы считаем какое-либо положение истинным  материально, когда оно соответствует действительности или вещам. Мы считаем то или другое заключение истинным формально в том случае, когда оно выводится с достоверностью из тех или иных положений, т.е., когда верен способ соединения мыслей, самое же заключение может совсем не соответствовать действительности. Для объяснения различия между формальной и материальной истинностью возьмём примеры, нам даются два положения:

Все вулканы суть горы

Все гейзеры суть вулканы

Из этих двух положений с необходимостью следует, что «все гейзеры суть горы». Это заключение формально истинно, потому что оно с необходимостью следует из двух данных положений, но материально оно ложно, потому что оно не соответствует действительности; гейзеры не суть горы. Таким Образом, умозаключение истинное формально может быть ложным материально.

Но возьмём следующий пример:

Все богачи тщеславны

Некоторые люди не суть богачи

След., некоторые люди не суть тщеславны.

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

Те правила, которые указывают, когда получаются заключения истинные формально, мы можем назвать формальными критериями истинности; те правила, которые определяют материальную истинность, мы можем назвать материальными критериями истинности.

Формальная логика по преимуществу изучает те отделы логики, в которых может быть применяем формальный критерий истинности.