- •1. Предмет и значение логики. Абстрактное мышление и его формы. Понятие о логической форме и логическом законе.
- •2. Возникновение логики как науки.
- •3. Понятие как форма мышления. Основные логические приемы формирования понятий.
- •4. Содержание и объем понятий. Закон обратного отношения между объемами и содержанием понятий. Класс, подкласс.
- •5. Виды понятий по объему и содержанию.
- •4. Собирательные и несобирательные.
- •6. Отношения между понятиями.
- •7. Обобщение и ограничение понятий.
- •8. Определение понятий. Правила и ошибки определения.
- •Правила определения:
- •9. Деление понятий. Правила деления. Ошибки в делении.
- •Правила деления:
- •1. Деление должно быть соразмерным.
- •2. Деление должно производиться только по одному основанию.
- •4. Деление должно быть непрерывным.
- •10. Классификация и ее виды.
- •11. Суждение – как форма мышления. Суждение и предложение. Структура простого суждения.
- •12. Простое суждение и его виды.
- •13. Классификация простых категорических суждений по количеству и качеству.
- •I (Некоторые s суть р)
- •14. Логические отношения между простыми категорическими суждениями. Логический квадрат.
- •15. Сложное суждение и его виды.
- •16. Логика вопросов и ответов.
- •17. Закон тождества как выражение определенности мысли.
- •18. Закон не противоречия. Понятие диалектического и формально-логического противоречия.
- •19. Закон исключенного третьего как выражение последовательности и непротиворечивости мышления.
- •20. Закон достаточного основания как выражение обоснованности вывода.
- •21. Общая характеристика умозаключения. Виды умозаключений.
- •22. Непосредственные дедуктивные умозаключения. Способы их преобразования.
- •1. Превращение.
- •2. Обращение.
- •3. Противопоставление предикату.
- •23. Простой категорический силлогизм. Состав силлогизма.
- •24. Фигуры категорического силлогизма. Правила фигур, правила посылок, правила терминов.
- •25. Сложные и сложносокращенные силлогизмы.
- •26. Условные и условно-категорические умозаключения.
- •27. Разделительные и разделительно-категорические умозаключения.
- •1. В утверждающе-отрицающем модусе меньшая посылка — категорическое суждение — утверждает один член дизъюнкции, заключение — также категорическое суждение — отрицает другой ее член.
- •28. Условно-разделительные умозаключения.
- •29. Индуктивные умозаключения. Виды индукции.
- •31. Роль индуктивных умозаключений в познании. Взаимосвязь индукции и дедукции в познании.
- •32. Структура доказательства и его виды.
- •33. Правила доказательства. Ошибки в доказательствах.
- •35. Опровержение. Правила опровержения.
- •Логические правила доказательства и опровержения
- •36. Логические парадоксы и софизмы.
- •37. Логика как искусство полемики. Спор и его виды.
I (Некоторые s суть р)
О (Некоторые S не суть Р)
14. Логические отношения между простыми категорическими суждениями. Логический квадрат.
Отношения между категорическими суждениями- это отношения сравнимости и несравнимости.
Категорические суждения называются сравнимыми, если их термины (субъект и предикат) совпадают с точностью до перестановки.
Пример. Суждения «Все студенты являются веселыми людьми» и «Все веселые люди являются студентами» - сравнимые.
Категорические суждения называются несравнимыми, если в одном из них есть термин, не входящий в другое.
Пример. Суждения «Все студенты являются веселыми людьми» и «Все студенты являются находчивыми людьми» - несравнимы.
Сравнимые суждения могут быть совместимыми и несовместимыми. Сравнимые категорические суждения называются совместимыми, если они могут быть вместе истинными.
Пример. Суждения «Все великие люди низкого роста» и «Некоторые великие люди низкого роста» - совместимые.
Сравнимые категорические суждения называются несовместимыми, если они не могут быть вместе истинными.
Пример. Суждения «Все великие люди низкого роста» и «Некоторые великие люди не являются людьми низкого роста» - несовместимые.
Отношения совместимости и несовместимости, в свою очередь, делятся на виды. Для систематизации и наглядного представления этих отношений еще в средние века был придуман так называемый «логический квадрат» .
К отношению совместимости относятся подчинение и субконтрарность (частичная совместимость).
Отношение подчинения имеет место между суждениями А и I, а также между Е и О. При этом суждения А (Е) называются подчиняющими, а суждения I (О) – подчиненными.
Субконтрарность имеет место между суждениями I и О. Эти суждения не могут быть вместе ложными. В то же время они могут быть вместе истинными, либо одно суждение может быть истинным, а другое – ложным.
К отношению несовместимости относятся контрадикторность (противоречие) и контрарность (противоположность).
В отношении контрадикторности находятся суждения вида А и О, а также суждения вида Е и I. Контрадикторные сужденияне могут быть вместе истинны и вместе ложны.
Контрарность имеет место между суждениями А и Е. Контрарные суждения не могут быть вместе истинными. В то же время они могут быть вместе ложными.
15. Сложное суждение и его виды.
Сложное суждение – суждение,образованное из простых суждений с помощью логических связок:конъюнкции, дизъюнкции, импликации, эквиваленции .
Виды сложных суждений:
1. Конъюнктивное суждение (конъюнкция) – это сложное суждение с соединительным союзом «и», который обозначается в логике условным знаком «∧». «Сверкнула молния, и загремел гром», (a ∧ b ).
2. Дизъюнктивное суждение (дизъюнкция) – это сложное суждение с разделительным союзом «или».
1. Нестрогая дизъюнкция – это сложное суждение с разделительным союзом «или» в его нестрогом (неисключающем) значении, который обозначается условным знаком «∨».(a ∨ b) «Он изучает английский, или он изучает немецкий.Эти суждения друг друга не исключают, ведь возможно изучать и английский, и немецкий одновременно, поэтому данная дизъюнкция является нестрогой.
2. Строгая дизъюнкция – это сложное суждение с разделительным союзом «или» в его строгом (исключающем) значении, который обозначается условным знаком «».( a b) «Он учится в 9 классе, или он учится в 11 классе», –эти суждения друг друга исключают, ведь невозможно одновременно учиться и в 9, и в 11 классе, в силу чего данная дизъюнкция является строгой.
3. Импликативное суждение (импликация) – это сложное суждение с условным союзом «если … то», который обозначается условным знаком «→».( a → b) «Если вещество является металлом, то оно электропроводно», – представляет собой импликативное суждение (причинно-следственную связь) В данном случае эти два суждения связаны таким образом, что из первого вытекает второе
4. Эквивалентное суждение (эквиваленция) – это сложное суждение с союзом «если … то» не в его условном значении (как в случае с импликацией), а в тождественном (эквивалентном). В данном случае этот союз обозначается условным знаком «», с помощью которого эквивалентное суждение, состоящее из двух простых суждений, можно представить в виде формулы: (a b). «Если число является чётным, то оно делится без остатка на 2», – представляет собой эквивалентное суждение (равенство, тождество) двух простых суждений. Нетрудно заметить, что в данном случае два суждения связаны так, что из первого вытекает второе, а из второго – первое: Понятно, что в эквиваленции, в отличие от импликации, не может быть ни основания, ни следствия, т. к. две её части являются равнозначными суждениями.