- •1. Предмет логики как науки.
- •2. Мышление как объект и инструмент познания. Логика и правовое мышление
- •3. Понятие логических форм. Истинность и правильность мысли.
- •4. Язык как знаковая система. Требования к языку права.
- •5. Семантические категории языковых выражений. Язык логики.
- •6. Понятие как форма мышления. Образование понятий.
- •7. Объем и содержание понятий, их отношения.
- •8. Операции ограничения и обобщения понятий.
- •9. Виды понятий.
- •10. Отношения между понятиями.
- •11. Определение понятий и виды определений. Приемы сходные с операциями.
- •12. Правила определения. Ошибки в определениях.
- •13. Деление понятий и его виды.
- •14. Правила деления и ошибки, возможные при делении.
- •15. Классификация, виды классификаций.
- •16. Суждение как форма мышления. Суждение и предложение.
- •17. Простые суждения и их виды.
- •18. Категорические суждения и их виды.
- •19. Распределенность терминов в категорических суждениях.
- •20. Отношения между простыми суждениями. «Логический квадрат».
- •Модальность суждений. Виды модальностей.
- •Основные эквивалентности для атлетических и эпистемических модальностей.
- •Логические отношения между деонтическими модальностями и их значение для построения нормативных рассуждений.
- •Сложные суждения и их виды. Логическая форма сложных суждений.
- •Семантическая таблица истинности.
- •Отношения между сложными суждениями. Понятие логического следования.
- •Законы логики и логические противоречия.
- •Основные законы логики
- •Отличительные черты дедуктивных умозаключений и их роль в познании.
- •Силлогический вывод. Непосредственные умозаключения, их вывод.
- •Простой категорический силлогизм. Структура и термины силлогизма.
- •Правила силлогизма: правила терминов и посылок.
- •Фигуры силлогизма и их познавательные функции. Правила фигур. Понятие модуса силлогизма.
- •Энтимема. Способы образования и проверки энтимем.
- •Сложные силлогизмы (полисиллогизмы сориты).
- •Условно-категорические умозаключения, их использование при аргументации.
- •Чисто условные умозаключения, условная правильность выводов.
- •Разделительно-категорические умозаключения, условная правильность вывода.
- •Дилеммы, их виды и правильные формы.
- •Недедуктивные умозаключения, их виды и роль в познании
- •Индукция, как метод познания. Полная индукция, возможность ее применения.
- •Неполная индукция и способы повышения ее надежности.
- •Методы сходства и различия. Объединенный метод.
- •Методы сопутствующих изменений и остатков.
- •Умозаключения по аналогии, их структура и виды.
- •Роль аналогии в науке и правовом процессе.
- •Аргументация, доказательство и опровержение, их структура.
- •Способы доказательств.
- •Виды опровержения.
- •Правила по отношению к тезису: возможные ошибки и уловки.
- •Правила по отношению к аргументам: возможные ошибки и уловки.
- •Основные требования к аргументации
- •Виды аргументации
- •Структура вопроса, виды вопросов и критерии их правильности.
- •Ответ, виды ответов, критерии правильности ответов
17. Простые суждения и их виды.
Простые суждения, не включают в себя другие суждения, состоят из субъекта и предиката. Выделяют следующие 3 вида простых суждений:
- атрибутивные, указывающие на свойство присущие или не присущее предмету ( S есть Р (S-Р)), так же бываю со сложным предикатом или субъектом (S есть (Р1Р2Р3)Р)
- с отношениями или реляционные, указывают на отношения между предметами (А равно В, или А больше В, и записываются как хRу, где х и у - члены отношения, они обозначают понятия о предмете, а R - связка «относительный).
- существования, отражающие факт существования или не существования того или иного предмета мысли (например: «Статистические законы (S) есть то, что существует (Р)).
18. Категорические суждения и их виды.
Атрибутивные простые сужения принято делить по двум основаниям:
- по качеству (на утвердительные и отрицательные суждения, в зависимости от связки «есть» или «не есть») - по количеству ( на общее (все S - Р) и на частное (некоторые S -Р)).
Единичные понятия приравниваются в общим, так как в них субъект берется в полном объеме (Сократ - человек).
Категорическими называются атрибутивные суждения, определенные по количеству и качеству. При помощи них возможно максимально четко и ясно выразить мысль.
Существуют 4 вида категорических суждений:
- Общеутвердительное (Все S есть Р), их принято обозначать буквой А.
- Общеотрицательные (Ни один S не есть Р), их принято обозначать буквой Е.
- Частноутвердительные (Некоторые S есть Р), их принято обозначать буквой I.
- Частноотрицательные (Некоторые S не есть Р), их принято обозначать буквой O.
То обстоятельство, что в категорических суждениях четко выяснено качество и количество, позволяет достаточно четко сформулировать условия их истинности.
19. Распределенность терминов в категорических суждениях.
Субъект и предикат называются терминами суждения. Теримн называется распределенным, если он рассматривается в сужении в полном объеме (объем термина либо полностью включается (+), либо исключается (-) из объема другого термина).
Суждение А ( S + Р + или -), суждение Е (S + Р +), суждение I ( S+ Р+ или -), суждение О (S- Р+).
К числу категорических суждений часто относят выделяющие и исключающие суждения.
Выделяющие бывают: общеутверждающие (Все S, и только S, есть Р, где S всегда +) и частноутверждающие (некоторые S, и только S, есть Р, где S всегда -).
Исключающие выражаю принадлежность (или не принадлежность) признака всем предметам, за исключением некоторой их части (все кроме, ни один кроме).
20. Отношения между простыми суждениями. «Логический квадрат».
Суждения делятся на сравнимые и несравнимые.
Сравнимые - имеют одинаковый субъект и различающейся связкой или квантором (все студенты ходят в институт и все студенты не ходят в школу).
Несравнимые - имеют разные субъекты и предикаты (некоторые студенты первокурсники и некоторые студенты заочники).
Эти отношения обычно рассматриваются при помощи логического квадрата, его вершины символизируют простые категорические суждения - АЕIО, стороны диагонали — отношения между суждениями.
Среди сравнимых различают совместимые и несовместимые суждения.
Совместимые - суждения, которые одновременно могут быть истинными, бывают 3 вида совместимости:
- эквивалентность (суждения, имеющие одинаковый логические характеристики: одинаковые субъект и предикат, однотипную связку, количественную и качественную характеристику). С помощью логического квадрата данные отношения не регистрируются.
- частичная совместимость характерна для суждений I и O, которые могут быть одновременно истинными, но не могут быть одновременно ложными ( например при ложности суждения «некоторые злакт ядовиты», будет истинно суждение «некоторые злаки не являются ядовитыми», так же они могут быть одновременно истинными).
- подчинение имеет место между суждениями А и I, Е и О, где при истинности общего суждения частное всегда будет истинным, а при ложности частного - общее тоже ложно (все хищения совершаются по неосторожности и некоторые хищения совершаются по неосторожности).
Несовместимыми являются суждения А и Е, А и О, Е и I, которые одновременно не могут быть истинными.
Различают 2 вида несовместимости: противоположность и противоречие.
Противоположными являются суждения А и Е, которые одновременно не могут быть истинными, но могут быть одновременно ложными. ( ни один судья не является юристом и все судьи юристы, одно истинно).
Противоречащими являются суждения А и О, Е и I, которые одновременно не могут быть ни истинными ни ложными (если истинно что все принципиальные люди признают свои ошибки, то ложно что некоторые принципиальные люде не признают своих ошибок).