"logisk analyse" er et 14-bokstavers substantiv som brukes som synonym for "formalvitenskapene". formalvitenskapene betyr: Analyse basert på logikk og resonnement.