
- •1. Возникновение логики и основные этапы в ее становлении. Определение предмета формальной логики. Связь логики с наукой, образованием, техникой.
- •2. Понятие о логической форме. Понятие, суждение, умозаключение как важнейшие формы логического мышления.
- •3. Понятие и его связь со словом, именем, классом. Объем и содержание понятия и закономерность, выражающая их соотношение.
- •4. Виды понятий, определения каждого из видов, примеры.
- •5. Совместимость и несовместимость понятий. Сравнение понятий по объёму с помощью круговых схем Эйлера.
- •6. Деление понятий: дихотомическое и по видообразующему признаку. Правила деления. Ошибки деления.
- •Правила деления
- •7. Понятие класса в логике, класс и множество. Универсальный класс, класс, дополнение. Понятие необходимого и достаточного условия.
- •8. Триадическая схема образования и анализа понятия в системе: универсум, класс, дополнение. Образование понятия в триадической схеме (пример).
- •9. Операции над классами. Объединение (сложение), пересечение (умножение), разность (вычитание), дополнение (отрицание) классов. Представление в соответствующих формулах и схемах.
- •10. Законы логики классов: определения, формулы.
- •Законы сложения и умножения
- •Законы дополнения
- •11. Определение (дефиниция) понятий. Виды и правила определения. Ошибки в определениях. Алгоритм определения понятия.
- •Виды определения
- •Правила определения
- •12. Логика высказываний. Определение логических символов и логической формулы. Понятие правильно построенной, тожественно-истинной, тождественно-ложной, выполнимой формул и их связь с законами логики.
- •13. Суждение как форма логического мышления. Суждения и предложения. Логическая структура суждений. Суждения атрибутивные, отношения, экзистенциальные (существования).
- •Деление суждений по характеру предиката
- •14. Классификация суждений по качеству и количеству. Логические формы общеутвердительных, общеотрицательных, частноутвердительных, частноотрицательных суждений и их символическая запись.
- •Объединенная классификация суждений по качеству и количеству
- •Символическое выражение категорических суждений
- •15. Распределенность терминов в суждении. Представление свойства распределенности терминов в круговых схемах и таблице. Выделяющие и исключающие суждения.
- •16. Сложные суждения и логические союзы. Конъюнкция, условия истинности и правила вывода, свойственные конъюнкции.
- •17. Дизъюнкция, условия истинности и правила вывода, свойственные дизъюнкции.
- •18. Материальная импликация, условия истинности и правила вывода, свойственные материальной импликации. Материальная импликация и каузальность.
- •19. Эквиваленция, условия истинности и правила вывода, свойственные эквиваленции.
- •20. Отрицание и двойное отрицание, условия истинности и правила вывода, свойственные отрицанию и двойному отрицанию. Понятие о правилах вывода в логике высказываний.
- •21. Законы логики, определения, символическая запись, примеры применения.
- •22. Сравнение суждений. Логический квадрат как инструмент сравнения суждений.
- •Отношение противоречия (а – о; е - I)
- •Отношение противоположности (а – е)
- •Отношение подпротивности (I - o)
- •Отношение подчинения
- •23. Понятие логического следования. Умозаключение, классификация видов дедуктивных умозаключений.
- •Виды умозоключений
- •24. Отношения в логике. Умозаключения из суждений с отношениями рефлексивности, симметричности, транзитивности: определения, символическая запись.
- •25. Умозаключения по логическому квадрату. Запись умозаключений на основе логического квадрата в виде формул. Примеры.
- •26. Непосредственное умозаключение. Умозаключения превращения, символическая запись, примеры.
- •27. Умозаключения обращения (с ограничением и без ограничения), символическая запись, примеры.
- •28. Умозаключения противопоставления предикату (контрапозиции), символическая запись, примеры.
- •29. Простой категорический силлогизм. Логическая структура: понятие о терминах, посылках, фигурах, модусах. Аксиома силлогизма. Правила силлогизма.
- •Аксиома силлогизма
- •Общие правила простого категорического силлогизма
- •Правила терминов
- •Правила посылок
- •30. Первая и вторая фигуры простого категорического силлогизма и их модусы. Правила первой и второй фигур.
- •Выражение силлогистики средствами логики предикатов
- •31. Третья и четвертая фигуры простого категорического силлогизма и их модусы. Правила третьей и четвертой фигур.
- •Выражение силлогистики средствами логики предикатов
- •32. Силлогизмы, образованные на основе простого категорического силлогизма. Энтимемы и энтимематические изречения.
- •33. Полисиллогизмы и сориты, правила образования, примеры. Понятие эпихейремы.
- •34. Умозаключения из сложных суждений, их виды. Чисто условный силлогизм, символическая запись модусов, примеры.
- •35. Условно категорические силлогизмы, символическая запись правильных и незаключающих модусов, примеры.
- •36. Категорические разделительные силлогизмы, символическая запись правильных и незаключающих модусов, примеры.
- •37. Условно-разделительные (лемматические) умозаключения. Дилеммы, их виды, символическая запись и примеры. Понятие о полилеммах.
- •38. Индукция в логике и ее виды. Пять методов установления причинно-следственных связей. Логические схемы, примеры.
- •Методы установления причинной связи
- •39. Логическая теория аргументации. Структура аргументации. Прямое доказательство, схема проведения, пример.
- •40. Косвенные доказательства (апагогическое, разделительное). Схемы проведения, примеры.
- •41. Опровержение. Прямое опровержение, схема проведения, пример. Косвенное опровержение, схема проведения, пример.
- •42. Ошибки в доказательстве и в опровержении. Классификация ошибок, примеры. Правила тезиса
- •Правила аргументов
24. Отношения в логике. Умозаключения из суждений с отношениями рефлексивности, симметричности, транзитивности: определения, символическая запись.
25. Умозаключения по логическому квадрату. Запись умозаключений на основе логического квадрата в виде формул. Примеры.
Учитывая отношения между категорическими суждениями А, Е, I, О, которые продемонстрированы схемой логического квадрата, можно строить выводы, основываясь на истинности или ложности исходного суждения.
Выводы строятся по схемам:
Отношения противоречия (А – О; Е - I):
Отношение контрарности (противоположности) (А - Е):
Отношение подпротивности (I - О):
Отношение подчинения (А – I; Е - О):
В качестве примера можно построить вывод на отношения противоположности (A-E) из общеутвердительного суждения (A): «Все жидкости упруги», истинность которого установлена, можно сделать заключение о ложности общеотрицательного суждения (E): «Неверно, что ни одна жидкость не является упругой».
26. Непосредственное умозаключение. Умозаключения превращения, символическая запись, примеры.
К непосредственным умозаключениям относятся следующие виды:
-
превращение;
-
обращение;
-
контрапозиция (противопоставление предикату);
-
умозаключение по логическому квадрату.
Превращение – такое непосредственное умозаключение, в котором устанавливается связь между понятием, являющимся субъектом исходного суждения, и понятием, противоречащим предикату исходного суждения. Например:
.
Исходное суждение – общеутвердительное (А) превращается в общеотрицательное (Е).
Общеотрицательное (Е) превращается в общеутвердительное (А). Например:
.
Частноутвердительное суждение (I) превращается в частноотрицательное (О). Например:
.
Частноотрицательное (О) превращается в частноутвердительное (I). Например:
.
В результате операции превращения меняется качество суждения, но количество остается прежним.
27. Умозаключения обращения (с ограничением и без ограничения), символическая запись, примеры.
К непосредственным умозаключениям относятся следующие виды:
-
превращение;
-
обращение;
-
контрапозиция (противопоставление предикату);
-
умозаключение по логическому квадрату.
Обращение – такое непосредственное умозаключение, в результате которого субъект исходного суждения становится предикатом, а предикат – субъектом заключения. Например:
В зависимости от распределенности терминов исходного суждения различают два вида обращения:
-
простое (чистое) обращение;
-
нечистое обращение.
Простое (чистое) обращение имеет место в том случае, если оба термина (субъект и предикат) исходного суждения являются распределенными или оба являются нераспределенными. Например:
.
При чистом обращении А обращается в А:
Е обращается в Е:
Например:
.
I обращается в I:
Например:
.
Частноотрицательные суждения не обращаются с необходимостью.
Нечистое обращение представлено двумя вариантами:
-
обращение с ограничением;
-
обращение с приращением.
Обращение с ограничением имеет место при переходе от общеутвердительных суждений (А) к частноутвердительным (I):
Например:
Обращение с приращением имеет место в случае выделяющих суждений и связано с переходом от частных суждений к общим:
Например: