"formell tenker" er et 14-bokstavers substantiv som brukes som synonym for "logiker". logiker betyr: En person som bruker formell logikk.