logicyzm 1
noundomain: thinkingregister: specj.
Słowosieć [ver.5.0]
PolishDefinition
kierunek w filozofii matematyki zakładający, że można oprzeć jej podstawy na bazie rachunku logicznego zdań.
Examples
- 1.Logicyzm głosi, że wszystkie twierdzenia matematyki można, posługując się definicjami i regułami logicznymi, zredukować do logiki.
- 2.Współcześnie logicyzm został wchłonięty w warstwie technicznej przez formalizm, który stanowi wraz z aksjomatyką teorii mnogości paradygmat rozwojowy podstaw matematyki, przynajmniej w zakresie przedstawiania wiedzy i edukacji.
