Stav dette: Philosophical logic: