- •1. Объект и предмет формальной логики. Особенности абстрактного мышления. Истинность и правильность мышления. Язык логики.
- •2. Общая характеристика понятия как формы мысли: определение, логическая структура, приемы образования.
- •3. Виды понятий по содержанию и объему. Полная логическая характеристика понятий.
- •Положительные и отрицательные
- •Собирательные и несобирательные
- •Конкретные и абстрактные понятия
- •Безотносительные и соотносительные понятия
- •4. Отношения между понятиями. Совместимые и несовместимые понятия. Типы совместимости и несовместимости.
- •5. Обобщение и ограничение понятий. Основное требование к выполнению данных операций и ошибки в обобщении и ограничении.
- •6. Определение понятий и его структура. Явные и неявные, реальные и номинальные определения. Правила определения и возможные ошибки.
- •7. Деление понятий: сущность логической операции, ее структура, виды, правила и возможные ошибки.
- •8. Общая характеристика суждения: сущность, истинность и ложность, роль и функции суждений, их структура, суждение и предложение.
- •9. Виды и состав простых суждений. Их символическая запись.
- •10. Классификация простых категорических (атрибутивных) суждений.
- •11. Распределенность терминов в атрибутивных суждениях и способы ее определения.
- •12. Виды сложных суждений: особенности логического анализа, способы выражения в языке, символическое обозначение и условия истинности.
- •13. Логические отношения между простыми категорическими суждениями по логическому квадрату.
- •14. Отрицание суждений.
- •15. Умозаключение как форма мысли: определение, логическая структура и условия истинности. Классификация умозаключений.
- •16. Общая характеристика дедуктивных умозаключений: понятие, особенности логической природы и основные разновидности.
- •17. Непосредственные умозаключения: превращение, обращение, противопоставление предикату.
- •18. Простой категорический силлогизм: определение, состав, общие правила.
- •19. Фигуры и модусы простого категорического силлогизма. Правила фигур. Роль фигур в познании.
- •20. Способы проверки правильности простого категорического силлогизма.
- •21. Алгоритм разбора простого категорического силлогизма.
- •22. Умозаключения из сложных суждений: чисто условное и условно категорическое умозаключение (его модусы и условия правильности).
- •23. Умозаключения из сложных суждений: разделительно-категорическое умозаключение (его модусы, правила) и условно-разделительное умозаключение (понятие конструктивной и деструктивной диллем).
- •24. Сокращенный силлогизм (энтимема). Сложный и сложносокращенный силлогизмы (полисиллогизм, сорит, эпихейрема).
- •26. Научная индукция как вид неполной индукции. Характер выводов научной индукции. Методы научной индукции.
- •27. Умозаключения по анологии: логическая природа и структура. Виды аналогии. Условия состоятельности выводов по анологии.
- •28. Основные формально - логически законы: сущность, требования (и возможные ошибки вследствие их нарушения), значение.
- •29. Доказательство как вид аргументации: особенность и структура.
- •30. Способы аргументации (доказательства). Прямое обоснование тезиса и его формы.
- •31. Апагогическое и разделительное обоснование тезиса: особенности, логическая структура, алгоритм.
- •3) По отношению к демонстрации
- •33. Опровержение: сущность, структура, способы.
14. Отрицание суждений.
Это логическая операция, в результате которой образуется новое суждение, противоречащее исходному суждению. Обозначение («неверно, что…», «не ..», -А)
●Законы отрицания (образования противоречащих суждений):
1) Просты категорических суждений
-А =О
-Е= l
- l =Е
-О=А
2)Сложных суждений:
1) - (a ^ b) = -a или -b;
2) - (a ^ b) = - a ^ - b;
3) - (a или b) = (а ^ b) или (a ^ b);
4) - (a -> b) = a ^- b
5)-(а= b)=(-а^ b) или (а^ -b)
15. Умозаключение как форма мысли: определение, логическая структура и условия истинности. Классификация умозаключений.
Умозаключение — это форма мышления, посредством которой из одного или нескольких суждений выводится новое суждение.
Любое умозаключение состоит из посылок, заключения и вывода. Посылками умозаключения называют исходные суждения, из которых выводится новое суждение. Заключением называется новое суждение, полученное логическим путем из посылок. Логический переход от посылок к заключению называется выводом.
Например: «Судья не может участвовать в рассмотрении дела, если он является потерпевшим (1). Судья Н. — потерпевший (2). Значит, он не может участвовать в рассмотрении дела (3)».
В этом умозаключении 1-е и 2-е суждения являются посылками, 3-е суждение — заключением.
При анализе умозаключения посылки и заключение принято записывать отдельно, располагая их друг под другом. Заключение записывают под горизонтальной чертой, отделяющей его от посылок и обозначающей логическое следование. Слова «следовательно» и близкие ему по смыслу («значит», «поэтому» и т.п.) под чертой обычно не пишутся. В соответствии с этим приведенный пример примет следующий вид:
Судья не может участвовать в рассмотрении дела, если он является потерпевшим.
Судья Н. — потерпевший.
С удья Н. не может участвовать в рассмотрении дела.
●Отношения логического следования между посылками и заключением предполагает связь между посылками по содержанию. Если суждения не связаны по содержанию, то вывод из них невозможен. При наличии содержательной связи между посылками мы можем получить в процессе рассуждения новое истинное знание при соблюдении двух условий: во-первых, исходные суждения — посылки умозаключения должны быть истинными; во-вторых, в процессе рассуждения следует соблюдать правила вывода, которые обусловливают логическую правильность умозаключения.
●Умозаключения делятся на следующие виды.
1. В зависимости от строгости правил вывода различают демонстративные (необходимые) и недемонстративные (правдоподобные) умозаключения. Демонстративные умозаключения характеризуются тем, что заключение в них с необходимостью следует из посылок, т. е. логическое следование в такого рода выводах представляет собой логический закон. В недемонстративных умозаключениях правила вывода обеспечивают лишь вероятностное следование заключения из посылок.
2. По характеру связи между знанием различной степени общности, выраженному в посылках и заключении, различают три вида умозаключений: дедуктивные (от общего знания к частному), индуктивные (от частного знания к общему), умозаключения по аналогии (от частного знания к частному).