matematická logika
matematická logika, symbolická logika, logistika, moderní logika - soudobý stupeň vývoje formální log. zkoumající obsahové log. myšlení (postupy, usuzování a dokazování) prostřednictvím zobrazení ve formálních log. soustavách (kalkulech). V souč. době má m. l. mnoho dílčích směrů, např. konstruktivistickou log., kombinatorní log., modální logiky, vícehodnotové logiky.