Logicizmus (filozofia)
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.[1]
Názory na logicizmus
[upraviť | upraviť zdroj]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. [2]
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.[3]