Студопедия Главная Случайная страница Обратная связь

Разделы: Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Умозаключения из сложных суждений





Виды умозаключений Формулы умозаключений Символические обозначения Модусы Правила выводов в модусах
Чисто-условное – обе посылки и заключение – условные суждения Если а, то b Если b, то с Если а, то с   (a→b)Λ(b→c) a→c   – Следствие следствия есть следствие основания
  Условно-категорическое – одна из посылок – условное суждение, а другая посылка и заключение – категорические суждения Если а, то b а b a → b, a b ┐a → b, ┐a b a → ┐b, a ┐b ┐a→ ┐b, ┐a ┐b modus pоnens утверждаще-утверждающий   Правильный Утверждение основания ведёт к утверждению следствия
Если а, то b не b не а a → b, ┐b ┐a ┐a → b, ┐b a a → ┐b, b ┐a ┐a → ┐b, b a modus tollens отрицающе- отрицающий   Правильный Отрицание следствия ведёт к отрицанию основания
Если а, то b не а не b a → b, ┐a ┐b Неправильный Отрицание основания не ведёт с необходимостью к отрицанию следствия

Продолжение табл. 7

  Если а, то b b a a → b, b a Неправильный Утверждение следствия не ведёт с необходимостью к утверждению основания
Все выделяющие суждения дают достоверный вывод a ≡ b, a b a ≡ b, b a a ≡ b, ┐a ┐b a ≡ b, ┐b ┐a
Разделительно-категорическое: одна посылка – разделительное суждение, другая посылка и заключение – категорические суждения     a или b a не b a Ṽ b, a ┐b modus ponendo tollens утверждающе- отрицающий Большая посылка – исключающе-разделительное суждение, т.е. сильная дизъюнкция
a или b не a b <a V b>, ┐a b modus tоlendo ponens отрицающе-утверждающий Большая посылка – полное (закрытое) дизъюнктивное суждение, т.е. перечислены все возможные альтернативы
Условно-разделительное: одна посылка условная, а другая – разделительное суждение   Разновидностью является дилемма, в которой разделительное суждение содержит две альтернативы Если a, то c Если b, то c a или b c (a→c)Λ(b→c) <a V b>; c Простая конструктивная дилемма Рассуждение направлено от утверждения оснований к утверждению следствия. Разделительная посылка - закрытая дизъюнкция
Если a, то b Если c, то d a или c b или d (a→b) V (с→d) <a V c>; bVd Сложная конструктивная дилемма Рассуждение направлено от утверждения оснований к утверждению следствий. Разделительная посылка - закрытая дизъюнкция
Если a, то b Если a, то c не b или не c не a (a→b) Λ (a→c) <┐b V ┐c>; ┐a Простая деструктивная дилемма Рассуждение направлено от отрицания следствий к отрицанию основания. Разделительная посылка – закрытая дизъюнкция
Если a, то b Если c, то d не b или не d не a или не c (a→b) Λ (c→d) <┐b V ┐d>; ┐a V ┐c Сложная деструктивная дилемма Рассуждение направлено от отрицания следствий к отрицанию основания. Разделительная посылка – закрытая дизъюнкция

Таблица 8







Дата добавления: 2015-03-11; просмотров: 1073. Нарушение авторских прав; Мы поможем в написании вашей работы!




Кардиналистский и ординалистский подходы Кардиналистский (количественный подход) к анализу полезности основан на представлении о возможности измерения различных благ в условных единицах полезности...


Обзор компонентов Multisim Компоненты – это основа любой схемы, это все элементы, из которых она состоит. Multisim оперирует с двумя категориями...


Композиция из абстрактных геометрических фигур Данная композиция состоит из линий, штриховки, абстрактных геометрических форм...


Важнейшие способы обработки и анализа рядов динамики Не во всех случаях эмпирические данные рядов динамики позволяют определить тенденцию изменения явления во времени...

Различия в философии античности, средневековья и Возрождения ♦Венцом античной философии было: Единое Благо, Мировой Ум, Мировая Душа, Космос...

Характерные черты немецкой классической философии 1. Особое понимание роли философии в истории человечества, в развитии мировой культуры. Классические немецкие философы полагали, что философия призвана быть критической совестью культуры, «душой» культуры. 2. Исследовались не только человеческая...

Обзор компонентов Multisim Компоненты – это основа любой схемы, это все элементы, из которых она состоит...

Способы тактических действий при проведении специальных операций Специальные операции проводятся с применением следующих основных тактических способов действий: охрана...

Искусство подбора персонала. Как оценить человека за час Искусство подбора персонала. Как оценить человека за час...

Этапы творческого процесса в изобразительной деятельности По мнению многих авторов, возникновение творческого начала в детской художественной практике носит такой же поэтапный характер, как и процесс творчества у мастеров искусства...

Studopedia.info - Студопедия - 2014-2025 год . (0.008 сек.) русская версия | украинская версия