Stav dette: Sistema di logica come teoria del conoscere.