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