Логические законы

Соблюдение законов логики -- необходимое условие достижения истины в процессе рассуждения. Основными формальнологическими законами обычно считаются:

1) закон тождества;

2) закон непротиворечия;

3) закон исключенного третьего;

4) закон достаточного основания. Они будут подробно излагаться в отдельной главе. Эти законы (принципы) выражают определенность, непротиворечивость, доказательность мышления.

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

Истинность мысли и формальная правильность рассуждений

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

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

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

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

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

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

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

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

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

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

Современная логика -- это интенсивно развивающаяся наука, которая включает в себя логику формальную и логику диалектическую. На их базе формируется логика научного познания, использующая методы обеих наук для анализа научного знания.

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

В – 32

Разделительно-категорическое умозаключение

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

Простые суждения, из которых состоит разделительное (дизъюнктивное) суждение, называются членами дизъюнкции, или дизъюнктами.