- •1. Предмет и значение логики.
- •2. Логические приемы образования понятий.
- •3. Суждение как форма мышления.
- •4. Виды вопросов.
- •1. По степени выраженности знания в тексте:
- •2. По своей структуре:
- •6. Ответы, виды ответов.
- •7. Простые суждения.
- •11. Деление суждений по качеству и количеству (п.1, 2, и объединенная классификация).
- •2. По качеству связки (по качеству):
- •2. Обращение.
- •3. Противопоставление предикату.
- •4. Умозаключения по логическому квадрату.
- •31. Логический квадрат. (рисунок из учебника стр. 171 и выяснить логические схемы)
- •34. Виды умозаключений.
- •15. Простой категорический силлогизм.
- •32. Фигуры и модусы категорического силлогизма.
- •18. Сложные и сокращенные силлогизмы. (сокращенный силлогизм см. Билет 20)
- •40. Сложные и сложносокращенные силлогизмы.
- •20. Сокращенный силлогизм.
- •30. Чисто условное и условно – категорическое суждение.
- •24. Разделительно – категорические суждения.
- •22. Условно – разделительные умозаключения.
- •9. Понятие закона мышления.
- •37. Содержание и объем понятий.
- •39. Виды понятий.
- •14. Отношение между понятиями.
- •10. Определение понятий.
- •2. Определение не должно заключать в себе «круга».
- •3. Определение должно быть четким, ясным.
- •4. Определение не должно быть отрицательным.
- •12 Деление понятий.
- •2). Дихотомическое деление
- •3) Особым видом деления является классификация, представляющая собой распределение предметов по группам (классам), при котором каждый элемент имеет свое постоянное, определенное место.
- •2. Деление должно производиться только по одному основанию.
- •28. Операции с классами.
- •16. Выделяющие и исключающие суждения.
- •19. Распределенность терминов в суждениях. (схемы дорисовать стр.115-116 учебника)
- •36. Понятие и виды модальности (суждения).
- •26. Алетическая модальность.
- •2) Проблематичные суждения — это суждения, которые нельзя считать достоверными в силу их недостаточной обоснованности.
- •1) Логическая модальность
- •2) Фактическая модальность
- •13. Язык логики. (уточнить язык логики)
- •23. Сложные суждения.
- •35. Сложные суждения.
- •1. Соединительные (конъюнктивные) суждения.
- •2. Разделительные (дизъюнктивные) суждения.
- •3. Условные (импликативные) суждения.
- •27. Логические отношения между суждениями.
- •2. Частичная совместимость характерна для суждений I (частоутвердительно) и о (частноотрицательное), которые могут быть одновременно истинными, но не могут быть одновременно ложными.
- •1. Противоположными (контрарными) являются суждения а и е, которые одновременно не могут быть истинными, но могут быть одновременно ложными.
- •2. Противоречащими (контрадикторными) являются суждения Аи о, е и I, которые одновременно не могут быть ни истинными, ни ложными.
- •38. Умозаключения из суждений с отношениями.
- •21. Закон тождества.
- •25. Закон непротиворечия.
- •29. Закон исключенного третьего.
- •33. Закон достаточного основания.
- •17. Логика как наука.
- •31. Логический квадрат. (новый) (рисунок из учебника стр. 171 и выяснить логические схемы)
38. Умозаключения из суждений с отношениями.
Умозаключение, посылки и заключение которого являются суждениями с отношениями, называется умозаключением с отношениями. Например:
Петр — брат Ивана Иван — брат Сергея
Петр — брат Сергея
Посылки и заключение в приведенном примере — суждения с отношениями, имеющие логическую структуру xRy.
Логическим основанием умозаключений из суждений с отношениями являются свойства отношений, важнейшие из которых — 1) симметричность, 2) рефлексивность и 3) транзитивность.
1. Отношение называется симметричным (от греческого sim-metria — «соразмерность»), если оно имеет место как между предметами х и у, так и между предметами у и х. Иначе говоря, перестановка членов отношения не ведет к изменению вида отношения. Симметричными являются отношения равенства (если а равно b, то и b равно а), сходства (если с сходно с d, то и d сходно с с), одновременности (если событие х произошло одновременно с событием у, значит, и событие у произошло одновременно с событием х), различия и некоторые другие.
Отношение симметричности символически записывается:
xRy —> yRx.
2. Отношение называется рефлексивным (от латинского ге-flexio — «отражение»), если каждый член отношения находится в таком же отношении к самому себе. Таковы отношения равенства (если а=b,то а=а и b=b) и одновременности (если событие х произошло одновременно с событием у, значит, каждое из них произошло одновременно с самим собой).
Отношение рефлексивности записывается:
xRy —> xRx л yRy.
3. Отношение называется транзитивным (от латинского transi-tivus — «переход»), если оно имеет место между х и z тогда, когда оно имеет место между х и у и между у и z. Иначе говоря, отношение является транзитивным (переходным) тогда и только тогда, когда из отношения между х и у и между у и z следует такое же отношение между х и z.
Транзитивными являются отношения равенства (если а равно b и b равно с, то а равно с), одновременности (если событие х произошло одновременно с событием у и событие у одновременно с событием z, значит, событие х произошло одновременно с событием z), отношения «больше», «меньше» (а меньше b, b меньше с, значит, а меньше с), «позднее», «находиться севернее (южнее, восточнее, западнее)», «быть ниже, выше» и т.п.
Отношение транзитивности записывается:
(xRy л yRz) -> xRz.
Для получения достоверных заключений из суждений с отношениями необходимо опираться на правила, вытекающие из свойств отношений.
Из свойства симметричности (xRy—>yRx) вытекает правило: если суждение xRy истинно, то суждение yRx тоже истинно. Например: А подобно В, В подобно А
Из свойства рефлексивности (xRy->xRx л yRy) вытекает правило: если суждение xRy истинно, то истинными будут суждения xRx и yRy. Например: а=b а=а и b=b
Из свойства транзитивности (xRy л yRz—>xRz) вытекает правило: если суждение xRy истинно и суждение yRz истинно, то суждение xRz также истинно. Например: К. был на месте происшествия раньше Л. Л. был на месте происшествия раньше М. К. был на месте происшествия раньше М.
Таким образом, истинность заключения из суждений с отношениями зависит от свойств отношений и регулируется правилами, вытекающими из этих свойств. В противном случае заключение может оказаться ложным. Так, из суждений «Сергеев знаком с Петровым» и «Петров знаком с Федоровым» не следует необходимого заключения «Сергеев знаком с Федоровым», так как «быть знакомым» не является транзитивным отношением.