Formālā loģika
Zinātne par domāšanas loģisko formu, tās struktūras sakārtotību.
Tā abstrahējas no domāšanas priekšmetiskā satura un pēta īstenības konceptuālās (jēdzieniskās) attēlošanas specifiku: domāšanas loģikas formu (jēdzienu, spriedumu, slēdzienu) struktūru, tās likumus un domu uzbūves un parveides kārtulas.