Abstrakt
Wprowadzenie: Zwolennicy tradycyjnej filozofii nauki opowiadali się za wprowadzeniem rozróżnienia na kontekst odkrycia i kontekst uzasadniania, czyniąc ten ostatni jedynym właściwym przedmiotem filozoficznej refleksji. Wielu badaczy nie zgadzało się z tym rozstrzygnięciem. Niektórzy z nich podjęli wysiłki opracowania normatywnej teorii odkrycia naukowego. Dzięki zastosowaniu zaawansowanych maszyn liczących starano się stworzyć program komputerowy generujący odkrycia naukowe. Doprowadziło to do powstania odrębnej dziedziny nauki – teorii odkryć maszynowych – czerpiącej z dorobku psychologii rozwiązywania problemów i badań nad sztuczną inteligencją. Celem pracy jest dowiedzenie, że żadna z prób oparcia odkrycia naukowego o procedury stosowane przez komputery jest nierealizowalna z przyczyn logicznych. W poniższej pracy przedstawiono historyczny proces, który doprowadził do wyodrębnienia się kontekstów odkrycia i uzasadnienia oraz wskazano badaczy i nurty, które sprzeciwiły się podziałowi na kontekst odkrycia i kontekst uzasadnienia. Następnie nakreślona została teoria odkryć maszynowych, której autorzy podjęli się próby skonstruowania programu komputerowego generującego odkrycia naukowe. Artykuł wieńczy przybliżenie racji logicznych, które czyniły ich starania niemożliwymi do zrealizowania. W toku badań wykazano, że istnieją przekonujące racje logiczne, by uznać, że algorytmizacja odkrycia naukowego nie jest programem badawczym, którego cele mogły być osiągnięte. Przybliżono szereg racji odwołujących się do natury poznania komputerowego, które czynią nadzieje badaczy na sukces programu płonnymi. Poznanie komputerowe ma charakter dedukcyjny, jest treściowo puste, ponieważ nie może dostarczyć żadnej nowej wiedzy. Chociaż wykorzystanie komputerów w pracy badawczej wydaje się decyzją słuszną, albowiem poprzez możliwości analizy ogromnej liczby danych otwierają przed naukowcami zupełnie nowe możliwości, maszyny liczące nie zastąpią naukowców całkowicie. Niezależnie od postępu technologicznego natura poznania komputerowego sprawia, że odkrycie naukowe będzie wymagało ludzkiej interwencji, a wszelkie próby redukcji odkrycia do czynności właściwych komputerom są skazane na niepowodzenie.
Słowa kluczowe: filozofia nauki, odkrycie naukowe, badania naukowe, kognitywistyka, algorytmizacja, sztuczna inteligencja, maszynowe uczenie się
Typ artykułu: artykuł przeglądowy