- •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. Ошибки в доказательстве и в опровержении. Классификация ошибок, примеры. Правила тезиса
- •Правила аргументов
Законы сложения и умножения
1. Закон подобия (идемпотентности) – класс, сложенный сам с собою, или умноженный на себя, равен самому себе.
A A=A (сложение)
А ∩ А=А (умножение) Пример: класс счастливчиков; класс студентов.
2. Закон коммутативности – результат сложения и умножения двух классовне зависит от того, в каком порядке берутся эти классы.
A В= В A
А ∩ В= В ∩ А
3. Закон ассоциативности – результат сложения и умножения более чем двух классов не зависит от порядка выполнения действий.
A (В С)= (А В) С
А ∩ (В ∩ С)= (А ∩ В) ∩ С.
4а. Закон поглащения (элиминации) для сложения относительно умножения – сумма какого-либо класса и произведения двух классов, одним из сомножителей которого является этот класс, равна этому классу.
A (А ∩ В) = А
= А
4б. Закон поглащения (элиминации) для умножения относительно сложения – произведение какого-либо класса и суммы двух других классов, одним из слагаемых которой является этот класс, равно умножаемому классу.
А ∩ (А В) = А.
= А
5а. Закон дистрибутивности (между тремя классами) умножения относительно сложения.
А ∩ (В С) = (А ∩ В) (А ∩ С).
=
5б. Закон дистрибутивности сложения относительно умножения
A (B ∩ C) = (A B) ∩ (A C)
=
Законы дополнения
Законы дополнения вытекают из свойств противоречащих понятий, каковыми являются дополнение и дополняемое понятие.
-
С умма класса и его дополнения равна универсальному классу А A' = 1.
-
Сумма дополняемого класса и универсума равна универсальному классу
А 1=1.
-
П роизведение дополняемого класса и универсума равно дополняемому классу А ∩ 1 = А.
-
Произведение класса и его дополнение является пустым классом
А ∩ A' = 0. (нет общих элементов)
-
Дополнением универсума является пустой класс 1' = 0.
-
Дополнением дополнения является дополняемый класс (A') ' = A.
(Например: вооруженный и небезоружный)
11. Определение (дефиниция) понятий. Виды и правила определения. Ошибки в определениях. Алгоритм определения понятия.
Определение понятий – логическая операция, раскрывающая содержание понятия. Суждение, раскрывающее содержание понятия, называют дефиницией. Понятие, содержание которого раскрывается, называется определяемым (definiendum), сокращенно Dfd; понятие, раскрывающее содержание определяемого понятия – определяющим (definience) или Dfn.
Виды определения
Определения делятся на:
-
номинальные и реальные
-
явные и неявные.
Деление определений на реальные и номинальные зависит от того, что определяется – содержание понятия или значение термина.
Реальное – это определение, посредством которого раскрывается содержание понятия, т.с. определяемый предмет выделяется из класса сходных предметов по специфическим признакам.
Номинальное – определение, посредством которого раскрывается значение вводимого термина (объясняется значение слова)
Явное – определение, в котором выражаются существенные признаки определяемого предмета и имеющие вид Dfd = Dfn.
Неявное – определение, в котором содержание понятия выводится из отношения к другим понятиям. К неявным определениямотносятся контекстуальные (определение понятий через совокупность терминов), аксиоматические (определение понятий через аксиомы) и др.
Наиболее распространенным видом является явное определение через род и видовое отличие и его разновидность генетическое определение.
Определение через род и видовое отличие состоит из двух понятий - определяемого и определяющего, а сама операция включает в себя два приема:
-
подведение определяемого понятия под более широкое по объему родовое понятие (род);
-
указание видового отличия, т.е. специфического признака, отличающего определяемый предмет от других предметов. Например, в определении «барометр – это метеорологический прибор для измерения величины атмосферного давления» определяемое понятие «барометр» подводится под более общее родовое понятие «метеорологический прибор» и указывается существенный специфический признак «измерять величину атмосферного давления», посредством которого барометр отделяется от других метеорологических приборов.
Генетическое определение – указывает на происхождение предмета, на способ его образования. Например, «круг – это фигура, образованная вращением отрезка прямой вокруг неподвижного центра». Как разновидность определения через ближайший род и видовое отличие, оно имеет ту же логическую структуру и подчиняется тем же правилам.