EMPIRYZM LOGICZNY 04. Carnap i inni: teorie naukowe nie są weryfikowalne, ale są doświadczalnie potwierdzalne (konfirmowalne). Jednak nie udało się zbudować logiki indukcyjnego potwierdzania teorii naukowych przez wyniki doświadczeń. Co wobec tego? Teorie naukowe są wytworami wyobraźni twórczej (intuicji itp.), nie podległej rekonstrukcji logicznej. Kontekst odkrycia a kontekst uzasadniania. Procedury uzasadniania teorii naukowych są rekonstruowalne logicznie. Ale jeśli potwierdzimy doświadczalnie n zdań obserwacyjnych wynikających z teorii T, to nie możemy na tej podstawie przypisać prawdziwości T prawdopodobieństwa większego niż 0. W tej sytuacji Karl Popper zauważa, że choć logika nie pozwala teorii potwierdzić, to pozwala ją sfalsyfikować, bo jeśli choćby jedno zdanie obserwacyjne wynikające z teorii okaże się, w świetle wyników doświadczeń, fałszywe, to dowodzi to, że teoria jest fałszywa (bo fałszywe wnioski mogą wynikać tylko z fałszywych przesłanek). Proponuje w związku z tym (Logika odkrycia naukowego, 1935) kryterium demarkacji, mające służyć odróżnianiu teorii naukowych od teorii metafizycznych czy pseudonaukowych: teoria jest naukowa, jeśli jest doświadczalnie falsyfikowalna.
28 сен 2024