Tekst źródłowy strony Rozumowanie indukcyjne

{{dopracować|źródła=2015-09}}

'''Indukcja''' ([[łacina|łac.]] ''inductio'', wprowadzenie) – typ [[rozumowanie redukcyjne|rozumowania redukcyjnego]]<ref>{{cytuj książkę |nazwisko = Bocheński| imię = Józef M.| tytuł = Współczesne metody myślenia| wydawca = [[W drodze (wydawnictwo)|W drodze]] |miejsce = Poznań| rok = 1992| strony = 103|isbn=83-7033-121-1}}</ref>, stanowiący [[wnioskowanie]] o [[Uwierzytelnienie|prawdziwość]] danej racji, będącej wynikiem procesu wnioskowania metodą [[Poznanie|poznania]] „od szczegółu do ogółu”, wynikający z prawdziwości następstw będących [[przesłanka|przesłankami]]. Typy indukcji zależą od sposobu interpretacji, będąc bardziej złożoną konstrukcję względem prostej indukcja enumeracyjnej niezupełnej, stanowiącej rozumowania dedukcyjne. 

Indukcja wyciąga ogólne wnioski na podstawie konkretnych przypadków. To znaczy, jeśli pewne zdarzenia lub przypadki występują zawsze w danym czasie, to można wywnioskować, że istnieje pewne ogólne prawidłowości. Jednak indukcja nie daje pewności, ale jedynie prawdopodobieństwo. Przykład: Wszystkie obserwowane łabędzie są białe, więc wszystkie łabędzie są białe.

W odróżnieniu od [[rozumowanie dedukcyjne|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 [[indukcjonizm]]u), tłumaczą zazwyczaj stopień uzasadnienia konkluzji wnioskowania indukcyjnego za pomocą pojęcia [[prawdopodobieństwo|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 [[nauki empiryczne|nauk empirycznych]], przeciwstawianych z tego powodu [[nauki formalne|naukom dedukcyjnym]] (głównie [[matematyka]] i [[logika]]), posługujących się rozumowaniami dedukcyjnymi. Metoda stosowana przez nauki empiryczne polegająca na stosowaniu eksperymentów, [[obserwacja (nauki społeczne)|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ł [[Metoda naukowa|metod naukowych]] na dedukcyjne i indukcyjne stał się podstawą do wyróżnienia '''logiki indukcji''' jako samodzielnej dyscypliny badań logicznych.

== Główne typy rozumowań indukcyjnych ==
=== Indukcja niezupełna ===
Indukcja niezupełna (indukcja enumeracyjna niezupełna, indukcja przyrodnicza) polega na uznaniu jakiejś ogólnej prawidłowości na podstawie skończonej liczby zdań stwierdzających niektóre wystąpienia tej prawidłowości. Jest to jedno z podstawowych narzędzi nauk doświadczalnych, wymagające oczywiście odpowiedniej metodologii (w tym stosowania [[rachunek błędów|rachunku błędów]]).

Indukcja enumeracyjna niezupełna jest wnioskowaniem w najprostszej postaci (w sytuacji, gdy przesłanki i wniosek to zdania kategoryczne podmiotowo-orzecznikowe, a nie na przykład warunkowe) przebiegającym według schematu:
: <math>\frac{\begin{matrix}
  S_1\mbox{ jest }P,&S_2\mbox{ jest }P,&S_3\mbox{ jest }P,&\dots,&S_n\mbox{ jest }P\\
  S_1\mbox{ jest }S,&S_2\mbox{ jest }S,&S_3\mbox{ jest }S,&\dots,&S_n\mbox{ jest }S
\end{matrix}}{\mbox{Ka}\dot{z}\mbox{de }S\mbox{ jest }P}</math>

Indukcja enumeracyjna niezupełna wychodzi więc od obserwacji pewnej skończonej liczby przedmiotów, zdarzeń i sytuacji, należącej do jednej skończonej klasy, oznaczonej tu przez S. Za pomocą tej obserwacji stwierdza się, że niektórym przedmiotom należącym do klasy S przysługuje cecha P. Wnioskowanie polega tu na stwierdzeniu, że skoro niektórym przedmiotom należącym do klasy S przysługuje cecha P, to wszystkim przedmiotom należącym do klasy S przysługuje cecha P. Wystarczy jeden [[kontrprzykład]], to znaczy chociaż jeden przedmiot należący do klasy S, któremu cecha P nie przysługuje, by uznać wniosek otrzymany przez indukcję enumeracyjną niezupełną za fałszywy.

Wnioskowania za pomocą indukcji enumeracyjnej niezupełnej rodzą wiele problemów metodologicznych. Przy wnioskowaniu przez indukcję enumeracyjną niezupełną brak nam przesłanki, że wszystkie przedmioty należące do klasy S zostały zbadane pod kątem posiadania cechy P – właśnie to sprawia, że wnioskowania przez indukcję enumeracyjną niezupełną są zawodne. Nie znając wszystkich przedmiotów klasy S nie możemy bowiem wykluczyć, że wśród tych nieznanych istnieją takie, które cechy P nie posiadają – a gdyby istniał chociaż jeden przedmiot klasy S nie posiadający cechy P, całe wnioskowanie musiałby zostać odrzucone. Tak np. obserwując pewną liczbę grudek soli stwierdzamy, że każda z nich rozpuszcza się w wodzie – nie odnaleziono dotąd kontrprzykładu dla wniosku tej indukcji enumeracyjnej, przyjmujemy więc wniosek, że wszystkie grudki soli rozpuszczają się w wodzie. Obserwując pewną liczbę grudek metalu stwierdziliśmy, że rozszerzały się pod wpływem ciepła, przyjęliśmy więc wniosek, że wszystkie grudki metalu rozszerzają się pod wpływem ciepła – wiedząc jednak, że w pewnych warunkach grudki żeliwa kurczą się pod wpływem ciepła, musimy odrzucić wniosek, że wszystkie grudki metalu rozszerzają się pod wpływem ciepła.

Współczesna logika indukcji próbuje oprzeć je na teorii prawdopodobieństwa, w praktyce naukowej, a tym bardziej w rozumowaniach indukcyjnych dokonywanych potocznie, głównym czynnikiem odróżniania wartościowych i bezwartościowych wnioskowań dokonywanych za pomocą indukcji enumeracyjnej niezupełnej pozostaje [[Rozsądek|zdrowy rozsądek]] – podstawowe aspekty zdroworozsądkowej oceny poprawności rozumowań redukcyjnych, do których należy zwłaszcza potrzeba zachowania właściwej proporcji między subiektywnym poczuciem stopnia pewności przesłanek a stopnia pewności wniosku, omawia rozdział ''[[rozumowanie#Ocena poprawności rozumowań|Ocena poprawności rozumowań]]'' artykułu ''[[Rozumowanie]]''.

=== Indukcja zupełna ===
'''Indukcja zupełna''' ('''indukcja enumeracyjna zupełna''', '''indukcja wyczerpująca''') to wnioskowanie, w którym jakąś ogólną prawidłowość uznaje się na podstawie zdań stwierdzających wszystkie możliwe przypadki wystąpienia tej prawidłowości. Od indukcji enumeracyjnej niezupełnej różni się tym, że indukcja enumeracyjna niezupełna stwierdza występowanie jakiejś ogólnej prawidłowości na podstawie tylko niektórych, a nie wszystkich możliwych jej wystąpień. Indukcja zupełna jest w istocie rozumowaniem dedukcyjnym i niezawodnym – wprawdzie przesłanki w niej wynikają logicznie z wniosku, ale o jej dedukcyjności stanowi to, że zarazem wniosek wynika w niej logicznie z przesłanek. Przykładem rozumowania przez indukcję zupełną może być stwierdzenie przez nauczyciela obecności wszystkich uczniów przez stwierdzenie przy wyczytywaniu listy obecności, że obecny jest każdy poszczególny uczeń. W praktyce naukowej zastosowania indukcji zupełnej są bardzo ograniczone, istnieje bowiem wiele sytuacji, w których liczba możliwych wystąpień danej sytuacji jest niezmiernie duża lub wręcz nieskończona.

Najprostszy [[schemat wnioskowania]] przy użyciu indukcji zupełnej (w sytuacji, gdy wniosek i przesłanki są zdaniami kategorycznymi podmiotowo orzecznikowymi, nie np. okresami warunkowymi) przedstawia się następująco:
: <math>\frac{\begin{matrix}
  &S_1\mbox{ jest }P,&S_2\mbox{ jest }P,&S_3\mbox{ jest }P,&\dots,&S_n\mbox{ jest }P\\
  &S_1\mbox{ jest }S,&S_2\mbox{ jest }S,&S_3\mbox{ jest }S,&\dots,&S_n\mbox{ jest }S\\
  \mbox{Ka}\dot{z}\mbox{de }&S\mbox{ jest }S_1,&\mbox{lub }S_2,&\mbox{lub }S_3,&\dots,&\mbox{lub }S_n
\end{matrix}}{\mbox{Ka}\dot{z}\mbox{de }S\mbox{ jest }P}\dots</math>

=== Indukcja eliminacyjna ===
==== Indukcja eliminacyjna Francisa Bacona ====
Indukcja eliminacyjna sprowadza się do sformułowania wyczerpującej listy [[Hipoteza|hipotez]] na dany temat, które wzajemnie się wykluczają, a następnie dokonanie eliminacji z użyciem narzędzia jakim jest eksperyment. Zakłada się, że jeśli lista hipotez jest wyczerpująca to musi się wśród nich znajdować także hipoteza prawdziwa. F. Bacon sformułował zasadę ograniczonej różnorodności świata, która zakłada, że dany temat można sformułować wyczerpująco i przedstawić skończoną listę.

==== Indukcja eliminacyjna Johna Stuarta Milla ====
{{Osobny artykuł|kanony Milla}}

Pierwszą próbą udoskonalenia indukcji enumeracyjnej niezupełnej była indukcja eliminacyjna Francisa Bacona, w doskonalszej postaci przedstawił indukcję eliminacyjną John Stuart Mill. Indukcja eliminacyjna Milla stanowi metodę poszukiwania związków przyczynowych między [[zjawisko|zjawiskami]], a więc albo przyczyn pewnego zjawiska, albo skutków innego. Punktem wyjścia poszukiwania związku przyczynowego jest zgromadzenie możliwych przyczyn <math>A_1, A_2, A_3, \dots, A_n</math> danego zjawiska (okoliczności, w których zjawisko to zachodzi) lub analogicznie prawdopodobnych skutków danego zjawiska <math>B_1, B_2, B_3, \dots, B_n.</math> By wyodrębnić spośród przyczyn <math>A_1 - A_n</math> rzeczywistą przyczynę zjawiska lub spośród skutków <math>B_1 - B_n</math> rzeczywisty skutek zjawiska, Mill zbudował 5 schematów wnioskowań: kanon jedynej zgodności, kanon jedynej różnicy, kanon zmian współtowarzyszących, kanon połączonej metody zgodności i kanon różnicy reszt.

Według kanonu jedynej zgodności przyczyną lub skutkiem danego zjawiska jest ta okoliczność, która zjawisku temu stale towarzyszy, podczas gdy pozostałe ulegają zmianie. Kanon umożliwia odnalezienie tego zjawiska, które jest konieczne dla zajścia pewnego innego zjawiska – przez przyczynę rozumie się tu [[warunek konieczny]]. Kanon jedynej zgodności nie stanowi metody odnalezienia [[warunek wystarczający|warunku wystarczającego]]. Kanon ten (przy założeniu, że wyodrębniliśmy tylko trzy przyczyny lub skutki danego zjawiska) przybiera postać wnioskowania:
: <math>\frac{\begin{alignat}{0}
  \mbox{W sytuacji}&\mbox{I}&\mbox{zachodzi }B,&\mbox{zachodzi }A_1,&\mbox{zachodzi }A_2&\mbox{i nie zachodzi }A_3\\
  \mbox{W sytuacji}&\mbox{II}&\mbox{zachodzi }B,&\mbox{zachodzi }A_1,&\mbox{nie zachodzi }A_2&\mbox{i zachodzi }A_3\\
  \mbox{W sytuacji}&\mbox{III}&\mbox{zachodzi }B,&\mbox{zachodzi }A_1,&\mbox{nie zachodzi }A_2&\mbox{i nie zachodzi }A_3\\
  \mbox{W sytuacji}&\mbox{IV}&\mbox{zachodzi }B,&\mbox{zachodzi }A_1,&\mbox{zachodzi }A_2&\mbox{i zachodzi }A_3\\
\end{alignat}}{\mbox{Przyczyną}\ B\mbox{ jest }A_1}</math>

== Z dziejów problematyki indukcji ==
Starożytna i średniowieczna koncepcja nauki nie stanowiła nigdy w pełni wypracowanej i uporządkowanej teorii, a za warunek naukowości uznawała zgodność z pewnymi przyjmowanymi z góry założeniami – pojawiające się (np. u [[Roger Bacon|Rogera Bacona]]) zalążki metody [[eksperyment]]alnej miały charakter prekursorski. Warunki do szerszego zastosowania i lepszego sformułowania myśli średniowiecznych prekursorów metody indukcyjnej pojawiły się u progu czasów nowożytnych. Najbardziej znaczącym teoretykiem indukcji wczesnej [[Nowożytność|nowożytności]] jest [[Francis Bacon (filozof)|Francis Bacon]], którego dzieło ''[[Novum organum]]'' (1620) już samym tytułem przeciwstawia się [[Organon]]owi Arystotelesa, tj. korpusowi arystotelesowskich pism logicznych stanowiącemu kanon starożytno-średniowiecznego pojmowania nauki jako opartej na dedukcji. Bacon przeciwstawia się także (wyrażonej zwłaszcza w ''Analitykach pierwszych'') indukcji sformułowanej przez Arystotelesa, która była prostą indukcją enumeracyjną – uznając ją za dziecinną i poznawczo niemal bezwartościową, przeciwstawia jej pierwotną postać indukcji eliminacyjnej, opisaną szerszej w rozdziale [[Rozumowanie indukcyjne#Indukcja eliminacyjna Francisa Bacona|Indukcja eliminacyjna Francisa Bacona]].

Zasadniczy zwrot w dziejach filozoficznych rozważań nad indukcją stanowiły ''[[Badania dotyczące rozumu ludzkiego]]'' [[David Hume|Davida Hume’a]] (1748). Dzieło to stało się początkiem problemu indukcji – w ujęciu Hume’a stanowi on alternatywę głoszącą, że albo [[wiedza]] jest pewna i dotyczy idei (konstruktów umysłu, np. przedmiotów matematycznych), albo jest niepewna i dotyczy [[fakt]]ów. Współcześnie pogląd, że wiedza o faktach świata materialnego nie jest pewna jest przyjęty powszechnie, w czasach Hume’a stanowił jednak szokujący paradoks, głównie ze względu na rozwój fizyki newtonowskiej. Sam Hume nie odnosi się w swoim ujęciu problemu do pojęcia indukcji, ale do pojęcia [[przyczynowość|przyczynowości]] – według Hume’a nie ma żadnej logicznej konieczności, by to, co zdarzało się w przeszłości, zdarzyło się również później – teza, że [[słońce]] wzejdzie jutro o ile opiera się wyłącznie na obserwacji, że wschodziło do tej pory wielokrotnie, oparta jest jedynie na przyzwyczajeniu, skoro zaś nie jest konieczne, by przyczyny wywoływały skutki, nie istnieje też żaden obiektywny związek przyczynowo-skutkowy.

Drugim ważnym [[Filozofia|filozofem]] w dziejach rozwoju logiki indukcji był [[John Stuart Mill]], który w odróżnieniu od Francisa Bacona nie przekreślał znaczenia dedukcji dla metody naukowej i w ''Systemie logiki dedukcyjnej i indukcyjnej'' (1843) podał lepszą niż baconowską metodę wnioskowania indukcyjnego, ulepszoną indukcję eliminacyjną opartą na [[kanony Milla|kanonach Milla]] – przy pewnych interpretacjach indukcja eliminacyjna Milla stanowi jednak formę dedukcji. Rozumiana jako rozumowanie indukcyjne indukcja eliminacyjna nie jest objęta zastrzeżeniami Hume’a i nie potrzebuje budowy odrębnej od dedukcyjnej logiki indukcji – ani Bacon, ani Mill nie byli jednak świadomi jej innego niż indukcji enumeracyjnej niezupełnej statusu.

W wieku XX problem indukcji w sformułowaniu Hume’a i [[Immanuel Kant|Immanuela Kanta]] stracił ważność – nie uległ jednak zanikowi, ale raczej przekształceniu. Logika indukcji jako samodzielna dyscyplina badań logicznych nie odpowiada na dawne pytanie, co usprawiedliwia pewność twierdzeń uzyskanych za pomocą wnioskowań indukcyjnych, ale na pytanie, co usprawiedliwia przyjęcie prawdopodobieństwa twierdzeń uzyskanych za pomocą wnioskowań indukcyjnych i to, że uznajemy je za lepsze niż sformułowane już dawniej rozwiązania tego samego problemu. Tak rozumiana logika indukcji, tj. teorie indukcji oparte na matematycznym aparacie prawdopodobieństwa i powiązane z pewnymi ideami filozoficznymi formułowali przede wszystkim [[Pozytywizm logiczny|neopozytywiści]], zwłaszcza [[Rudolf Carnap]].

== Zobacz też ==
* [[rozumowanie abdukcyjne]]
* [[indukcja prawnicza]]

== Przypisy ==
{{Przypisy}}

== Linki zewnętrzne ==
* {{otwarty dostęp}} [[Zygmunt Hajduk]], ''[http://ptta.pl/pef/pdf/i/Indukcja.pdf Indukcja]'', [[Powszechna Encyklopedia Filozofii]], Polskie Towarzystwo Tomasza z Akwinu, ptta.pl [dostęp 2024-05-05].
* {{paywall}} ''[https://www.rep.routledge.com/articles/thematic/inductive-inference/v-1 Inductive inference]'' {{lang|en}}, [[Routledge Encyclopedia of Philosophy]], rep.routledge.com [dostęp 2023-05-12].
{{SEP2|2018-08-07}}
* {{SEP3 | url = induction-problem/ | tytuł = The Problem of Induction | autor = Leah Henderson | data = 2018-03-21 | tytuł polski = (Problem indukcji)}}
* {{SEP3 | url = logic-inductive/ | tytuł = Inductive Logic | autor = James Hawthorne | data = 2018-03-19 | tytuł polski = (Logika indukcyjna)}}

{{Kontrola autorytatywna}}

[[Kategoria:Metodologia nauki]]
[[Kategoria:Rozumowanie]]