Индукция - тип редуктивного мышления, определяемый как умозаключение «от деталей к общему», т. е. Умозаключение об истинности причин ( выводы в широком смысле слова) из правдивости последствий ( предпосылок в широком смысле слова), где (в некоторых интерпретациях) типы индукции, более сложные, чем простая индукция перечисления, являются дедуктивным рассуждением.
В отличие от дедуктивного рассуждения, индукция перечисления является неполным рассуждением, то есть тем, в котором истинность посылок не гарантирует истинность заключения. Основными формами индукции являются неполное перечисление, полное перечисление, исключение и статистическая индукция - математическая индукция считается специфическим дедуктивным рассуждением.
Основная философская проблема, связанная с индуктивным мышлением, заключается в том, оправдывают ли они обоснование: поскольку вывод индуктивного мышления не полностью оправдан его предпосылками, возникает проблема относительно того, как и в какой степени индуктивное мышление приводит к истинным выводам. Те, кто рассматривает индуктивные выводы как оправдывающие (сторонники индуктивности), обычно объясняют степень обоснованности выводов индуктивного вывода, используя концепцию логической вероятности . Критика индуктивности, сделанная дедуктивизмом (антииндуктивизмом), основывается прежде всего на том факте, что удовлетворительный ответ на вопрос о том, как измерить эту вероятность, еще не построен.
Индуктивное мышление иногда считается основным инструментом эмпирических наук , против чего выступают дедуктивные науки (главным образом, математика и логика), использующие дедуктивное мышление. Метод, используемый эмпирическими науками, состоящий из использования экспериментов, наблюдения , индукции перечисления и индукции исключения, называется методом индукции - однако современная методология эмпирических наук привлекает внимание к тому факту, что эмпирические науки также широко используют дедуктивные инструменты, которые предоставляются математикой. Разделение научных методов на дедуктивные и индуктивные стало основой для выделения логики индукции как самостоятельной дисциплины логического исследования.