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ą prowadzon...
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 kier...
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ö...