Note sur l’ordre de IF : Hintikka a-t-il véritablement découvert la véritable logique élémentaire ?

Philippe de Rouilhan

Philosophia Scientiae (2005)

  • Volume: 9, Issue: 1, page 141-150
  • ISSN: 1281-2463

Abstract

top
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.

How to cite

top

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 9.1 (2005): 141-150. <http://eudml.org/doc/103734>.

@article{deRouilhan2005,
abstract = {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.},
author = {de Rouilhan, Philippe},
journal = {Philosophia Scientiae},
language = {fre},
number = {1},
pages = {141-150},
publisher = {Éditions Kimé},
title = {Note sur l’ordre de IF : Hintikka a-t-il véritablement découvert la véritable logique élémentaire ?},
url = {http://eudml.org/doc/103734},
volume = {9},
year = {2005},
}

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
PB - Éditions Kimé
VL - 9
IS - 1
SP - 141
EP - 150
AB - 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.
LA - fre
UR - http://eudml.org/doc/103734
ER -

References

top
  1. [1] Bozon, Serge2002.— Vices et vertus d’une déclaration d’indépendance, ou la logique IF peut-elle prendre soin d’elle-même ?, exposé au colloque, Philosophical Insights into Logic and Mathematics : The History and Outcome of Alternative Semantics and Syntax, Nancy, 2002. 
  2. [2] Hintikka, Jaakko1955.— Reductions in the Theory of Types, Acta Philosophica Fennica, 8 (1955) : 61–115. Zbl0067.00201MR71382
  3. [3] Hintikka, Jaakko1991.— Defining Truth, the Whole Truth and Nothing but the Truth, Reports from the Department of Philosophy of the University of Helsinki, 2, reprinted in revised form in Hintikka (1997), 48–103. 
  4. [4] Hintikka, Jaakko1996.— The Principles of Mathematics Revisited, Cambridge : Cambridge University Press, 1996. Zbl0897.03004MR1410063
  5. [5] Hintikka, Jaakko1997a.— A Revolution in the Foundations of Mathematics ?, Synthese, 111 (1997) : 155–170. Zbl0937.03006MR1465268
  6. [6] Hintikka, Jaakko1997b.— Selected Papers, vol. 2, Lingua Universalis vs. Calculus Ratiocinator : an Ultimate Presupposition of Twentieth-Century Philosophy, Kluwer Academic Publishers, Dordrecht, Boston, London : Kluwer, 1997. MR1797984
  7. [7] Hintikka, Jaakko, et Gabriel Sandu 1996.— A Revolution in Logic ?, Nordic Journal of Philosophical Logic, 1 (1996) : 169-183. Zbl0891.03001MR1432645
  8. [8] Kripke, Saul1975.— Outline of a Theory of Truth, The Journal of Philosophy, 72 (1975) : 690–716. Zbl0952.03513
  9. [9] Rouilhan, Philippe de1998.— Tarski et l’universalité de la logique. Remarques sur le post-scriptum au “Wahrheitsbegriff”, in Le formalisme en question. Le tournant des années trente (dir. F. Nef et D. Vernant), Paris : Librairie Vrin, 1998, 85–102. MR1695978
  10. [10] Rouilhan, Philippe de, et Serge Bozon 2005.— The Truth of IF : Has Hintikka Really Exorcized Tarski’s Curse ?, The Philosophy of Jaakko Hintikka Hahn L. E. & P. A. Schilpp (eds.), 2005, à paraître. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.