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.