Истинность мысли и формальная правильность рассуждений
Понятие истинности (ложности) относится лишь к конкретному содержанию того или иного суждения. Если в суждении верно отражено то, что имеет место в действительности, то оно истинно, в противном случае оно ложно. Например, суждение “Все волки - хищные животные” истинно, а суждение “Все грибы - ядовиты” ложно.
Понятие формальной правильности рассуждения относится лишь к логическим действиям и операциям мышления. Если в числе посылок умозаключения встречается ложная посылка, то при соблюдении правил логики мы в заключении можем получить и истину, и ложь. Чтобы это показать, возьмем два умозаключения:
1. Все металлы - твердые тела.
Ртуть не является твердым телом.
Ртуть не является металлом.
2. Все небесные тела – планеты
Юпитер-небесное тело.
Юпитер - планета.
В первом умозаключении заключение получилось ложным именно потому, что в качестве первой посылки взято ложное суждение. Во втором же умозаключении, несмотря на первую ложную посылку, заключение является истинным суждением.
Чтобы заключение было истинным, обе посылки должны быть истинными суждениями и соблюдаться правила логики. При несоблюдении правил логики (если посылки при этом истинны) мы также можем получить как истинное, так и ложное заключение. Чтобы это показать, возьмем такие умозаключения:
3. Все тигры полосатые.
Это животное полосатое.
Это животное - тигр
4. Все ушастые тюлени – ластоногие.
Все ушастые тюлени - водные млекопитающие
_____________________________________
Все водные млекопитающие -ластоногие.
В третьем умозаключении обе посылки - истинные суждения, но полученное заключение может быть как ложным, так и истинным потому, что нарушено было одно из правил умозаключения. В четвертом умозаключении обе посылки - истинные суждения, но заключение - ложное, т. к. нарушено правило построения умозаключения (в соответствии с правилом, вместо слова “все” должно стоять слово “некоторые”).
Итак, с точки зрения содержания мышление может давать истинное или ложное отражение мира, а со стороны формы оно может быть логически правильным или неправильным. Истинность есть соответствие мысли действительности, а правильность мышления - соблюдение законов и правил логики. Нельзя отождествлять (смешивать) следующие понятия: “истинность” (“истина”) и “правильность”, а также понятия “ложность” (“ложь”) и “неправильность”.
Современная логика - это интенсивно развивающаяся наука, которая включает в себя логику формальную и логику диалектическую. На их базе формируется логика научного познания, использующая методы обеих наук для анализа научного знания.
Как уже отмечалось, формальная логика - наука о законах и формах правильного мышления. Формальная логика в определенном смысле подобна грамматике. К. Д. Ушинский считал логику грамматикой мышления. Подобно грамматике, придающей языку стройный и четко осмысленный характер, логика обеспечивает доказательность и стройность мышления.