"logisk vitenskap" er et 16-bokstavers substantiv som brukes som synonym for "formalvitskap". formalvitskap betyr: Vitenskap basert på logikk og resonnement