Абдуктивное рассуждение - Abductive reasoning

«Похищающий» перенаправляется сюда. Для использования в других целях см. Похищение (значения).

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

Абдуктивное рассуждение (также называется похищение,^[1] абдуктивный вывод,^[1] или воспроизведение^[2]) является формой логический вывод сформулированы и продвинуты американскими философ Чарльз Сандерс Пирс начало в последней трети 19 века. Он начинается с наблюдения или набора наблюдений, а затем пытается найти самый простой и наиболее вероятный вывод из наблюдений. Этот процесс, в отличие от дедуктивное мышление, дает правдоподобный вывод, но не подтверждает его. Таким образом, абдуктивные выводы квалифицируются как имеющие остаток неуверенности или сомнений, которые выражаются в терминах отступления, таких как «наилучший из имеющихся» или «наиболее вероятный». Абдуктивное рассуждение можно понять как вывод к лучшему объяснению,^[3] хотя не все употребления терминов похищение и вывод к лучшему объяснению в точности эквивалентны.^[4][5]

В 1990-х, когда вычислительные мощности росли, области права,^[6] Информатика, и искусственный интеллект исследование^[7] пробудили новый интерес к теме похищения.^[8]Диагностический экспертные системы часто используют похищение.^[9]

Удержание, индукция и абдукция

Основная статья: Логическое объяснение

Удержание

Основная статья: Дедуктивное мышление

Дедуктивное рассуждение позволяет вывести ${\displaystyle b}$ от ${\displaystyle a}$ только где ${\displaystyle b}$ формальный логическое следствие из ${\displaystyle a}$. Другими словами, дедукция выводит последствия предполагаемого. Учитывая истинность предположений, действительный вывод гарантирует истинность вывода. Например, учитывая, что «Вики может редактировать кто угодно» (${\displaystyle a_{1}}$) и «Википедия - это вики» (${\displaystyle a_{2}}$), из этого следует, что «Википедию может редактировать кто угодно» (${\displaystyle b}$).

Индукция

Основная статья: Индуктивное мышление

Индуктивное рассуждение позволяет сделать вывод ${\displaystyle b}$ от ${\displaystyle a}$, где ${\displaystyle b}$ не обязательно следует из ${\displaystyle a}$. ${\displaystyle a}$ может дать нам очень вескую причину принять ${\displaystyle b}$, но это не гарантирует ${\displaystyle b}$. Например, если все лебеди, которых мы наблюдали до сих пор, белые, мы можем предположить, что вероятность того, что все лебеди белые, разумна. У нас есть веские основания полагать, что вывод из посылки, но истинность вывода не гарантируется. (Действительно, оказывается, что некоторые лебеди черные.)

Похищение

Абдуктивное рассуждение позволяет сделать вывод ${\displaystyle a}$ как объяснение ${\displaystyle b}$. В результате этого вывода похищение допускает предварительное условие ${\displaystyle a}$ быть похищенным от следствия ${\displaystyle b}$. Дедуктивное мышление и абдуктивные рассуждения, таким образом, различаются в зависимости от того, какой конец, левый или правый, предложения "${\displaystyle a}$ влечет за собой ${\displaystyle b}$"служит выводом.

Таким образом, похищение формально эквивалентно логической ошибке подтверждая следствие (или post hoc ergo propter hoc ) из-за множества возможных объяснений ${\displaystyle b}$. Например, в игре в бильярд, взглянув и увидев восемь шар движется к нам, мы можем предположить, что биток попал в восьмерку. Удар битка учитывал движение восьмого шара. Он служит гипотезой, объясняющей наше наблюдение. Учитывая множество возможных объяснений движения восьмого шара, наше похищение не дает нам уверенности в том, что биток на самом деле ударил восьмой шар, но наше похищение, все еще полезное, может служить ориентиром для нас в нашем окружении. Несмотря на множество возможных объяснений любого физического процесса, который мы наблюдаем, мы склонны приводить одно объяснение (или несколько объяснений) этому процессу в надежде, что мы сможем лучше ориентироваться в нашем окружении и игнорировать некоторые возможности. При правильном использовании абдуктивное мышление может быть полезным источником приоры в Байесовская статистика.

Формализация похищения

Похищение, основанное на логике

В логика, объяснение достигается с помощью логической теории ${\displaystyle T}$ представляющий домен и набор наблюдений ${\displaystyle O}$. Похищение - это процесс получения набора объяснений ${\displaystyle O}$ согласно с ${\displaystyle T}$ и выбирая одно из этих объяснений. Для ${\displaystyle E}$ быть объяснением ${\displaystyle O}$ согласно с ${\displaystyle T}$, он должен удовлетворять двум условиям:

• ${\displaystyle O}$ следует из ${\displaystyle E}$ и ${\displaystyle T}$;
• ${\displaystyle E}$ согласуется с ${\displaystyle T}$.

В формальной логике ${\displaystyle O}$ и ${\displaystyle E}$ считаются наборами литералы. Два условия для ${\displaystyle E}$ объяснение ${\displaystyle O}$ согласно теории ${\displaystyle T}$ оформляются как:

${\displaystyle T\cup E\models O;}$

${\displaystyle T\cup E}$ согласуется.

Среди возможных объяснений ${\displaystyle E}$ удовлетворяющих этим двум условиям, обычно накладывается какое-то другое условие минимальности, чтобы избежать не относящихся к делу фактов (не способствующих возникновению ${\displaystyle O}$) включается в пояснения. Похищение - это процесс, в ходе которого выбирается какой-то член ${\displaystyle E}$. Критерии выбора члена, представляющего «лучшее» объяснение, включают: простота, то априорная вероятность, или объяснительная сила объяснения.

А теоретико-доказательственный метод абдукции для классической логики первого порядка, основанный на последовательное исчисление и двойственный, основанный на семантических таблицах (аналитические таблицы ) Были предложены.^[10] Эти методы надежны и полны и работают для полной логики первого порядка, не требуя какого-либо предварительного преобразования формул в нормальные формы. Эти методы также были распространены на модальная логика.^{[нужна цитата ]}

Абдуктивное логическое программирование это вычислительная среда, которая расширяет обычные логическое программирование с похищением. Это разделяет теорию ${\displaystyle T}$ на два компонента, один из которых является обычной логической программой, используемой для генерации ${\displaystyle E}$ посредством обратное рассуждение, другое из которых представляет собой набор ограничений целостности, используемых для фильтрации набора возможных объяснений.

Набор-крышка похищения

Другая формализация абдукции основана на обращении функции, вычисляющей видимые эффекты гипотез. Формально нам дан набор гипотез ${\displaystyle H}$ и набор проявлений ${\displaystyle M}$; они связаны знаниями предметной области, представленными функцией ${\displaystyle e}$ который принимает в качестве аргумента набор гипотез и дает в результате соответствующий набор проявлений. Другими словами, для каждого подмножества гипотез ${\displaystyle H'\subseteq H}$, их эффекты, как известно, ${\displaystyle e(H')}$.

Похищение производится путем нахождения множества ${\displaystyle H'\subseteq H}$ такой, что ${\displaystyle M\subseteq e(H')}$. Другими словами, похищение осуществляется путем нахождения набора гипотез. ${\displaystyle H'}$ так что их эффекты ${\displaystyle e(H')}$ включить все наблюдения ${\displaystyle M}$.

Общее предположение состоит в том, что эффекты гипотез независимы, то есть для каждого ${\displaystyle H'\subseteq H}$, считается, что ${\displaystyle e(H')=\bigcup _{h\in H'}e(\{h\})}$. Если это условие соблюдено, похищение можно рассматривать как форму установить покрытие.

Абдуктивная проверка

Абдуктивная проверка - это процесс подтверждения данной гипотезы посредством абдуктивных рассуждений. Это также можно назвать рассуждением методом последовательного приближения.^{[нужна цитата ]} Согласно этому принципу, объяснение действительно, если оно является наилучшим возможным объяснением набора известных данных. Лучшее возможное объяснение часто определяется с точки зрения простоты и элегантности (см. бритва Оккама ). Абдуктивная проверка - обычная практика при формировании гипотез в наука; более того, Пирс утверждает, что это вездесущий аспект мысли:

Этим прекрасным весенним утром, глядя в окно, я вижу цветущую азалию. Нет нет! Я этого не вижу; хотя это единственный способ описать то, что я вижу. Это предложение, предложение, факт; но то, что я воспринимаю, - это не предложение, предложение, факт, а только образ, который я частично делаю понятным с помощью утверждения факта. Это заявление абстрактно; но то, что я вижу, конкретно. Я совершаю похищение, когда выражаю в предложении все, что вижу. Истина состоит в том, что вся ткань нашего знания - это сплетенное ощущение чистой гипотезы, подтвержденной и уточненной путем индукции. Невозможно добиться ни малейшего прогресса в знании за пределами стадии пустого взгляда, без похищения на каждом шагу.^[11]

Сама максима Пирса гласила: «Факты не могут быть объяснены гипотезой более экстраординарной, чем сами эти факты; из различных гипотез следует принять наименее экстраординарную».^[12] После получения возможных гипотез, которые могут объяснить факты, абдуктивная проверка - это метод определения наиболее вероятной гипотезы, которую следует принять.

Субъективная логика похищения

Субъективная логика обобщает вероятностная логика включив степени эпистемологии неуверенность во входных аргументах, т.е. вместо вероятностей, аналитик может выразить аргументы как субъективные мнения. Таким образом, абдукция в субъективной логике является обобщением вероятностного абдукции, описанного выше.^[13] Входными аргументами в субъективной логике являются субъективные мнения, которые могут быть биномиальными, когда мнение применяется к бинарной переменной, или полиномиальным, когда оно применяется к переменной. п-арная переменная. Таким образом, субъективное мнение относится к переменной состояния. ${\displaystyle X}$ который берет свои значения из домена ${\displaystyle \mathbf {X} }$ (т.е. пространство состояний исчерпывающих и взаимно непересекающихся значений состояний ${\displaystyle x}$), и обозначается набором ${\displaystyle \omega _{X}=(b_{X},u_{X},a_{X})\,\!}$, где ${\displaystyle b_{X}\,\!}$ Распространение массы веры по ${\displaystyle \mathbf {X} }$, ${\displaystyle u_{X}\,\!}$ масса эпистемической неопределенности, и ${\displaystyle a_{X}\,\!}$ это базовая ставка распространение по ${\displaystyle \mathbf {X} }$. Эти параметры удовлетворяют ${\displaystyle u_{X}+\sum b_{X}(x)=1\,\!}$ и ${\displaystyle \sum a_{X}(x)=1\,\!}$ а также ${\displaystyle b_{X}(x),u_{X},a_{X}(x)\in [0,1]\,\!}$.

Предположим, что домены ${\displaystyle \mathbf {X} }$ и ${\displaystyle \mathbf {Y} }$ с соответствующими переменными ${\displaystyle X}$ и ${\displaystyle Y}$, набор условных мнений ${\displaystyle \omega _{X\mid Y}}$ (т.е. одно условное мнение для каждого значения ${\displaystyle y}$), а распределение базовой ставки ${\displaystyle a_{Y}}$. Исходя из этих параметров, субъективное Теорема Байеса обозначается оператором ${\displaystyle \;{\widetilde {\phi }}}$ производит набор перевернутых условных выражений ${\displaystyle \omega _{Y{\tilde {\mid }}X}}$ (т.е. по одному перевернутому условию для каждого значения ${\displaystyle x}$) выражается:

${\displaystyle \omega _{Y{\tilde {|}}X}=\omega _{X|Y}\;{\widetilde {\phi \,}}\;a_{Y}}$.

Использование этих перевернутых условных выражений вместе с мнением ${\displaystyle \omega _{X}}$ субъективный вычет обозначается оператором ${\displaystyle \circledcirc }$ может быть использован, чтобы похитить маргинальное мнение ${\displaystyle \omega _{Y\,{\overline {\|}}\,X}}$. Равенство между различными выражениями субъективного похищения приведено ниже:

${\displaystyle {\begin{aligned}\omega _{Y\,{\widetilde {\|}}\,X}&=\omega _{X\mid Y}\;{\widetilde {\circledcirc }}\;\omega _{X}\\&=(\omega _{X\mid Y}\;{\widetilde {\phi \,}}\;a_{Y})\;\circledcirc \;\omega _{X}\\&=\omega _{Y{\widetilde {|}}X}\;\circledcirc \;\omega _{X}\;.\end{aligned}}}$

Символическое обозначение субъективного похищения: "${\displaystyle {\widetilde {\|}}}$", а сам оператор обозначается как"${\displaystyle {\widetilde {\circledcirc }}}$". Оператор субъективной теоремы Байеса обозначается"${\displaystyle {\widetilde {\phi \,}}}$", и субъективная дедукция обозначается"${\displaystyle \circledcirc }$".^[13]

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

История

Введение и развитие Пирса

Обзор

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

Как два этапа развития, расширения и т. Д. Гипотезы в научном запрос, похищение, а также индукция часто сворачиваются в одну всеобъемлющую концепцию - гипотезу. Вот почему в научный метод известно из Галилео и Бекон абдуктивная стадия формирования гипотез концептуализируется просто как индукция. Таким образом, в двадцатом веке этот крах был усилен Карл Поппер объяснение гипотетико-дедуктивная модель, где гипотеза считается всего лишь "предположением"^[14] (в духе Пирса). Однако, когда формирование гипотезы рассматривается как результат процесса, становится ясно, что эта «догадка» уже была опробована и сделана более устойчивой в мыслях как необходимый этап ее обретения статуса гипотезы. Действительно, многие похищения отвергаются или сильно видоизменяются последующими похищениями еще до того, как они достигают этой стадии.

До 1900 года Пирс рассматривал похищение как использование известного правила для объяснения наблюдения. Например: это известное правило, что если идет дождь, трава намокает; Итак, чтобы объяснить тот факт, что трава на этом газоне мокрая, один похищает что шел дождь. Похищение может привести к ложным выводам, если не будут приняты во внимание другие правила, которые могли бы объяснить наблюдение, например. трава могла быть влажной от роса. Это остается обычным использованием термина «похищение» в социальные науки И в искусственный интеллект.

Пирс последовательно характеризовал его как вид вывода, который порождает гипотезу, заключающуюся в объяснении, хотя и неуверенном, для некоторого очень любопытного или удивительного (аномального) наблюдения, изложенного в посылке. Еще в 1865 году он писал, что все концепции причины и силы достигаются посредством гипотетического вывода; в 1900-х годах он писал, что все объяснительное содержание теорий достигается посредством похищения. В остальном Пирс пересмотрел свой взгляд на похищения с годами.^[15]

В последующие годы его точка зрения стала такой:

• Похищение гадание.^[16] Это "очень мало затруднено" правилами логики.^[17] Даже отдельные предположения хорошо подготовленного ума чаще оказываются ошибочными, чем правильными.^[18] Но успех наших догадок намного превосходит успех случайной удачи и, кажется, рожден инстинктивной настройкой на природу.^[19] (некоторые говорят о интуиция в таких условиях^[20]).
• Похищение предполагает новую или постороннюю идею, чтобы правдоподобным, инстинктивным и экономичным образом объяснить удивительное или очень сложное явление. Это его ближайшая цель.^[19]
• Его более долгая цель - сэкономить запрос сам. Его логическое обоснование носит индуктивный характер: он работает достаточно часто, является единственным источником новых идей и не имеет замены для ускорения открытия новых истин.^[21] Его обоснование особенно связано с его ролью в координации с другими способами вывода в исследовании. Это вывод объяснительных гипотез для выбора тех, которые стоит попробовать.
• Прагматизм это логика похищения. После генерации объяснения (которое он начал считать инстинктивно управляемым) прагматический принцип дает необходимое и достаточное логическое правило для похищения в целом. Гипотеза, будучи ненадежной, должна иметь мыслимые^[22] последствия для осознанной практики, чтобы быть проверенными^[23][24] и, благодаря своим испытаниям, ускорить и сэкономить на расследовании. Экономика исследования - вот что требует похищения и определяет его искусство.^[25]

В 1910 году Пирс признает, что «почти во всем, что я печатал до начала этого века, я более или менее смешивал гипотезу и индукцию», и он прослеживает смешение этих двух типов рассуждений как слишком «узкую и формалистическую концепцию логиков умозаключения, поскольку с необходимостью сформулировал суждения на основе своих посылок ".^[26]

Он начал в 1860-х годах, рассматривая гипотетический вывод разными способами, которые в конечном итоге отбросил как несущественные или, в некоторых случаях, ошибочные:

• как вывод о появлении символа (характеристики) из наблюдаемого комбинированного появления нескольких символов, которые его появление обязательно будет включать;^[27] например, если любое появление А как известно, вызывает необходимость возникновения B, C, D, E, то наблюдение B, C, D, E предлагает в качестве объяснения возникновение А. (Но к 1878 году он уже не считал такую ​​множественность общей для всех гипотетических выводов.^[28]Wikisource )
• как стремление к более или менее вероятной гипотезе (в 1867 и 1883 годах, но не в 1878 году; так или иначе, к 1900 году оправданием будет не вероятность, а отсутствие альтернатив угадыванию и тот факт, что угадывание плодотворно;^[29] к 1903 году он говорит о «вероятном» в смысле приближения к истине в «неопределенном смысле»;^[30] к 1908 году он обсуждает правдоподобие как инстинктивный призыв.^[19]) В статье, датированной редакцией около В 1901 году он обсуждает «инстинкт» и «естественность», а также такие соображения (низкая стоимость тестирования, логическая осторожность, широта и сложность), которые он позже называет методологическими.^[31]
• как наведение от персонажей (но еще в 1900 году он охарактеризовал похищение как угадывание^[29])
• цитируя известное правило в посылке, а не выдвигая гипотезу правила в заключении (но к 1903 г. он допускал любой подход^[17][32])
• как по сути преобразование дедуктивного категориального силлогизма^[28] (но в 1903 году он предложил вариант modus ponens вместо,^[17] и к 1911 году он не был убежден, что какая-либо одна форма покрывает все гипотетические выводы.^[33]).

Естественная классификация аргументов (1867)

В 1867 г. Пирс "",^[27] гипотетический вывод всегда имеет дело с группой символов (назовите их P ′, P ′ ′, P ′ ′ ′, и т. д.), о которых известно, что они встречаются по крайней мере всякий раз, когда определенный символM) происходит. Обратите внимание, что в категориальных силлогизмах есть элементы, традиционно называемые промежуточными, предикатами и подлежащими. Например: Все люди [в середине] смертный [предикат]; Сократ [тема] - это мужчина [средний]; эрго Сократ [тема] смертный [предикат] ". Ниже" M "обозначает середину;" P "обозначает предикат;" S "обозначает подлежащее. Пирс считал, что вся дедукция может быть выражена в форме категориального силлогизм Барбара (AAA-1).

[Удержание]. [Any] M равно P [Любой] S есть M ${\displaystyle \therefore }$ [Any] S - P.

Индукция. S ′, S ′ ′, S ′ ′ ′и т. д. взяты наугад как M 's; S ′, S ′ ′, S ′ ′ ′и т. д. находятся п: ${\displaystyle \therefore }$ Любые M возможно п.

Гипотеза. Любые M это, например, P ′, P ′ ′, P ′ ′ ′, & c .; S является P ′, P ′ ′, P ′ ′ ′, & c .: ${\displaystyle \therefore }$ S возможно M.

Дедукция, индукция и гипотеза (1878)

В 1878 г. в "",^[28] больше нет необходимости в нескольких символах или предикатах, чтобы вывод был гипотетическим, хотя он по-прежнему полезен. Более того, Пирс больше не предлагает гипотетический вывод как вывод вероятный гипотеза. В самих формах понимается, но не явно, что индукция включает случайный выбор, а гипотетический вывод предполагает реакцию на «очень любопытное обстоятельство». Вместо этого формы подчеркивают способы вывода как перестановку предложений друг друга (без заключенных в скобки подсказок, показанных ниже).

Удержание. Правило: Все бобы из этого мешка белые. Случай: Эти бобы из этого мешка. ${\displaystyle \therefore }$ Результат: Эти бобы белые.

Индукция. Случай: Эти бобы [случайным образом выбираются] из этого мешка. Результат: Эти бобы белые. ${\displaystyle \therefore }$ Правило: Все бобы из этого мешка белые.

Гипотеза. Правило: Все бобы из этого мешка белые. Результат: Эти бобы [как ни странно] белые. ${\displaystyle \therefore }$ Случай: Эти бобы из этого мешка.

Теория вероятного вывода (1883)

Пирс долгое время рассматривал абдукцию с точки зрения индукции от персонажей или черт (взвешенных, а не подсчитываемых как объекты), явно так в своем влиятельном «1883 году», в котором он возвращается к включению вероятности в гипотетический вывод.^[34] Подобно «Дедукции, индукции и гипотезе» 1878 г., она была широко прочитана (см. Исторические книги по статистике автора Стивен Стиглер ), в отличие от его более поздних поправок к его концепции похищения. Сегодня похищение чаще всего понимается как побуждение персонажей и расширение известного правила на необъяснимые обстоятельства.

Шерлок Холмс использует этот метод рассуждения в рассказах о Артур Конан Дойл, хотя Холмс называет это "дедуктивное мышление ".^[35][36][37]

Минутная логика (1902) и после

В 1902 году Пирс писал, что теперь он считает силлогистические формы и доктрину расширения и понимания (то есть объекты и символы, на которые ссылаются термины) как менее фундаментальные, чем он думал ранее.^[38] В 1903 году он предложил следующую форму похищения:^[17]

Наблюдается удивительный факт C;

Но если бы А было правдой, С было бы само собой разумеющимся,

Следовательно, есть основания подозревать, что A истинно.

Гипотеза оформляется, но не утверждается в посылке, а затем утверждается как рационально подозрительная в заключении. Таким образом, как и в более ранней категоричной силлогистической форме, вывод формулируется из некоторой посылки (я). Но все же эта гипотеза яснее, чем когда-либо, состоит в новой или внешней идее, выходящей за рамки того, что известно или наблюдается. В некотором смысле индукция выходит за рамки наблюдений, уже изложенных в предпосылках, но она просто усиливает уже известные идеи, представляющие события, или проверяет идею, выдвинутую гипотезой; в любом случае для того, чтобы получить такие идеи, требуются предыдущие похищения. Индукция ищет факты для проверки гипотезы; похищение ищет гипотезу для объяснения фактов.

Обратите внимание, что гипотеза («А») могла быть правилом. Это даже не должно быть правилом, строго требующим удивительного наблюдения («С»), которому нужно следовать только как «само собой разумеющееся»; или же сам «курс» может составлять какое-то известное правило, на которое просто намекают, а также не обязательно правило строгой необходимости. В том же году Пирс писал, что достижение гипотезы может включать в себя размещение неожиданного наблюдения либо под новым гипотетическим правилом, либо под гипотетической комбинацией известного правила с особым состоянием фактов, так что это явление не будет удивительным, но вместо этого либо обязательно подразумевается или, по крайней мере, вероятно.^[32]

Пирс не был полностью убежден ни в какой такой форме, как категорическая силлогистическая форма или форма 1903 года. В 1911 году он писал: «В настоящее время я не совсем уверен, что может быть назначена какая-либо логическая форма, которая будет охватывать все« ретродукции ». Ибо то, что я подразумеваю под ретродукцией, - это просто предположение, которое возникает в уме».^[33]

Прагматизм

В 1901 году Пирс писал: «Не было бы логики в навязывании правил и утверждении, что они должны соблюдаться, пока не выяснится, что цель гипотезы их требует».^[39] В 1903 году Пирс позвонил прагматизм "логика похищения" и сказал, что прагматический принцип дает необходимое и достаточное логическое правило для похищения в целом.^[24] Прагматическая максима:

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

Это метод плодотворного прояснения концепций путем приравнивания значения концепции к мыслимым практическим последствиям задуманных эффектов ее объекта. Пирс считал, что это как раз соответствует цели похищения в ходе расследования, формированию идеи, которая предположительно могла бы сформировать осознанное поведение. В различных произведениях 1900-х гг.^[25][40] он сказал, что похищение (или возвращение) регулируется соображениями экономии, относящимися, в частности, к экономике исследования. Он рассматривал экономику как нормативную науку, аналитическая часть которой могла бы быть частью логической методологии (то есть теории исследования).^[41]

Три уровня логики похищения

Пирс с годами пришел к разделять (философскую) логику на три отдела:

1. Стехиология, или умозрительная грамматика, об условиях осмысленности. Классификация знаков (подобия, симптомы, символы и т. Д.) И их сочетаний (а также их объектов и толкователи ).
2. Логический критик или собственно логика относительно действительности или оправданности вывода, условий для истинного представления. Критика аргументов в различных их режимах (дедукция, индукция, абдукция).
3. Метододевтика или умозрительная риторика об условиях определения интерпретаций. Методология исследования во взаимодействии способов.

Пирс с самого начала рассматривал способы вывода как согласованные друг с другом в научном исследовании и к 1900-м годам считал, что гипотетический вывод, в частности, неадекватно трактуется на уровне критики аргументов.^[23][24] Чтобы повысить уверенность в гипотетическом заключении, необходимо сделать выводы о доказательствах, которые необходимо найти, прогнозах, которые индукция может проверить посредством наблюдения, чтобы оценить гипотезу. Это Набросок научного метода Пирса исследования, как описано в его методологии расследования, которая включает прагматизм или, как он позже называл это, прагматизм, разъяснение идей с точки зрения их возможных последствий для информированной практики.

Классификация знаков

Еще в 1866 г.^[42] Пирс считал, что:

1. Гипотеза (абдуктивный вывод) - это вывод через икона (также называемый подобие).
2. Индукция - это вывод через показатель (признак фактической связи); образец - это индекс совокупности, из которой он взят.
3. Удержание - это вывод через символ (знак по привычке интерпретации независимо от сходства или связи с его объектом).

В 1902 году Пирс писал о похищении: «Признано, что явления любить, т.е. представляют собой икону, копию общей концепции или символа ".^[43]

Критика аргументов

На критическом уровне Пирс исследовал формы абдуктивных аргументов (как обсуждалось выше) и пришел к выводу, что гипотеза должна экономить на объяснении правдоподобия с точки зрения возможного и естественного. В 1908 году Пирс довольно подробно описал это правдоподобие.^[19] Он включает не вероятность, основанную на наблюдениях (которая вместо этого является индуктивной оценкой гипотезы), а вместо этого оптимальную простоту в смысле «легкости и естественности», как в естественном свете разума Галилея, и в отличие от «логической простоты» ( Пирс не отвергает логическую простоту полностью, но видит ее в подчиненной роли; доведя ее до логической крайности, он предпочел бы вообще не добавлять никаких объяснений к наблюдению). Даже хорошо подготовленный ум чаще ошибается, чем правильно, но наши догадки более успешны, чем случайная удача в достижении истины или, по крайней мере, в продвижении исследования, и это указывает Пирсу, что они основаны на инстинктивной настройке на природу, близости между процессы разума и процессы реального, которые объяснили бы, почему привлекательные «естественные» догадки чаще всего (или реже всего) оказываются успешными; к которому Пирс добавил аргумент, что такие догадки следует предпочесть, поскольку без «естественных наклонностей, подобных естественным», у людей не было бы надежды понять природу. В 1910 году Пирс провел трехстороннее различие между вероятностью, правдоподобием и правдоподобием и определил правдоподобие с помощью нормативного «должного»: «Под правдоподобием я имею в виду степень, в которой теория должна рекомендовать себя для наших убеждений независимо от любого рода. свидетельств, кроме нашего инстинкта, побуждающего нас относиться к нему благосклонно ".^[44] Для Пирса правдоподобие не зависит от наблюдаемых частот или вероятностей, или от правдоподобия, или даже от проверяемости, что не является вопросом критики гипотетического вывода. так как вывод, а скорее вопрос об отношении гипотезы к процессу исследования.

Фраза «вывод для наилучшего объяснения» (не используется Пирсом, но часто применяется к гипотетическому выводу) не всегда понимается как относящаяся к наиболее простым и естественным гипотезам (например, к гипотезам с наименьшее количество предположений ). Однако в других смыслах слова «лучший», например, «лучше всех выдерживать испытания», трудно понять, какое объяснение лучше всего сформулировать, поскольку его еще не тестировали. Тем не менее, для Пирса, любое оправдание абдуктивного вывода как хорошего не завершается после его формирования в качестве аргумента (в отличие от индукции и дедукции), а вместо этого зависит также от его методологической роли и обещания (например, его проверяемости) в продвижении исследования.^[23][24][45]

Методология расследования

На методическом уровне Пирс считал, что гипотеза оценивается и выбирается^[23] для тестирования, потому что он предлагает, с его помощью, ускорить и сэкономить запрос продвигаться к новым истинам, в первую очередь за счет проверки, а также за счет дальнейшей экономии,^[25] с точки зрения стоимости, ценности и отношения между предположениями (гипотезами). Здесь в игру вступают такие соображения, как вероятность, отсутствующая при рассмотрении похищения на критическом уровне. Например:

• Стоимость: простая, но маловероятная догадка, если она не требует больших затрат на проверку на ложность, может оказаться первой в очереди на проверку, чтобы избавиться от нее. Если удивительно, что он выдерживает испытания, об этом стоит знать на раннем этапе расследования, иначе оно могло бы долго оставаться на неверном, хотя, казалось бы, более вероятном пути.
• Ценность: предположение, по сути, заслуживает проверки, имеет ли оно инстинктивное правдоподобие или аргументированную объективную вероятность, в то время как субъективная вероятность хотя и аргументированный, но может быть вероломным.
• Взаимоотношения: догадки могут быть выбраны для испытания стратегически для их
  • осторожность, для которого Пирс привел в качестве примера игру Двадцать вопросов,
  • широта применимости для объяснения различных явлений, и
  • несложностьгипотезы, которая кажется слишком простой, но проверка которой «может дать хороший« отпуск », как говорят бильярдисты» и поучительна для разработки различных и противоречащих друг другу гипотез, которые менее просты.^[46]

Приложения

Искусственный интеллект

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

Лекарство

В лекарство, похищение можно рассматривать как компонент клинической оценки и суждения.^[47][48]

Автоматизированное планирование

Похищение также можно использовать для моделирования автоматизированное планирование.^[49] Учитывая логическую теорию, связывающую случаи действия с их последствиями (например, формула исчисление событий ), проблема поиска плана достижения состояния может быть смоделирована как проблема похищения набора литералов, подразумевающих, что конечное состояние является целевым состоянием.

Анализ интеллекта

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

Пересмотр веры

Пересмотр веры, процесс адаптации убеждений с учетом новой информации - еще одна область применения похищения. Основная проблема пересмотра убеждений заключается в том, что новая информация может не соответствовать предыдущей. сеть убеждений, а результат инкорпорации не может быть противоречивым. Процесс обновления сети убеждений может быть осуществлен с помощью абдукции: как только объяснение наблюдения найдено, его интеграция не порождает противоречия.

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

Философия науки

в философия науки, похищение было ключевым методом вывода для поддержки научный реализм, и большая часть дебатов о научном реализме сосредоточена на том, является ли похищение приемлемым методом вывода.^[50]

Историческая лингвистика

В историческая лингвистика, похищение во время овладения языком часто рассматривается как неотъемлемая часть процесса изменение языка такие как реанализ и аналогия.^[51]

Прикладная лингвистика

В Прикладная лингвистика В исследованиях абдуктивное рассуждение начинает использоваться как альтернативное объяснение индуктивному рассуждению в знак признания ожидаемых результатов качественного исследования, играющих роль в формировании направления анализа. Это определяется как «Использование неясной предпосылки, основанной на наблюдениях, преследование теорий, чтобы попытаться объяснить это» (Rose et al., 2020, p. 258)^[52][53]

Антропология

В антропология, Альфред Гелл в его влиятельной книге Искусство и агентство определенное похищение (после Эко^[54]) как «случай синтетического вывода», в котором мы находим некоторые очень любопытные обстоятельства, которые можно было бы объяснить предположением, что это был случай некоторого общего правила, и поэтому принимаем это предположение'".^[55] Гелл критикует существующие «антропологические» исследования искусства за то, что они слишком озабочены эстетической ценностью и недостаточно озабочены центральной антропологической задачей раскрытия «социальных отношений», в частности социальных контекстов, в которых произведения искусства производятся, распространяются и принимаются.^[56] Похищение используется как механизм перехода от искусства к агентству. То есть похищение может объяснить, как произведения искусства вдохновляют sensus communis: общепринятые взгляды, разделяемые членами, которые характеризуют данное общество.^[57]

Вопрос, который Гелл задает в книге, звучит так: «Как он изначально« разговаривает »с людьми?» Он отвечает, говоря: «Ни один разумный человек не может предположить, что художественные отношения между людьми и вещами не включают в себя хотя бы некоторую форму семиозис."^[55] Однако он отвергает любые намёки на то, что семиозис можно рассматривать как язык, потому что тогда ему пришлось бы признать некое предустановленное существование Sensus communis то, что он хочет заявить, только потом выходит из искусства. Абдукция - это ответ на эту загадку, потому что пробный характер концепции похищения (Пирс сравнил ее с догадками) означает, что она не только может действовать вне каких-либо ранее существовавших рамок, но, более того, она может фактически определять существование рамок. Как объясняет Гелл в своем анализе, физическое существование произведения искусства побуждает зрителя совершить похищение, которое придает произведению искусства преднамеренность. Например, статуя богини в некоторых смыслах фактически становится богиней в уме смотрящего; и представляет не только форму божества, но и ее намерения (которые вытекают из ощущения самого ее присутствия). Следовательно, посредством похищения, Гелл утверждает, что искусство может обладать той силой, которая сеет семена, которые вырастают в культурные мифы. Сила свободы воли - это способность мотивировать действия и, в конечном итоге, вдохновлять общее понимание, которое характеризует любое данное общество.^[57]

Компьютерное программирование

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

Техника, известная как биабдукция, сочетающая абдукцию и проблема с рамой, использовался для масштабирования методов рассуждения о свойствах памяти до миллионов строк кода;^[58] Основанное на логике похищение использовалось для вывода предварительных условий для отдельных функций в программе, освобождая человека от необходимости делать это. Это привело к созданию устойчивой к программам стартап-компании, которую приобрела Facebook.^[59] и инструмент анализа программ Infer, который позволил предотвратить тысячи ошибок в промышленных кодовых базах.^[60]

Помимо вывода предварительных условий функции, абдукция использовалась для автоматизации вывода инвариантов для программных циклов,^[61] вывод спецификации неизвестного кода,^[62] и в синтезе самих программ.^[63]

Смотрите также

• Философский портал

• Аргумент - Попытка убедить или определить истинность вывода
• Теория аргументации - Изучение того, как выводы делаются посредством логических рассуждений; один из четырех риторических режимов
• Атрибуция (психология) - Процесс, с помощью которого люди объясняют причины поведения и событий
• Библиография Чарльза Сандерса Пирса - Библиография Википедии
• Критическое мышление - Анализ фактов для формирования суждения
• Разрешаемое рассуждение - Доводы, которые рационально убедительны, но не дедуктивно верны
• Дуглас Н. Уолтон - канадский академик
• Утиный тест - Классификация на основе наблюдаемых доказательств
• Грегори Бейтсон - английский антрополог, социолог, лингвист, визуальный антрополог, семиотик и кибернетик.
• Эвристический - Метод решения проблем, достаточный для немедленных решений или приближений
• Индуктивная вероятность - Определение вероятности будущих событий на основе прошлых событий
• Логическое объяснение
• Оценка максимального правдоподобия - метод оценки параметров статистической модели по данным наблюдений
• бритва Оккама - Философский принцип выбора решения с наименьшим количеством предположений
• Смысл решений - Процесс, с помощью которого люди придают смысл своему коллективному опыту
• Знак отношения - Концепция в семиотике
• Статистическая модель

Заметки

1. Например: Джозефсон, Джон Р .; Джозефсон, Сьюзан Г., ред. (1994). Абдуктивный вывод: вычисления, философия, технологии. Кембридж, Великобритания; Нью-Йорк: Издательство Кембриджского университета. Дои:10.1017 / CBO9780511530128. ISBN  978-0521434614. OCLC  28149683.
2. "" Воспроизведение ". Commens - Цифровой компаньон К. С. Пирса. Матс Бергман, Сами Паавола и Жоао Кейруш. Архивировано из оригинал на 2014-08-26. Получено 2014-08-24.
3. Трезвый, Эллиотт (2013). Основные вопросы философии: текст с чтением (6-е изд.). Бостон: образование Пирсона. п. 28. ISBN  9780205206698. OCLC  799024771. Теперь я перехожу к похищению - к лучшему объяснению.
4. Кампос, Даниэль Г. (июнь 2011 г.). «О различии между похищением Пирса и выводом Липтона о наилучшем объяснении». Синтез. 180 (3): 419–442. Дои:10.1007 / s11229-009-9709-3. S2CID  791688. Я выступаю против тенденции философии научной литературы связывать абдукцию с выводом о наилучшем объяснении (IBE) и, в частности, утверждать, что похищение Пирсана является концептуальным предшественником IBE. [...] В частности, я утверждаю, что похищение Пирсена - это подробное описание процесса генерации объяснительных гипотез, в то время как IBE, по крайней мере, в Питер Липтон Тщательное рассмотрение, представляет собой более всеобъемлющее описание процессов как генерации, так и оценки научных гипотез. Таким образом, с утверждением, что похищение является IBE, возникает двоякая проблема. С одной стороны, он объединяет абдукцию и индукцию, которые представляют собой две различные формы логического вывода, с двумя различными целями, как показал Чарльз С. Пирс; с другой стороны, ему не хватает четкого представления о полном объеме IBE как учете научных выводов.
5. Уолтон, Дуглас (2001). «Абдуктивные, предполагаемые и правдоподобные аргументы». Неформальная логика. 21 (2): 141–169. CiteSeerX  10.1.1.127.1593. Дои:10.22329 / il.v21i2.2241. Абдуктивный вывод часто приравнивается к умозаключению для лучшего объяснения. [...] Отчет об абдуктивном выводе и вывод о наилучшем объяснении, представленный выше, подчеркнул общие элементы, обнаруженные в анализах, данных Пирсом, Харманом и Джозефсонами. Необходимо добавить, что это краткое изложение может вводить в заблуждение в некоторых отношениях, и что более подробное и подробное объяснение тонкостей трех анализов могло бы выявить важные основные философские различия. Выводы о наилучшем объяснении, изложенные Харманом и Джозефсонами, могут включать дедуктивные и индуктивные процессы, которые, по-видимому, были бы исключены из объяснения Пирса о похищении.
6. См., Например, Анализ доказательств, 2-е изд. Теренс Андерсон (издательство Кембриджского университета, 2005 г.)
7. Примеры см. В разделе "Абдуктивный вывод в рассуждениях и восприятии ", Джон Р. Джозефсон, Лаборатория исследований искусственного интеллекта, Университет штата Огайо, и Похищение, причина и наука. Процессы открытия и объяснения от Лоренцо Маньяни (Kluwer Academic / Plenum Publishers, Нью-Йорк, 2001).
8. Флах, П.А.; Какас, А.С., ред. (2000). Абдукция и индукция: эссе об их взаимосвязи и интеграции. Springer. п. xiii. Получено 31 октября 2016. Эта книга выросла из серии семинаров по этой теме. [Будапешт 1996; Nagoya 1997; Брайтон 1998]
9. Реджиа, Джеймс А. и др. "Обоснование ответа в диагностических экспертных системах.Часть I: Абдуктивный вывод и его обоснование. "Транзакции IEEE по биомедицинской инженерии 4 (1985): 263-267.
10. Сиалдеа Майер, Марта и Пирри, Фиора (1993) «Абдукция первого порядка с помощью табличных и секвентных вычислений» Логика Jnl IGPL 1993 1: 99–117; DOI: 10.1093 / jigpal / 1.1.99. Оксфордские журналы
11. Пирс MS. 692, цитируется по Sebeok, T. (1981) "Ты знаешь мой метод "в Себеоке, Т., Игра Musement, Блумингтон, ИА: Индиана, стр. 24.
12. Пирс MS. 696, цитируется по Sebeok, T. (1981) "Ты знаешь мой метод "в Себеоке, Т., Игра Musement, Блумингтон, ИА: Индиана, стр. 31.
13. А. Йосанг. Субъективная логика: формализм рассуждений в условиях неопределенности, Springer 2016, ISBN  978-3-319-42337-1
14. Поппер, Карл (2002). Домыслы и опровержения: рост научных знаний (2-е изд.). Лондон: Рутледж. п. 536.
15. См. Сантаэлла, Люсия (1997) «Развитие трех типов рассуждений Пирса: абдукция, дедукция и индукция», 6-й Конгресс МАСС. Eprint.
16. Пирс, К.С.
    • «О логике извлечения истории из древних документов, особенно из свидетельств» (1901), Сборник статей v.7, параграф 219.
    • "PAP" ["Пролегомены к апологии прагматизма"], MS 293 c. 1906 г., Новые элементы математики т. 4, стр. 319–320.
    • Письмо Ф. А. Вудсу (1913 г.), Сборник статей v. 8, пункты 385–388.
    (См. Под "Похищение " и "Воспроизведение " в Commens Словарь терминов Пирса.)
17. Пирс, С.С. (1903), Гарвардские лекции о прагматизме, Сборник статей v. 5, пункты 188–189.
18. Пирс, С.С. (1908), "Забытый аргумент в пользу реальности Бога ", Hibbert Journal v. 7, pp. 90–112, см. §4. В Сборник статей v. 6, см. пункт 476. В Существенный Пирс v. 2, см. стр. 444.
19. Пирс, С.С. (1908), "Забытый аргумент в пользу реальности Бога ", Hibbert Journal т. 7, стр. 90–112. См. Как часть III, так и часть IV. Перепечатано, включая первоначально неопубликованную часть, в Сборник статей v. 6, пункты 452–85, Essential Peirce v. 2, pp. 434–50, и в других местах.
20. Пирс использовал термин «интуиция» не в смысле инстинктивного или, во всяком случае, полусознательного вывода, как это часто делают люди в настоящее время. Вместо этого он использовал «интуицию» обычно в смысле познания, лишенного логического определения. предыдущие познания. Он сказал: «У нас нет интуиции» в этом смысле. См. Его «Некоторые последствия четырех недееспособностей» (1868 г.), Eprint.
21. Соответствующее обсуждение Пирса и целей абдуктивного вывода см. В McKaughan, Daniel J. (2008) "От гадкого утенка до лебедя: К. С. Пирс, Похищение и поиск научных теорий ", Сделки Общества Чарльза С. Пирса, т. 44, вып. 3 (лето), 446–468.
22. Пирс в очень широком смысле означает «постижимый». Увидеть Сборник статей v. 5, параграф 196, или Essential Peirce т. 2, с. 235, «Прагматизм как логика похищения» (лекция VII Гарвардских лекций 1903 года о прагматизме):

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

23. Пирс, С.С., Приложение Карнеги (L75, 1902 г., Новые элементы математики т. 4, стр. 37–38. Смотрите под "Похищение "на Commens Словарь терминов Пирса:

    Метододевтика проявляет особый интерес к абдукции, или умозаключению, с которого начинается научная гипотеза. Ведь недостаточно, чтобы гипотеза была оправданной. Любая гипотеза, объясняющая факты, критически обоснована. Но среди оправданных гипотез нужно выбрать ту, которая подходит для проверки экспериментальным путем.

24. Пирс, «Прагматизм как логика похищения» (лекция VII Гарвардских лекций 1903 года о прагматизме), см. Части III и IV. Частично опубликовано в Сборник статей v. 5, пункты 180–212 (см. 196–200, Eprint и полностью в Essential Peirce v. 2, pp. 226–241 (см. разделы III и IV).

    .... Что такое хорошее похищение? Какой должна быть объяснительная гипотеза, чтобы ее можно было считать гипотезой? Конечно, он должен объяснять факты. Но какие еще условия должны быть выполнены, чтобы быть хорошим? .... Следовательно, любая гипотеза может быть допустимой при отсутствии каких-либо особых причин для обратного, при условии, что она поддается экспериментальной проверке, и только постольку, поскольку она способна к такой проверке. Это примерно доктрина прагматизма.

25. Peirce, C.S. (1902), заявление в Институт Карнеги, см. MS L75.329-330, от Проект D из воспоминаний 27:

    Следовательно, открытие - это просто ускорение события, которое произошло бы рано или поздно, если бы мы не потрудились сделать открытие. Следовательно, искусство открытий - это чисто экономический вопрос. В том, что касается логики, экономика исследования является ведущей доктриной в отношении искусства открытий. Следовательно, похищение, которое в основном касается эвристический и это первый вопрос эвристики, который должен регулироваться экономическими соображениями.

26. Пирс, Письмо к Пол Карус около 1910 г., Сборник статей v. 8, пункты 227–228. Смотрите под "Гипотеза "на Commens Словарь терминов Пирса.
27. (1867 г.), «О естественной классификации аргументов», Труды Американской академии искусств и наук т. 7, с. 261–287. Представлено 9 апреля 1867 г. См. Особенно начиная с п. 284 в части III §1. Перепечатано в Сборник статей v. 2, пункты 461–516 и Сочинения v. 2, pp. 23–49.
28. Пирс, С. С. (1878), "Дедукция, индукция и гипотеза", Ежемесячный научно-популярный журнал, v. 13, pp. 470–82, см. 472. Сборник статей 2.619–44, см. 623.
29. Письмо в Лэнгли, 1900, опубликованное в Исторические перспективы логики науки Пирса. См. Выдержки в разделе "Похищение "на Commens Словарь терминов Пирса.
30. "Программа некоторых разделов логики" (рукопись 1903 г.), Essential Peirce v. 2, см. стр. 287. См. Под "Похищение "на Commens Словарь терминов Пирса.
31. Пирс, С.С., «О логике извлечения истории из древних документов», датируемой около 1901 г. оба редактора Сборник статей (см. CP v. 7, bk 2, ch. 3, сноску 1), а также Essential Peirce (EP) (Eprint. В статье похищение обсуждается в CP v. 7, параграфах 218–31 и в EP v. 2, pp. 107–14.
32. Пирс, К. С., "Программа некоторых тем логики" (1903 г.), Essential Peirce т. 2, с. 287:

    Ум стремится привести в порядок факты, измененные новым открытием; то есть сформировать общее представление о них. В некоторых случаях он делает это путем обобщение. В других случаях предлагается не новый закон, а только особое состояние фактов, которое «объяснит» удивительное явление; и уже известный закон признается применимым к предложенной гипотезе, так что явление, при таком предположении, не было бы неожиданным, но вполне вероятным или даже было бы необходимым результатом. Этот синтез, предлагающий новую концепцию или гипотезу, и есть похищение.

33. Письмо Дж. Х. Келлеру (1911 г.), Новые элементы математики v. 3, pp. 203–4, см. ниже "Воспроизведение " в Commens Словарь терминов Пирса.
34. Пирс, Чарльз С. (1883). "Теория вероятного вывода". Исследования по логике, проведенные членами Университета Джона Хопкинса. Бостон, Массачусетс.
35. Себеок, Томас А.; Умикер-Себеок, Жан (1979). "'Вы знаете мой метод »: сопоставление Чарльза С. Пирса и Шерлока Холмса». Семиотика. 26 (3–4): 203–250. Дои:10.1515 / полу.1979.26.3-4.203. S2CID  170683439. Марчелло Труцци в статье, посвященной методу Холмса (1973: 93–126), предвосхитил нашу настоящую работу, указав на сходство между так называемыми умозаключениями или индукциями детектива и похищениями или предположениями Пирса. Более того, согласно системе логики Пирса, наблюдения Холмса сами по себе являются формой абдукции, а абдукция является таким же законным типом логического вывода, как индукция или дедукция (Пирс, 8.228).
36. Ниинилуото, Илкка (Сентябрь 1999 г.). «Защита похищения». Философия науки. 66 (Приложение 1): S436 – S451 (S440 – S441). Дои:10.1086/392744. S2CID  224841752. Исторически интересное применение похищения как эвристического метода можно найти в классических детективных рассказах, о чем свидетельствуют семиотические и логические эссе, собранные в Eco and Sebeok 1983. К. Огюст Дюпен, герой Эдгар Аллан По В романах 1840-х гг. использовался метод «рассуждения» или «анализа», имеющий структуру ретродукции. Точно так же логика «умозаключений» Шерлока Холмса обычно абдуктивна.
37. Карсон, Дэвид (июнь 2009 г.). «Похищение Шерлока Холмса» (PDF). Международный журнал полицейской науки и управления. 11 (2): 193–202. Дои:10.1350 / ijps.2009.11.2.123. S2CID  145337828. Шерлок Холмс, хотя и является вымышленным персонажем, по-прежнему известен как великий детектив.Однако его методология, которая была скорее похищением, чем умозаключением, и которая невинно используется многими настоящими детективами, редко описывается, обсуждается или исследуется. В этой статье сравниваются и противопоставляются три формы логического вывода и приводятся аргументы в пользу формулирования и развития роли похищения в работе и обучении полицейских.
38. В Пирсе, К.С., «Минутная логика» около 1902 г., Сборник статей v. 2, пункт 102. См. под "Похищение " в Commens Словарь терминов Пирса.
39. Пирс, «О логике построения истории из древних документов», рукопись 1901 г., Сборник статей v. 7, параграфы 164–231, см. 202, перепечатано в Essential Peirce v. 2, pp. 75–114, см. 95. См. ниже "Похищение " в Commens Словарь терминов Пирса.
40. Пирс, "О логике извлечения древней истории из документов", Essential Peirce v. 2, см. стр. 107–9.
41. Peirce, Carnegie application, L75 (1902), Memoir 28: "On the Economics of Research", прокрутите вниз до Draft E. Eprint.
42. Пирс, С.С., Лекции Лоуэлла 1866 г. по логике науки, Произведения Чарльза С. Пирса т. 1, с. 485. См. Под "Гипотеза " в Commens Словарь терминов Пирса.
43. Пирс, К. С., "Программа по определенным темам логики", написанный в 1903 г. Существенный Пирс т. 2, с. 287. Цитата отображается в разделе "Похищение " в Commens Словарь терминов Пирса.
44. Пирс, Письмо Полю Карусу 1910 г., Сборник статей v. 8, см. параграф 223.
45. Пирс, К. С. (1902), Заявление в Институт Карнеги, Мемуары 27, Eprint: «Из различных классов аргументов похищения - единственные, в которых после того, как они были признаны справедливыми, все еще остается выяснить, являются ли они выгодными».
46. Пирс, "О логике извлечения древней истории из документов", Essential Peirce v. 2, см. стр. 107–9 и 113. «О двадцати вопросах», стр. 109, Пирс указал, что если каждый вопрос исключает половину возможностей, двадцать вопросов могут выбирать из двух.²⁰ или 1 048 576 объектов, и продолжает:

    Таким образом, двадцать умелых гипотез выяснят, что 200 000 глупых могут не сделать. Секрет бизнеса заключается в осторожности, которая разбивает гипотезу на мельчайшие логические компоненты и рискует только одной из них за раз.

47. Рапецци, К; Феррари, R; Бранци, А. (24 декабря 2005 г.). «Белые халаты и отпечатки пальцев: диагностические рассуждения в медицине и методы расследования вымышленных детективов». BMJ (под ред. Клинических исследований). 331 (7531): 1491–4. Дои:10.1136 / bmj.331.7531.1491. ЧВК  1322237. PMID  16373725.
48. Rejón Altable, C (октябрь 2012 г.). «Логическая структура клинического суждения и ее отношение к медицинской и психиатрической семиологии». Психопатология. 45 (6): 344–51. Дои:10.1159/000337968. PMID  22854297. Получено 17 января 2014.
49. Каве Эшги. Абдуктивное планирование с исчислением событий. В Роберте А. Ковальски, редакторах Кеннета А. Боуэна: Логическое программирование, Труды Пятой международной конференции и симпозиума, Сиэтл, Вашингтон, 15–19 августа 1988 г. MIT Press 1988, ISBN  0-262-61056-6
50. Липтон, Питер. (2001). Заключение к лучшему объяснению, Лондон: Рутледж. ISBN  0-415-24202-9.
51. Эйприл М. С. МакМахон (1994): Понимание изменения языка. Кембридж: Издательство Кембриджского университета. ISBN  0-521-44665-1
52. Роуз, МакКинли и Бриггс Баффо-Джан (2020). Методы исследования сбора данных в прикладной лингвистике. Блумсбери. ISBN  9781350025851.
53. МакКинли, Дж (2019-12-06). «Введение: теоретизирующие методы исследования в« золотой век »прикладной лингвистики» (PDF). В McKinley & Rose (ред.). Справочник Рутледжа по методам исследования в прикладной лингвистике. Абингдон: Рутледж. С. 1–13. ISBN  9780367824471.
54. Эко, Умберто (1976). Теория семиотики. Издательство Индианского университета. п. 131. ISBN  9780253359551.
55. Гелл, А. (1998). Искусство и агентство. Оксфорд: Clarendon Press. п. 14. ISBN  9780191037450.
56. Боуден, Р. (2004) Критика Альфреда Гелла об искусстве и агентстве. Получено сентябрь 2007 г. из: Найдите статьи на BNET
57. Уитни Д. (2006) «Похищение агентства искусства». Получено в мае 2009 г. из: Калифорнийский университет в Беркли В архиве 2008-11-20 на Wayback Machine
58. CalcagnoCristiano; DistefanoDino; W, О'Хирн, Питер; Ян Хонсок (01.12.2011). «Анализ формы композиции с помощью двойного отведения». Журнал ACM. 58 (6): 1–66. Дои:10.1145/2049697.2049700. S2CID  52808268.
59. «Facebook приобретает активы британского разработчика программного обеспечения для проверки мобильных ошибок Monoidics». TechCrunch. Получено 2020-02-22.
60. DistefanoDino; FähndrichManuel; LogozzoFrancesco; В, О'Хирн Питер (24.07.2019). «Масштабирование статического анализа в Facebook». Коммуникации ACM. 62 (8): 62–70. Дои:10.1145/3338112.
61. DilligIsil; Диллиг Томас; LiBoyang; МакмилланКен (2013-10-29). «Индуктивная инвариантная генерация посредством абдуктивного вывода». Уведомления ACM SIGPLAN: 443–456. Дои:10.1145/2509136.2509511. ISBN  9781450323741. S2CID  16518775.
62. Джакобацци, Роберто (1 августа 1998 г.). «Абдуктивный анализ модульных логических программ». Журнал логики и вычислений. 8 (4): 457–483. Дои:10.1093 / logcom / 8.4.457. ISSN  0955-792X.
63. Поликарпова, Надя; Сергей, Илья (02.01.2019). "Структурирование синтеза программ манипулирования кучей". Труды ACM по языкам программирования. 3: 1–30. Дои:10.1145/3290385.

• Статья основана на материалах, взятых из Бесплатный онлайн-словарь по вычислительной технике до 1 ноября 2008 г. и зарегистрированы в соответствии с условиями «перелицензирования» GFDL, версия 1.3 или новее.

использованная литература

• Акаике, Хиротугу (1994), «Влияние информационной точки зрения на развитие статистической науки», в Bozdogan, H. (ed.), Труды Первой конференции США / ЯПОНИИ «Границы статистического моделирования: информационный подход» - Том 3, Kluwer Academic Publishers, стр. 27–38.
• Обри, Джон, и Обри, Сьюзан (1995), «Интерпретация как действие: риск расследования», Исследование: критическое мышление в рамках дисциплин, 15, 40–52. Eprint
• Сиалдеа Майер, Марта и Пирри, Фиора (1993) «Абдукция первого порядка с помощью табличных и секвентных вычислений» Логика Jnl IGPL 1993 1: 99–117; Дои:10.1093 / jigpal / 1.1.99. Оксфордские журналы
• Сиалдеа Майер, Марта и Пирри, Фиора (1995) «Пропозициональная абдукция в модальной логике», Logic Jnl IGPL 1995 3: 907–919; Дои:10.1093 / jigpal / 3.6.907 Оксфордские журналы
• Эдвардс, Пол (1967, ред.), «Энциклопедия философии», Macmillan Publishing Co, Inc. и Free Press, Нью-Йорк. Издательство Collier Macmillan Publishers, Лондон.
• Эйтер, Т., и Готтлоб, Г. (1995) "Сложность логического похищения, Журнал ACM, 42.1, 3–42.
• Хэнсон, Н. Р. (1958). Паттерны открытий: исследование концептуальных основ науки, Кембридж: Издательство Кембриджского университета. ISBN  978-0-521-09261-6.
• Харман, Гилберт (1965). «Вывод к наилучшему объяснению». Философский обзор. 74 (1): 88–95. Дои:10.2307/2183532. JSTOR  2183532.
• Джозефсон, Джон Р. и Джозефсон, Сьюзан Г. (1995, ред.), Абдуктивный вывод: вычисления, философия, технологии, Издательство Кембриджского университета, Кембридж, Великобритания.
• Липтон, Питер. (2001). Вывод к наилучшему объяснению, Лондон: Рутледж. ISBN  0-415-24202-9.
• Маньяни, Лоренцо (2014), «Понимание похищения», Модельное мышление в науке и технологиях: теоретические и когнитивные проблемы (редактор - Маньяни Л.) Springer, p. 173-205.
• МакКоган, Дэниел Дж. (2008), «От Гадкого утенка до Лебедя: К. С. Пирс, Похищение и поиск научных теорий», Сделки Общества Чарльза С. Пирса, т. 44, вып. 3 (лето), 446–468. Абстрактные^{[постоянная мертвая ссылка ]}.
• Мензис, Т. (1996). «Применение похищения: моделирование на уровне знаний» (PDF). Международный журнал человеко-компьютерных исследований. 45 (3): 305–335. CiteSeerX  10.1.1.352.8159. Дои:10.1006 / ijhc.1996.0054.
• Queiroz, Joao & Merrell, Floyd (гостевые ред.). (2005). «Похищение - между субъективностью и объективностью». (специальный выпуск о абдуктивном выводе) Семиотика 153 (1/4). [1].
• Сантаэлла, Люсия (1997) «Развитие трех типов рассуждений Пирса: абдукция, дедукция и индукция», 6-й Конгресс МАСС. Eprint.
• Себеок, Т. (1981) "Ты знаешь мой метод". В Себеок, Т. «Игра Musement». Индиана. Блумингтон, ИА.
• Ю, Чонг Хо (1994), "Есть ли логика исследовательского анализа данных?", Ежегодное собрание Американской ассоциации исследований в области образования, Новый Орлеан, Лос-Анджелес, апрель 1994 г. Сайт доктора Чонг Хо (Алекса) Ю

внешние ссылки

• Дувен, Игорь. «Похищение». В Залта, Эдуард Н. (ред.). Стэнфордская энциклопедия философии.
• Абдуктивное рассуждение на Проект онтологии философии Индианы
• Абдуктивное рассуждение в PhilPapers
• "Абдуктивный вывод "(оказавшись там, прокрутите вниз), Джон Р. Джозефсон, Лаборатория исследований искусственного интеллекта, Университет штата Огайо. (Бывшая веб-страница через Wayback Machine.)
• "Удержание, индукция и отведение ", Глава 3 в статье"Чарльз Сандерс Пирс "Роберта Берча, 2001 и 2006 гг., в Стэнфордская энциклопедия философии.
• "Похищение ", ссылки на статьи и веб-сайты по абдуктивному выводу, Мартин Райдер.
• Международная исследовательская группа по абдуктивному выводу, Уве Вирт и Александр Рослер, ред. Использует рамки. Щелкните ссылку внизу его домашней страницы на английском языке. Вирт переехал в U. of Gießen, Германия, и настроил Abduktionsforschung, домашняя страница не на английском, но смотрите там раздел Артикель. Домашняя страница Abduktionsforschung через перевод Google.
• "'Вы знаете мой метод': сопоставление Чарльза С. Пирса и Шерлока Холмса "(1981), автор Томас Себеок с Жаном Умикер-Себеок из Игра Musement, Томас Себеок, Блумингтон, Индиана: Издательство Индианского университета, стр. 17–52.
• Commens Словарь терминов Пирса, Матс Бергман и Сами Паавола, редакторы, Helsinki U. Peirce - собственные определения, часто по многим терминам на протяжении десятилетий. См. «Гипотеза [как форма рассуждения]», «Похищение», «Воспроизведение» и «Презумпция [как форма рассуждения]».