Семинарское занятие 3. Определение вида формулы. Понятие формально-логического закона

План

1. Таблицы истинности и определение вида формулы.

2. Понятие логического закона.

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

4. Законы непротиворечия и исключенного третьего.

5. Закон (принцип) достаточного основания.

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

Основные понятия и категории: “логический оператор”, “константа”, “матрица”, “пропозициональная переменная”, “таблица истинности”, “закон”, “закономерность”, “принцип,” “логический закон”, “тождество”, “противоречие”, “достаточное основание”, идентификация”.

Вопросы для самоконтроля

1. В чем единство и отличия законов бытия и законов мышления? Какова природа логических законов?

2. Назовите основные черты логического закона

3. Каковы отличия закона от принципа?

4. Укажите принципы классификации формально-логических законов

5. Каковы методологические требования закона тождества (непротиворечия, исключенного третьего, достаточного основания)?

6. Назовите ошибки, возникающие при нарушении закона тождества

7. На какие суждения распространяется закон исключенного третьего?

8. Какие вы знаете интерпретации закона исключенного третьего?

9. В чем суть проблемы “твердых оснований”? Почему закон достаточного основания в современной логике получил статус принципа?

10. Какое значение имеют законы логики для деятельности юриста?

11. Сформулируйте принципы построения таблиц истинности сложных суждений.

12. Сформулируйте законы де Моргана.

13. Сформулируйте закон Клавия.

14. В чем суть законов ассоциативности в математике и логике?

15. В чем отличие фактуальной формулы от формулы противоречивой?