Дедуктивное рассуждение , также как и дедуктивная логика , - это процесс рассуждения на основе одного или нескольких утверждений (предпосылок) для достижения логического заключения. [1]
Дедуктивное рассуждение идет в том же направлении, что и условные выражения, и связывает посылки с выводами . Если все предпосылки верны, термины ясны и соблюдаются правила дедуктивной логики , то сделанный вывод обязательно верен .
Дедуктивное рассуждение ( «логика сверху вниз» ) контрастирует с индуктивным рассуждением ( «логика снизу вверх» ): в дедуктивном рассуждении вывод достигается редуктивно путем применения общих правил, которые действуют во всей закрытой области дискурса , сужая рассматриваемый диапазон до тех пор, пока не останется только вывод (я). В дедуктивных рассуждениях нет неопределенности . [2] В индуктивных рассуждениях вывод делается путем обобщения или экстраполяции от конкретных случаев к общим правилам, что приводит к выводу, имеющему эпистемологическую неопределенность. [2]
Индуктивное рассуждение - это не то же самое, что индукция, используемая в математических доказательствах - математическая индукция на самом деле является формой дедуктивного рассуждения.
Дедуктивное рассуждение отличается от абдуктивного рассуждения направленностью рассуждений относительно условных выражений. Идея «дедукции», популяризируемая в рассказах о Шерлоке Холмсе, технически является скорее похищением , чем дедуктивным рассуждением. Дедуктивное рассуждение идет в том же направлении, что и условное, тогда как абдуктивное рассуждение идет в направлении, противоположном направлению условных выражений .
Рассуждение с помощью modus ponens, modus tollens и закона силлогизма
Modus ponens
Modus ponens (также известный как «подтверждение антецедента» или «закон непривязанности») является основным дедуктивным правилом вывода . Он применяется к аргументам, которые имеют в качестве первой предпосылки условное утверждение () и в качестве второй посылки антецедент () условного оператора. Получается консеквент () условного утверждения в качестве его заключения. Форма аргумента приведена ниже:
(Первая посылка - условное утверждение)
- (Вторая предпосылка является предшествующей)
- (Вывод является следствием)
В этой форме дедуктивного рассуждения консеквент () следует как вывод из посылок условного утверждения () и его предшественник (). Однако антецедент () не может быть получено так же, как вывод из посылок условного утверждения () и консеквент (). Такой аргумент совершает логическую ошибку, утверждая следствие .
Ниже приводится пример аргумента, использующего modus ponens:
- Если угол равен 90 ° < <180 °, то - тупой угол.
- = 120 °.
- - тупой угол.
Поскольку измерение угла больше 90 ° и меньше 180 °, мы можем вывести из условного оператора (если-то), что - тупой угол. Однако, если нам дано, что - тупой угол, из условного утверждения нельзя вывести, что 90 ° < <180 °. Возможно, правда, что другие углы за пределами этого диапазона также являются тупыми.
Modus tollens
Modus tollens (также известный как «закон контрапозитива») - это дедуктивное правило вывода. Он подтверждает аргумент, который имеет в качестве предпосылки условное утверждение (формулу) и отрицание консеквента () и как заключение отрицание антецедента (). В отличие от modus ponens , рассуждения с modus tollens идут в направлении, противоположном условному. Общее выражение для modus tollens следующее:
- . (Первая посылка - условное утверждение)
- . (Вторая посылка - отрицание следствия)
- . (Сделанный вывод - отрицание предшествующего)
Ниже приведен пример аргумента с использованием modus tollens:
- Если идет дождь, значит, на небе облака.
- На небе нет облаков.
- Таким образом, дождя не было.
Закон силлогизма
В перспективе логики закон силлогизма имеет два условных операторов и формирует заключение, комбинируя гипотезу одного заявления с заключением другого. Вот общая форма:
- Следовательно, .
Ниже приведен пример:
- Если животное - йорк, то это собака.
- Если животное - собака, значит, это млекопитающее.
- Следовательно, если животное - йорк, то это млекопитающее.
Мы вывели окончательное утверждение, объединив гипотезу первого утверждения с заключением второго утверждения. Мы также допускаем, что это могло быть ложным заявлением. Это пример транзитивного свойства в математике. Другой пример - транзитивное свойство равенства, которое можно сформулировать в такой форме:
- .
- .
- Следовательно, .
Простой пример
Пример аргумента с использованием дедуктивного мышления:
- Все люди смертны. (Первая посылка)
- Сократ - мужчина. (Вторая посылка)
- Следовательно, Сократ смертен. (Заключение)
Первая посылка гласит, что все объекты, классифицируемые как «люди», имеют атрибут «смертные». Вторая посылка гласит, что «Сократ» классифицируется как «мужчина» - член множества «мужчин». В заключении говорится, что «Сократ» должен быть «смертным», потому что он унаследовал это свойство от своей классификации как «человек».
Обоснованность и обоснованность
Дедуктивные аргументы оцениваются с точки зрения их достоверности и обоснованности .
Аргумент считается « действительным », если его посылки не могут быть истинными, в то время как его вывод ложен. Другими словами, вывод должен быть верным, если посылки верны. Аргумент может быть «действительным», даже если одна или несколько его предпосылок ложны.
Аргумент считается « правильным », если он действителен и посылки верны.
Возможен дедуктивный аргумент, который логически верен, но не является здравым . Ошибочные аргументы часто принимают такую форму.
Ниже приводится пример аргумента, который является «действительным», но не «правильным»:
- Все, кто ест морковь, - квотербек.
- Джон ест морковь.
- Следовательно, Джон - квотербек.
Первая посылка примера ложна - есть люди, которые едят морковь, но не защитники, но вывод обязательно был бы верным, если бы посылка была верной. Другими словами, посылки не могут быть истинными, а заключение - ложным. Следовательно, аргумент «верный», но не «здравый». Ложные обобщения, такие как «Каждый, кто ест морковь, является квотербеком», часто используются для создания необоснованных аргументов. Тот факт, что есть люди, которые едят морковь, но не являются квотербеками, доказывает ошибочность этого аргумента.
В этом примере в первом утверждении используется категориальная аргументация , согласно которой все едоки моркови определенно являются квотербеками. Эта теория дедукции - также известный как термин логики - была разработана Аристотелем , но был заменен пропозициональной (сентенционного) логики и логики предикатов . [ необходима цитата ]
Дедуктивное рассуждение можно противопоставить индуктивному рассуждению в отношении обоснованности и обоснованности. В случаях индуктивного рассуждения, даже если посылки истинны, а аргумент «действителен», заключение может быть ложным (определенным как ложное с помощью контрпримера или других средств).
Вероятность заключения
Вероятность вывода дедуктивного аргумента не может быть рассчитана путем выяснения совокупной вероятности посылок аргумента. Доктор Тимоти МакГрю , специалист по приложениям теории вероятностей , и доктор Эрнест У. Адамс, почетный профессор Калифорнийского университета в Беркли , отметили, что теорема о накоплении неопределенности обозначает только нижний предел вероятности заключения. . Таким образом, вероятность соединения посылок аргумента устанавливает лишь минимальную вероятность заключения. Вероятность заключения аргумента не может быть ниже вероятности соединения посылок аргумента. Например, если вероятность четырех посылок дедуктивного аргумента составляет ~ 0,43, то гарантировано, что вероятность заключения аргумента не меньше ~ 0,43. Оно может быть намного выше, но не может упасть ниже этого нижнего предела. [3] [4]
Могут быть примеры, в которых каждая отдельная посылка с большей вероятностью верна, чем нет, и все же было бы неразумно принимать соединение посылок. Профессор Генри Кибург , известный своей работой в области теории вероятностей и логики , пояснил, что здесь речь идет о замыкании, а именно о замыкании при соединении. Существуют примеры, когда разумно принять P и разумно принять Q без разумного принятия конъюнкции (P&Q). Лотереи служат очень наглядным примером этого, потому что в базовой недискриминационной конечной лотерее, в которой разыгрывается только один победитель, разумно думать, что билет 1 - проигравший, - разумно думать, что билет 2 - проигравший. .. вплоть до окончательного числа. Однако очевидно, что принимать сочетание этих утверждений иррационально; соединение будет отрицать сами условия лотереи, потому что (взятые с учетом предыстории) это повлечет за собой отсутствие победителя. [5] [4]
Д-р МакГрю далее добавляет, что единственный метод гарантировать, что вывод, дедуктивно сделанный из группы посылок, более вероятен, чем нет, - это использовать посылки, соединение которых более вероятно, чем нет. Этот момент немного сложен, поскольку может привести к недопониманию. Исследуется общий принцип, определяющий факторы, при которых для любого логического следствия C группы посылок C более вероятно, чем нет. Конкретные последствия будут различаться по вероятности. Однако цель состоит в том, чтобы указать условие, при котором этот атрибут обеспечивается, независимо от того, какие последствия он приводит, и выполнение этого условия требуется для выполнения задачи.
Этот принцип можно продемонстрировать умеренно ясно. Предположим, например, следующую группу помещений:
{P, Q, R}
Предположим, что конъюнкция ((P & Q) & R) не может быть более вероятной, чем нет. Тогда есть по крайней мере одно логическое следствие группы, которое не может быть более вероятным, а именно это соединение. Таким образом, это важный фактор для аргумента «сохранить правдоподобие» (д-р Макгрю использует эту фразу, чтобы означать «гарантия, исходя только из информации о правдоподобности посылок, что любой вывод, сделанный из этих посылок с помощью дедуктивного вывода, сам по себе более правдоподобен. чем нет »), что соединение помещений более вероятно, чем нет. [4]
История
Аристотель , греческий философ , начал документировать дедуктивные рассуждения в 4 веке до нашей эры. [6] Рене Декарт в своей книге « Рассуждения о методе» уточнил идею научной революции. Разработав четыре правила дедуктивного доказательства идеи, Декарт заложил основу дедуктивной части научного метода . Опыт Декарта в области геометрии и математики повлиял на его идеи об истине и рассуждениях, заставив его разработать систему общих рассуждений, которая сейчас используется для большинства математических рассуждений. Подобно постулатам, Декарт полагал, что идеи могут быть самоочевидными и что одно только рассуждение должно доказать надежность наблюдений. Эти идеи также закладывают основы идей рационализма . [7]
Смотрите также
- Абдуктивное рассуждение
- Аналогичное рассуждение
- Аргумент (логика)
- Теория аргументации
- Заочная теория истины
- Принимать решение
- Теория принятия решений
- Разрешаемое рассуждение
- Заблуждение
- Анализ дерева отказов
- Геометрия
- Гипотетико-дедуктивный метод
- Вывод
- Расследование
- Юридический силлогизм
- Логика и рациональность
- Логическое следствие
- Логическое объяснение
- Математическая логика
- Естественный вычет
- Теория дедуктивного мышления Пирса
- Исчисление высказываний
- Ретродуктивное рассуждение
- Научный метод
- Субъективная логика
- Теория оправдания
Рекомендации
- Перейти ↑ Sternberg, RJ (2009). Когнитивная психология . Бельмонт, Калифорния: Уодсворт. С. 578 . ISBN 978-0-495-50629-4.
- ^ а б Зи, Ян (2019), Модели шестизначных мер: шесть видов информации , Kindle Direct Publishing Science
- ^ Адамс, Эрнест В. (1998). Учебник по вероятностной логике . Издательство Кембриджского университета. С. 31–34. ISBN 157586066X.
- ^ а б в МакГрю, Тимоти Дж .; ДеПо, Джон М. (2013). «Использование аргументов» . Философия Кристи . 15 (2): 299–309. DOI : 10,5840 / pc201315228 . Проверено 13 марта 2021 года .
- ^ Кибург, Генри (1970). « » Конъюнктивит «в М. Суэйн, изд., Induction, принятие и рациональной веры» . SYLI . 26 : 55–82. DOI : 10.1007 / 978-94-010-3390-9_4 . Проверено 13 марта 2021 года .
- ^ Эванс, Джонатан Стрит БТ; Ньюстед, Стивен Э .; Бирн, Рут MJ , ред. (1993). Человеческое мышление: психология дедукции (Перепечатка ред.). Психология Press. п. 4. ISBN 9780863773136. Проверено 26 января 2015 .
В каком-то смысле [...] можно считать, что психология дедуктивного мышления так же стара, как и изучение логики, зародившееся в трудах Аристотеля.
- ^ Самаха, Рейд (3 марта 2009 г.). "ЗАПРОС ДЕКАРТА" (PDF) . Американский университет Бейрута . Проверено 24 октября 2019 года .
дальнейшее чтение
- Винсент Ф. Хендрикс , Thought 2 Talk: Crash Course in Reflection and Expression , New York: Automatic Press / VIP, 2005, ISBN 87-991013-7-8
- Филип Джонсон-Лэрд , Рут MJ Бирн , Deduction , Psychology Press 1991, ISBN 978-0-86377-149-1
- Зарефски, Дэвид, Аргументация: изучение эффективных частей I и II рассуждений , The Teaching Company 2002
- Буллемор, Томас. Прагматическая проблема индукции .
Внешние ссылки
- Дедуктивное мышление в PhilPapers
- Дедуктивное рассуждение в проекте « Философская онтология Индианы»
- «Дедуктивное рассуждение» . Интернет-энциклопедия философии .