Zakład Logiki Matematycznej UAM Poznań -> Dydaktyka

ďťż


	ZakĹad Logiki Matematycznej WydziaĹ Matematyki i Informatyki Uniwersytet im. A. Mickiewicza w Poznaniu

Strona gĹĂłwna Pracownicy Doktoranci

Konferencje Filozofia Matematyki Archiwum Ciekawostki Logika w sieci

FIL 450 - Wstęp do filozofii

* Wstęp: pojęcie filozofii, filozofia a nauki szczegółowe, funkcje filozofii, działy filozofii.

* Elementy ontologii: przedmioty ontologii, rys historyczny, główne stanowiska ontologiczne, spór o uniwersalia.

* Elementy epistemologii: przedmiot epistemologii, główne problemy i stanowiska w epistemologii.

* Wprowadzenie w problematykę filozofii matematyki.

* Rozwój filozoficznej refleksji nad matematyką do XIX wieku: Platon, Arystoteles, Euklides, Proklos, Kartezjusz, Pascal, Leibniz, Kant, Bolzano, Mill, Dedekind, Cantor.

* Logicyzm: Idea arytmetyzacji analizy, prace logiko-filozoficzne Fregego i Russella, współczesna postać logicyzmu.

* Intuicjonizm: prekursorzy, doktryna Brouwera i jej rozwój.

* Formalizm: program Hilberta, twierdzenia Goedla i ich wpływ na program Hilberta, tzw. matematyka odwrotna i jej znaczenie dla programu Hilberta.

* Rozwój filozofii matematyki po roku 1930, nowe trendy filozofii matematyki.

* Elementy filozofii teorii mnogości: zbiór w sensie kolektywnym i dystrybutywnym, paradoksy teorii mnogości, aksjomatyzacje teorii mnogości, hipoteza continuum, aksjomat wyboru i jego rola w matematyce.