On the logical structure of de Finetti's notion of event