"teoretisk filosofi" er et 18-bokstavers substantiv som brukes som synonym for "formalvitskapene". formalvitskapene betyr: Filosofi som fokuserer på teoribygning.