- •1. Мышление как предмет логики. Логика и психология мышления.
- •2. Возникновение и основные этапы развития логики.
- •3. Понятие логической формы. Основные формы логического мышления в их взаимосвязи.
- •4. Понятие логического закона. Основные формально-логические законы как законы правильного мышления.
- •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. Методы индуктивных исследований.
- •27. Традуктивные умозаключения (умозаключения по аналогии). Виды аналогии.
- •28. Место гипотезы в научном познании. Гипотетико-дедуктивный метод.
- •29. Гипотеза: виды, этапы формирования. Подтверждение и опровержение гипотез.
- •30. Логические основы аргументации: структура, виды, правила
- •Правила доказательного рассуждения
- •31. Логика доказательства. Прямое и косвенное доказательство.
- •32. Логика опровержения (критики). Прямое и косвенное опровержение.
- •33. Логика и риторика. Допустимые и недопустимые уловки в процессе аргументации. Софизмы и паралогизмы. Понятие логического парадокса.
11. Виды простых суждений. Их качественные, количественные и модальные характеристики. Формулы суждений.
Простые суждения классифицируются по следующим основаниям.
1. По объему субъекта (по количеству):
Единичные - суждения, включающие утверждение или отрицание об одном предмете субъекта рассуждения. Их формула:
Это S есть (не есть) Р
Так, выражение «Московский гуманитарно-экономический институт готовит квалифицированных юрисконсультов» - единичное суждение, так как объем субъекта - «Московский гуманитарно-экономический институт» -включает конкретное высшее учебное заведение.
Частные - суждения, в которых что-либо утверждается или отрицается о части предметов некоторого класса. Эта часть может быть определенной и неопределенной. В зависимости от данного обстоятельства частные сужения подразделяются на определенные и неопределенные.
Определенное частное суждение содержит знание и о той, и о другой части субъекта суждения. Оно имеет такую логическую схему:
Только некоторые S есть (не есть) Р
Например, «Только некоторые правовые концепции базируются на философских принципах».
Логическая схема неопределенного суждения такова:
Некоторые S есть (не есть) Р
Квантор «некоторые» придает ему неопределенность. Например: «Некоторые проблемы юриспруденции носят философский характер».
Общие - суждения, в которых что-либо утверждается или отрицается о каждом предмете данного класса. Логические схемы таких суждений имеют вид:
Все S есть Р или Ни одно S не есть Р
Например, «Каждая страна имеет свой гимн» является общим суждением, так как объем субъекта включает весь класс отображаемых предметов.
2. По качеству связки (по качеству) суждение может быть утвердительным или отрицательным.
Утвердительное суждение выражает принадлежность предмету некоторого признака. Например, «Лицо, виновное в совершении преступления, привлекается к уголовной ответственности».
Отрицательное суждение выражает отсутствие у предмета некоторого признака. Например, «Некоторые противоправные действия не являются преступлениями».
При этом следует различать отрицательное суждение, (например, «Захватническая война не имеет законного основания») и негативную форму выражения утвердительного суждения (например, «Захватническая война незаконна»). Такого вида суждения не всегда идентичны.
3. По содержанию предиката суждение делится на суждение свойства (атрибутивное), суждение отношения (релятивное) и суждение существования (экзистенциальное).
Суждение свойства (атрибутивное суждение) отражает принадлежность или не принадлежность предмету мысли того или иного свойства, состояния. Например, «Прокурор - это человек, имеющий специальное юридическое образование».
Суждение отношения (релятивное суждение) выражает различные связи между предметами мысли по месту, времени, причиной зависимости. Например, «Благополучие государства зависит от законов» (Аристотель).
Суждение существования (экзистенциальное суждение) указывает на факт наличия или отсутствия того или иного предмета мысли. К таким суждениям относятся, например, «Нет преступления без указания о том в законе» или «Не существует абсолютной повторяемости явлений».
В классической логике различают также категорическое суждение, в котором утверждение или отрицание выражается без формулировки каких-либо условий и без каких-либо вариантов. Обычно к категорическим относят все атрибутивные суждения.