Законы логики норм

В числе законов логики норм — положения, что никакое действие не может быть одновременно и обязательным, и запрещенным, что безразличное не является ни обязательным, ни запрещенным и т.п. Одна из групп законов касается связей между основными нормативными понятиями. Эти законы, в частности, говорят: «Действие обязательно только в том случае, если запрещено воздерживаться от него», «Действие разрешено, когда оно не запрещено», «От запрещенного обязательно воздерживаться» и т.д.

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

Законы логики оценок

Вот некоторые примеры законов логики оценок: «Ничто не может быть хорошим и плохим одновременно», «Ничто не может быть и плохим, и безразличным», «Невозможно быть и хорошим, и безразличным». «Безразличное» здесь понимается как то, что не является ни хорошим, ни плохим.

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

Законы логики как элементы логической системы

Есть еще один предрассудок, культивировавшийся «расширенной» логикой и доживший до наших дней, — это обсуждение законов логики в полном отрыве их от всех иных ее важных тем и понятий и даже в изоляции их друг от друга.

При чтении старых книг по логике постепенно складывается впечатление разрозненности, необязательности и несвязанности рассматриваемых в них тем. Если удалить из старого учебника логики, скажем, раздел о законе исключенного третьего, на трактовке других законов это не скажется. Можно вообще устранить из такого учебника всякое упоминание об основных законах. И при этом все оставшееся не нужно будет даже перефразировать.

Законы логики

Трактовка логических законов в традиционной логике.

Под это до крайности расплывчатое понятие основных законов можно было подвести самые разнородные идеи. Обычно к таким законам относили закон противоречия, закон исключенного третьего и закон тождества. НереДко к ним добавляли еще закон достаточного основания и принцип «обо всех и ни об одном».

Законы логикии.

Законы де Моргана

Именем английского логика XIX в. А. Де Моргана называются логические законы, связывающие с помощью отрицания высказывания, образованные с помощью союзов «и» и «или».

Один из этих законов можно выразить так:

отрицание высказывания «А и В» эквивалентно высказыванию «не-А или не-В».

Например: «Неверно, что завтра будет холодно и завтра будет дождливо, если и только если завтра не будет холодно или завтра не будет дождливо».

Другой закон:

неверно, что А и В, если и только если неверно А и неверно В. Например: «Неверно, что ученик знает арифметику или знает геометрию, если и только если он не знает ни арифметики, ни геометрии.

На основе этих законов, используя отрицание, связку «и» можно определить через «или», и наоборот:

«А и В» означает «неверно, что не-А или не-В»,

«А или В» означает «неверно, что не-А и не-В».

Законы логики.

Закон контрапозиции

«Закон контрапозиции» — это общее название для ряда логических законов, позволяющих с помощью отрицания менять местами основание и следствие условного высказывания.

Один из этих законов, называемый иногда законом простой контрапозиции, звучит так:

если первое влечет второе, то отрицание второго влечет отрицание первого.

Например: «Если верно, что число, делящееся на шесть, делится на три, то верно, что число, не делящееся на три, не делится на шесть».

Другой закон контрапозиции говорит:

если верно, что если не-первое, то не-второе, то верно, что если второе, то первое.

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

Еще два закона конрапозиции:

Содержание и формы логических законов.

Для природы и общества характерна взаимосвязь предметов и явлений.
Эти связи могут быть объективными и субъективным, случайными и
необходимыми, общими и частными. Наиболее объективные, устойчивые,
необходимые и существенные связи носят название закона. Законы природы
фиксируют то наиболее прочное, повторяемое, что остается в явлении. Человек
в своем развитии приобрел способность познавать окружающий мир,
субъективный образ которого должен совпадать с реальностью.
Для студента это положение методологично, поскольку он должен
понять и объяснить факт содержательного совпадения и формального отличия
законов природы и законов логики.

Основные законы алгебры логики.

В алгебре логики переменные могут принимать только 2 значения:
0 или 1.
Табл.1.1 Табл.1.2
------------T------------¬ -----------T---------¬
¦Аргументы ¦ Функции ¦ ¦Аргументы ¦ Функция¦
+-----------+------T-----+ +----------+---------+
¦ ¦ И ¦ ИЛИ¦ ¦ ¦ НЕ ¦
¦ х1 х2 +------+-----+ ¦ х +---------+
¦ ¦ у1¦ у2¦ ¦ ¦ у3 ¦
+-----------+------+-----+ +----------+---------+
¦ 0 0 ¦ 0 ¦ 0 ¦ ¦ 0 ¦ 1 ¦
¦ 0 1 ¦ 0 ¦ 1 ¦ +----------+---------+
¦ 1 0 ¦ 0 ¦ 1 ¦ ¦ 1 ¦ 0 ¦
¦ 1 1 ¦ 1 ¦ 1 ¦ L----------+---------+
+-----------+------+------
И -логическое умножение,конъюкция.
ИЛИ -логическое сложение,дизъюнкция.
НЕ -отрицание,инверсия.

Четвертый основной закон формальной логики выражает то фундаментальное свойство логической мысли, которое называют обоснованностью или доказанностью. Формулируется он обычно так: всякая мысль истинна или ложна не сама по себе, а в силу достаточного основания. Это значит: любое положение, прежде чем стать научной истиной, должно быть подтверждено аргументами, достаточными для признания его твердо и неопровержимо доказанным. Тем самым дается объяснение: по каким причинам имеет место данное положение, а не другое.

Закон достаточного основания был введен, как уже отмечалось, Лейбницем и не сразу получил признание логиков. Это объясняется тем, что у самого автора этого закона он представляет собой неотъемлемый элемент его собственных философско-мировоззренческих убеждений, в частности, его учения о предустановленной гармонии.