Выводы из сложных суждений.
Лит-ра: Кирилов, Старченко – Глава 7 Упражнения – Глава 6
Алгоритм разбора сологизма:
Установить структуру силлогизма: выделить посылки и заключения, субъект и связки, найти и обозначить посылки среднего термина,
Определить фигуру силлогизма
Определить модус силлогизма
Установить распределенность терминов умозаключения
Отразить в круговых схемах отношения между терминами силлогизма
Проверить правильность силлогизма и сделать обобщающие выводы (следует с необходимостью/не следует)
Умозаключение из суждения с отношением:
Это умозаключение, посылки и заключения которого являются суждениями с отношениями.
Пример: 1п Петр – брат Ивана. 2п Иван брат Сергея. 3 заключение -
Посылки и заключения имеют логическую структуру:
Логическое основание – свойства отношений бывают:
Симметричность – если имеет место между предметами x и y, так и между предметами y и x. Постановка членов отношения не ведет к изменению вида отношений. Логическая схема: xRy -> yRx
Отношения равенства
Отношения сходства
Отношения одновременности
Отношения различия
Истинность или ложность
Рефлексивность – (от лат reflexio - отражение) – если каждый член отношения находится в таком же отношении к самому себе Логическая формула: xRy -> xRx ^yRy
Отношения равенства
Отношения одновременности (если 1 событие произошло одновременно со 2, значит они произошли одновременно по отношению к самим себе)
Транзитивность – если оно имеет между x и sтогда, когда оно имеет между собой x и y и между y и s. Является транзитивным, только тогда, отношения между Логическая формула: (xRy^yRs)->xRs
Отношения равентсва (если а равно б и б равно с, то а равно с)
Отношения одновременности
Отношения «больше», «меньше»
Правила получения достоверных заключений.
Для симметричности: если суждение xRy истинно, то суждение yRx тоже истинно
Для рефлексивности: если суждение xRy истинно. То истинными будут суждения xRx и yRy (заключения)
Для транзитивности: если суждение xRy истинно и суждение yRs истинно, то и суждение xRs также истинно.