Książka zawiera 19 prac poświęconych rozmaitym zagadnieniom historii logiki i filozofii matematyki. Rozważa się w nich m.in.: rozwój symboliki logicznej, proces przechodzenia od logiki tradycyjnej do logiki współczesnej, kwestie filozoficzne związane z problemem rozstrzygalności i z tezą Churcha, twierdzenia limitacyjne, koncepcję prawdy w matematyce, problem stosowalności matematyki do opisu świata, systemy filozoficzne Mikołaja z Kuzy i Hoene-Wrońskiego, a także główne kierunki filozofii matematyki XX wieku i wpływ na nie koncepcji Leibniza i Kanta, koncepcje ontologiczne dotyczące matematyki i logiki głoszone przez Benedykta Bernsteina, w szkole lwowsko-warszawskiej czy w Kole Krakowskim.
Książka zawiera osiemnaście prac poświęconych rozmaitym zagadnieniom filozofii i historii matematyki i logiki. Można je podzielić na cztery grupy. Prace pierwszej grupy poświęcone są ogólnym i podstawowym problemom filozofii matematyki (ontologia matematyki, nieskończoność, dowód w matematyce, rola podmiotu w matematyce, kontekst kulturowy matematyki, strukturalizm i teoria kategorii w filozofii matematyki). W grupie drugiej znajdują się rozważania związane z twierdzeniami Gödla o niezupełności i ich konsekwencjami dla programu Hilberta i ogólnie dla filozofii matematyki i logiki. Kolejna grupa zawiera szkice dotyczące różnych zagadnień historii logiki i matematyki. Wreszcie na grupę czwartą składają się prace poświęcone filozofii matematyki w Polsce międzywojennej.
Książka składa się z dwu zasadniczych części. W Części I autor omawia stanowiska w filozofii matematyki do końca XIX wieku, czyli do czasu powstania współczesnych kierunków filozofii matematyki. Tym ostatnim poświęcona jest Część II, w której mowa o logicyzmie, intuicjonizmie i trendach konstruktywistycznych, o formalizmie oraz o najnowszych tendencjach w filozofii matematyki. Książka zawiera też trzy dodatki:
I. Poświęcony jest filozoficznym problemom teorii mnogości.
II. Omawia pewne problemy filozofii geometrii.
III. Zawiera krótkie biogramy matematyków i filozofów, którzy w sposób istotny wpłynęli na rozwój filozofii matematyki.
Podręcznik adresowany zarówno do matematyków, jak i filozofów. Obejmuje całokształt historii filozofii od czasów greckich aż do najnowszych tendencji. Jest napisany jasno, kompetentnie i nie wymaga od czytelnika fachowego przygotowania w dziedzinie matematyki.
Filozofia matematyki rozwijana jest intensywnie zarówno w Polsce, jak i na świecie. Zajmują się nią uczeni reprezentujący różne dyscypliny. Choć bezpośrednio niepotrzebna właściwie dla uprawiania i rozwijania samej matematyki, jest przecież niezbędna dla lepszego zrozumienia tej dziedziny i jej miejsca pośród innych nauk. Ostatnio zauważyć się daje także rozwój refleksji filozoficznej nad młodą dyscypliną, jaką jest informatyka.
Zebrane w tym tomie prace obrazują prowadzone aktualnie w Polsce badania filozoficzne nad matematyką i informatyką. Ich autorzy reprezentują różne ośrodki akademickie i różne specjalności - są wśród nich zarówno matematycy, jak i logicy, filozofowie czy nawet teologowie. Prace poświęcone są bardzo różnym problemom: od rozważania rozwoju i zmian w matematyce i znaczenia metody aksjomatycznej, poprzez badanie klasycznych kierunków filozofii matematyki, problemów związanych z epistemologią matematyki czy ze związkami matematyki ze światem realnym, rozważanie wpływu paradygmatu ucieleśnionego umysłu na badania nad poznaniem matematycznym, a kończąc na problemach filozoficznych informatyki.
Autorzy artykułów: Izabela Bondecka-Krzykowska, Krzysztof Cibora, Roman Duda, Michał Heller, Mateusz Hohol, Zbigniew Król, Anna Lemańska, Jerzy Mycka, Adam Olszewski, Ewa Piotrowska, Jerzy Pogonowski, Zbigniew Semadeni, Bartłomiej Skowron, Michał Sochański, Paweł Stacewicz, Jan Woleński, Krzysztof Wójtowicz.
Ten produkt jest zapowiedzią. Realizacja Twojego zamówienia ulegnie przez to wydłużeniu do czasu premiery tej pozycji. Czy chcesz dodać ten produkt do koszyka?
