- •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. Ошибки в доказательстве и в опровержении. Классификация ошибок, примеры. Правила тезиса
- •Правила аргументов
14. Классификация суждений по качеству и количеству. Логические формы общеутвердительных, общеотрицательных, частноутвердительных, частноотрицательных суждений и их символическая запись.
Деление атрибутивных суждений по качеству
Деление атрибутивных суждений по качеству производится в зависимости от характера связки, указывающей на наличие или отсутствие свойства предмета мысли и выражающейся словами «есть», «суть», «быть», «являться».
В соответствии с этим атрибутивные суждения делятся не утвердительные и отрицательные. Например, «Все люди суть разумные существа» - утвердительное суждение, «Ни один папоротник никогда не цветет» - отрицательное суждение.
Деление атрибутивных суждений по количеству
В зависимости от того, утверждается или отрицается что-либо о предмете мысли относительно всего логического класса, части его или одного предмета, атрибутивные суждения делятся на общие, частные или единичные. Например, суждение «Все металлы - проводники» - общее, «Некоторые люди не знают грамоты» - частное, «Иван Сергеевич Тургенев – автор романа «Отцы и дети»» - единичное.
Объединенная классификация суждений по качеству и количеству
По качеству и количеству атрибутивные суждения делятся на 4 вида.
-
Общеутвердительные – суждения, являющиеся одновременно общими и утвердительными. Например, «Все крокодилы суть пресмыкающиеся животные».
-
Частноутвердительные – суждения, частные и утвердительные одновременно. Например, «Некоторые юристы являются прокурорами».
-
Общеотрицательные – общие и отрицательные одновременно. Например, «Ни одна планета не светит собственным светом».
-
Частноотрицательные – частные и отрицательные одновременно. Например, «Некоторые утверждения не являются истинными».
Единичные суждения в отдельную группу не выделяются, анализируются как общие.
Символическое выражение категорических суждений
Указанные виды суждений принято обозначать гласными буквами латинских слов affirmo (утверждаю) и nego (отрицаю). Первые гласные буквы этих слов обозначают общие суждения, а вторые – частные.
Общеутвердительные суждения обозначаются буквой А.
Общеотрицательные – Е.
Частноутвердительные – I.
Частноотрицательные – О.
Современная символическая логика вводит специальные средства для обозначения А, Е, I, О: кванторы, логические переменные и логические постоянные.
А - – “Все S суть P” (для всякого х верно, что если он обладает свойством S, то обладает свойством P).
I – – “Некоторые S суть P” (существуют х, обладающие свойством S и свойством P).
E – – “Ни одно S не суть P” (для всякого х верно, что если он обладает свойством S, то не обладает свойством P).
O – – “Некоторые S не суть P” (существуют х, обладающие свойством S и не обладающие свойством P).
15. Распределенность терминов в суждении. Представление свойства распределенности терминов в круговых схемах и таблице. Выделяющие и исключающие суждения.
Распределенность терминов – это количественная характеристика субъекта и предиката в суждении.
Термин считается распределенным, если его объем либо полностью включен в объем другого термина, либо полностью из него исключен. Или иначе, термин считается распределенным, если он мыслится в полном объеме. Для распределенного термина характерно кванторное слово «все», для нераспределенного – «некоторые».
Графически распределенность терминов изображается с помощью круговых схем и штриховки той части терминов, которые мыслятся в суждении.
В общеутвердительном суждении «Все S суть P», субъект распределен, так как мыслится в полном объеме, предикат не распределен, т.к. его объем не исчерпывается лишь объемом субъекта. Например, «Карась- рыба».
Исключение составляют выделяющие суждения, в которых объем субъекта и предиката совпадают. Например, «Все люди суть разумные существа» (общевыделяющие), «Александр Сергеевич Пушкин – автор романа «Евгений Онегин»(единичновыделяющие).
В частноутвердительном суждении «Некоторые S суть Р» ни субъект, ни предикат не распределены, т.к. мыслятся не в полном объеме. Например, «Некоторые юристы являются депутатами Государственной Думы».
Исключение составляют частновыделяющие суждения, в которых предикат мыслится в полном объеме, следовательно распределен. Например, «Некоторые прямоугольники являются квадратами»,
«Некоторые юристы – судьи».
В общеотрицательном суждении «Ни одно S не суть Р» и субъект, и предикат являются распределенными, т.к. их объемы полностью исключают друг друга. Например, «Ни один крокодил не летает».
В частноотрицательном суждении («Некоторые S не суть Р») субъект не распределен, т.к. мыслится лишь в некоторой части, предикат распределен, т.к. его объем полностью исключен из объема субъекта. Например, «Некоторые студенты не являются спортсменами».
Исключающим называют суждение, отражающее принадлежность – непринадлежность признака всем предметам за исключением некоторой их части (все S есть/не есть P). Пр.: все студенты 1-го курса, кроме не сдавших сессию, переходят на 2-ой курс.
|
S |
P |
A |
+ |
- |
E |
+ |
+ |
I |
- |
- |
O |
- |
+ |
Общая схема распределенности терминов в суждении такова: субъекты распределены в общих суждениях, предикаты – в отрицательных.