Voir la notice de l'article provenant de la source Numdam
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.
@article{PHSC_2005__9_1_141_0,
author = {de Rouilhan, Philippe},
title = {Note sur l'ordre de {IF} : {Hintikka} a-t-il v\'eritablement d\'ecouvert la v\'eritable logique \'el\'ementaire~?},
journal = {Philosophia Scientiae},
pages = {141--150},
publisher = {\'Editions Kim\'e},
volume = {9},
number = {1},
year = {2005},
language = {fr},
url = {http://geodesic.mathdoc.fr/item/PHSC_2005__9_1_141_0/}
}
TY - JOUR AU - de Rouilhan, Philippe TI - Note sur l'ordre de IF : Hintikka a-t-il véritablement découvert la véritable logique élémentaire ? JO - Philosophia Scientiae PY - 2005 SP - 141 EP - 150 VL - 9 IS - 1 PB - Éditions Kimé UR - http://geodesic.mathdoc.fr/item/PHSC_2005__9_1_141_0/ LA - fr ID - PHSC_2005__9_1_141_0 ER -
%0 Journal Article %A de Rouilhan, Philippe %T Note sur l'ordre de IF : Hintikka a-t-il véritablement découvert la véritable logique élémentaire ? %J Philosophia Scientiae %D 2005 %P 141-150 %V 9 %N 1 %I Éditions Kimé %U http://geodesic.mathdoc.fr/item/PHSC_2005__9_1_141_0/ %G fr %F PHSC_2005__9_1_141_0
de Rouilhan, Philippe. Note sur l'ordre de IF : Hintikka a-t-il véritablement découvert la véritable logique élémentaire ?. Philosophia Scientiae, Tome 9 (2005) no. 1, pp. 141-150. http://geodesic.mathdoc.fr/item/PHSC_2005__9_1_141_0/