индукция

ИНДУКЦИЯ (от лат. inductio — выведение; возбуждение) — этот термин в современной логике используется как синоним более точного, но более громоздкого, термина «индуктивное рассуждение». Индуктивное рассуждение содержит переход от эмпирически верифицируемых посылок к заключению, подтверждаемому посылками, но дедуктивно из них не выводимому. («Все известные нам вороны черные; следовательно, все вороны черные».) Таким образом, заключение индуктивного рассуждения — в отличие от заключения дедуктивно правильного рассуждения — содержит информацию, не содержащуюся в его посылках.

Наиболее широко используемая разновидность индуктивных рассуждений — перечислительные рассуждения: рассуждения, содержащие переход от посылок, утверждающих, что все известные объекты из некоторой совокупности А обладают свойством Р, к заключению, утверждающему, что все — в том числе и неизвестные — объекты из А обладают Р (приведенное выше рассуждение — при прочтении А как совокупности воронов и Р как свойства «быть черным» — представляет собой пример перечислительной И.). Другая широко распространенная разновидность индуктивных рассуждений — рассуждения, содержащие переход от посылок, утверждающих, что некий объект а обладал свойством Р в каждый момент времени, предшествующий настоящему, к заключению, утверждающему, что а будет обладать Р в будущем. («До настоящего момента, вслед за зимой всегда наступала весна; следовательно, при естественном течении событий, вслед за зимой всегда будет наступать весна».) Иногда индуктивные рассуждения сочетают в себе перечислительный и временной аспекты; так, приведенное выше рассуждение о черных воронах может быть проинтерпретировано как обосновывающее несуществование нечерных воронов не только в настоящем, но и в будущем.

С философской точки зрения, наибольший интерес представляет, и набольшее внимание привлекает, проблема обоснования И. — нахождения рационального базиса для признания легитимности индуктивных рассуждений. Важность проблемы обусловлена важностью индуктивных рассуждений для современной науки. Ее успешное решение предполагает нахождение ответа на вопрос, на каком основании мы признаем некоторые из индуктивных рассуждений приемлемыми, несмотря на то, что во всяком индуктивном рассуждении истинность посылок не гарантирует истинности заключения. Так, чернота всех известных нам воронов не гарантирует того, что в природе не существует, и никогда не появится, ни одного ворона другой расцветки. Все ответы, предложенные со времени поставившего этот вопрос Д. Юма, оказались безуспешными — всякая попытка обоснования И., предложенная до настоящего момента, в неявной форме предполагала легитимность И. Например, Д.С. Миль полагал, что легитимность И. гарантирована единообразием универсума; так, мы можем быть уверены в том, что все существующие и будущие вороны черны, потому что все известные нам вороны черны и универсум единообразен. Однако, что дает нам право верить в единообразие универсума? Только то, что он был таким до сих пор в пределах нашего опыта. В таком случае, утверждая, что универсум единообразен всегда и везде, мы утверждаем как истину заключение индуктивного рассуждения. В настоящее время наибольшей популярностью пользуется рассмотрение проблемы И., предложенное П. Стросоном, утверждающим, что проект обоснования И. самопротиворечив. Согласно Стросону, обоснование И. равносильно приданию индуктивным рассуждениям статуса дедуктивных. В то же время основная ценность индуктивных рассуждений заключается в том, что — в отличие от дедуктивно правильных рассуждений — они позволяют нам получать новую информацию; таким образом, обоснование И. равносильно утверждению, что индуктивные рассуждения, вопреки очевидности, не приводят к получению новой информации, что, согласно Стросону, абсурдно.

Корректные рассуждения по математической И., несмотря на имя, являются дедуктивно правильными, а не индуктивными, рассуждениями.

Д.П. Шкатов

И. — в философии (логике) одна из форм мышления, с помощью которой мы находим общий закон, которым обладает класс каких-либо единичных предметов. Уже у Аристотеля встречаются различные виды индуктивных правил рассуждения (напр., неполная И., или И. через простое перечисление). Однако только с началом активного развития естественных наук метод рассуждения по И. стал применяться особенно часто и, что особенно важно отметить, сами виды индуктивных рассуждений стали изучаться на предмет их надежности, и это служило развитию логики как науки. Напр., английский философ Ф. Бэкон признавал И. через простое перечисление недостаточно надежным способом умозаключения. В индуктивных умозаключениях (даже в крайне простых случаях) возможны различного рода ошибки (напр., поспешное обобщение и др.). Возможны также ошибки при умозаключениях и в случае истинных посылок индукции, когда не соблюдаются законы логики.

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

Принцип математической И. и является формализацией математической И. (рассуждения вида: пусть некоторое свойство выполнено для числа I и пусть из того, что это же свойство выполнено для числа и, следует, что это свойство выполнено для числа п+1; тогда рассматриваемое свойство выполнено для любого натурального числа) и имеет формальную запись: ф(0)л/х(ф(х)—»ф(х')).—к/х<�р(х). Здесь ф — индукционная формула, х — индукционная переменная.

Принцип полной И. имеет формальную запись: Vx[Vy(yф(у))—»ф(х)]—»/хф(х) и эквивалентен (напр., в рамках формальной арифметики) принципу математической И. Часто встречается также совместная математическая И., напр. при доказательстве в интуиционистской арифметике НА свойства дихотомии равенства натуральных чисел. В этом случае необходимо проводить дополнительные индукционные доказательства (со своими базисным и индукционным шагами). Совместная математическая И. может быть сведена к обычной, однако такое сведение часто только усложняет общее доказательство. Индуктивные определения и полная И. могут быть легко расширены до любого вполне упорядоченного класса объектов А, при этом формальная запись сохраняется (в этом случае индукционная переменная пробегает элементы класса А). Таким образом, полная И. является частным случаем И., которая носит название трансфинитной И. Наконец, если отношение < на классе объектов А задает так называемое фундированное дерево (т.е. дерево, все ветви которого обрываются), то трансфинитная И. для такого класса А эквивалентна так называемой бар-И., которая утверждает, что если некоторое свойство ф объектов класса А выполнено для всех концевых вершин (которых не обязательно конечное множество) и что если свойство ф наследуется вниз при движении к корню, то свойство ф выполнено и для корневого объекта класса А. Принцип бар-И. особенно важен при доказательствах в интуиционистской арифметике.

Ю.В. Шлее

Лит.: Клини С.К. Введение в метаматематику. М., 1957; Кондаков Н.И. Введение в логику. М., 1967; Куратовский К., Мостовский А. Теория множеств. М., 1970; Шенфилд Дж. Математическая логика. М., 1975; Гильберт Д., Бернайс П. Основания математики: Логические исчисления и формализация арифметики. М., 1979; Драгалин А.Г. Математический интуиционизм: Введение в теорию доказательств. М., 1979.

Источник: Энциклопедия эпистемологии и философии науки на Gufo.me


Значения в других словарях

  1. ИНДУКЦИЯ — ИНДУКЦИЯ (лат. inductio — наведение) — метод познания, связанный с обобщением наблюдений и экспериментов. В логическом плане И. представляет собой умозаключение... Новейший философский словарь
  2. индукция — Заимств. в начале XIX в. из франц. яз., где induction < лат. inductio, суф. производного от inducere «вводить, проводить, выводить». Этимологический словарь Шанского
  3. Индукция — I (греч. hypothesis — основание, предположение, от hypó — под, внизу и thésis — положение) то, что лежит в основе, — причина или сущность. Например, «атомы» Демокрита, «идеи» Платона, «перводвигатель» Аристотеля. В современном словоупотреблении... Большая советская энциклопедия
  4. индукция — ИНДУКЦИЯ, и, ж. 1. Способ рассуждения от частных фактов, положений к общим выводам; противоп. дедукция (книжн.). 2. Возбуждение электрического тока в каком-н. проводнике при движении его в магнитном поле или изменении вокруг него магнитного поля (спец.). Толковый словарь Ожегова
  5. индукция — I. ИНДУКЦИЯ I и, ж. induction f., нем. Induction <�лат. inductio выведение. 1. Логическое умозаключение от частного к общему, от отдельных фактов к обобщениям. Крысин 1998. 2. мат. Словарь галлицизмов русского языка
  6. индукция — ИНДУКЦИЯ — 1. Один из механизмов регуляции биосинтеза белка. И. представляет собой активацию синтеза какого-нибудь фермента посредством проникновения в клетку определенного вещества (индуктора). 2. Развитие клеток под влиянием веществ, выделяемых другими клетками. Ботаника. Словарь терминов
  7. ИНДУКЦИЯ — ИНДУКЦИЯ — в биологии -1) взаимодействие процессов возбуждения и торможения; торможение в группе нейронов вызывает (индуцирует) возбуждение (положительная индукция) — которое индуцирует торможение (отрицательная индукция)... Большой энциклопедический словарь
  8. индукция — ИНД’УКЦИЯ, индукции, ·жен. (·лат. inductio — наведение). 1. Метод мышления, при котором из частных суждений выводится общее (филос.). Толковый словарь Ушакова
  9. ИНДУКЦИЯ — ИНДУКЦИЯ (от лат. inductio — введение) — англ. induction; нем. Induktion. 1. Форма умозаключения, способ рассуждения, означающие движение познания от частного к общему, обобщение отдельных факторов... Социологический словарь
  10. индукция — индукция I ж. 1. Логическое умозаключение от частного к общему, от единичного наблюдения к обобщению, от фактов к некоторой гипотезе. || противоп. дедукция... Толковый словарь Ефремовой
  11. индукция — (от лат. inductio — побуждение, наведение) в физиологии, термин, используемый для обозначения возбуждающих и тормозящих взаимовлияний нервных центров. Явление И. характерно для всех отделов нервной системы. В эмбриологии... Биологический энциклопедический словарь
  12. индукция — ИНДУКЦИЯ -и; ж. [лат. inductio] 1. Лог. Способ рассуждения от отдельных частных фактов и положений к общим выводам, обобщениям (противоп.: дедукция). И. — основной метод обучения. 2. Физ. Возбуждение электродвижущей силы в каком-л. Толковый словарь Кузнецова
  13. индукция — Индукции, ж. [латин. inductio – наведение]. 1. Метод мышления, при к-ром из частных суждений выводится общее (филос.). 2. Возбуждение электрической и магнитной энергии под влиянием магнитного поля или приближением заряженного электрического тела (физ.). Магнитная и электрическая индукция. Большой словарь иностранных слов
  14. Индукция — Способ вывода суждения от множества фактов к некоторой гипотезе и ее доказательство. Обратный способ получения знания — дедукция — делает вывод на основании логики, а началом рассуждения является не факт, а аксиома или аналогичная гипотеза. Физическая антропология
  15. индукция — орф. индукция, -и Орфографический словарь Лопатина
  16. ИНДУКЦИЯ — ИНДУКЦИЯ – познавательная процедура, посредством которой из сравнения наличных фактов выводится обобщающее их утверждение. Идея индукции обсуждалась Сократом и Аристотелем... Новая философская энциклопедия
  17. Индукция — (лат. inductio введение, наведение) в физиологии — функциональное взаимодействие нервных центров, характеризующееся изменением их возбудимости. Индукция взаимная —... Медицинская энциклопедия
  18. индукция — -и, ж. 1. лог. Способ рассуждения от отдельных, частных фактов и положений к общим выводам, обобщениям; противоп. дедукция. 2. физ. Возбуждение электродвижущей силы в каком-л. Малый академический словарь
  19. ИНДУКЦИЯ — ИНДУКЦИЯ, в физике, процесс электризации или намагничивания. В случае ЭЛЕКТРОМАГНИТНОЙ ИНДУКЦИИ электрический ток вызывается при помещении ПРОВОДНИКА в переменное МАГНИТНОЕ ПОЛЕ. Величина тока пропорциональна скорости изменения МАГНИТНОГО ПОТОКА. Научно-технический словарь
  20. индукция — Французское – induction. Латинское – inducere (вводить, проводить). Слово было заимствовано русским языком из французского в начале XIX в. Индукция – логическое умозаключение от частного к общему; взаимодействие нервных процессов возбуждения и торможения. Этимологический словарь Семёнова
  21. индукция — Инду́кц/и/я [й/а]. Морфемно-орфографический словарь
  22. Индукция — (от лат. inductio — наведение) переход от единичного знания об отдельных предметах данного класса к общему выводу о всех предметах данного класса; один из методов познания. Основой И. являются данные, полученные путём наблюдения и эксперимента. Педагогический терминологический словарь