8. Модальность суждения

Модальность суждения - это выраженная в суждении явно или неявно дополнительная информация. В логике различают три группы модальных суждений.

Первая группа - истинная (алетическая) модальность суждений. Это выраженная в терминах необходимости или возможности информация о логической, зависимости между субъектом и предикатом суждения, либо о фактической зависимости между отражаемыми в них явлениями. В границах истинной или алетической модальности принято выделять, во-первых, логическую обусловленность, или детерминированность. Например, в суждении "Очевидно автор "Задонщины" был участником "Куликовской битвы" устанавливается связь между освещаемыми событиями XIV в. и непосредственными знаниями автора. Во-вторых, выделяют фактическую обусловленность или детерминированность. Так, в суждении "Париж расположен западнее Варшавы" устанавливается именно фактическая модальность. В данном случае не требуется каких-либо особенных доказательств.

Вторая группа - несомненная (эпистемическая) модальность суждений. Она представляет собой выраженную в суждении информацию о характере принятия и степени обоснованности знания. Утверждение "Я знаю, что знаю мало в области философии" показывает обоснованность понимания данной проблемы. Знания в такого рода суждениях могут быть: достоверными, проблематичными, верифицированными, внелогическими.

Третья группа - обязательная (деонтическая) модальность суждений. Этот вид модальности является выражением в суждении побуждения людей к конкретному поведению в форме совета, команды, пожелания. Такой вид модальности суждений дает возможность логически анализировать следующие нормы: правопредставляющие -"имеет право", "может" и др.; правозапрещающие - "не может", "не в праве" и правообязывающие - "должен", "обязан".

9. Основные формально-логические законы

Первый закон логики - закон тождества - гласит: "Каждая мысль в процессе данного рассуждения должна иметь одно и то же определенное, устойчивое содержание". Это значит, что во время рассуждения нельзя подменять один предмет мысли другим.

Следующий логический закон - закон противоречия: "Две противоположные мысли об одном и том же предмете, взятом в одно и то же время и в одном и том же отношении, не могут быть одновременно истинными". По мнению исследователей, впервые этот закон был сформулирован Аристотелем. Закон противоречия он считал основным принципом мышления.

Против непоследовательности в наших рассуждениях направлен и закон исключенного третьего. Он гласит: "Из двух противоречащих высказываний в одно и то же время и в одном и том же отношении одно непременно истинно". Этот закон, как и предыдущий, был сформулирован Аристотелем. Латинская формулировка этого закона звучит так: "Третьего не дано".

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

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