- •Вопросы к экзамену по логике
- •1.Общая характеристика науки логики. Понятие логической формы и логического закона.
- •2.Основные законы формальной логики: закон тождества, закон недопущения противоречия закон исключенного третьего, закон достаточного основания.
- •Закон тождества: «в правильном рассуждении всякая мысль тождественна самой себе». Формула: "а, если и только если а"
- •Закон достаточного основания: ««Всякая истинная мысль должна быть обоснована другими мыслями, истинность которых доказана».
- •3.Понятие. Объем и содержание понятия. Закон обратного соотношения объема и содержания понятия.
- •4.Виды понятий: пустые, логически пустые, фактически пустые, непустые, общие, единичные, абстрактные, конкретные, собирательные, несобирательные, положительные, отрицательные.
- •Понятия- по количественным характеристикам объемов понятий
- •Понятия –виду обобщаемых предметов
- •Понятия –по типу обобщаемых предметов
- •Понятия – по характеру признаков
- •5.Отношения между понятиями. Сравнимые и несравнимые понятия. Совместимые и несовместимые понятия. Равнообъемность, пересечение, подчинение; соподчинение, противоположность, противоречие.
- •1Сравнимые- имеющие общее содержание
- •6.Обобщение и ограничение понятий.
- •7.Деление понятий. Структура и виды деления
- •8.Правила и ошибки деления
- •9.Определение. Виды определений
- •Равенство по определению
- •10. Правила и ошибки определения
- •Определение должно быть ясным и недвусмысленным
- •Определение должно раскрывать существенные признаки
- •11. Суждение. Логическое значение как характеристика суждения. Структура простого атрибутивного суждения.
- •12 Количество и качество простого атрибутивного суждения
- •13. Распределенность терминов простого атрибутивного суждения.
- •14 Отношения между простыми атрибутивными суждениями по истинности (контрарность, контрадикторность, субконтрарность, подчинение). Умозаключения по «логическому квадрату».
- •15. Сложные суждения. Понятие логического союза. Конъюнкция, дизъюнкция, строгая дизъюнкция, импликация, тождество (эквиваленция), отрицание (инверсия).
- •16. Табличное определение логических союзов
- •1. Соединительное суждение а щ b (конъюнкция)
- •2. Разделительное (не исключающее) суждение а V b (дизъюнкция)
- •17. Умозаключение. Структура и виды умозаключений.
- •Непосредственные умозаключения из простых атрибутивных суждений: обращение.
- •Непосредственные умозаключения из простых атрибутивных суждений: превращение
- •Опосредованные умозаключения из простых атрибутивных суждений: простой категорический силлогизм (пкс). Термины и посылки пкс. Понятие фигуры и модуса пкс.
- •Правила простого категорического силлогизма
- •Умозаключения из сложных суждений: условно-категорический силлогизм, разделительно-категорический силлогизм.
- •26. Энумеративная индукция. Полная индукция и математическая индукция как виды демонстративных умозаключений.
- •28. Умозаключения по аналогии: виды аналогий, методы повышения достоверности вывода по аналогии.
нельзя определять понятие через отрицание другого понятия -определение должно выполнять коммуникативную цель
определение должно быть предикативным- нельзя определять через само себя
Определение должно быть ясным и недвусмысленным
Определение должно раскрывать существенные признаки
Ошибки в определении –
1) нарушение правила «определение должно быть соразмерным»:
a) слишком узкое определение,
b) слишком широкое определение
c) перекрещивающееся определение.
2) нарушение правила «определение должно быть ясным» (неясное определение). 3) нарушение правила «определение не должно заключать в себе круга»: тавтологичное определение.
11. Суждение. Логическое значение как характеристика суждения. Структура простого атрибутивного суждения.
Суждение – это мысль, в которой утверждается (отрицается) существование предмета, либо связь между предметом и его свойствами, либо наличие определенных отношений между предметами.
Суждения выражаются при помощи повествовательных предложений или риторических вопросов.
ЛОГИЧЕСКОЕ ЗНАЧЕНИЕ,-. Значение "истина" или "ложь", которые могут принимать логические выражения. Суждение может быть истинным, либо ложным
В логике выделяют атрибутивные, реляционные и экзистенциальные простые суждения. Нас интересуют атрибутивные суждения.
В атрибутивных суждениях (от лат. attribuo — придаю, наделяю) фиксируется связь между предметом и его признаками, а под атрибутом обычно понимается какое-либо свойство предмета. Во всяком атрибутивном суждении можно выделить
субъект, предикат и связку.
Субъект суждения (S) — то, о чем говорится в суждении, т.е. это понятие о предмете суждения.
Предикат суждения (P) — то, что говорится о субъекте суждения, т.е. это понятие о признаке предмета.
Связка суждения — то, что связывает субъект и предикат в единое суждение; она обычно выражается словами «есть» или «не есть». Если субъект суждения обозначить буквой S, предикат — буквой P, то структуру атрибутивного суждения можно выразить так:
S – есть/не есть – Р
12 Количество и качество простого атрибутивного суждения
По качеству суждения делятся на:
утвердительные - суждения, в которых говорится о принадлежности субъекту суждения признака, выраженного предикатом. Структура -- ’’S есть Р’’-
отрицательные- суждения, в которых говорится об отсутствии у субъекта признака, выраженного предикатом. Структура отрицательного суждения ’’S не есть Р’’.
По количеству суждения делятся на:
общие– это такие суждения, в которых что-то утверждается или отрицается обо всем объеме субъекта. Структура: -- ’’Все S есть (не есть) Р’’.
частные – это такие суждения, в которых что-то утверждается или отрицается о некоторой части объема субъекта. Структура: -- ’’Некоторые S есть (не есть) Р’’
единичные – это такие суждения, в которых речь идет о принадлежности или непринадлежности признака одному предмету. Структура единичного суждения ’’Это S есть (не есть) Р’’. Существует также классификация суждений, в которой учитываются как их качественные, так и количественные характеристики. В этом случае выделяют четыре группы суждений: 1. – общеутвердительные (т.е. общие по количеству и утвердительные по качеству). Структура: -- ’’Все S есть Р’’. Обозначаются символом А или формулой S а Р. 2. – частноутвердительные (т.е. частные по количеству и утвердительные по качеству).’’Некоторые S есть Р’’. Обозначаются символом I или формулой S i Р. 3. – общеотрицательные (т.е. общие по количеству и отрицательные по качеству).’’Ни одно S не есть Р’’. Для обозначения используется символ Е или формула S е Р. 4. – частноотрицательные (т.е. частные по количеству и отрицательные по качеству).’’Некоторые S не есть Р’’. Для их обозначения используется символ О или формула S о Р.
