Stav dette: Philosophical logic and logical philosophy: