Quatre parties : I. Mise au point : caractéristique et calcul. L’auteur oppose les raisons de l’épistémologie classique à la singularité des questions actuelles; – II. Parenthèse. Sur la méthode; – III. De la preuve au calcul. Sur la constitution des logiques dites quantificationnelles, ou du premier ordre, instrument obligé des modélisations informatiques ou cognitives; – IV. Quelques implications épistémologiques. Sur quelques conséquences. – Deux remarques encore.