"logisk analyse" er et 14-bokstavers substantiv som brukes som synonym for "formalvitskapene". formalvitskapene betyr: Studiet av logiske strukturer i argumenter.