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.
| Płonie kamienica przy ulicy Struga 32 |
Ewakuowano ponad czterdzieści osób z dwóch budynków. Przyczyną pożaru był prawdopodobnie wybuch butli z gazem |
| Skoczył do Wisły. Zmarł z wyziębienia |
Policjanci i strażacy wyciągnęli z Wisły mężczyznę, który skoczył z Mostu Łazienkowskiego. Wyziębiony, w ciężkim stanie odwieziony został do szpitala. Zmarł po godzinie 21. |
| Kaczyński: Była ciekawa wymiana opinii z Klausem |
- Rozmowa z Vaclavem Klausem była bardzo ciekawa - powiedział Lech Kaczyński po spotkaniu z prezydentem Czech. Wcześniej stwierdził, że z Moskwą trzeba rozmawiać "tough a nie soft". Klaus przekonywał z kolei, że sprawa kryzysu gazowego będzie "w miarę szybko rozwiązana". - Załatwimy to w ciągu kilku dni - zapewnił. |
| Ochroniarze wyganiają bezdomnych paralizatorami na mróz |
Ochroniarze z wrocławskiego Dworca Głównego przeganiają koczujących tam bezdomnych na dwudziestostopniowy mróz - informuje "Gazeta Wyborcza". Na opornych mają pałki, gaz i paralizatory. |
| Sklep z dopalaczami znowu otwarty |
Sklep w centrum Warszawy, w którym można kupić substancje w działaniu przypominające narkotyki, znów działa. - To dopiero początek kontroli - zapewnia Urząd Kontroli Skarbowej |
| Lech Kaczyński rozmawiał z prezydentem Autonomii Palestyńskiej |
Lech Kaczyński rozmawiał z prezydentem Autonomii Palestyńskiej Mahmudem Abbasem. Telefoniczna rozmowa przywódców dotyczyła konfliktu w Strefie Gazy - poinformowała prezydencka kancelaria na swojej stronie internetowej. |
| Tusk: W najbliższych dniach dojdzie do rozwiązania problemu |
- Kwestia bezpieczeństwa energetyczne powinna w Unii Europejskiej przejść z etapu deklaracji do czynów; obecny kryzys gazowy pokazuje, że to konieczność - ocenił premier Donald Tusk dziś w Bratysławie po spotkaniu szefów rządów państw Grupy Wyszehradzkiej. |
| Napad z bronią na bank w Tarchominie |
Uzbrojony mężczyzna obrabował bank spółdzielczy w Tarchominie. Sterroryzował pracowników, zabrał pieniądze i oddalił się z łupem. |
| Klich: Nowy model dowództwa wymaga zmiany w konstytucji |
Proponowany nowy model dowodzenia i kierowania wojskiem, przewidujący m.in. nowe stanowisko szefa obrony, wymaga niewielkiej zmiany w konstytucji - powiedział minister obrony Bogdan Klich. |
| Tuż przed wylotem do Pragi prezydent spotkał się z Pawlakiem |
Prezydent Lech Kaczyński spotkał się, tuż przed wylotem do czeskiej Pragi, z wicepremierem i ministrem gospodarki Waldemarem Pawlakiem w sprawie kryzysu gazowego. |
![[(T \Rightarrow o) \and \lnot o]\Rightarrow \lnot T](http://upload.wikimedia.org/math/8/8/a/88a393ea6ca817ca2b89729467f1fd46.png)

