Тема 4. Понятие формально-логического закона

Общая характеристика матричного анализа истинности сложных суждений. Алгоритм построения таблиц истинности. Условия истинности сложных суждений. Парадоксы материальной импликации. Понятие правильно построенной формулы. Виды формул. Формулы выполнимые и противоречивые (невыполнимые). Фактуальные формулы и формулы, имеющие денотатом законы.

Понятие закона. Законы всеобщие и частные. Законы бытия и законы мышления (логические законы). Основные черты законов мышления: объективность, аксиоматичность, универсальность, относительность (лимитативность достаточная). Проблема дифференциации законов в традиционной и современной логике. Закон и принцип.

Закон тождества, его сущность, символическое выражение и требования точности, определенности, однозначности мыслей в процессе рассуждения. Условия соблюдения закона тождества и ошибки, связанные с его нарушением.

Закон непротиворечия, его сущность, символическое выражение и требования. Условия реализации и границы действия закона непротиворечия. Проблема совместимости норм права.

Закон исключенного третьего, его сущность, символическое выражение и требования. Сфера и границы действия закона исключенного третьего. Закон исключенного третьего в многозначной логике.

Закон (принцип) достаточного основания, его сущность и требования. Требование обоснованности как необходимое условие правильного мышления. Проблема “твердых оснований”. Основные способы обоснования, обеспечивающие “достаточные основания”.

Законы де Моргана. Закон Клавия. Закон гипотетического силлогизма. Закон двойного отрицания.

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