Filozofia matematyki w ujęciu historycznym
- Kategoria:
- filozofia, etyka
- Cykl:
- ACADEMICA (tom 49)
- Wydawnictwo:
- OBI
- Data wydania:
- 2000-01-01
- Data 1. wyd. pol.:
- 2000-01-01
- Liczba stron:
- 378
- Czas czytania
- 6 godz. 18 min.
- Język:
- polski
- ISBN:
- 8387952427
- Tagi:
- filozofia matematyka filozofia matematyki filozofia logiki historia matematyki historia logiki historia filozofii matematyki historia filozofii logiki filozofia matematyki w ujęciu historycznym
Niniejsza książka powstała w trakcie przygotowań do wykładów z filozofii matematyki, prowadzonych na Wydziale PAT w Krakowie w latach 1996-98. Prezentowane są w niej najistotniejsze dokonania w filozofii matematyki. Materiał został ułożony w porządku historycznym. Ułatwia to śledzenie rozwoju idei filozoficznej refleksji nad matematyką. Książka swoim układem przypomina „Filozofię matematyki” R. Murawskiego. Powstała jednak niezależnie od pracy poznańskiego Autora. Z jego książki skorzystano jedynie przy opracowaniu intuicjonizmu. Natomiast cenną pomocą okazała się wydana przez R. Murawskiego antologia tekstów klasycznych z filozofii matematyki (Poznań 1986).
Prezentowana książka została oparta zasadniczo, poza nielicznymi wyjątkami, na polskojęzycznych opracowaniach poszczególnych zagadnień z historii filozofii matematyki. W każdym rozdziale i paragrafie wyraźnie zaznaczono, z jakich opracowań skorzystano. Nieliczność opracowań niektórych zagadnień sprawiła, że pewne fragmenty książki (R. Descartes, E. Kant, realizacja programu logicyzmu, szkice dowodów twierdzeń Gödla) są dość mocno zależne od tych niewielu dostępnych. Celem książki było przede wszystkim zebranie obszernego materiału dotyczącego filozofii matematyki w całość. Trzeba też wspomnieć, że fragmenty dotyczące filozofii matematyki G. Cantora i D. Hilberta oparte zostały zasadniczo na własnych badaniach Autora.
Materiał zaprezentowano w taki sposób, aby był on dostępny dla czytelnika nieposiadającego specjalnego przygotowania matematycznego. Dlatego konieczne stało się wkomponowanie w wykład pewnych wiadomości z historii matematyki (matematyka antyczna, powstanie geometrii analitycznej, arytmetyzacja matematyki w XIX wieku, elementy teorii mnogości) oraz logiki formalnej. Oczywiście, nie sposób w jednej książce zawrzeć wszystkich dokonań z zakresu filozofii matematyki, dlatego też, dbając przede wszystkim o zaprezentowanie pewnej ciągłości w rozwoju idei tej dyscypliny filozoficznej, konieczne było zrezygnowanie ze szczegółowego opracowania niektórych koncepcji. Dotyczy to przede wszystkim empiryzmu J. S. Milla, konwencjonalizmu H. Poincarégo oraz badań nad matematyką prowadzonych w szkole fenomenologicznej. Prezentację zakończono na przedstawieniu filozofii skonfederowanych z klasycznymi kierunkami badań podstaw matematyki. Oczywiście, podniesiono też kwestię powstania metamatematyki i zaprezentowano jej pierwsze rezultaty sformułowane w słynnych twierdzeniach K. Gödla. Starano się nie prezentować poglądów, do których ponownie wracano w dziejach filozofii matematyki, dlatego też nie eksponowano, na przykład, platonizmu w dorobku G. Cantora, R. Dedekinda oraz G. Freggego oraz, częściowo, B. Russella. Raczej starano się podkreślić ich oryginalny wkład do filozofii matematyki.
Porównaj ceny
W naszej porównywarce znajdziesz książki, audiobooki i e-booki, ze wszystkich najpopularniejszych księgarni internetowych i stacjonarnych, zawsze w najlepszej cenie. Wszystkie pozycje zawierają aktualne ceny sprzedaży. Nasze księgarnie partnerskie oferują wygodne formy dostawy takie jak: dostawę do paczkomatu, przesyłkę kurierską lub odebranie przesyłki w wybranym punkcie odbioru. Darmowa dostawa jest możliwa po przekroczeniu odpowiedniej kwoty za zamówienie lub dla stałych klientów i beneficjentów usług premium zgodnie z regulaminem wybranej księgarni.
Za zamówienie u naszych partnerów zapłacisz w najwygodniejszej dla Ciebie formie:
• online
• przelewem
• kartą płatniczą
• Blikiem
• podczas odbioru
W zależności od wybranej księgarni możliwa jest także wysyłka za granicę. Ceny widoczne na liście uwzględniają rabaty i promocje dotyczące danego tytułu, dzięki czemu zawsze możesz szybko porównać najkorzystniejszą ofertę.
Mogą Cię zainteresować
Książka na półkach
- 8
- 2
- 1
- 1
- 1
OPINIE i DYSKUSJE
Całej książki nie przeczytałem, tylko wybrane fragmenty. Jak zawsze ksiądz Jerzy Dadaczyński doskonale znajduje równowagę pomiędzy skomplikowaniem zagadnienia a próbą zrozumiałego wyłożenia najistotniejszych problemów. Miałem przyjemność przez cztery semestry uczęszczać na wykłady Autora z filozofii matematyki. Sam matematykiem nie jestem i o teorii matematycznej mam bardzo nieduże pojęcie, to mogę powiedzieć, że te wykłady to były jedne z najlepszych studenckich zajęć w jakich uczestniczyłem kiedykolwiek. Gdyby wszyscy wykładowcy tacy byli to studenci nie opuszczaliby sal wykładowych. Książka doskonale uzupełniała ich treść, ale nawet bez nich jest warta polecenia każdemu kto interesuje się historią czy filozofią matematyki.
Całej książki nie przeczytałem, tylko wybrane fragmenty. Jak zawsze ksiądz Jerzy Dadaczyński doskonale znajduje równowagę pomiędzy skomplikowaniem zagadnienia a próbą zrozumiałego wyłożenia najistotniejszych problemów. Miałem przyjemność przez cztery semestry uczęszczać na wykłady Autora z filozofii matematyki. Sam matematykiem nie jestem i o teorii matematycznej mam...
więcej Pokaż mimo toNiniejsza książka to obszerna, prawie 400-stronicowa pozycja traktująca o rozwoju filozofii matematyki i jej samej od czasów starożytnej Grecji do lat 30. wieku XX, choć nieco więcej jest w niej samej historii matematyki, niż jej filozofii, co akurat uważam za zaletę. Okres starożytnej Grecji opisany został wyjątkowo ciekawie i szczegółowo, autor przedstawił w nim filozofię pitagorejczyków, Platona, Arystotelesa, wraz stworzoną przez niego logiką – sylogistyką, oraz ukazał pierwszą próbę aksjomatyzacji matematyki , konkretnie geometrii, przez Eudoksosa oraz Euklidesa w jego słynnych „Elementach”, jest to chyba najlepszy rozdział tej książki. Następnie przedstawiona jest filozofia matematyki, kolejno R. Descartesa (Kartezjusza) oraz jego kontynuatora G. W. Leibniza, który był protoplastą logicyzmu, który swój gwałtowny rozwój przeżywał na początku wieku XX. Kolejnym rozdziałem jest opis filozofii I. Kanta, którego twórczość 𝑑𝑒 𝑓𝑎𝑐𝑡𝑜, nie wniosła do matematyki prawie nic, ani pod względem rozwoju jej jako nauki formalnej, ani pod względem rozwoju jej filozofii, mimo, iż obydwa przedmioty wykładał on w Albertynie przez 16 semestrów (sic!). I. Kant uznawał aprioryczność geometrii euklidesowej (w odniesieniu do przestrzeni) oraz aprioryczność czasu, ostatecznie poglądy te zostały sfalsyfikowany poprzez odkrycie geometrii nieeuklidesowych (hiperbolicznej, eliptycznej i Reimanna) XIX w. oraz szczególnej teorii względności (dylatacja czasu). Był on, co najwyżej, protoplastą intuicjonizmu, który rozwinął się, na początku wieku XX. Tym samym rozdział opisujący jego filozofię w odniesieniu do matematyki uważam za zupełnie niepotrzebny. Równie ciekawie i obszernie, jak w przypadku okresu greckiego, scharakteryzowany został rozdział traktujący o programie logicyzmu, uwzględniając prace, w zakresie logiki matematycznej, G. Fregego, B. Russella i A. N. Whiteheada oraz teorii mnogości R. Dedekinda, G. Peano, G. Cantora i E. Zermelo, włącznie z konstrukcją aksjomatyki liczb naturalnych zaproponowaną przez czterech ostatnich. Rozdział ten zawiera również opis trudności które stanęły przed logicystami w związku z odkryciem antynomii i prób ich usunięcia (teoria typów w „𝑃𝑟𝑖𝑛𝑐𝑖𝑝𝑖𝑎 𝑚𝑎𝑡ℎ𝑒𝑚𝑎𝑡𝑖𝑐𝑎” B. Russella i A.N. Whiteheada),a także opis badań nad zagadnieniem nieskończoności, głównie na przykładzie prac G. Cantora. Kolejnym rozdziałem jest opis programu D. Hilberta (w duchu formalizmu) unifikacji matematyki, który zrealizować chciał poprzez udowodnienie niesprzeczności arytmetyki liczb naturalnych przy pomocy metod finitystycznych, co automatycznie dowodziłoby niesprzeczności teorii bogatszych. Następny rozdział przedstawia odkrycie przez K. Gödla jego słynnych twierdzeń, które zadały cios marzeniom o unifikacji matematyki zarówno przez logicystów, jak i formalistów, ukazując, że każdy niesprzeczny system aksjomatyczny zawierający arytmetykę liczb naturalnych musi być niezupełny (I twierdzenie Gödla) oraz, że w systemie tym nie da się podać dowodu jego niesprzeczności (II twierdzenie Gödla). Niestety brakuje jakiejkolwiek wzmianki o twierdzeniach limitacyjnych: Löwenheima-Skolema (plus paradoksie Skolema) oraz Tarskiego (o niedefiniowalności pojęcia prawdy),wspomniano zaś o twierdzeniu Churcha. Ostatni rozdział traktuje o intuicjonizmie, którego protoplastą był J. Brouwer, ponadto przedstawiona jest, stworzona przez niego, logika intuicjonistyczna, która różni się od logiki klasycznej, głównie, odrzuceniem prawa wyłączonego środka, prawa podwójnego przeczenia i praw De Morgana. Całość książki kończy się krótkim podsumowaniem rozwoju poszczególnych kierunków filozoficznych matematyki. Niestety brakuje w niej przedstawienia jej rozwoju po latach 30. XX wieku. Interesujące byłoby szersze omówienie prac P. Cohena, który udowodnił niezależność hipotezy continuum z powszechnie przyjmowaną, teoriomnogościową aksjomatyką Zermela-Fraenkla, przy użyciu forsingu (𝑝𝑜𝑙. wymuszania). Warto byłoby również poruszyć w niej zagadnienia teorii kategorii, jako pewnej alternatywy/uzupełnienie wobec teorii mnogości.
Aby w pełni zrozumieć typowo formalne fragmenty poszczególnych rozdziałów, bo takie w niej się znajdują, warto znać elementarne zagadnienia logiki formalnej (tzn. klasyczny rachunek zdań oraz klasyczny rachunek predykatów).
Reasumując – jest to bardzo ciekawa i wartościowa na polskim rynku pozycja ukazująca historyczny rozwój nie tylko filozofii matematyki, ale i charakterystykę rozwoju podstaw samej matematyki i logiki, nie unikając również podania ich formalizmu, co poszerza jej walory i potencjalnie zwiększa grono odbiorców, choć ta jej część będzie dla tzw. „humanistów” całkowicie niezrozumiała. Książka ta, wraz z analogicznymi pozycjami R. Murawskiego, stanowią dość obszerne źródło traktujące o filozofii matematyki.
𝑃𝑆. przy okazji tej recenzji chciałbym serdecznie podziękować Wydawnictwu OBI za podarowanie (tak, bezpłatne!) niniejszej książki.
Niniejsza książka to obszerna, prawie 400-stronicowa pozycja traktująca o rozwoju filozofii matematyki i jej samej od czasów starożytnej Grecji do lat 30. wieku XX, choć nieco więcej jest w niej samej historii matematyki, niż jej filozofii, co akurat uważam za zaletę. Okres starożytnej Grecji opisany został wyjątkowo ciekawie i szczegółowo, autor przedstawił w nim filozofię...
więcej Pokaż mimo to