Логическое объяснение

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

Терминология аргументов, используемая в логике

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

1. Дедуктивное рассуждение определяет, можно ли определить истинность вывода для этого правила , основываясь исключительно на истинности посылок. Пример: «Когда идет дождь, вещи снаружи промокают. Следовательно, трава снаружи: когда идет дождь, трава намокает». Математическая логика и философская логика обычно связаны с этим типом рассуждений.
2. Индуктивное рассуждение пытается поддержать определение правила . Он выдвигает гипотезу о правиле после того, как многочисленные примеры взяты, как вывод, который следует из предварительного условия в терминах такого правила . Пример: «Трава много раз промокала во время дождя, поэтому: трава всегда становится влажной во время дождя». Этот тип мышления обычно ассоциируются с обобщением от эмпирических данных . Хотя они могут быть убедительными, эти аргументы не являются дедуктивно действительными: см. Проблему индукции .
3. Абдуктивное мышление , иногда называемое выводом наилучшего объяснения , выбирает убедительный набор предварительных условий . Учитывая верный вывод и правило , он пытается выбрать некоторые возможные предпосылки, которые, если они верны, могут поддержать заключение , хотя и не однозначно. Пример: «Когда идет дождь, трава становится влажной. Трава мокрая. Следовательно, возможно, шел дождь». Подобные рассуждения можно использовать для разработки гипотезы , которая, в свою очередь, может быть проверена дополнительными рассуждениями или данными. Диагностики , детективы и ученые часто используют рассуждения такого типа.

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

Другие виды рассуждений, помимо трех общих категорий выше:

• Разрешаемое рассуждение
• Непротиворечивые рассуждения
• Вероятностное рассуждение
• Статистическое обоснование

См. Сравнение этих других видов рассуждений в разделе « Недоказательные рассуждения».

См. Также [ править ]

Ссылки [ править ]

• Мензис, Т. (1996), «Применение похищения: моделирование на уровне знаний», Международный журнал человеческих компьютерных исследований : 305–335
• Райхерц, Джо (2014), «Индукция, дедукция, абдукция», в Флик, Уве (ред.), Качественный анализ данных , SAGE Publishing