TWIERDZENIEGÖDLAIFILOZOFIA



Podobne dokumenty
EFEKTY KSZTAŁCENIA DLA KIERUNKU STUDIÓW FILOZOFIA. I. Umiejscowienie kierunku w obszarze/obszarach kształcenia wraz z uzasadnieniem:

Filozofia I stopień. Dokumentacja dotycząca opisu efektów kształcenia dla programu kształcenia dla kierunku Filozofia dla I stopnia studiów

Biznes jako interesariusz uczelni

CZAS NAUKI RECENZJE. Paweł POLAK

Efekty kształcenia dla kierunku studiów filozofia studia pierwszego stopnia - profil ogólnoakademicki

Recenzja opracowania M. Bryxa. pt: Rynek nieruchomości. System i funkcjonowanie.

STUDIA PODYPLOMOWE FILOZOFII I ETYKI

EFEKTY KSZTAŁCENIA DLA STUDIÓW PIERWSZEGO I DRUGIEGO STOPNIA (LICENCJACKICH I MAGISTERSKICH) NA KIERUNKU: FILOZOFIA

EGZAMIN MATURALNY W ROKU SZKOLNYM 2014/2015

ZAGADNIENIA SYSTEMOWE PRAWA OCHRONY ŚRODOWISKA. pod redakcją Piotra Korzeniowskiego

INTUICJE. Zespół norm, wzorców, reguł postępowania, które zna każdy naukowiec zajmujący się daną nauką (Bobrowski 1998)

Załącznik nr 2a Uchwała UZdsZJKwUG nr 1/2012 (3)

EGZAMIN MATURALNY 2013 FILOZOFIA

WYMAGANIA EDUKACYJNE Z JĘZYKA POLSKIEGO - OCENIANIE BIEŻĄCE, SEMESTRALNE I ROCZNE (2015/2016)

Filozofia II stopień

INFORMATYKA a FILOZOFIA

Kierunkowe efekty kształcenia Po ukończeniu studiów absolwent:

Wstęp Komentarze jako metoda wyjaśniania oraz interpretacji w średniowieczu Komentarz Akwinaty do Etyki nikomachejskiej krótka prezentacja Próba

HISTORYCZNE I WSPÓŁCZESNE KIERUNKI W FILOZOFII MATEMATYKI

Elementy filozofii i metodologii INFORMATYKI

REFLEKSJA NAD ROZWOJEM MATEMATYKI

Spis treści. Wstęp Rozdział I Systemy polityczne problemy ogólne Rozdział II Historyczne systemy polityczne. Rewolucje demokratyczne..

ROZPRAWKA MATURALNA PORADNIK

Filozofia, ISE, Wykład III - Klasyfikacja dyscyplin filozoficznych

I. Umiejscowienie kierunku w obszarze/obszarach kształcenia wraz z uzasadnieniem:

Zbiór zadań z matematyki dla studentów chemii

Zdzisława Piątek. o śmierci. seksie. i metodzie in vitro. universitas

Karta (sylabus) modułu/przedmiotu Pedagogika... (Nazwa kierunku studiów)

Semiotyka logiczna. Jerzy Pogonowski. Dodatek 4. Zakład Logiki Stosowanej UAM

Egzamin maturalny na poziomie. i właściwie je uzasadnić?

Zasady krytycznego myślenia (1)

Efekty kształcenia dla kierunku studiów Etyka prowadzonego w Instytucie Filozofii UJ. Studia pierwszego stopnia profil ogólnoakademicki

PROGRAM STUDIÓW WYŻSZYCH ROZPOCZYNAJĄCYCH SIĘ W ROKU AKADEMICKIM 2014/2015 FILOZOFIA. data zatwierdzenia przez Radę Wydziału. kod programu studiów

Efekty kształcenia dla kierunku studiów PEDAGOGIKA SPECJALNA studia drugiego stopnia profil ogólnoakademicki

Twierdzenia Gödla dowody. Czy arytmetyka jest w stanie dowieść własną niesprzeczność?

Dlaczego matematyka jest wszędzie?

NOWE ODKRYCIA W KLASYCZNEJ LOGICE?

Recenzja rozprawy doktorskiej mgr Bartosza Rymkiewicza pt. Społeczna odpowiedzialność biznesu a dokonania przedsiębiorstwa

PROGRAM STUDIÓW WYŻSZYCH ROZPOCZYNAJĄCYCH SIĘ W ROKU AKADEMICKIM 2007/2008. Wydział Humanistyczny

Filozofia i etyka. Podyplomowe studia kwalifikacyjne na Wydziale Filozofii i Socjologii UMCS

LITERATURA. Bohater z książką w ręku. Omów wpływ lektur na życie postaci literackich na podstawie analizy wybranych przykładów.

Załącznik Nr 2 do Uchwały Nr 129/2017 Senatu UKSW z dnia 21 grudnia 2017 r.

Elementy filozofii i metodologii INFORMATYKI

UMFC WYDZIAŁ INSTRUMENTALNO-PEDAGOGICZNY W BIAŁYMSTOKU

UMFC WYDZIAŁ INSTRUMENTALNO-PEDAGOGICZNY W BIAŁYMSTOKU

EFEKTY KSZTAŁCENIA DLA KIERUNKU PSYCHOLOGIA JEDNOLITE STUDIA MAGISTERSKIE PROFIL OGÓLNOAKADEMICKI

Religioznawstwo - studia I stopnia

EFEKTY KSZTAŁCENIA DLA KIERUNKU STUDIÓW: PEDAGOGIKA. I. Umiejscowienie kierunku w obszarze kształcenia wraz z uzasadnieniem

STRESZCZENIE ROZPRAWY DOKTORSKIEJ

KRZYSZTOF WÓJTOWICZ Instytut Filozofii Uniwersytetu Warszawskiego

ZAGADNIENIA FILOZOFICZNE W NAUCE. Materiały z konwersatoriów interdyscyplinarnych. Nauka Wiara VIII WYDZIAŁ FILOZOFII PAPIESKIEJ AKADEMII TEOLOGICZNEJ

EFEKTY KSZTAŁCENIA DLA KIERUNKU STUDIÓW NAUK O RODZINIE STUDIA PIERWSZEGO STOPNIA - PROFIL OGÓLNOAKADEMICKI

Gdańska Szkoła Wyższa Wydział Administracji Kierunek Administracja, studia II stopnia

Uniwersytet Śląski w Katowicach str. 1 Wydział

Kierunkowe efekty kształcenia Po ukończeniu studiów absolwent:

NOWA HISTORIA FILOZOFII

Bartosz Rakoczy * w obszarze specjalnym o charakterze ekologicznym], Rzeszów 2013 (review)

Historia ekonomii. Mgr Robert Mróz. Zajęcia wprowadzające

Aksjologiczny wymiar prawa

REGUŁY ANALIZY TEKSTU NAUKOWEGO

CHARAKTERYSTYKA DRUGIEGO STOPNIA POLSKIEJ RAMY KWALIFIKACJI DLA KIERUNKU: NAUKI O RODZINIE

JAK MOTYWOWAĆ DZIECKO DO NAUKI

WYDZIAŁ TEOLOGICZNY UMK Program ramowy Studia doktoranckie (rok I i II) Specjalność: teologia fundamentalna i dogmatyczna

zagranicznej wybranych państw oraz stosunków międzynarodowych w Europie Środkowo-Wschodniej

NOWOŚCI DLA MATURZYSTÓW STYCZEŃ 2013

Załącznik nr 1WZORCOWE EFEKTY KSZTAŁCENIA DLA KIERUNKU STUDIÓW PEDAGOGIKA STUDIA PIERWSZEGO STOPNIA PROFIL OGÓLNOAKADEMICKI

PRZEDMIOTOWY SYSTEM OCENIANIA Z RELIGII W KLASACH I-III W SZKOLE PODSTAWOWEJ NR 4. IM. MARIANA KOSZEWSKIEGO W KOŚCIANIE

EFEKTY KSZTAŁCENIA DLA KIERUNKU STUDIÓW NAUK O RODZINIE STUDIA DRUGIEGO STOPNIA - PROFIL OGÓLNOAKADEMICKI

Efekty kształcenia Dla kierunku studiów PSYCHOLOGIA jednolite studia magisterskie profil ogólnoakademicki

PORADY DLA MATURZYSTÓW JĘZYK POLSKI, MATURA PISEMNA

U źródeł zbiorów kolektywnych 1

Zbiór zadań z matematyki dla studentów chemii

Efekty kształcenia dla kierunku Filozofia

Metody dowodzenia twierdzeń i automatyzacja rozumowań Na początek: teoria dowodu, Hilbert, Gödel

UCHWAŁA NR 71/2017 SENATU UNIWERSYTETU WROCŁAWSKIEGO z dnia 31 maja 2017 r.

Rozprawy doktorskiej mgr Anny Marii Urbaniak-Brekke. pt.: Aktywność społeczności lokalnych w Polsce i Norwegii

Czym filozofowie zniechęcają do filozofii i jak poprawić tę sytuację?

Wydawnictwo PLACET zaprasza Państwa do zapoznania się z naszą ofertą.

Wstęp do logiki. Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża,

ANKIETA SAMOOCENY OSIĄGNIĘCIA KIERUNKOWYCH EFEKTÓW KSZTAŁCENIA

EFEKTY KSZTAŁCENIA DLA KIERUNKU STUDIÓW INFORMATYKA

I.2 Matryca efektów kształcenia: filolo drugiego stopnia WIEDZA. MODUŁ 21 Nau społeczne - przedmiot doo wyboru. MODUŁ 20 Seminarium magisterskie

EFEKTY KSZTAŁCENIA DLA KIERUNKU STUDIÓW PRAWO JEDNOLITE STUDIA MAGISTERSKIE PROFIL PRAKTYCZNY

Wymagania do przedmiotu Etyka w gimnazjum, zgodne z nową podstawą programową.

WYMAGANIA EDUKACYJNE Z JĘZYKA POLSKIEGO W KLASIE II GIMNAZJUM

Symbol EKO S2A_W01 S2A_W02, S2A_W03, S2A_W03 S2A_W04 S2A_W05 S2A_W06 S2A_W07 S2A_W08, S2A_W09 S2A_W10

Recenzja rozprawy doktorskiej mgr Pradeep Kumar pt. The Determinants of Foreign

CZY MOŻLIWA JEST FIZYKA UMYSŁU?

OGÓLNOAKADEMICKI. Kierunek studiów ASTRONOMIA o profilu ogólnoakademickim należy do obszaru kształcenia w zakresie nauk ścisłych.

SYLABUS. DOTYCZY CYKLU KSZTAŁCENIA (skrajne daty) Wykł. Ćw. Konw. Lab. Sem. ZP Prakt. GN Liczba pkt ECTS

LOGIKA WOKÓŁ NAS RECENZJE. Zbigniew WOLAK

Przedmiotowy System Oceniania z Języka Polskiego opracowany przez nauczycieli Zespołu Szkół Ponadgimnazjalnych nr 2 im. ppłk. dr. Stanisława Kulińskie

Nazwa kierunku studiów i kod programu według USOS Filologia WH-F-FW-1 WH-F-FK-1. Poziom kształcenia. Studia pierwszego stopnia. Profil kształcenia

Współczesne koncepcje filozofii i etyki Kod przedmiotu

SŁOWO WSTĘPNE. i innych podmiotów (jednostek organizacyjnych,

Piotr Kulicki Katolicki Uniwersytet Lubelski Jana Pawła II Instytut Filozofii Teoretycznej Katedra Podstaw Informatyki

Czy i/lub w jakim sensie można uważać, że świat jest matematyczny? Wprowadzenie do dyskusji J. Lubacz, luty 2018

LOGICZNA REFORMA FILOZOFII

Zdzisława Piątek. o śmierci. seksie. i metodzie in vitro. universitas

RecenzjA. Michael Dummett, Natura i przyszłość filozofii, tłum. Marcin Iwanicki, Tadeusz Szubka, Warszawa: Wydawnictwo IFiS PAN 2010, ss. 180.

Transkrypt:

RECENZJE Zagadnienia Filozoficzne w Nauce XXXIV / 2004, s. 137 140 Krzysztof WÓJTOWICZ TWIERDZENIEGÖDLAIFILOZOFIA Stanisław Krajewski, Twierdzenie Gödla i jego filozoficzne interpretacje. Od mechanicyzmu do postmodernizmu. Wydawnictwa IFiS PAN, Warszawa, 2003, s. 366. Twierdzenia Gödla uważane są powszechnie za najważniejsze wyniki logiki współczesnej, sam Gödel zaś bywa określany jako najwybitniejszy logik od czasów Arystotelesa. Od momentu ich udowodnienia (a więc od ponad 70 lat), wyniki Gödla stanowią niewyczerpane źródło inspiracji dla logików i filozofów; wciąż ukazują się inspirowane nimi techniczne prace, dotyczące wzmocnień, uogólnień, wariantów czy nowych dowodów twierdzeń Gödla, a także niezliczone publikacje, dotyczące filozoficznych interpretacji twierdzeń Gödla i ich zastosowania w dyskursie nieformalnym. Próbę monograficznego przedstawienia filozoficznych zastosowań twierdzenia Gödla podjął Stanisław Krajewski w omawianej książce. Dotyczy ona przede wszystkim znaczenia twierdzeń Gödla dla filozofii umysłu i filozofii matematyki, ale prezentuje również szersze spektrum filozoficznych argumentów, odwołujących się do tych twierdzeń. Książka wypełnia lukę w polskiej literaturze filozoficznej, w której brak było tak obszernego opracowania poświęconego temu zagadnieniu. Książka składa się z czterech rozdziałów. Rozdział I ma charakter przygotowawczy. Przedstawia tło historyczne powstania twierdzeń Gödla, wprowadza niezbędne pojęcia techniczne i prezentuje szkic dowodu. Autor deklaruje, że prezentacja ta dostosowana jest do po- UWAGA: Tekst został zrekonstruowany przy pomocy środków automatycznych; możliwe są więc pewne błędy, których sygnalizacja jest mile widziana (obi@opoka.org). Tekst elektroniczny posiada odrębną numerację stron.

2 Krzysztof WÓJTOWICZ trzeb osób mniej obeznanych z problematyką. Należy dodać, że chodzi o osoby gotowe do podjęcia pewnego wysiłku. Krajewski nie łudzi Czytelnika mirażem łatwego, lekkiego i przyjemnego zrozumienia jednego z najważniejszych twierdzeń z zakresu logiki formalnej, co się niekiedy zdarza w literaturze. Rozdział II poświęcony jest problemowi niemechaniczności umysłu, przy czym oczywiście punktem wyjścia rozważań jest słynny argument Lucasa, odwołujący się do wyników Gödla. Autor rozpoczyna od prezentacji argumentu, poddając go następnie szczegółowej analizie. Pamięta tu o czytelniku (takim jak np. piszący te słowa), nie będącym specjalistą w tej dziedzinie, więc przedstawia dyskusję w sposób przystępny, co bynajmniej nie umniejsza precyzji wywodu. Zdaniem Krajewskiego, argument Lucasa jest wadliwy; stawia też silniejszą tezę że każda argumentacja w duchu Lucasa prowadzi do sprzeczności. Krytyka argumentu Lucasa nie znaczy jednak, że Krajewski broni tezy o mechaniczności umysłu, wskazuje natomiast, że taka argumentacja nie jest skuteczna. Rozdział II zawiera też prezentację poglądów samego Gödla dotyczących problemu natury umysłu. Rozdział III poświęcony filozoficznemu światopoglądowi Gödla; zawiera też życiorys oraz przystępną prezentację matematycznego dorobku Gödla. Krótko streszczone są też zamieszczone w Collected Works prace Gödla dotyczące filozofii matematyki. Dla polskiego Czytelnika, który ma utrudniony dostęp do prac Gödla, ta część rozdziału III będzie interesującą lekturą. Autor w zwięzły sposób przedstawia filozoficzny i teologiczny światopogląd Gödla. Ciekawa jest część, w której Krajewski podejmuje problem obojętności Gödla wobec definicji prawdy Tarskiego, stanowiącej fundament teorii modeli i powszechnie uważanej przecież za jedno z najważniejszych osiągnięć logiki XX wieku. Rozdział kończy część poświęcona tragicznemu wymiarowi życia Gödla, a mianowicie towarzyszącym mu całe życie cierpieniom psychicznym. Rozdział IV nosi tytuł (Nad)używanie twierdzenia Gödla. Autor analizuje tam sposoby odwołań do twierdzenia Gödla w filozofii matematyki, filozofii logiki, filozofii języka a także w szerszym

TWIERDZENIE GÖDLA I FILOZOFIA 3 kontekście. Krajewski rozważa np. problem możliwości ujęcia całej wiedzy matematycznej w jednym systemie formalnym (teorii uniwersalnej), znaczenie twierdzeń Gödla dla programu Hilberta; podejmuje problem intuicji matematycznej i platonizmu matematycznego. Rozważa też problem zastosowań twierdzeń Gödla w ogólniejszym kontekście filozoficznym (analizuje m.in. poglądy Wittgensteina dotyczące matematyki i samych wyników Gödla) i w szeroko rozumianej humanistyce. Warto zwrócić uwagę na fakt (podkreśla to Krajewski), że twierdzenie Gödla jest technicznym wynikiem, dotyczącym sformalizowanej arytmetyki liczb naturalnych, więc stosowanie go w dyskusji dotyczącej innej sfery problemowej wymaga dokonania stosownych parafraz problemów filozoficznych tak, aby twierdzenia formalne mogły się do nich odnosić. Nastawienie metodologiczne Autora dobrze jak sądzę oddaje następujące zdanie: rozstrzygnięcie tego problemu [tj. problemu mechaniczności umysłu K.W.] przez użycie twierdzenia Gödla nie jest możliwe, ale rozważanie go w świetle tego twierdzenia owszem (s. 285-286). Krajewski jest ostrożny w wyciąganiu daleko idących, mocnych wniosków filozoficznych z wyników Gödla a wiele z takich rzekomych wniosków demaskuje jako intelektualne szalbierstwa. Temu właśnie poświęcona jest część rozdziału IV, dotycząca zastosowań twierdzeń Gödla w humanistyce. W książce znajdziemy szereg przykładów nadużyć twierdzenia Gödla w argumentacji, należy jednak podkreślić, że Autor stara się życzliwie interpretować przytaczane tezy, sposoby argumentacji i wniknąć w intencje ich autorów ( mobilizując odpowiednio dużo dobrej woli, nie uważam za zupełny bezsens... (s. 313). Jego zdaniem jednak luźne inspiracje są zawsze na miejscu i nie są groźne, o ile nie są traktowane jako naukowe dowody (s. 305). O takich właśnie sposobach argumentacji pisze Krajewski: odwoływanie się do twierdzeń Gödla jest albo ozdobnikiem, albo metaforą. I razi, dlatego, że wynik Gödla jest tak precyzyjny. Podaje przykłady o charakterze wręcz humorystycznym (których nie przytoczę, aby nie odbierać Czytelnikowi przyjemności z lektury), konkludując trudno nie pomyśleć: biedny Gödel (s. 314).

4 Krzysztof WÓJTOWICZ Niezależnie od tego, czy zgodzimy się z tezami Autora, czy uznamy je za zbyt daleko (lub zbyt blisko) idące, książka dostarczy wielu intelektualnych podniet. Struktura jest jasna, ułatwia lekturę i odnalezienie interesującego fragmentu (trochę tylko szkoda, że nie zawiera indeksu nazwisk). Imponująca bibliografia stanowi zachętę do podjęcia dalszych studiów i może stanowić w tych studiach przewodnik. To, że książka składa się z czterech, w pewnym stopniu od siebie niezależnych części (dla lektury rozdziałów II, III i IV nie jest np. konieczna znajomość wszystkich szczegółów technicznych, prezentowanych w rozdziale I), pozwala na śledzenie wybranych, szczególnie interesujących Czytelnika wątków i dopiero późniejsze przejście do systematycznej lektury (do której gorąco zachęcam). Autor jest kompetentnym logikiem, który od podszewki zna techniczną stronę zagadnienia zdaje więc sobie sprawę z tego, gdzie Czytelnikowi grożą niebezpieczeństwa błędnego zrozumienia tych trudnych problemów, i gdzie najłatwiej o pomyłkę i błędną interpretację. W wielu miejscach podaje i prostuje przykłady takich pomyłek i błędnych mniemań, które zdarzają się w literaturze. Zaletą pracy jest intelektualna uczciwość Autor nie idzie na skróty, nie odnosi się z lekceważeniem do wadliwych filozoficznych argumentów czy wątpliwych tez, starając się raczej wydobyć z nich cząstkę prawdy (choć nie zawsze jest to możliwe). Truizmem jest stwierdzenie, że we współczesnej nauce i filozofii konieczna jest daleko idąca specjalizacja. Niestety, prowadzi to do osłabienia dialogu między przedstawicielami nauk ścisłych i filozofami: niektórzy przedstawiciele nauk ścisłych uważają filozofię za jałową gadaninę, zaś niektórzy filozofowie rewanżują się im głosząc tezy, iż nauki szczegółowe zajmują się przyczynkami, pozbawionymi znaczenia z punktu widzenia analiz filozoficznych. Można nad tym tylko ubolewać. Dlatego dobrze, że ukazują się prace takie jak książka Krajewskiego, które pokazują, że wyniki techniczne mogą stać się przedmiotem wyważonych analiz filozoficznych i jednocześnie mogą mieć dla filozofii pierwszorzędne znaczenie.

TWIERDZENIE GÖDLA I FILOZOFIA 5 W tym krótkim omówieniu nie jest możliwa szczegółowa analiza tej obszernej i wielowątkowej pracy. Nie można go oczywiście traktować jak recenzji naukowej; nie ma tu miejsca ani na podjęcie analiz merytorycznych, ani polemik z tezami Autora. Jest natomiast miejsce na zachęcenie do lektury naprawdę warto! Krzysztof Wójtowicz Czytelnik zainteresowany światopoglądem filozoficznym Gödla znajdzie omówienie w pracy piszącego te słowa: Platonizm matematyczny. Studium filozofii matematyki Kurta Gödla, Biblos, 2002.