Stav dette: Computational logic and ecological rationality