Les Anciens avaient éprouvé quelques difficultés avec les propriétés logiques des propositions. Il leur semblait que la proposition « il fait jour », par exemple, était tantôt vraie et tantôt fausse : vraie le jour, fausse la nuit. C’était évidemment méconnaître que la possibilité qu’a cette proposition d’être vraie ou fausse est une propriété logique indépendante …