Yvon Gauthier

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Ce modèle est-il pertinent ? Cliquez pour en voir d'autres.
Cet article n’est pas rédigé dans un style encyclopédique (indiquez la date de pose grâce au paramètre date).

Vous pouvez améliorer sa rédaction !

Yvon Gauthier
Defaut 2.svg
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.

Formé à l'Université de Montréal (licence et maîtrise) et à l'Université de Heidelberg (doctorat), il a remis[évasif] 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 titulaire à cette dernière université et a collaboré à de nombreux organes de publication, dont International Journal of Theoretical Physics, Encyclopédie Philosophique Universelle, Foundations of Science, Dialogue, Archiv für mathematische Logik und Grundlagenforschung et Philosophy of Science.

En plus d'être un ardent 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. Par ailleurs, dans les fondements de la physique, il a introduit la notion d'observateur local en mécanique quantique[2], et dans les fondements des mathématiques constructivistes[3], 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 récents[Quand ?] 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 : http://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]