- •1. Понятие о логической форме мысли и логическом законе. Предмет логики.
- •2. Основные этапы развития логики. Значение логики для юристов.
- •3. Язык как знаковая система. Специфика языка права.
- •4. Учение логики об именах.
- •5. Основные семантические категории выражений языка.
- •6. Суждение. Простые суждения: атрибутивные и суждения об отношениях.
- •7. Сложные суждения.
- •8. Отношения между суждениями.
- •9. Отрицание суждений.
- •10. Логическая и прагматическая характеристика вопросов и ответов.
- •11. Аргументация и логическое доказательство (доказывание). Состав, виды.
- •12. Критика и опровержение. Состав и виды.
- •13. Основные стратегии аргументации и критики.
- •14. Тактические приемы аргументации и критики.
- •15. Правила аргументации и критики по отношению к тезису. Ошибки и уловки.
- •16. Правила аргументации и критики по отношению к аргументам. Ошибки и уловки.
- •17. Условно-категорические и разделительно-категорические умозаключения. Дилемма.
- •18. Язык логики высказываний. Табличные определения логических терминов.
- •19. Способ построения таблиц истинности для формул логики высказываний.
- •20. Метод исследования рассуждений посредством таблично построенной логики высказываний.
- •21. Способ установления отношений между суждениями посредством таблично построенной логики высказываний.
- •22. Выводы из категорических суждений: умозаключения по логическому квадрату, обращение и превращение.
- •23. Выводы из категорических суждений: противопоставление предикату и противопоставление субъекту.
- •24. Категорический силлогизм. Состав, общие правила силлогизма.
- •25. Категорический силлогизм. Фигуры. Графический способ анализа. Энтимема силлогизма.
- •26. Обобщающая индукция: статистическая и нестатистическая.
- •27. Методы установления причинных связей между явлениями.
- •28. Умозаключения по аналогии.
- •29. Понятие. Объем понятия (логический и фактический). Содержание понятия (логическое и фактическое). Закон обратного отношения.
- •30. Виды понятий.
- •31. Отношения между понятиями по содержаниям и объемам. Обобщение и ограничение понятий.
- •32. Определение. Виды определений и правила. Ошибки в определениях.
- •33. Деление: таксономическое и мереологическое. Правила деления. Ошибки. Классификация.
- •34. Проблема и теория.
- •35. Гипотеза и следственная версия.
20. Метод исследования рассуждений посредством таблично построенной логики высказываний.
Различают два вида дедуктивных умозаключений в зависимости от того, учитывается ли в них при осуществлении вывода внутренняя структура простых суждений, входящих в посылки и заключения, или нет. В этом параграфе описываются умозаключения, в которых при осуществлении вывода внутренняя структура простых суждений не учитывается, они называются выводами логики высказываний.
Рассмотрим умозаключения, частные случаи которых в традиционной логике назывались условно-категорическими. Это умозаключения, в которых одна посылка — условное суждение, а вторая посылка совпадает с основанием или следствием условного суждения или же с результатом отрицания основания или следствия условного суждения. Следуя сложившейся в последние десятилетия традиции, будем называть эти умозаключения также условно-категорическими.
Чтобы выяснить, является ли условно-категорическое умозаключение правильным или нет, нужно выявить его форму и установить, относится оно к одному из правильных модусов или нет. Если оно относится к правильному модусу, то оно правильное. В противном случае — неправильное.
21. Способ установления отношений между суждениями посредством таблично построенной логики высказываний.
Сопоставление сложных суждений позволяет разделить их на группу независимых и группу зависимых суждений.
К независимым относятся суждения, которые не имеют общих составляющих; для них характерны все сочетания истинных значений. Зависимые - это суждения, которые имеют одинаковые составляющие и могут различаться логическими связками, включая отрицание. Пример зависимых сложных суждений: "Норвегия или Швеция имеют выход к Балтийскому морю" и "Не верно, что Норвегия и Швеция имеют выход к Балтийскому морю". Хотя эти суждения различны по логической форме (первое из них - дизъюнктивное суждение, а второе - отрицание конъюнкции), вместе с тем они зависимы, поскольку включают одинаковые составляющие.
Сложные зависимые суждения могут быть совместимыми и несовместимыми.
Отношение совместимости.
К совместимым относятся суждения, которые одновременно могут быть истинными. Как и в случае простых суждений различают три вида совместимости сложных суждений: эквивалентность, частичная совместимость и подчинение.
Эквивалентными являются такие суждения, которые принимают одни и те же значения, т. е. одновременно являются либо истинными, либо ложными.
Отношение эквивалентности позволяет выражать одни сложные суждения через другие - конъюнкцию через дизъюнкцию или импликацию, и наоборот.
Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными.
Подчинение между суждениями имеет место в том случае, когда при истинности подчиняющего, подчиненное всегда будет истинным.
Отношение логического подчинения, позволяющее по истинности подчиняющего суждения определить истинность подчиненного, составляет основу фундаментального в науке логики понятия логического следования, регулирующего все виды рассуждений.
Отношение несовместимости.
Несовместимыми являются суждения, которые одновременно не могут быть истинными. Из двух видов несовместимости одна - противоположность, другая - противоречие.
Противоположность - отношение между суждениями, которые одновременно не могут быть истинными, но могут быть одновременно ложными.
Противоречащими являются суждения, которые одновременно не могут быть ни истинными, ни ложными. При истинности одного из них другое будет ложным, а при ложности первого второе будет истинным.