
- •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. Ошибки в доказательстве и в опровержении. Классификация ошибок, примеры. Правила тезиса
- •Правила аргументов
7. Понятие класса в логике, класс и множество. Универсальный класс, класс, дополнение. Понятие необходимого и достаточного условия.
Классом - называется определенная совокупность предметов, имеющих некоторые общие признаки.
Совокупность предметов, охватываемая объемом понятия, называется логическим классом, или множеством, а отдельный предмет объема понятия - элементом класса (множества).
Классы бывают: 1)конечными (студенты юр. фак-а ОмГУ);
2)бесконечные (натуральные числа)
3)пустые классы – это классы, не содержащие элементов (студенты – марсиане)
Класс (множество) может включать в себя подклассы, или подмножества.
Например, класс городов включает в себя подкласс городов России, класс рек - подкласс рек Сибири, класс студентов включает в себя подкласс студентов юридических вузов, класс преступлений — подкласс экономических преступлений.
Отношение между классом и подклассом выражается при помощи знака ⊂: А⊂В (А является подклассом В)
Класс, состоящий из всех элементов исследуемой области, называется универсальным классом (например, класс планет Солнечной системы) Понятие универсальный класс (универсум) – класс, включающий элементы, в пределах которых опр-ся класс (студенты – учащиеся). Сущ-ет также дополнение (студенты – нестуденты).
Если класс состоит из одного элемента, то это будет единичный класс (планета Юпитер). Класс, который не содержит ни одного элемента, называется нулевым (пустым) классом (например, круглый квадрат, русалка...).
Определение понятий в триодической схеме: универсум (фрукты), класс (яблоки), дополнение (остальные элементы универсума, не имеющиеся признаков класса; не яблоки).
Для определения класса используются:
-
Необходимые условия – условия, которому отвечают все элементы класса и, возможно, некоторые элементы дополнения
-
Достаточные условия – условия, которому отвечают некоторые, а, может быть, и все элементы класса, но ни один элемент дополнения.
Алгоритм определения:
-
опр-емые понятия соотносим с классом;
-
находим универсум как ближайшее родовое понятие;
-
устанавливаем дополнения;
-
находим необходимые условия;
-
проверяем необходимые условия на достаточность;
-
формулируем определения, где обязательно выделяем класс, универсум, необходимое и, если требуется, достаточное условие.
Пр.: Понятие «Чётные числа». Универсум – натуральные числа. Дополнение – нечётные числа. Необходимое условие – деление на 2 без остатка. Проверяем на достаточность. Основание достаточно. Пишем опр-ие:
чётные числа – это множество натуральных чисел, отвечающих условию делиться на 2 без остатка.
Пр.: Понятие «Шоколадные конфеты». Универсум – конфеты. Дополнение – не шоколадные конфеты. Необходимое условие – наличие шоколада.
Пр.: Понятие «Человек». Универсум – человекообразный (примат). Дополнение - не человек. Необходимое понятие – рождённость женщиной.
8. Триадическая схема образования и анализа понятия в системе: универсум, класс, дополнение. Образование понятия в триадической схеме (пример).
Понятие – это одна из основных форм мышления, которая есть результат обобщения предметов некоторого вида на основе отличительных для них признаков.
Совокупность предметов, охватываемая объемом понятия, т.е. имеющие некоторые общие признаки, называется логическим классом.
Определение понятий в триодической схеме: универсум (фрукты), класс (яблоки), дополнение (остальные элементы универсума, не имеющиеся признаков класса; не яблоки).
Для определения класса используются:
1. Необходимые условия – условия, которому отвечают все элементы класса
и, возможно, некоторые элементы дополнения
2. Достаточные условия – условия, которому отвечают некоторые, а, может
быть, и все элементы класса, но ни один элемент дополнения.
Алгоритм определения:
-
опр-емые понятия соотносим с классом;
-
находим универсум как ближайшее родовое понятие;
-
устанавливаем дополнения;
4. находим необходимые условия;
5. проверяем необходимые условия на достаточность;
6. формулируем определения, где обязательно выделяем класс,
универсум, необходимое и, если требуется, достаточное условие.
Пр.: Понятие «Чётные числа». Универсум – натуральные числа. Дополнение – нечётные числа. Необходимое условие – деление на 2 без остатка. Проверяем на достаточность. Основание достаточно. Пишем опр-ие:
чётные числа – это множество натуральных чисел, отвечающих условию делиться на 2 без остатка.
Пр.: Понятие «Шоколадные конфеты». Универсум – конфеты. Дополнение – не шоколадные конфеты. Необходимое условие – наличие шоколада.
Пр.: Понятие «Человек». Универсум – человекообразный (примат). Дополнение- не человек. Необходимое понятие – рождённость женщиной.
Платон определил человека как беспёрое двуногое.
Жак Элюль: человек – существо, рождённое женщиной.