- •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.Сложные суждения и их виды.
- •26.Основы языка логики явлений.
- •27.Семантические таблицы истинности.
- •28.Отношения между сложными суждениями.
- •30.Основные законы логики.
- •31.Рассуждения и умозаключения. Структура умозаключений.
- •32.Типы классификаций умозаключений.
- •33.Специфика дедуктивных умозаключений и их виды.
- •34.Непосредственное умозаключение, их виды.
- •35. Простой категорический силлогизм. Структура, термины и правила силлогизма.
- •37.Энтимема. Способы образования и проверки энтимем.
- •38.Сложные силлогизмы. ( полисиллогизмы и сориты.)
- •39.Условно-категорические умозаключения, их использование при аргументации.
- •40.Чисто условные умозаключения, их роль в доказательстве.
- •41.Разделительно-категорические умозаключения, условия правильности вывода.
- •42.Дилеммы, их виды и правильные формы.
- •43.Недедуктивные умозаключения, их виды и роль в познании.
- •44.Индукция как метод познания.
- •45.Виды индуктивных умозаключений.
- •47.Методы научной индукции: методы сходства и различий, объединенный метод.
- •48.Методы научной индукции: метод сопутствующих изменений и остатков.
- •4. Метод сопутствующих изменений
- •5. Метод остатков
- •49.Умозаключение по аналогии, их структура и виды. Аналогия и моделирование.
- •50.Типичные ошибки в индуктивных и умозаключениях по аналогии.
- •51.Применение методов научной индукции и аналогии в юридической практике.
- •52.Аргументация и доказательство. Структура аргументации и доказательство.
- •53.Виды доказательств.
- •54.Критика и опровержение. Виды опровержения.
- •55.Правила и ошибки в доказательстве.
- •56.Требования к аргументации, типичные логические ошибки.
- •57.Понятие спора. Виды спора, их цели и характерные черты.
- •58.Уловки в споре.
- •59.Вопрос и ответ. Критерии правильности вопросов и ответов.
- •60.Вопрос как форма выражении проблемы. Проблема и проблемная ситуация.
- •61.Гипотеза как форма развития научного знания Виды гипотез.
- •62.Версия как вид гипотезы в юридической практике. Методы сравнений версий.
26.Сложные суждения и их виды.
Сложным называют суждение, состоящее из нескольких простых, связанных логическими связками. Различают следующие виды сложных суждений: 1) соединительные, 2) разделительные, 3) условные, 4) эквивалентные. Истинность таких сложных суждений определяется истинностью составляющих их простых.
1. Соединительные (конъюнктивные) суждения.
Соединительным, или конъюнктивным называют суждение, состоящее из нескольких простых, связанных логической связкой «и». Например, суждение «Кража и мошенничество относятся к умышленным преступлениям» является соединительным суждением, состоящим из двух простых: «Кража относится к умышленным преступлениям», «Мошенничество, относится к умышленным преступлениям». В естественном языке конъюнктивная связка может быть представлена и такими выражениями, как: «а», «но», «а также», «как и», «хотя», «однако», «несмотря на», «одновременно» и другими.
Соединительное суждение может быть как двух-, так и многосоставным; в символической записи: р л q л г л... л п.
2. Разделительные (дизъюнктивные) суждения.
Разделительным, или дизъюнктивным, называют суждение, состоящее из нескольких простых, связанных логической связкой «или». Например, суждение «Договор купли-продажи может быть заключен в устной или письменной форме» является разделительным суждением, состоящим из двух простых: «Договор купли-продажи может быть заключен в устной форме»; «Договор купли-продажи может быть заключен в письменной форме». Разделительное суждение может быть как двух-, так и многосоставным: р v q v ... v п.
3. Условные (импликативные) суждения.
Условным, или импликативным, называют суждение, состоящее из двух простых, связанных логической связкой «если.., то...». Например: «Если предохранитель плавится, то электролампа гаснет». Первое суждение — «Предохранитель плавится» называют антецедентом (предшествующим), второе — «Электролампа гаснет» —консеквентом (последующим).
4. Эквивалентные суждения (двойная импликация). Эквивалентным называют суждение, включающее в качестве составных два суждения, связанных двойной (прямой и обратной) условной зависимостью, выражаемой логической связкой «если и только если—, то...». Например: «Если и только если человек награжден орденами и медалями (р), то он имеет право на ношение соответствующих орденских планок (q)».
Логическая характеристика этого суждения состоит в том, что истинность утверждения о награждении (р) рассматривается как необходимое и достаточное условие истинности утверждения о наличии права на ношение орденских планок (q). Точно так же истинность утверждения о наличии права на ношение орденских планок (q) является необходимым и достаточным условием истинности утверждения о том, что данное лицо награждено соответствующими орденом или медалью (р). Такую обоюдную зависимость символически можно выразить двойной импликацией p(Стрелочка влево и стрелочка вправо)q, которая читается: «Если и только если р, то q». Эквивалентность выражают и другим знаком: р = q(Вместо 2х линий 3).