Вопрос 37. Умозаключения из суждений с отношениями
Умозаключение, посылки и заключение которого являются суждениями с отношениями, называется умозаключением с отношениями.Пример:
Петр - брат Ивана Иван - брат Сергея Петр - брат Сергея Посылки и заключение в приведенном примере - суждения с отношениями, имеющие логическую структуру xRy. Логическим основанием умозаключений из суждений с отношениями являются свойства отношений, важнейшие из которых 1) симметричность, 2) рефлексивность и 3) транзитивность. 1. Отношение называется симметричным, если оно имеет место как между предметами х и y, так и между предметами у и х. Иначе говоря, перестановка членов отношения не ведет к изменению вида отношения. Отношение симметричности символически записывается: xRy → yRx. 2. Отношение называется рефлексивным, если каждый член отношения находится в таком же отношении к самому себе. Таковы отношения равенства (если а=b, то a=а и b=b) и одновременности (если событие х произошло одновременно с событием y, значит, каждое из них произошло одновременно с самим собой). Отношение рефлексивности записывается: xRy → xRx ^ yRy. 3. Отношение называется транзитивным, если оно имеет место между х и z тогда, когда оно имеет место между х и у и между у и z. Иначе говоря, отношение является транзитивным (переходным) тогда и только тогда, когда из отношения между х и у и между у и z следует такое же отношение между х и z. Отношение транзитивности записывается: (xRy ^ yRz) →xRz. Для получения достоверных заключений из суждений с отношениями необходимо опираться на правила, вытекающие из свойств отношений. Из свойства симметричности (xRy→yRx) вытекает правило: если уждение xRy истинно, то суждение yRx тоже истинно. Из свойства рефлексивности (xRy→xRx ^ yRy) вытекает правило: если суждение xRy истинно, то истинными будут суждения xRx и yRy. Из свойства транзитивности (xRy ^ yRz→xRz) вытекает правило: если суждение xRyистинно и суждение yRzистинно, то суждение xRz также истинно. Таким образом, истинность заключения из суждений с отношениями зависит от свойств отношений и регулируется правилами, вытекающими из этих свойств.
Вопрос 38.Чисто условное умозаключение, его структура и аксиома. Условно-категорическое умозаключение, его модусы и правила. Чисто условное умозаключение - умозаключение, обе посылки которого являются условными суждениями. (pàq)^(qàp) Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания. неp (4.)От утверждения истинности следствия к утверждению истинности основания pàq,q p Правильные модусы дают достоверные заключения: утверждающий(1.) и отрицающий(2.) Они подчиняются правилу: утверждение основания ведет к утверждению следствия и отрицания следствия – к отрицанию основания. Неправильные модусы(3.)(4.) не дают достоверные заключения. Они подчиняются правилу: отрицание основания не ведет с необходимостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания.
Вопрос 39.Разделительно-категорическое умозаключение, его модусы и правила. Разделительно-категорическое умозаключение - умозаключение, в котором одна из посылок — разделительное, а другая посылка и заключение — категорические суждения. Различают 2 модуса разделительно-категорического умозаключения: неq Заключение по этому модусу всегда достоверно, если соблюдается правило: большая посылка должна быть исключающее-разделительным суждением(сужденьем строгой дизьюнкции). 2. В отрицающе-утверждающем модусе (modus tollendo ponens) меньшая посылка отрицает один дизъюнкт, заключение утверждает другой.<p v q>,неp q Утвердительный вывод получен посредством отрицания: отрицая один дизъюнкт, мы утверждаем другой.
Вопрос 40.Условно-разделительное умозаключение, его виды и правила. Условно-разделительное(лемматическое) - умозаключение, в котором одна посылка условное, а другая — разделительное суждения. Разделительное суждение может содержать две, три и большее число альтернатив, поэтому лемматические умозаключения делятся на дилеммы (две альтернативы), трилеммы(три альтернативы) и т.д. 1)Конструктивная(созидательная):простая и сложная. (pàr)^(qàr),pvq Б.В сложной конструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка утверждает оба возможных следствия. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствий. (pàq)^(ràs), pvr qvs 2)Деструктивная(разрушительная):простая и сложная. А.В простой деструктивной дилемме условная посылка содержит одно основание, из которого вытекает два возможных следствия. Разделительная посылка отрицает оба следствия, заключение отрицает основание. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности основания. (p->q)^(p-»r),неqvнеr неp Б.В сложной деструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка отрицает оба следствия, заключение отрицает оба основания. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности оснований. (p-»q)^(r->s),неqvнеs неpvнеr
Вопрос 41. Сокращенные, сложные и сложно-сокращенные силлогизмы. На практике чаще используются силлогизмы, в которых одна из посылок или заключение явно не выражаются, а подразумеваются. 1)Условно-категорический силлогизм с пропущенной большей посылкой. 2)Разделительно-категорический силлогизм с опущенной большой посылкой. 3)Разделительно-категорический силлогизм с опущенным заключением. В процессе рассуждения простые силлогизмы выступают в логической связи друг с другом, образуя цепь силлогизмов, в которой заключение предшествующего силлогизма становится посылкой последующего. Просиллогизм-предшествующий силлогизм. Эписиллогизм-последующий. Виды сложных силлогизмов(полисиллогизм): В прогрессивном полисиллогизме заключение просиллогизма становится большей посылкой эписиллогизма. (pàq)A(qàr)A(ràs)^...^(r1àS1) pàs1 К сложносокращенным силлогизмам относится также эпихейрема. Эпихейремом называется сложносокращенный силлогизм, обе посылки которого являются энтимемами. Развертывание эпихейремы в полисиллогизм позволяет проверить правильность рассуждения, избегать логических ошибок, которые могут остаться незамеченными в эпихейреме.
Популярное: Почему люди поддаются рекламе?: Только не надо искать ответы в качестве или количестве рекламы... Почему стероиды повышают давление?: Основных причин три... Как построить свою речь (словесное оформление):
При подготовке публичного выступления перед оратором возникает вопрос, как лучше словесно оформить свою... Модели организации как закрытой, открытой, частично открытой системы: Закрытая система имеет жесткие фиксированные границы, ее действия относительно независимы... ©2015-2024 megaobuchalka.ru Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. (769)
|
Почему 1285321 студент выбрали МегаОбучалку... Система поиска информации Мобильная версия сайта Удобная навигация Нет шокирующей рекламы |