Stav dette: La logica simbolica.