Yvon Gauthier

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Yvon Gauthier
une illustration sous licence libre serait bienvenue
Biographie
Naissance
Nationalité
Activité

Yvon Gauthier (né en 1941 à Drummondville) est un philosophe québécois spécialiste de l'épistémologie, de la logique et de la philosophie des sciences.

Biographie[modifier | modifier le code]

Formé à l'Université de Montréal (licence et maîtrise) et à l'Université de Heidelberg (doctorat), il a soutenu une thèse sous la direction de Hans-Georg Gadamer en 1966. Il a été attaché de recherche en Californie à l'Université Berkeley en 1972 et à l'Université de Léningrad en 1986. Il a enseigné au Séminaire de St-Hyacinthe en 1962-1963, à l'Université de Sudbury en 1966-1972, à l'Université de Toronto en 1972-1973, puis à l'Université de Montréal à partir de 1973[1]. Il est aujourd'hui professeur honoraire à cette dernière université, après y avoir été professeur titulaire [2].

Pensée[modifier | modifier le code]

En plus d'être un défenseur du constructivisme en philosophie des sciences, il a caractérisé la logique de Hegel comme étant une « syllogistique dynamique » avec la notion de double négation non classique comme moteur de la dialectique. On lui doit notamment la traduction du concept hégélien d'Aufhebung, qu'il a suggéré de rendre par « sursomption », suggestion qui a été retenue entre autres par Jarczyk et Labarrière dans leur traduction de la Phénoménologie de l'Esprit et de la Science de la logique[3]. Par ailleurs, dans les fondements de la physique, il a introduit la notion d'observateur local en mécanique quantique[4], et dans les fondements des mathématiques constructivistes[5], il a élaboré le concept d' « effini » pour caractériser la suite illimitée des nombres naturels ou plus généralement les suites potentiellement infinies ou infiniment processives, comme les appelait le mathématicien L.E.J. Brouwer.

Ses travaux des années 2000 portent sur le constructivisme kroneckerien et la logique arithmétique. Son ouvrage Towards an Arithmetical Logic. Arithmetical Foundations of Logic constitue la synthèse de ses travaux sur la logique arithmétique, c'est-à-dire la logique interne de l'arithmétique : la logique arithmétique ou logique polynomiale modulaire combine la descente infinie de Fermat en théorie des nombres et la théorie des formes ou polynômes homogènes de l'arithmétique générale de Kronecker pour obtenir une preuve syntaxique de la consistance interne de l'arithmétique F-K (pour Fermat-Kronecker). Cette arithmétique est opposée à l'arithmétique de Peano, puisque la descente infinie comme méthode finitaire est substituée au postulat d'induction infinitaire de l'arithmétique ensembliste de Dedekind-Peano.

Ouvrages[modifier | modifier le code]

  • Towards an Arithmetical Logic. Arithmetical Foundations of Logic, Birkhäuser/Springer, 2015.
  • Logique arithmétique. L'arithmétisation de la logique, Québec, Presses de l'Université Laval, 2010
  • Hegel. Introduction à une lecture critique, Québec, Presses de l'Université Laval, 2010.
  • Entre science et culture. Introduction à la philosophie des sciences, Montréal, Presses de l’Université de Montréal, 2005
  • La logique du contenu. Sur la logique interne, Paris, L’Harmattan, 2004
  • Internal Logic. Foundations of Mathematics from Kronecker to Hilbert, Dordrecht, Kluwer "Synthese Library", vol. 310, 2002
  • Logique et fondements des mathématiques, Paris, Diderot "Concepts", 1997
  • Logique interne. Modèles et applications, Paris/Montréal, Diderot/Modulo "Bibliothèque des sciences", 1997
  • La philosophie des sciences. Une introduction critique, Montréal, Presses de l’Université de Montréal, 1995
  • La logique interne des théories physiques, Paris/Montréal, Vrin/Bellarmin "Analytiques", 1992
  • De la logique interne, Paris, Vrin, 1991
  • Théorétiques. Pour une philosophie constructiviste des sciences, Longueuil, Le Préambule "Science et Théorie", 1982
  • Méthodes et concepts de la logique formelle, Montréal, Presses de l’Université de Montréal, 1978, 2e éd., 1981
  • Fondements des mathématiques. Introduction à une philosophie constructiviste, Montréal, Presses de l’Université de Montréal, 1976
  • L’arc et le cercle : l’essence du langage chez Hegel et Hölderlin, Bruxelles/Paris/Montréal, Desclée de Brouwer/Bellarmin, 1969

Conférence en ligne[modifier | modifier le code]

Yvon Gauthier face à van Fraassen : https://www.dailymotion.com/video/xqipi5_commentaires-de-yvon-gauthier-udem-face-a-van-fraassen-naturalisme-structuralisme-constructivisme_school

Notes et références[modifier | modifier le code]