Koło Naukowe Filozofii, Sekcja Filozofii Analitycznej zaprasza na kolejne spotkanie, które odbędzie się 23 marca, we wtorek, o godzinie 17:00 w sali 006. Wstęp wygłosi oraz spotkanie poprowadzi Michał Jarmoc.
Celem spotkania jest zapoznanie uczestników z ideami logicyzmu, poprzez omówienie krótkiego, klasycznego tekstu R. Carnapa „Logicystyczne podstawy matematyki” w: R. Murawski „Współczesna Filozofia Matematyki” str 46-59 (tekst do pobrania od piątku ze strony www.knf-us.info). Spotkanie zostanie przeprowadzone w sposób nie zakładający od uczestników żadnej wiedzy w omawianych zakresie. Temat logicyzacji matematyki jest niezwykle szeroki, dlatego oscylować będziemy wokół problemów stawianych przez Carnapa w tekście.
Na spotkaniu chcemy w sposób elementarny przyjrzeć się logicyzmowi. Jest to stanowisko, zapoczątkowane przez G. Fregego, a rozwinięte przez A.N. Whiteheada i B. Russella. Współcześnie logicyzm przeżywa renesans pod postacią neologicyzmu (nazywanego też neofregianizmem), nad którym to badania prowadzą m.in tacy filozofowie jak C. Wright, B. Hale, K. Fine, E. Zalta.
Logicyzm w podstawach matematyki jest stanowiskiem które można przedstawić jako koniunkcję dwóch tez:
1) Wszystkie pojęcia matematyczne można explicite zdefiniować przy pomocy terminów logicznych.
2) Wszystkie twierdzenia matematyki można wydedukować z praw logiki.
A zatem w myśl logicyzmu, matematyka nie posiada żadnej pozalogicznej treści. Na spotkaniu zamierzamy omówić obie cząstkowe tezy. Pokażemy np. jak zgodnie z tezą 1 zdefiniować na rozmaite sposoby pojęcie liczby. Omówimy także w związku z 1 kwestię definicji twórczych i definicji niepredykatywnych (niedystrybutywnych). W związku z tezą 2 poruszymy kwestię pewnych szczególnych aksjomatów teorii mnogości (nieskończoności i wyboru).
