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

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]

Referencie

↑ FILIT – zdroj, z ktorého pôvodne čerpal tento článok. Logicizmus
↑ FILIT – zdroj, z ktorého pôvodne čerpal tento článok. Černík Logicizmus
↑ FILIT – zdroj, z ktorého pôvodne čerpal tento článok. Fregeho logicizmus

Zdroj:
Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok. Podrobnejšie informácie nájdete na stránke Podmienky použitia.

[1] FILIT – zdroj, z ktorého pôvodne čerpal tento článok. Logicizmus

[2] FILIT – zdroj, z ktorého pôvodne čerpal tento článok. Černík Logicizmus

[3] FILIT – zdroj, z ktorého pôvodne čerpal tento článok. Fregeho logicizmus

[1]

[2]

[3]