Granice poznania i nauka jako epistemologia

🎯 Po co Ci to?

Filozofia nauki to epistemologia w najostrzejszej postaci: pyta nie tylko o to, czym jest wiedza w ogóle, ale co sprawia, że wiedza naukowa jest wyjątkowa — i czy w ogóle jest. Popper zaoferował kryterium, które wydawało się oddzielać naukę od nie-nauki raz na zawsze. Kuhn zburzył ten obraz, pokazując, że nauka ma swoją socjologię i historię — a rewolucje nie są prostym postępem. Czy nauka odkrywa prawdę, czy tylko buduje coraz lepsze modele?

✅ Czego się nauczysz

Po tej lekcji potrafisz:

  • wyjaśnić popperowskie kryterium falsyfikowalności i pojęcie demarkacji nauki;
  • zrekonstruować tezę Kuhna o paradygmatach i rewolucjach naukowych na przykładzie;
  • wyjaśnić agnostycyzm jako stanowisko epistemologiczne;
  • omówić problem indukcji i jego znaczenie dla filozofii nauki.

🔁 Przypomnij sobie

W poprzednich jednostkach widziałeś, że: (1) wiedza wymaga uzasadnienia; (2) uzasadnienie może być a priori (rozum) lub a posteriori (doświadczenie); (3) nawet dobre uzasadnienie nie daje absolutnej pewności (fallibilizm). Teraz zapytamy: co wyróżnia naukowe uzasadnienie spośród innych form?

📘 Wyjaśnienie

Problem indukcji

Portret Davida Hume'a, który sformułował problem indukcji — ze skończonej liczby obserwacji nie da się logicznie wyprowadzić prawa ogólnego · źródło: Allan Ramsay, Wikimedia Commons, domena publiczna
Portret Davida Hume'a, który sformułował problem indukcji — ze skończonej liczby obserwacji nie da się logicznie wyprowadzić prawa ogólnego · źródło: Allan Ramsay, Wikimedia Commons, domena publiczna

Zacznijmy od kłopotliwego fundamentu całej nauki empirycznej.

💭 Pomyśl: Obserwujesz 1000 łabędzi — wszystkie białe. Wnioskujesz: „Wszystkie łabędzie są białe". Jak mocny jest ten wniosek? Co zmienia odkrycie jednego czarnego łabędzia w Australii (co zdarzyło się w XVII w.)?

Sprawdź odpowiedź

Jeden czarny łabędź obala ogólne twierdzenie, które opierało się na tysiącach obserwacji. To jest właśnie problem indukcji Hume'a: z obserwacji skończonej liczby przypadków nie można logicznie wywnioskować twierdzenia ogólnego. Przeskok od „n przypadków takich, że P" do „wszystkie P" jest logicznie niepoprawny — zawsze może się trafić wyjątek. Indukcja nie jest niezawodna, a nauka empiryczna na niej stoi.

📐 DEFINICJA — problem indukcji (Hume'a): niemożność logicznego uzasadnienia twierdzeń ogólnych na podstawie skończonej liczby obserwacji szczegółowych. Indukcja enumeratywna (od przypadków do ogólnego prawa) nie jest niezawodna — jeden kontrprzykład ją obala.

Znaczenie: jeśli nauka opiera się na indukcji, a indukcja nie jest pewna — nauka nie może dawać pewnej wiedzy o prawach przyrody.

David Hume (XVIII w.) postawił ten problem ostro: przyzwyczajenie i oczekiwanie, że przyszłość będzie podobna do przeszłości, to nawyk psychologiczny — nie logiczna konieczność.

Kryterium falsyfikowalności Poppera

Fotografia Karla Poppera, autora kryterium falsyfikowalności jako linii demarkacji między nauką a pseudonauką · źródło: DorianKBandy, Wikimedia Commons, CC BY-SA 4.0
Fotografia Karla Poppera, autora kryterium falsyfikowalności jako linii demarkacji między nauką a pseudonauką · źródło: DorianKBandy, Wikimedia Commons, CC BY-SA 4.0

Karl Popper (1902–1994) miał radykalny pomysł: zamiast weryfikować teorie przez zbieranie potwierdzających przypadków, szukaj przypadków, które teorię obalają.

💭 Pomyśl: Teoria A mówi: „Wszystkie metale przewodzą prąd elektryczny." Teoria B mówi: „Zdarzają się sny prorocze — czasem ludzie śnią o tym, co nastąpi." Którą teorię łatwiej sprawdzić (i ewentualnie obalić)?

Sprawdź odpowiedź

Teorię A: wystarczy znaleźć jeden metal, który nie przewodzi prądu — gdyby taki istniał, zmusiłby do korekty teorii. Teoria B jest znacznie trudniejsza do obalenia — każde „potwierdzenie" (sen, który się spełnił) jest odnotowywane; niespełnione sny są zapominane. Teorie, których nie można obalić żadnym doświadczeniem, są podejrzane — mówi Popper.

📐 DEFINICJA — falsyfikowalność: cecha teorii polegająca na tym, że możliwe jest do pomyślenia (i technicznie wykonalne) doświadczenie, które tę teorię obaliłoby, gdyby je przeprowadzono i dało wynik negatywny. Teoria falsyfikowalna to taka, która „nadstawia karku".

Po ludzku: falsyfikowalna teoria wyraźnie mówi, jaki wynik obserwacji byłby z nią niezgodny. Niefalsyfikowalna unika obalenia przez każde doświadczenie. Czym to NIE jest: falsyfikowalność ≠ obalenie. Teoria może być falsyfikowalna (możliwe do wyobrażenia obalenie) i jednocześnie nie być obalona.

📐 DEFINICJA — demarkacja nauki (Popper): linia oddzielająca naukę od pseudonauki (i metafizyki) wedle kryterium falsyfikowalności. Teoria naukowa jest falsyfikowalna; teoria niefalsyfikowalna nie jest naukowa (choć może być sensowna — jak metafizyka).

⚠️ Pułapka: Mylenie falsyfikowalności z faktycznym obaleniem. Teoria ewolucji jest falsyfikowalna (J.B.S. Haldane zapytany, co by ją obaliło, odpowiedział: skamieniałe króliki w prekambrze — czyli ssaki w warstwach sprzed ponad 541 mln lat, na długo przed powstaniem zwierząt lądowych) — i właśnie dlatego jest naukowa, a nie dlatego, że jest fałszywa. Kreacjonizm w swojej radykalnej formie nie jest falsyfikowalny — bo każdy wynik doświadczenia można zinterpretować jako dzieło stworzenia.

💭 Pomyśl: Popper twierdził, że marksizm i psychoanaliza Freuda są pseudonaukami — bo można je dopasować do każdego wyniku. Np. psychoanaliza: osoba, która wraca do terapii = potwierdza teorię (pragnie pomocy); osoba, która odchodzi = potwierdza teorię (opór ego). Czy Popper ma rację?

Sprawdź odpowiedź

To jeden z najsłynniejszych zarzutów Poppera. Nie mówi on, że marksizm lub psychoanaliza są fałszywe lub bezużyteczne — mówi, że nie są naukowe, bo brak im możliwości obalenia. Krytycy Poppera odpowiadają: jego kryterium jest zbyt restrykcyjne — wiele uznanych teorii naukowych (np. mechanika kwantowa) ma problemy z falsyfikowalnością w skrajnych interpretacjach. Spór o kryterium demarkacji trwa.

Paradygmaty i rewolucje naukowe Kuhna

Portret Thomasa Kuhna, który opisał naukę jako ciąg paradygmatów przerywanych rewolucjami naukowymi, a nie proste kumulowanie faktów · źródło: Davi.trip, Wikimedia Commons, CC BY-SA 4.0
Portret Thomasa Kuhna, który opisał naukę jako ciąg paradygmatów przerywanych rewolucjami naukowymi, a nie proste kumulowanie faktów · źródło: Davi.trip, Wikimedia Commons, CC BY-SA 4.0

Thomas Kuhn (1922–1996) pokazał, że nauka nie jest prostym kumulatywnym procesem zbierania faktów. Ma swoją historię i socjologię.

💭 Pomyśl: W XVI w. astronomowie bronili modelu geocentrycznego, nawet gdy obserwacje zaczynały mu przeczyć (kontynuując system Ptolemeusza, dodawali kolejne „epicykle" — koła na kołach). Dlaczego nie porzucili go wcześniej, gdy pojawiły się anomalie?

Sprawdź odpowiedź

Bo funkcjonowali w ramach paradygmatu — zestawu podzielanych założeń, metod i przykładowych rozwiązań, który był tak głęboko zakorzeniony, że anomalie traktowano jako „błędy pomiaru" lub „problemy do rozwiązania", nie jako sygnały kryzysu. Kuhn zaobserwował, że naukowcy rzadko porzucają paradygmat pod wpływem jednej anomalii — dopiero nagromadzenie anomalii prowadzi do kryzysu i rewolucji.

📐 DEFINICJA — paradygmat (Kuhn): zestaw podzielanych przez społeczność naukową założeń, teorii, metod i przykładowych rozwiązań problemów, który wyznacza to, co liczy się jako pytanie naukowe i co jako akceptowalną odpowiedź.

Po ludzku: paradygmat to „ramy myślenia" całego pokolenia naukowców. Pracują w nim nieświadomie — to ich „normalność". Czym to NIE jest: paradygmat ≠ jedna teoria; to całe środowisko intelektualne.

📐 DEFINICJA — rewolucja naukowa (Kuhn): radykalna zmiana paradygmatu, w trakcie której stare ramy myślenia są porzucane i zastępowane nowymi, nieciągłymi ze starymi. Nie jest to korekta czy rozszerzenie — to zmiana fundamentalna.

Przykłady: geocentryzm → heliocentryzm (Kopernik, Galileusz, Kepler); fizyka newtonowska → kwantowa i relatywistyczna (Einstein, Planck, Bohr).

💭 Pomyśl: Kuhn twierdził, że dwa paradygmaty są „niewspółmierne" (incommensurable) — naukowcy w różnych paradygmatach żyją w nieco innych „światach". Czy to znaczy, że nauka nie odkrywa prawdy, tylko zmienia modele?

Sprawdź odpowiedź

To jedno z najgorętszych pytań filozofii nauki. Popper odpowiedziałby: nauka zbliża się do prawdy przez falsyfikację — to jest racjonalny postęp. Kuhn jest niejednoznaczny: mówił, że paradygmaty się zmieniają, ale nie zawsze jest oczywiste, że nowy jest „bliżej prawdy" niż stary (w pewnych aspektach mechanika kwantowa jest trudniej „uchwytna" intuicyjnie niż newtonowska). Fallibilizm Poppera i konstruktywizm Kuhna to dwie różne odpowiedzi na ten sam problem — i żadna nie jest definitywna.

Analiza przypadku: rewolucja kopernikańska

🏛️ Analiza historyczna: Przez blisko 1400 lat (Ptolemeusz, Almagest ok. 150 r. n.e. — Kopernik 1543) astronomia europejska funkcjonowała w paradygmacie geocentrycznym. System Ptolemeusza był zadziwiająco skuteczny — pozwalał przewidywać pozycje planet z dokładnością wystarczającą na potrzeby kalendarza i nawigacji. Anomalie (np. retrogradia Marsa) były „obsługiwane" przez epicykle, nie traktowane jako kryzys.

Kopernik (1473–1543) nie obalił jednym artykułem geocentryzmu — zaproponował alternatywę. Galileusz (1564–1642) dostarczył obserwacji (księżyce Jowisza, fazy Wenus), które lepiej pasowały do heliocentryzmu. Kepler (1571–1630) usunął konieczność epicykli, pokazując, że orbity są eliptyczne. Newton (1642–1727) dał mechanizm (grawitacja). Rewolucja trwała ponad 150 lat — to normalny czas kuhnowskiego przejścia paradygmatu.

💭 Pomyśl: Czy model geocentryczny był fałszywy, czy był mniej użyteczny? Która teoria prawdy (korespondencji, koherencji, pragmatyczna) najlepiej opisuje tę zmianę?

Sprawdź odpowiedź

Interesująca wieloznaczność: (1) teoria korespondencji: geocentryzm był fałszywy — Ziemia naprawdę krąży wokół Słońca. (2) Pragmatyczna: geocentryzm działał — dla celów kalendarza i nawigacji dawał dobre wyniki; heliocentryzm dał lepsze narzędzie. (3) Koherencji: heliocentryzm jest spójniejszy z ogólnymi prawami fizyki (grawitacją), geocentryzm wymagał ad hoc epicykli. Historyk nauki powiedziałby: zmiana paradygmatu to zmiana ontologiczna (co uznaje się za „realne") — to więcej niż zmiana narzędzia.

Agnostycyzm jako stanowisko epistemologiczne

Portret Immanuela Kanta, agnostyka co do „rzeczy samej w sobie” (noumenu), która leży poza granicami ludzkiego poznania · źródło: szkoła Antona Graffa, Wikimedia Commons, domena publiczna
Portret Immanuela Kanta, agnostyka co do „rzeczy samej w sobie” (noumenu), która leży poza granicami ludzkiego poznania · źródło: szkoła Antona Graffa, Wikimedia Commons, domena publiczna

💭 Pomyśl: „Nie wiemy i nie możemy wiedzieć, czy istnieje coś transcendentnego — Bóg, dusza nieśmiertelna, rzeczywistość sama w sobie — bo przekracza to możliwości naszego poznania." Jak nazwałbyś to stanowisko?

Sprawdź odpowiedź

To agnostycyzm — stanowisko, że pewne pytania (zwłaszcza metafizyczne i religijne) przekraczają granice ludzkiego poznania. Nie twierdzi, że Bóg nie istnieje (ateizm) ani że istnieje (teizm) — mówi: nie wiemy i wiedzieć nie możemy.

📐 DEFINICJA — agnostycyzm epistemologiczny: stanowisko, że pewne pytania — szczególnie dotyczące bytów metafizycznych (Bóg, dusza, rzecz sama w sobie) — przekraczają granice ludzkiego poznania; nie możemy o nich wiedzieć, ani pozytywnie, ani negatywnie.

Reprezentanci: Thomas Huxley (wprowadził termin w 1869), Immanuel Kant (granice rozumu czystego — „rzecz sama w sobie" jest niepoznawalna). Czym to NIE jest: agnostycyzm ≠ ateizm; ≠ relatywizm; agnostyk nie mówi „każda odpowiedź jest tak samo dobra" — mówi „nie wiemy".

🌍 Powiązania: Kant — kluczowa postać w historii epistemologii — twierdził, że umysł aktywnie porządkuje doświadczenie wedle apriorycznych form (czas, przestrzeń) i kategorii (przyczynowość). To, co poznajemy, to świat zjawisk (fenomenów); rzecz sama w sobie (noumen) jest niepoznawalna. Kant jest agnostykiem co do noumenów — i zarówno racjonalistą (formy aprioryczne), jak i empirystą (materiał z doświadczenia): słynna synteza.

📜 Praca ze źródłem

Karl Popper, Logika odkrycia naukowego (1934/1959): „Metoda empiryczna [...] powinna być scharakteryzowana jako metoda, która wyklucza dokładnie te sposoby unikania falsyfikacji, które [...] są logicznie możliwe. [...] Tym, co charakteryzuje metodę empiryczną, jest sposób wystawiania badanego systemu na falsyfikację na każdy dający się pomyśleć sposób. Jej celem nie jest ratowanie nieobronnych systemów, lecz przeciwnie — wybranie tego, który w porównaniu okaże się najlepiej przystosowany, przez wystawienie ich wszystkich na najostrzejszą walkę o przetrwanie."

💭 Pomyśl: (1) Co Popper rozumie przez „unikanie falsyfikacji"? (2) Dlaczego wystawienie teorii na obalenie jest dla Poppera zaletą, a nie wadą? (3) Jak to stanowisko odnosi się do fallibilizmu (Jednostka 12.2)?

Sprawdź odpowiedź

(1) „Unikanie falsyfikacji" to zabiegi, które czynią teorię odporną na każdy wynik doświadczenia — np. ad hoc ratowanie (dorabianie wyjaśnień do anomalii), nieostrość pojęć, lub takie sformułowanie, że każdy wynik można uznać za potwierdzenie. (2) Dla Poppera: teoria, której nie można obalić, nic nie mówi o świecie — bo niczego nie wyklucza. Dobra teoria naukowa wyraźnie stwierdza, jaki wynik obserwacji byłby z nią niezgodny. Wystawienie na obalenie = empiryczna treść teorii. (3) Bezpośrednia analogia: fallibilizm mówi „możemy się mylić i musimy korygować". Popper dodaje: metoda naukowa to zinstytucjonalizowany fallibilizm — aktywne szukanie błędów (prób obalenia), nie zbieranie potwierdzeń.

⚠️ Uwaga, pułapka

Mylenie falsyfikowalności z obalalnością faktyczną. Teoria jest falsyfikowalna, jeśli można sobie wyobrazić wynik, który by ją obalił — a nie wtedy, gdy faktycznie została obalona. Ewolucja jest falsyfikowalna i nie jest obalona. Bzdura niefalsyfikowalna jest niefalsyfikowalna niezależnie od tego, czy jest prawdziwa, czy fałszywa.

Mylenie paradygmatu Kuhna z relatywizmem. Kuhn opisuje, jak nauka historycznie funkcjonuje — nie twierdzi, że wszystkie paradygmaty są równie dobre. Wielu czytelników Kuhna wyciąga błędny wniosek: „skoro paradygmaty się zmieniają, nauka nie odkrywa prawdy". Kuhn sam protestował: nie był relatywistą.

🗣️ Do dyskusji

Czy algorytmy sztucznej inteligencji mogą mieć wiedzę w epistemologicznym sensie? Czy model językowy, który „wie", że Paryż jest stolicą Francji, faktycznie wie — czy tylko efektywnie przetwarza dane? Co teoria JTB mówi o maszynach?

📐 Definicje tej lekcji

  • Problem indukcji — niemożność logicznego uzasadnienia ogólnych praw na podstawie skończonej liczby obserwacji (Hume).
  • Falsyfikowalność — cecha teorii: możliwe jest doświadczenie, które by ją obaliło; kryterium naukowości (Popper).
  • Demarkacja nauki — linia oddzielająca teorię naukową od pseudonaukowej wedle kryterium falsyfikowalności.
  • Paradygmat — podzielane przez społeczność naukową ramy myślenia, metody i przykładowe rozwiązania (Kuhn).
  • Rewolucja naukowa — radykalna zmiana paradygmatu, nieciągła ze starym (Kuhn).
  • Agnostycyzm — stanowisko, że pewne pytania przekraczają granice ludzkiego poznania.

📌 Najważniejsze w pigułce

  • Problem indukcji (Hume): z n obserwacji nie można logicznie wywnioskować prawa ogólnego.
  • Popper: nauka charakteryzuje się falsyfikowalnością — dobra teoria wyraźnie mówi, co by ją obaliło.
  • Kuhn: nauka nie postępuje kumulatywnie, lecz przez rewolucje paradygmatów; paradygmaty są „niewspółmierne".
  • Agnostycyzm: pewne pytania (metafizyczne) przekraczają granice poznania.
  • Nie mylić: falsyfikowalności z obaleniem; Kuhna z relatywizmem.

🎒 Zadania

Zadanie 12.3.1. Oceń każdą teorię pod kątem falsyfikowalności i uzasadnij ocenę: (a) „Słońce ma większą masę niż Ziemia." (b) „Duchy istnieją, ale tylko ukazują się tym, którzy wierzą." (c) „Każde zdarzenie ma przyczynę." (d) „Teoria ewolucji opisuje zmianę gatunków w czasie."

Pokaż rozwiązanie

(a) Falsyfikowalna — można zmierzyć masy (i zmierzono). Teoria naukowa. (b) Niefalsyfikowalna — każda obserwacja jest z góry zinterpretowana przez teorię. Jeśli ktoś wierzy i nie widzi: „nie był dość szczery". Jeśli ktoś nie wierzy i widzi: „przypadek/złudzenie". Żaden wynik nie może jej obalić. Pseudonaukowa w sensie Poppera. (c) Trudny przypadek — zasada przyczynowości jest tak ogólna, że trudno podać kontrprzykład (każdy pozorny wyjątek można wytłumaczyć „nieznaną przyczyną"). Popper traktowałby ją raczej jako metafizyczną zasadę, nie hipotezę naukową. (d) Falsyfikowalna — Haldane wskazał, co by ją obaliło: skamieniałe króliki w prekambrze (ssak w warstwach sprzed ponad 541 mln lat, na długo przed powstaniem zwierząt lądowych). Takich skamieniałości nie znaleziono. Teoria naukowa.

Zadanie 12.3.2. Zrekonstruuj rewolucję kopernikańską jako przykład zmiany paradygmatu kuhnowskiego. Wskaż: (a) stary paradygmat i jego anomalie, (b) fazę kryzysu, (c) nowy paradygmat i jego cechy, (d) element „niewspółmierności" między starym a nowym.

Pokaż rozwiązanie

(a) Stary paradygmat: geocentryzm ptolemejski — Ziemia w centrum, ciała niebieskie na sferach, ruch po okręgach i epicyklach. Anomalie: retrogradia planet wymagała coraz większej liczby epicykli; błąd kalendarza juliańskiego narastał. (b) Kryzys: XV–XVI w. rosnąca złożoność systemu ptolemejskiego; narastająca od XV w. presja na reformę kalendarza (Sobór Laterański V prosił o pomoc samego Kopernika) jako praktyczny nacisk. (c) Nowy paradygmat: heliocentryzm (Kopernik, Galileusz, Kepler, Newton) — Słońce w centrum, orbity eliptyczne, siła grawitacji jako mechanizm. (d) Niewspółmierność: w starym paradygmacie „naturalny" był ruch obrotowy ciał niebieskich wokół Ziemi; w nowym „naturalny" jest ruch inercjalny + grawitacja. Pytania mają inne znaczenie: „dlaczego planety poruszają się po epicyklach?" ma sens w geocentryzmie, jest pozbawione sensu w nowym (epicyklów nie ma).

Zadanie 12.3.3. Esej: „Czy Kuhn obalił Poppera?" (15–20 zdań). Przedstaw stanowisko Poppera, tezę Kuhna, napięcie między nimi i własną ocenę, które ujęcie lepiej oddaje rzeczywistość nauki.

Pokaż rozwiązanie

Wzorcowa odpowiedź powinna obejmować: (1) Popper: nauka to falsyfikacja; naukowiec szuka obalenia teorii; postęp = eliminacja fałszywych teorii. (2) Kuhn: naukowcy w praktyce nie szukają falsyfikacji — pracują w ramach paradygmatu, anomalie traktują jak zagadki do rozwiązania; falsyfikacja zdarza się tylko przy rewolucji. (3) Napięcie: Popper opisuje normatywny ideał (jak nauka powinna działać); Kuhn opisuje deskryptywną historię (jak nauka faktycznie działała). Oba projekty nie muszą być sprzeczne — są odpowiedziami na różne pytania. (4) Własna ocena: np. oba ujęcia są cząstkowe — Popper zbyt idealizuje racjonalność naukowca; Kuhn może zbyt mocno podkreślać socjologię kosztem logiki. Imre Lakatos próbował syntezy (programy badawcze). Esej powinien być argumentowany, nie tylko opisowy.

🔍 Sprawdź, czy umiesz

  • [ ] Wyjaśnić problem indukcji i powiedzieć, dlaczego jest problemem dla nauki empirycznej.
  • [ ] Zdefiniować falsyfikowalność i demarkację nauki — z przykładem teorii falsyfikowalnej i niefalsyfikowalnej.
  • [ ] Opisać pojęcia paradygmatu i rewolucji naukowej Kuhna na konkretnym przykładzie historycznym.
  • [ ] Wyjaśnić agnostycyzm i odróżnić go od ateizmu i relatywizmu.

Ucz się tej jednostki z asystentem