Абдуктивное мышление(также называемое похищением, абдуктивный выводили ретродукция) - это форма логического вывода, сформулированная и продвинутая американским философом Чарльзом Сандерс Пирс начало в последней трети 19 века. Он начинается с наблюдения или набора наблюдений, а затем пытается найти самый простой и наиболее вероятный результат из наблюдений. Этот процесс, в отличие от дедуктивного мышления, дает правдоподобный вывод, но не подтверждает его. Таким образом, абдуктивные выводы квалифицируются как содержащие остатки неуверенности или сомнений, которые выражаются в терминах отступления, таких как «наилучший из видов» или «наиболее вероятный». Абдуктивное рассуждение можно понимать как вывод для лучшего объяснения, хотя не все употребления терминов абдукция и вывод для лучшего объяснения в точности эквивалентны.
В 1990-х годах по мере роста вычислительной, области права, информатика и искусственный интеллект исследования вызвали новый интерес к теме похищения. Диагностические экспертные системы часто используют абдукцию.
Дедуктивное рассуждение позволяет вывести из
только там, где
является формальным логическим следствием из
. Другими словами, дедукция выводит последствия предполагаемого. Данная истинность предположений, действительный вывод гарантирует истинность вывода. Например, учитывая, что «Вики может редактировать кто угодно» (
Индуктивное мышление позволяет вывести из
, где
не обязательно следует из
.
может дать нам очень вескую причину принять
, но не обеспечивает
. Например, если все лебеди, которых мы предположли до сих пор, белые, мы предположить, что вероятность того, что все лебеди белые, разумна. У нас есть веские основания полагать, что вывод из посылки, но истинность вывода не гарантируется. (Действительно, оказывается, некоторые лебеди черные.)
Абдуктивное рассуждение позволяет вывести в качестве объяснения
. В результате этого вывода абдукция позволяет вывести предупреждение
из следствия
. дедуктивное рассуждение и абдуктивные рассуждения, таким образом, различаются по направлению, в котором вывод используется правило типа «
entails
».
Таким образом, похищение формально эквивалентно логической ошибкой , подтверждающей последующее (или post hoc ergo propter hoc ) из-за множества причин объяснений . Например, в бильярдной игре, посмотрев и увидев шар восьмерки, движущийся к нам, мы предположить, что биток попал в шар восьмой. Удар битка учитывал движение восьмого шара. Он служит гипотезой, объясняющей наше наблюдение. Наше похищение не дает нам уверенности в том, что биток на самом деле ударил восьмой шар, наше похищение, может служить ориентиром для нас в нашем окружении. Несмотря на множество методов объяснения любого физического процесса, который мы наблюдаем, мы можем лучше ориентироваться в нашем окружении и игнорировать некоторые возможности. При правильном использовании абдуктивное рассуждение может быть полезным клиентом априорных значений в байесовской статистике.
В логика, объяснение достигается с помощью логической теории , представляет домен и набор наблюдений
. Похищение - это процесс получения набора объяснений
согласно
и выбора одного из этих объяснений.. Для
должно быть объяснение
согласно
, он должен удовлетворять двум условиям:
В формальной логике и
юридически, что это наборы литералов. Два условия для
являются объяснением
согласно теории
оформляются как:
Среди объяснений удовлетворяя этим двум условиям, обычно накладывается какое-либо другое условие минимальности, чтобы избежать включения нерелевантных фактов (не способствующих возникновению
) объяснения. Похищение - это процесс, в ходе которого выбирается какой-либо член
. Критерии выбора члена, представляющего «лучшее» объяснение, включая простоту, априорную вероятность или объяснительную силу объяснения.
A Теоретико-доказательный метод абдукции для классической логики первого порядка, основанный на исчислении последовательностей, и двойной метод, основанный на семантических таблицах (аналитических таблицах ). Эти методы надежны и полны и работают для полной логики первого порядка, не требуя какого-либо предварительного предположения формул в нормальные формы формы. Эти методы также были расширены до модальной логики.
Абдуктивное логическое программирование - это вычислительная структура, которая расширяет нормальное логическое программирование за счет абдукции. Он разделяет теорию на два компонента, один из которых является обычной логической программой, используемой для создания
с помощью обратных рассуждений, другое из которых представляет собой набор ограничений целостности, используется для фильтрации набора объяснений.
Другая формализация похищения на инвертировании функции, которая вычисляет видимые эффекты гипотез. Формально нам дан набор гипотез и набор проявлений
; они представлены в качестве компьютерной области, представленной функцией
, которая принимает в результате аргумента набор гипотез и выдает в результате соответствующий набор проявлений. Другими словами, для каждого подмножества гипотез
их эффекты известны как
.
Отведение выполняется путем нахождения набора такого, что
. Другими словами, абдукция выполняется путем нахождения набора гипотез
таких, что их эффекты
включить все наблюдения
.
общее предположение в том, что эффекты гипотезы, то есть для каждого считается, что
. Если это условие выполнено, похищение можно рассматривать как форму набора , охватывающего.
Абдуктивную валидацию - это процесс подтверждения данной гипотезы посредством абдуктивных рассуждений. Это также можно назвать рассуждением методом последовательного приближения. Согласно этому принципу, объяснение действительно, если оно является наилучшим объяснением набора данных. Лучшее возможное объяснение часто определяет с точки зрения простоты и элегантности (см. бритва Оккама ). Абдуктивная проверка - обычная практика при формировании гипотез в науке ; более того, Пирс утверждает, что это вездесущий аспект мысли:
Выглянув в окно этим прекрасным весенним утром, я вижу полностью цветущую азалию. Нет нет! Я этого не вижу; хотя это единственный способ описать то, что я вижу. Это предложение, предложение, факт; но то, что я воспринимаю, - это не предложение, предложение, факт, а только образ, который я частично делаю понятным с помощью утверждения факта. Это заявление абстрактно; но то, что я вижу, конкретно. Я совершаю похищение, когда выражаю в предложении все, что вижу. Истина заключается в том, что вся ткань нашего знания - это сплетенное ощущение чистой гипотезы, подтвержденной и уточненной индукции. Невозможно добиться ни малейшего в прогрессе познании, выходящем за пределы стадии пустого взгляда, без похищения на каждом шагу.
Это была собственная максима Пирса, что «факты не могут быть объяснены гипотезой более экстраординарной, чем сами эти факты; должны быть приняты различные гипотезы, наименования экстраординарные ». Использование гипотез, которые могут использовать факты, абдуктивная проверка - это метод определения наиболее вероятной гипотезы, которую следует принять.
Субъективная логика обобщает вероятностную логику, включая степень эпистемической неопределенности во входные аргументы, т. Е. Вместо вероятностей, аналитик может выражать аргументы как субъективные мнения. Таким образом, абдукция в субъективной логике является обобщением вероятностного абдукции, описанного выше. Входными аргументами в субъективной системе являются субъективные мнения, которые могут быть биномиальными, когда оно используется к логической переменной, или полиномиальным, когда оно используется к n-арной переменной. Таким образом, субъективное мнение используется к состоянию , которая принимает свои значения из домена
(т.е. пространство состояний исчерпывающих и взаимно непересекающихся значений состояний
), и обозначается кортежем
, где
- распределение массы политических убеждений по
,
- масса эпистемической неопределенности, а
- распределение данной ставки по
. Эти параметры удовлетворяют условиям
и
, а также
.
Предположим , что домены и
с указанными переменными
и
, набор условных мнений
(т.е. одно условное мнение для каждого значения
) и базовое распределение ставок
. На основе этих параметров субъективная теорема Байеса, обозначенная оператором
, дает набор инвертированных условных выражений
(т.е. по одному инвертированному условному выражению для каждого значения
) выражается как:
Использование этих перевернутых условных выражений вместе с мнением субъективным выводом, обозначенным оператором
может быть, чтобы отразить маргинальное мнение
. Равенство между различными выражениями для субъективного отведения приведено ниже:
Символическое обозначение субъективного абдукция - "", а сам оператор обозначается как "
". Оператор субъективной теоремы Байеса обозначается «
», субъективная дедукция обозначается«
".
Преимущество использования субъективной логической абдукции по сравнению с вероятностной абдукцией, основанной на том, что как алеаторическая, так и эпистемическая неопределенность относительно вероятностей входного аргумента Таким образом, можно проводить абдуктивный анализ при наличии неопределенных аргументов, что, естественно, приводит к степени неопределенности в выводах.
Американский философ Чарльз Сандерс Пирс ввел абдукцию в со временную логику. На многих лет он называл такой вывод гипотезой, абдукцией, презумпцией и ретродукцией. Он считал это темой логики как нормативной области в философии, а не чисто формальной или математической логики. c, и, в конечном итоге, также в качестве темы исследований в экономике.
две стадии развития, расширения и т. Д. Гипотезы в научном исследовании, похищение, а также индукция часто сворачиваются в одну всеобъемлющую концепцию - гипотеза. Вот почему в научном методе, известном из Галилео и Бэкон, абдуктивная стадия формирования гипотезы концептуализируется просто как индукция. Таким образом, в двадцатом веке этот крах был усилен экспликацией Карла Поппера гипотетико-дедуктивной модели, в рамках которой гипотеза рассматривается как «предположение» (в духе Пирса). Однако, когда формирование гипотезы рассматривается как процесс, становится ясно, что эта «догадка» уже была опробована и сделана более устойчивой в мыслях как необходимый этап ее обретения статуса гипотезы. Действительно, многие похищения отвергаются или сильно видоизменяются последующими похищениями еще до того, как они достигают этой стадии.
До 1900 года Пирс рассматривал похищение как использование известных правил для объяснения наблюдения. Например, известно: правило, что идет дождь, трава намокает; Итак, чтобы объяснить тот факт, что трава на этом газоне мокрая, можно предположить, что шел дождь. Похищение может привести к ложным выводам, если не принято во внимание другие правила, которые могут привести наблюдение, например. трава могла быть влажной от росы. Это остается обычным использованием термина «похищение» в социальных науках и в искусственном интеллекте.
Пирс последовательно характеризует его как свой вывод вывод, который порождает гипотезу путем заключения в объяснении: хотя и неуверенный, из- за какого-то очень любопытного или удивительного (аномального) наблюдения, изложенного в животных. Еще в 1865 году он писал, что все концепции причины и силы достигаются посредством гипотетического вывода; в 1900-х годах он писал, что все объяснительное содержание теорий достигается путем похищения. В остальном Пирс пересмотрел свой взгляд на похищение на протяжении многих лет.
В более поздние годы его точка зрения стала такой:
В 1910 году Пирс признает, что «почти во всем, что я печатал до начала этого века, я более или менее смешивал гипотезу и индукцию», и он прослеживает смешение этих двух типов рассуждений со слишком «узкой и формалистической концепцией вывода, которая неизбежно формулирует суждения, исходя из своих предпосылок».
Он начал в 1860-х, трактуя гипотетический вывод методов безопасности. которые он в конечном итоге получает несущественные или ошибочные в некоторых случаях:
В 1867 году гипотетический вывод Пирса "" всегда имел дело с группой символов (назовем их P ′, P ′ ′, P ′ ′ ′ и т. Д.), которые встречаются, по крайней мере, всякий раз, когда встречается определенный символ (M). Обратите внимание, что в категориальных силлогизмах есть элементы, традиционно называемые серединами, предикатами и животными. Например: Все люди [средний] смертны [сказуемое]; Сократ [субъект] - мужчина [средний]; ergo Сократ [субъект] смертен [сказуемое] ». Ниже «M» обозначает середину; «P» - предикат; «S» - субъект. Пирс считал, что вся дедукция может быть выражена в форме категориального силлогизм Барбара (AAA-1).
[Вывод]. [Любое] M равно P. [Любое] S равно M. | Индукция. S ′, S ′ ′, S ′ ′ ′ и т. д. взяты наугад как M;. S ′, S ′ ′, S ′ ′ ′ и c. Суть P:. | Гипотеза. Любое M - это, например, P ′, P ′ ′, P ′ ′ ′ и т. Д.;. S - это P ′, P ′ ′, P ′ ′ ′ и т. Д.:. |
В 1878 году в " "больше нет необходимости в нескольких символах или для того, чтобы вывод был гипотетическим, хотя он по-прежнему полезен. Более того, Пирс больше не представляет гипотетический вывод как вывод вероятной гипотезы. е формируются сами по себе, это понимается, но не явно, что индукция включает случайный выбор, а гипотетический вывод включает реакцию на «очень любопытное обстоятельство». Вместо этого подчеркивают способы вывода как перестановку друг друга (заключенных в скобки указаний, показанных ниже).
Удержание. Правило: Все бобы из этого мешка белые.. Кейс: Эти бобы из этого мешка.. | Индукция. Кейс: Эти бобы [случайным образом выбираются] из этого мешка.. Результат: Эти бобы белые.. | Гипотеза. Правило: Все бобы из этого мешка белые.. Результат: Эти бобы [как ни странно] белые.. |
Пирс долгое время рассматривал абдукцию точки индукции от персонажей или черт (взвешенных, а не подсчитываемых как объекты), явно так в своем влиятельном «1883 году», в котором он возвращается к вовлечению вероятности в гипотетический вывод. Подобно «Дедукции, индукции и гипотезе» 1878 года, она была широко прочитана (см. Исторические книги по статистике Стивена Стиглера ), в отличие от его более поздних поправок к своей концепции похищения. Сегодня похищение чаще всего понимается как побуждение персонажей и расширение известных правил на необъяснимые обстоятельства.
Шерлок Холмс использует этот метод рассуждения в рассказах Артура Конан Дойля, хотя Холмс называет его «дедуктивным рассуждением ".
В 1902 году Пирс писал, что теперь он считает силлогистические формы и доктрину расширения и понимания (т. Е. Объекты и символы, на которые называются термины) менее фундаментальными, чем он думал ранее. В 1903 году он развивалась следующая форма для похищения:
Наблюдается удивительный, C;
- Но если бы A было правдой, C было бы само собой разумеющимся,
- Следовательно, есть основания подозревать, что A является верно.
Гипотеза оформляется, но не утверждается, в посылке, утверждается, как рационально утверждается в заключении. Таким образом, как и в более ранней категориальной силлогистической форме, заключение формулируется на основе некоторой посылки (-ий). Но все В то же время гипотеза яснее, чем когда-либо, заключается в новой или внешней идее, выходящей за рамки того, что или наблюдается. ense выходит за рамки наблюдений, уже представленных в материалах, но просто усиливает уже известные идеи, представляющие события, или проверяет идею, выдвинутую гипотезой; в любом случае для того, чтобы получить такие идеи, требуются предыдущие похищения. Индукция ищет факты для проверки гипотезы; похищение ищет гипотезу для объяснения фактов.
Обратите внимание, что гипотеза («А») может быть правилом. Это даже не должно быть правилом, строго требующим удивительного наблюдения («С»), которому нужно следовать только как «само собой разумеющееся»; или же «курс» сам по себе может составлять какое-то известное правило, которое просто обязательно, а также не правило строгой необходимости. В том же году Пирс писал, что достижение гипотезы может быть удивительным, либо под новым гипотетическим правилом, либо под гипотетической комбинацией известных правил с особым состоянием фактов, так что это явление не будет удивительным, но вместо этого либо обязательно подразумевается или, по крайней мере, вероятно.
Пирс не оставался вполне вероятным в такой форме, как категориальная форма силлогистическая или форма 1903 года. В 1911 году он писал: «В настоящее время я не совсем уверен, что может быть назначена какая-либо логическая форма, охватывающая все« ретродукции ». Ибо то, что я подразумеваю под ретродукцией, - это просто предположение, возникшее в уме ».
Прагматизм
В 1901 году Пирс писал: «Не было бы логики в навязывании правил и утверждении, что они должны соблюдаться, пока не справнится, что цель гипотезы их требует. "В 1903 году Пирс назвал прагматизм « логикой похищения »и сказал, что прагматический принцип дает и достаточное логическое правило для похищения в целом. Прагматическая максима такова:
Подумайте, Таким образом, эта концепция этих эффектов составляет всю нашу концепцию объекта.
Это метод плодотворного прояснения концепций, приравнивая концепции к мыслимым практическим последствиям задуманных эффектов ее объекта. Различные работы 1900-х годов он говорил, что похищение (или возвращение) регулируется соображениями экономии, в особенностях относящихся к экономике исследований. Он рассматривает экономику как нормативную науку, аналитическая часть которой могла бы б ыть частью логической методологии (то есть теории исследования).
Три уровня логики о похищении
Пирс с годами пришел к разделить (философскую) логику на три отдела:
- стехиология, или умозрительная грамматика, по условиям осмысленности. Классификация знаков (подобия, симптомы, символы и т. Д.) И их комбинации (а также их объекты и интерпретантов ).
- Логический критик или собственно обоснованность, на достоверность или обоснованность вывода, условия для истинного представления. их различных форм (дедукция, индукция, абдукция).
- Метододевтика, или спекулятивная риторика, определение условий интерпретаций.
Пирс имел, с самого начала рассмотрениявал способов согласования друг с другом в научном исследовании, и к 1900-м годам считал, что гипотетический вывод, в частности, неадекватно трактуется на уровне критики аргументов, чтобы повысить уверенность в гипотетическом заключении, чтобы сделать выводы о доказательствах, которые должны быть найдены, прогнозы, которые Это набросок научного метода Пирса из i исследования, как указано в его методологии расследования, которое включает прагматизм или, как он позже назвал его, прагматизм, разъяснение идей с точки зрения их возможного значения для осознанной практики.
Классификация знаков
Еще в 1866 году Пирс считал:
1. Гипотеза (абдуктивный вывод) - это вывод посредством значка (также называемого подобием).. 2. Индукция - это вывод через индекс (знак фактической связи); образец - это индекс совокупности, из которой он взят.. 3. Дедукция - это вывод через символ (знак по привычке интерпретации независимо от сходства или связи с его объектом).
В 1902 году Пирс писал, что в абдукции: «Признано, что явления подобны, то есть составляют икону, реплику общей концепции или символов».
Критика аргументов
изученНа критическом уровне Пирсил формы абдуктивных аргументов (как обсуждалось выше) и пришел к выводу, что гипотеза должна экономить на объяснении правдоподобия с точки зрения возможного и естественного. В 1908 году Пирс довольно подробно описал это правдоподобие. Он включает не вероятность, основанную на наблюдениях (которая вместо этого является индуктивной оценкой гипотезы), а вместо этого оптимальную простоту в смысле «легкости и естественности», как в естественном свете разума Галилея, и в отличие от «логической простоты» ( Пирс не отвергает логическую простоту полностью, но видит ее в подчиненной роли; доведя ее до логической крайности, он предпочел бы вообще не добавлять никаких объяснений к наблюдению). Даже хорошо подготовленный ум чаще ошибается, чем правильно, но наши догадки более успешны, чем случайная удача в достижении истины или, по крайней мере, в продвижении исследования, и это указывает Пирсу на то, что они основаны на инстинктивном созвучии с природой, на сродстве между процессы разума и процессы реального, которые объяснили бы, почему привлекательные «естественные» догадки чаще всего (или реже всего) оказываются успешными; к которому Пирс добавил аргумент о том, что такие предположения следует предпочесть, поскольку без «естественных наклонностей, подобных естественным», у людей не было бы надежды понять природу. В 1910 году Пирс провел трехстороннее различие между вероятностью, правдоподобием и правдоподобием и определил правдоподобие с помощью нормативного «должного»: «Под правдоподобием я имею в виду степень, в которой теория должна рекомендовать себя для наших убеждений независимо от любого рода. свидетельств, кроме нашего инстинкта, побуждающего нас относиться к нему благосклонно ". Для Пирса правдоподобие не зависит от наблюдаемых частот или вероятностей, или от правдоподобия, или даже от проверяемости, что не является вопросом критики гипотетического вывода как вывода, а, скорее, вопросом отношения гипотезы к процессу исследования..
Фраза «вывод наилучшего объяснения» (не используется Пирсом, но часто применяется к гипотетическому выводу) не всегда понимается как относящаяся к наиболее простым и естественным гипотезам (например, к гипотезам с наименьшим предположения ). Однако в других смыслах слова «лучший», например, «лучше всех выдерживать испытания», трудно понять, какое объяснение лучше всего сформулировать, поскольку его еще не тестировали. Тем не менее, для Пирса любое оправдание абдуктивного вывода как хорошего не завершается после его формирования в качестве аргумента (в отличие от индукции и дедукции), а вместо этого зависит также от его методологической роли и обещания (например, его проверяемости) в продвижении исследования. 127>
Методология исследования
На методологическом уровне Пирс считал, что гипотеза оценивается и выбирается для проверки, потому что она предлагает посредством ее проверки ускорить и сэкономить процесс расследования к новым истинам, в первую очередь благодаря возможности проверки, а также за счет дальнейшей экономии с точки зрения затрат, ценности и взаимосвязи между предположениями (гипотезами). Здесь в игру вступают такие соображения, как вероятность, отсутствующая при рассмотрении похищения на критическом уровне. Например:
- Стоимость: простая, но маловероятная догадка, если она не требует больших затрат на проверку на ложность, может оказаться первой в очереди на проверку, чтобы избавиться от нее. Если удивительно, что оно выдерживает тесты, об этом стоит знать на раннем этапе расследования, иначе оно могло бы долго оставаться на неверном, хотя и более вероятном пути.
- Ценность: предположение, по сути, стоит проверить, если оно инстинктивно правдоподобно. или обоснованная объективная вероятность, в то время как субъективная вероятность, хотя и обоснованная, может быть коварной.
- Взаимосвязи: догадки могут быть выбраны для испытания стратегически из-за их
- осторожности, к которой Пирс в качестве примера привел игру в Двадцать вопросов,
- широту применимости для объяснения различных явлений и
- несложность гипотезы, которая кажется слишком простой, но проверка которой «может дать хороший« отпуск » , как говорят "бильярдисты", и будет поучительным для отыскания различных и противоречивых гипотез в менее просты.
ПриложенияИскусственный интеллект
Приложения в искусственном интеллекте включают диагностику неисправностей, пересмотр принудений и автоматическое планирование. Наиболее прямое применение абдукции - это автоматическое обнаружение неисправностей в системе: данную теорию, связывающую неисправности с их последствиями и набором неисправностей, абдукцию можно использовать для получения наборов неисправностей, которые, вероятно, будут причиной проблемы.
Медицина
В медицине похищение можно рассматривать как компонент клинической оценки и суждения.
Автоматическое планирование