Stav dette: Phänomenologische Logikfundierung