Logicizmus je smer v logicko-filozofickom zdôvodňovaní matematiky, ktorý vychádza z Leibnizovej tézy o redukovateľnosti matematiky na logiku. Realizovať tuto ideu sa koncom 19. storočia pokúsil Frege, ktorý si vytýčil za úlohu definovať východiskové matematické pojmy iba pomocou logických termínov. Logicizmus
Názory na logicizmus Logicizmus sa podľa Černíka pohybuje v zajatí jednej a tej istej antinómie- tam, kde skúmajú myslenie ako činnosť, chápu ho len ako predmet psychológie a tam, kde skúmajú výsledok myšlienkovej činnosti, chápu ho len ako predmet formálnej logiky. Černík Logicizmus
Podľa Fregeho je logicizmus jeden z hlavných smerov zdôvodňovania matematiky, ktorý sa usiluje zredukovať celú matematiku na logiku. Hoci túto ideu vyslovil už Leibniz, realizovať sa ju pokúsil až koncom minulého storočia Frege. Frege si vytýčil úlohu: definovať východiskové matematické pojmy iba pomocou logických termínov pri dôkaze princípov matematiky vychádzať len z logických princípov a používať len logické dôkazy. Fregeho logicizmus
Referencie
Kategória:Filozofia matematiky Kategória:Logika