- •1.Предмет логики как науки.
- •2.Мышление как объект и инструмент познания. Логика и правовое мышление.
- •3.Понятие логической формы. Истинность и правильность мысли
- •4.Язык как знаковая система.
- •5. Семантические категории языковых выражений. Язык логики.
- •6. Понятие как форма мышления. Образование понятий.
- •7. Объем и содержание понятий, их соотношение.
- •8. Операции ограничения и обобщения понятий.
- •9. Виды понятий
- •10. Отношения между понятиями
- •3. Противоречие-
- •11.Определение понятий и виды определений . Приёмы , сходные с определением.
- •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. Гипотеза и судебно-следственная версия, их подтверждение и
20. Отношение между простыми суждениями. "Логический квадрат"
Сравниваемые суждения - это суждения, имеющие одинаковые термины, но различающиеся по кол-ву и кач-ву. Среди сравниваемых суждений возникают отношения совместимости и несовместимости. Совместимость означает, что они могут быть вместе истинными. К такому типу относятся отношения подчинения и противности(субконтрастности). Несовместимость означает, что суждения не могут быть вместе истинными(отношения противополож-ти и противоречия). Различные логические отношения между простыми категорическими суждениями можно установить при помощи "логического квадрата", в вершинах которого располагают обозначения видов категорических суждений: A,E,I,O. Линии, соединяющие вершины-стороны квадрата- символизируют отношения между суждениями.
Отношения между А и I, E и O - подчинение. Если подчиняющее суждение истинно (ложно), то и подчиненное истинно(ложно), но не наоборот!
Все S есть Р ¬ (Некоторые S есть Р)
Некоторые S есть Р ¬ (Все S есть Р)
Ни один S не есть Р ¬ (Некоторые S не есть Р)
Некоторые S не есть Р ¬(Ни один S не есть Р)
A и E находятся в отношении противоположности. Они не могут быть вместе истинными, но могут быть вместе ложными
Все S есть P
¬(Ни один S не есть Р)
I и O в отношении противности, могут быть вместе истинными, но не могут быть вместе ложными
¬ (Некоторые S есть Р)
Некоторые S не есть Р
A и O, E и I, расположенные на диагоналях квадрата, находятся в отношении противоречия. Они не могут быть вместе ни истинными, ни ложными
Все S есть Р ¬ (Все S есть Р)
¬ (Некоторые S не есть Р) (Некоторые S не есть Р)
Ни один S не есть Р ¬ (Ни один S не есть Р)
¬ (Некоторые S есть Р) Некоторые S есть Р
См. логический квадрат в учебнике
21. Модальность суждений. Виды модальности.
Модальность - это характеристика или оценка суждения, данная с некоторой точки зрения. Существуют эпистемическая, деонтическая и алетическая модальности.
Алетические модальности. К ним относятся такие характеристики высказываний, как «необходимо», «возможно», «случайно»
Эпистемические модальности. Виды: «доказано» «опровергнуто» «убеждён» «сомневается» «знает» «верит»
Деонтические модальности (характеристика действий и поступков людей). К ним относятся виды: «обязательно», «разрешено», «запрещено», «безразлично»
22. Основные эквивалентности для алетических и эпистематических
модальностей.
По эпистемической модальности, выражающей степень обоснованности суждения, суждения делятся на достоверные и проблематичные (вероятные). Достоверные суждения выражаются с помощью операторов: доказано (верифицировано)- V и опровергнуто (фальсифицировано)- F (Vp- доказано, что р; V¬ p- доказано, что не-р; Fp- опровергнуто, что р; F¬ p- опровергнуто, что не-р). Проблематичные суждения выражаются с помощью оператора вероятно- Р (Рр- вероятно, что р; Р¬ р- вероятно, что не-р). Достоверные суждения могут быть выражены с помошью оператора опровергнутости: Vp≡F¬ p и V¬p≡Fp, проблематичные суждения- с помощью оператора доказанности и опровергнутости: Рр≡¬Vр ^¬Fp.
Алетическая модальность выражается в терминах "необходимо", "случайно", "возможно", "невозможно" и делится на логическую и фактическую, которая выражается операторами: необходимо (□р- необходимо р, □¬р- необходимо не-р), случайно (¬□р и ¬□ ¬р); возможно ( «знак ромбик» р, «знак ромби껬р),невозможно (¬ «знак ромбик» р, ¬ «знак ромбик» ¬ р)