- •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.Версия как вид гипотезы в юридической практике. Методы сравнений версий.
24.Отношения между простыми суждениями. « Логический квадрат».
Несравнимыми среди простых являются суждения, имеющие различные субъекты или предикаты. Таковы, например, два сужде ния: «Среди космонавтов есть летчики»; «Среди космонавтов есть женщины».
Сравнимыми являются суждения с одинаковыми субъектами и предикатами и различающиеся связкой или квантором. Обычно их называют суждениями одинаковой материи.
Среди сравнимых различают совместимые и несовместимые суждения.
Отношение совместимости.
К совместимым относятся суждения, которые одновременно могут быть истинными. Различают три вида совместимости: 1) эк-вивалентность (полная совместимость), 2) частичная совместимость (субконтрарность) и 3) подчинение.
Эквивалентными являются такие суждения, которые имеют одинаковые логические характеристики: одинаковые субъекты и предикаты, однотипную — утвердительную или отрицательную — связку, одну и ту же выраженную квантором количественную характеристику. С помощью логического квадрата отношения между простыми эквивалентными суждениями не иллюстрируются.
Частичная совместимость характерна для суждений I и О, которые могут быть одновременно истинными, но не могут быть одновременно ложными.
При ложности одного из них другое будет истинным. ». В то же время при истинности одного из частных суждений другое может быть как истинным, так и ложным.
Подчинение имеет место между суждениями А и I, E и О. Для них характерны следующие две зависимости.
При истинности общего суждения частное всегда будет истинным. При ложности частного суждения общее суждение также будет ложным. При подчинении остаются неопределенными следующие зависимости: при ложности общего суждения подчиненное частное может быть как истинным, так и ложным: 1 А—>(1 v11); Ч Е—>(0 vl О); при истинности подчиненного частного общее может быть как истинным, так и ложным.
Отношение несовместимости.
Несовместимыми являются суждения А и E, А и О, Е и I, которые одновременно не могут быть истинными. Различают два вида несовместимости: противоположность и противоречие.
Противоположными (контрарными) являются суждения А и Е, которые одновременно не могут быть истинными, но могут быть одновременно ложными.
Противоречащими (контрадикторными) являются суждения Аи О, Е и I, которые одновременно не могут быть ни истинными, ни ложными.
Для противоречия характерна строгая, или альтернативная несовместимость: при истинности одного из суждений другое всегда будет ложным; при ложности первого второе будет истинным. Отношения между такими суждениями регулируются законом исключенного третьего.
Следует отметить, что несовместимые единичные суждения могут находиться лишь в отношении противоречия и не могут находиться в отношении противоположности, ибо каждому отдельному предмету может быть либо присущ, либо не присущ определенный признак.
25.Модальные суждения. Понятие и виды модальностей.
Модальные суждения не просто утверждают или отрицают некоторые связи, а дают оценку этих связей с какой-то точки зрения. Модальными суждениями называют простые суждения, выражающие характер связи между субъектом и предикатом/простыми суждениями с помощью модальных операторов: “доказуемо”, “опровержимо”, “запрещено” и т.п. Модальность – это в суждении дополнительная информация о степени его обоснованности, логическом или фактическом статусе, о регулятивных, оценочных и других характеристиках. В логике выделяют три вида модальности: 1)алетическую; 2)деонтическую; 3)эпистемическую.
Алетическая модальность – выражается в суждении в терминах «необходимо», «случайно» или «возможно», «невозможно» – информация о логической или фактической обусловленности суждений. Суждения, выражающие вероятность высказываемого утверждения, называются вероятными. Деонтическая модальность – это выраженные в суждении просьба, совет, приказ или предписание, побуждающие кого-либо к совершению определенных действий. Эпистемическая модальность – это выраженная в суждении информация достоверного знания, выраженная в суждении степень его обоснованности. Данная модальность определяет, на каком основании было принято данное суждение – на вере или на знании: 1) вера – это принятие как истинных, так и ложных чужих мнений; 2) знание – это принятие как истинного, так и ложного суждения в результате его обоснования другими суждениями, из которых данное суждение вытекает как следствие.