matematická logika
Matematika
Symbolická logika, logistika, moderní logika – soudobý stupeň vývoje formální logiky zkoumající obsahové logické myšlení (postupy, usuzování a dokazování) prostřednictvím zobrazení ve formálních logických soustavách (kalkulech). V současné době má matematická logika mnoho dílčích směrů, například konstruktivistickou logiku, kombinatorní logiku, modální logiky, vícehodnotové logiky.
Vytvořeno:
14. 3. 2000
Aktualizováno:
12. 6. 2006
Autor: -red-
Odkazující hesla: characteristica universalis, Clark Leonard Hull, David Hilbert, modální logika, Robert Grassman.