Note sur l'ordre de IF : Hintikka a-t-il véritablement découvert la véritable logique élémentaire ?
Type de matériel :
32
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.
Is IF logic the true elementary logic, as Hintikka claims? Moreover is it truly elementary, viz. first-order, in the first place? One is tempted to answer no, because of the extraordinary power of this logic in comparison with ordinary first-order logic. However impressive this objection may be, it misses its aim. A direct refutation is needed, grounded on an analysis of the notion of order.
Réseaux sociaux