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:

  1. definovať východiskové matematické pojmy iba pomocou logických termínov
  2. pri dôkaze princípov matematiky vychádzať len z logických princípov a používať len logické dôkazy.[3]

Referencie
  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
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.