« La logique contemporaine naît à l'aube du XXe siècle avec notamment Peirce, Frege et Russell. Elle produit un triple calcul des propositions, des prédicats monadiques et des relations qui compose ce que nous appelons la logique standard. Mais cette logique s'est constituée progressivement à la suite de nombreuses modifications et repentirs. De plus et surtout, à peine stabilisée, elle s'est vue amendée ou critiquée et contestée par l'efflorescence d'une multitude de système