La logique IF est-elle la véritable logique élémentaire, comme le prétend Hintikka ? Mais, d’abord, est-elle véritablement élémentaire, c’est-à-dire du premier ordre ? Il est tentant de répondre non, en arguant du pouvoir extraordinaire de cette logique par rapport à la logique du premier ordre ordinaire. Mais, pour impressionnante que puisse être l’objection, elle n’atteint pas son but. Il faut une réfutation directe, fondée sur l’analyse de la notion d’ordre.