"logisk tenkning" er et 15-bokstavers substantiv som brukes som synonym for "formalvitskapene". formalvitskapene betyr: Tenkning basert på logiske prinsipper.