- •1.Предмет логики как науки.
- •2.Мышление как объект и инструмент познания. Логика и правовое мышление.
- •3.Понятие логической формы. Истинность и правильность мысли
- •4.Язык как знаковая система.
- •5. Семантические категории языковых выражений. Язык логики.
- •6. Понятие как форма мышления. Образование понятий.
- •7. Объем и содержание понятий, их соотношение.
- •8. Операции ограничения и обобщения понятий.
- •10. Отношения между понятиями
- •3. Противоречие-
- •11.Определение понятий и виды определений . Приёмы , сходные с определением.
- •9. Виды понятий
- •12. Правила определения. Ошибки в определениях.
- •13. Деление понятий и его виды.
- •14. Правила деления и ошибки, возможные при делении.
- •15. Классификация, виды классификации.
- •16. Суждение как форма мышления. Суждение и предложение
- •17. Простые суждения (пс) и их виды
- •18. Категорические суждения, их виды
- •19. Распределенность терминов в категорических суждениях
- •20. Отношение между простыми суждениями. "Логический квадрат"
- •21. Модальность суждений. Виды модальности.
- •22. Основные эквивалентности для алетических и эпистематических
- •23. Логические отношения между деонтическими модальностями и их значение для построения нормативных рассуждений
- •24. Сложные суждения и их виды. Логическая форма сложных суждений.
- •25. Семантические таблицы истинности.
- •26. Отношения между сложными суждениями. Понятие логического следования.
- •27. Законы логики и логические противоречия.
- •28. Основные законы логики.
- •29. Рассуждение, его структура. Характеристика умозаключения и его видов.
- •30. Отличительные черты дедуктивных умозаключений и их роль в познании.
- •31. Силлогистический вывод. Непосредственные умозаключения,
- •Простой категорический силлогизм. Структура и термины силлогизма.
- •Правила силлогизма: правила терминов и посылок.
- •Фигуры силлогизма и их познавательные функции. Правила фигур. Понятие модуса силлогизма.
- •Энтимема. Способы образования и проверки энтимем.
- •Сложные силлогизмы (полисиллогизмы и сориты).
- •Условно – категорические умозаключения, их использование при аргументации.
- •Чисто условные умозаключения, их роль в доказательстве.
- •Разделительно – категорические умозаключения, условия правильности вывода.
- •40. Дилеммы, их виды и правильные формы.
- •41. Недедуктивные умозаключения, их виды и роль в познании.
- •42. Индукция как метод познания. Полная индукция, возможности ее применения.
- •43. Неполная индукция и способы повышения ее надежности.
- •44. Научная индукция. Типичные ошибки, возникающие при анализе причинных связей.
- •45. Методы сходства и различия. Объединенный метод.
- •46. Методы сопутствующих изменений и остатков.
- •47. Умозаключения по аналогии, их структура и виды.
- •48 Роль аналогии в науке и правовом процессе.
- •49. Аргументация, доказательство и опровержение, их структура.
- •50.По форме доказательства делятся на прямые и косвенные.
- •51. Виды опровержения.
- •52. Правила по отношению к тезису: возможные ошибки и уловки.
- •53.Правила по отношению к аргументам, возможные ошибки и уловки.
- •54.Правила по отношению к демонстрации и возможные ошибки.
- •55. Основные требования к аргументации.
- •56. Виды аргументации.
- •57. Структура вопроса, виды вопросов и критерии их правильности
- •58. Ответ, виды ответов, критерии правильности ответов.
- •59. Проблема и гипотеза как способы представления и развития знания.
- •60. Гипотеза и судебно-следственная версия, их подтверждение и
23. Логические отношения между деонтическими модальностями и их значение для построения нормативных рассуждений
Деонтическая модальность выражает предписание в форме совета, пожелания, правила поведения, приказа. К деонт-м модальностям относятся нормативные высказывания, в том числе правовые нормы: правообязывающие, правозапрещающие, правопредоставляющие. Они выражаются с помощью операторов: О-обязательно, F-запрещено, P-разрешено. A- некоторое немодальное высказывание.
¬FA ≡PA «Что не запрещено, разрешено»
OA ≡ ¬P¬A (А обязательно, если не разрешено не- А)
¬OA≡ P¬A (А необязательно, если разрешено не-А)
FA ≡O¬A (А запрещено, если обязательно не-А)
OA ≡F¬A (А обязательно, если запрещено не-А)
Не имеют место OA →A, а также неверно, что A→ PA
24. Сложные суждения и их виды. Логическая форма сложных суждений.
Сложным называют суждение, состоящее из нескольких простых, связанных логическими связками.
Различают следующие виды сложных суждений:
Соединительные (конъюнкция)
Разделительные (дизъюнкция)
Строго-разделительные (строгая дизъюнкция)
Условные (импликация)
Суждения эквивалентности
Отрицательные суждения (отрицание)
Истинность таких сложных суждений определяется истинностью составляющих их простых.
25. Семантические таблицы истинности.
Истинность ил ложность сложного суждения зависят, во-впервых, от истинности или ложности простых суждений, входящих в его состав, во-вторых, от свойств соответствующих логических союзов. Определяется эта зависимость посредством специальных семантических таблиц.
Соединительное суждение – конъюнкция.
Ему соответствует союз «И». Логическая форма: (А&В) Суждение будет истинным, если оба его составляющие будут истинной. Если одно из них или оба – ложь, то и суждение будет ложным.
Семантическая таблица для конъюнкции. (и – истина, л – ложь)
-
А
В
(А&В)
И
И
И
И
Л
Л
Л
И
Л
Л
Л
Л
Разделительное суждение – дизъюнкция.
Соответствует союз «или». Логическая форма: (А \/ В). Если хотя бы одно из суждений – истина, то суждение истинно..
Семантическая таблица для дизъюнкции.
-
А
В
(А\/В)
И
И
И
И
Л
И
Л
И
И
Л
Л
Л
Строго-разделительное суждение - строгая дизъюнкция.
Соответствует союз «либо...,либо…».Логическая форма: ( А _\/_ В ) Предполагает выбор альтернатив, но не обеих вместе.
Семантическая таблица для строгой дизъюнкции.
-
А
В
(А_\/_В)
И
И
Л
И
Л
И
Л
И
И
Л
Л
Л
Условное суждение – импликация.
Соответствует союз «Если…, то…». Логическая форма: (А→ В). Первый аргумент импликации (А) называется антецедентом/условием, а второй (В) – консеквентом/следствием. Импликация будет ложной только в том случае, если условие выполнено, а следствие не наступило.
Семантическая таблица для импликации.
-
А
В
(А→В)
И
И
И
И
Л
Л
Л
И
И
Л
Л
И
Суждение эквивалентности.
Соответствует союз «….тогда и только тогда, когда….». Логическая форма: (А = В)
Суждение истинно только тогда, когда оба суждения либо истинны, либо оба ложны.
Сематическая таблица для эквивалентности.
-
А
В
(А=В)
И
И
И
И
Л
Л
Л
И
Л
Л
Л
И
Отрицательные суждения.
Соответствуют выражения «не», «наверно, что…». Отрицание действует только на одно суждение, поэтому
Сематическая таблица для отрицания будет выглядеть так:
-
А
¬А
И
Л
Л
И