Закон исключенного третьего. Законы формальной логики — это схемы всегда истинных высказываний

Законы формальной логики — это схемы всегда истинных высказываний.

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

Формулы законов логики называются тождественно-истинными формулами, ибо они принимают значение «истина» независимо от того, какие значения принимают входящие в их состав элементарные формулы: Р или не-Р

Основные законы логики:

1. Закон тождества

2. Закон противоречия (Закон непротиворечия)

3. Закон исключения третьего

4. Закон достаточного основания

Закон исключения третьего:

Из двух противоречащих друг другу суждений одно — истинно, другое — ложно, а третьего суждения не дано: Либо Р, либо не-Р.

2. Дать правильное (через род и видовое отличие) и варианты неправильных определений следующего понятия: (понятие не дано).

Логическая операция определения:

Определение (дефиниция) — логическая операция, раскрывающая содержание путем перечисления его родового и видовых признаков. Такое определение через род и вид называют классическим, или аристотелевским.

Структура определения:

· Определяемое понятие (Dfd) – понятие, содержание которого требуется раскрыть.

· Определяющее понятие (Dfn) – понятие, раскрывающее содержание определяемого понятия. В нем выделяют родовой и видовые признаки.

Правила определения:

1) Определение должно быть соразмеренным, то есть объем определяемого понятия должен быть равен объему определяющего понятия: Dfd = Dfn.

2) Определение не должно содержать круга, то есть определяющее понятие не должно раскрываться через определяемое понятие.

3) Определение должно быть ясным, однозначным, не содержать метафор и сравнений.

4) Определение по возможности не должно быть отрицательным.

Ошибки в определении:

· Слишком широкое определение: Dfd < Dfn.

· Слишком узкое определение: Dfd > Dfn.

· Круг в определении

№29