Indukcja (łac. inductio, wprowadzenie) – typ rozumowania redukcyjnego (...) określany jako wnioskowanie „od szczegółu do ogółu”, czyli wnioskowanie o prawdziwości racji (wniosków w szerokim znaczeniu tego słowa) z prawdziwości następstw (przesłanek w szerokim znaczeniu tego słowa), przy czym (w pewnych interpretacjach) typy indukcji bardziej złożone niż prosta indukcja enumeracyjna niezupełna stanowią rozumowania dedukcyjne.

W odróżnieniu od rozumowania dedukcyjnego indukcja enumeracyjna niezupełna stanowi rozumowanie zawodne, to znaczy takie, w którym prawdziwość przesłanek nie gwarantuje prawdziwości wniosku. Głównymi postaciami indukcji są indukcja enumeracyjna niezupełna, indukcja enumeracyjna zupełna, indukcja eliminacyjna i indukcja statystyczna – indukcja matematyczna jest natomiast uznawana za specyficzne rozumowanie dedukcyjne.

Głównym problemem filozoficznym związanym z rozumowaniami indukcyjnymi jest to, czy stanowią one rozumowania uzasadniające: skoro konkluzja wnioskowania indukcyjnego nie jest w pełni uzasadniona przez jej przesłanki, pojawia się problem, w jaki sposób, w jakim stopniu i czy w ogóle wnioskowania indukcyjne prowadzą do prawdziwych wniosków. Ci, którzy uznają wnioskowania indukcyjne za wnioskowania uzasadniające (zwolennicy indukcjonizmu), tłumaczą zazwyczaj stopień uzasadnienia konkluzji wnioskowania indukcyjnego za pomocą pojęcia prawdopodobieństwa logicznego. Krytyka indukcjonizmu dokonana przez dedukcjonizm (antyindukcjonizm) opiera się przede wszystkim na fakcie, że nie skonstruowano dotychczas zadowalającej odpowiedzi na pytanie, jak mierzyć to prawdopodobieństwo.

Rozumowania indukcyjne bywają uważane za główne narzędzie nauk empirycznych, przeciwstawianych z tego powodu naukom dedukcyjnym (głównie matematyka i logika), posługujących się rozumowaniami dedukcyjnymi. Metoda stosowana przez nauki empiryczne polegająca na stosowaniu eksperymentów, obserwacji, indukcji enumeracyjnej i indukcji eliminacyjnej nosi miano metody indukcyjnej – współczesna metodologia nauk empirycznych zwraca jednak uwagę na fakt, że nauki empiryczne w szerokim stopniu używają także narzędzi dedukcyjnych, których dostarcza im matematyka. Podział metod naukowych na dedukcyjne i indukcyjne stał się podstawą do wyróżnienia logiki indukcji jako samodzielnej dyscypliny badań logicznych. Więcej