Stav dette: Prolegómenos a la lógica simbólica