- •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. Ошибки в доказательстве и в опровержении. Классификация ошибок, примеры. Правила тезиса
- •Правила аргументов
Отношение подчинения
Отношение подчинения имеет место между, с одной стороны, общими суждениями, с другой стороны, между частными (А - I), (Е - О). При этом общие называются подчиняющими, частные – подчиненными. Отношение подчинения характеризуется тем, что истинность подчиняющих суждений обусловливает истинность подчиненных, но не наоборот. В то же время ложность подчиненных суждений обусловливает ложность подчиняющих, но не наоборот.
Так из истинности общеутвердительного суждения (А) «Все планеты светят отраженным светом» следует истинность частноутвердительного суждения (I) «Некоторые планеты светят отраженным светом».
Символически это отношение записывается так:
:
Если верно, что все S суть P, то верно, что некоторые S суть P.
:
Если верно, что ни одно S не суть P, то верно, что некоторые S не суть P.
23. Понятие логического следования. Умозаключение, классификация видов дедуктивных умозаключений.
Умозаключение – форма мышления, посредством которой выводится новое суждение на основании одного или более известных суждений.
Ранее известные, исходные суждения, из которых выводится новое суждение, называются посылками умозаключения, а новое суждение, полученное в результате сопоставления посылок – заключением.
Например, в умозаключении
первые два суждения – посылки, а последнее – заключение.
Логический переход от посылок к заключению называется выводом.
Понятие умозаключения как логической операции тесно связано с понятием логического следования. Учитывая эту связь, принято различать правильные и неправильные умозаключения. Умозаключение, представляющее переход от посылок A1,…,An (n≥1) к заключению B, является правильным, если между посылками и заключением имеется отношение логического следования, т. е. B является логическим следствием A1,…,An (n≥1). В противном случае – если между посылками и заключением не такого отношения – умозаключение является неправильным.
Виды умозоключений
1. По характеру логического следования заключений из посылок все умозаключения делятся на дедуктивные (необходимые) и недедуктивные (выроятностные).
Дедуктивные – умозаключения, между посылками и заключением которых имеет место отношение логического следования, которое можно определить следующим образом: из суждения α логически следует суждение β тогда и только тогда, когда α и β связаны по смыслу, а α→β является логическим законом. При этом α – символическое выражение посылок, соединенных логическим союзом конъюнкция, β – символическое выражение заключения. Умозаключение будет дедуктивным, если его символическое выражение будет представлять собой логический закон, т.е. тождественно-истинную формулу, что проверяется посредством таблицы истинности.
Тождественно-истинная формула – формула, принимающая логическое значение истины при всех вариантах логических значений входящих в нее переменных.
Умозаключение, между посылками и заключением которого не имеет места отношение логического следования, называется недедуктивным или вероятностным.
2. В зависимости от количества посылок все умозаключения делятся на непосредственные и опосредствованные.
Непосредственные умозаключения – умозаключения, заключение в которых выводится из одной посылки. Например, исходное суждение: «Все львы хищники», новое – «Ни один лев не является нехищником».
Опосредствованные умозаключения – умозаключения, заключение в которых выводится из двух и более посылок. Например: