Dispositional logic and commonsense reasoning