Note sur l’ordre de IF : Hintikka a-t-il véritablement découvert la véritable logique élémentaire ?
Résumés
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.
Notes de la rédaction
This paper was presented at the International Symposium - PILM 2002 on Philosophical Insights into Logic and Mathematics: The History and Outcome of Alternative Semantics and Syntax September 30 - October 4, 2002, Nancy, France
Pour citer cet article
Référence papier
Philippe de Rouilhan, « Note sur l’ordre de IF : Hintikka a-t-il véritablement découvert la véritable logique élémentaire ? », Philosophia Scientiæ, 9-1 | 2005, 141-150.
Référence électronique
Philippe de Rouilhan, « Note sur l’ordre de IF : Hintikka a-t-il véritablement découvert la véritable logique élémentaire ? », Philosophia Scientiæ [En ligne], 9-1 | 2005, mis en ligne le 24 juin 2011, consulté le 15 février 2025. URL : http://journals.openedition.org/philosophiascientiae/622 ; DOI : https://doi.org/10.4000/philosophiascientiae.622
Haut de pageDroits d’auteur
Le texte et les autres éléments (illustrations, fichiers annexes importés), sont « Tous droits réservés », sauf mention contraire.
Haut de page