Falsyfikacja
Z Wikipedii
Falsyfikacja (łac. falsum - fałsz) - jest to odmiana jednego z rozumowań zwanego sprawdzaniem. Termin ten rozpowszechniony został za sprawą krytycznego racjonalizmu Karla Poppera. Wnioskowanie falsyfikujące przebiega według schematu modus tollendo tollens:
- Przesłanki: 1) Teoria T implikuje jednostkowe zdarzenie obserwacyjne o. 2) Zdarzenie obserwacyjne o nie zachodzi.
- Wniosek: Teoria T jest fałszywa (nieadekwatna).
Wnioskowaniu temu odpowiada następujący zapis w języku rachunku zdań:
Przykład wnioskowania według tego schematu: Teoria geocentryczna mówi, że Słońce krąży wokół Ziemi. Wiemy, że to nieprawda, zatem teorię geocentryczną należy odrzucić.
[edytuj] Falsyfikacja jako odmiana sprawdzania
Sprawdzanie – definiując za Ajdukiewiczem pojęcie – jakiegoś zdania, np. zdania „a jest b” polega na rozwiązaniu zadania, które znajduje swe słowne sformułowanie w tzw. pytaniu rozstrzygnięcia „czy a jest b?” . Rozwiązaniem jest udzielenie jednej z dwóch właściwych odpowiedzi: „a jest b” albo „a nie jest b” na podstawie stwierdzenia prawdziwości lub fałszywości pewnych następstw wyprowadzonych ze zdania „a jest b”. W związku z powyższym procedura sprawdzania nie wyznacza jednoznacznie postaci konkluzji, wyinferowanie której zakończy proces sprawdzania.
- W procesie sprawdzania wyróżnić można następujące fazy: (a) postawienie pytania rozstrzygnięcia: „czy a jest b?”; (b) wyprowadzenie ze zdania „a jest b” jakichś następstw; (c) uznanie lub odrzucenie tych następstw.
- Wnioskowanie (inferencja), prowadzące do uznania lub odrzucenia tych następstw i w sumie do uznania lub odrzucenia zdania sprawdzanego, przebiega jedną z dwóch dróg: (1) od odrzucenia następstw do odrzucenia racji – droga dedukcyjna; (2) od uznania następstw do uznania racji – droga dedukcyjna albo redukcyjna: (2.1.) dedukcyjna gdy następstwa są równoważne ze zdaniem sprawdzanym; (2.2.) redukcyjna gdy następstwa nie są równoważne ze zdaniem sprawdzanym.
Tak rozumiane sprawdzanie występuje w dwóch odmianach:
- sprawdzanie pozytywne, które również występuje w dwóch odmianach:
- weryfikacji czyli potwierdzenia całkowitego (przykład: "Wszystkie dziewczyny w wieku 17-19 lat mieszkające obecnie w Łodzi są dziewicami" - całkowite potwierdzenie tego zdania jest możliwe, o zdaniu tym powiemy, że jest weryfikowalne, a procedurę potwierdzenia go - wskazując na owe dziewice - nazwiemy weryfikacją)
- konfirmacji czyli potwierdzenia częściowego (przykład: "Wszystkie orbity planet są elipsami" - całkowite potwierdzenie tego zdania nie jest możliwe, nic nie wiemy ani o orbitach planet których jeszcze nie ma, ani o orbitach planet, których już nie ma, o zdaniu tym powiemy, że jest konfirmowalne, a procedurę potwierdzenia - wskazując na orbity planet naszego układu słonecznego, czyli tylko na pewną podklasę planet - nazwiemy konfirmacją;
- sprawdzanie negatywne, które też występuje w dwóch odmianach:
- dyskonfirmacji, czyli osłabienia mocy danego twierdzenia (przykład: "Wszystkie dziewczyny w wieku 17-19 lat mieszkające obecnie w Łodzi są dziewicami" - o zdaniu tym powiemy, że jest dyskonfirmowalne i zostało zdyskonfirmowane wskazując, że niektóre z Łodzianek znajdujące się w tym przedziale wiekowym nie są dziewicami);
- falsyfikacji, czyli wykazania fałszywości (przykład: "Wszystkie orbity planet są okręgami" - o zdaniu tym powiemy, że jest falsyfikowalne i zostało sfalsyfikowane, wskazując na orbity planet naszego układu słonecznego). (W praktyce, różnice między dyskonfirmacją a falsyfikacją są tak znikome, że, bardzo często, dla obydwu procedur stosuje się określenie falsyfikacja.)
- Nieudaną próbę falsyfikacji jakiegoś twierdzenia nazywa się niekiedy (za Popperem) koroboracją. Teoria czy hipoteza została skoroborowana w chwili gdy nie udało się wykazać jej fałszywości. O takiej teorii lub hipotezie Popper mówi, że "okazała hart" ze względu na negatywny wynik eksperymentu falsyfikującego. W stosunku do następującego twierdzenia: "Wszystkie orbity planet są elipsami", powiedzieć możemy, że zostało skoroborowane ponieważ (mimo poszukiwań - prób falsyfikacji) nie jest znana orbita planety, która nie jest elipsą.
[edytuj] Zobacz też
- falsyfikacjonizm, rozumowanie, wnioskowanie, dowodzenie, wyjaśnianie
- krytyczny racjonalizm, popperyzm
- paradoks czarnego kruka
[edytuj] Literatura
- Kazimierz Ajdukiewicz, Klasyfikacja rozumowań [w] Ajdukiewicz, Język i poznanie, t. 2;
- Karl Popper, Logika odkrycia naukowego.