Gauthier, Yvon -

Personal Information
First Name: 
Last Name: 
Department / Program: 
University Affiliation: 
University of Montreal
Email Address: 
Area of Research
Geographical Region: 
Time Period: 
20th Century
Specific Area of Research: 
Logic and philosophy of science; foundations of physics and foundations of mathematics; Hegel
PHD Program: 
Philosophy (D phil)
PHD University: 
University of Heidelberg
PHD Date: 
Major Publications: 
«The Use of the Axiomatic Method in Quantum Physics», Philosophy of Science, vol. 38 (1971), 429-437. Fondements des mathématiques. Introduction à une philosophie constructiviste, Montréal, PUM, 1976, 460 pages. «Quantum Mechanics and the Local Observer», International Journal of Theoretical Physics, vol. 22, no. 12 (1983), 1141-1152. «A Theory of Local Negation. The Model and some Applications», Archiv für mathematische Logik und Grundlagenforschung, 25/3-4 (1985), 127-143). De la logique interne, Paris, Vrin, 1991, 140 pages. «Hilbert and the Internal Logic of Mathematics», Synthese, no. 101(1994), 1-14. «The Internal Consistency of Arithmetic with Infinite Descent», Modern Logic, vol. 8, nos 1/2 (2000), 47-86. Logique arithmétique. L’arithmétisation de la logique, Collection «Logique de la science», PUL, Québec, 2010, 210 pages. Hegel. Introduction à une lecture critique, Collection «Logique de la science», PUL, Québec, 2010, 105 pages. «Kronecker in Contemporary Mathematics. General Arithmetic as a Foundational Programme», à paraître dans le volume 48 (2013) de Reports on Mathematical Logic.
Membership in Academic Societies: 
American Mathematical Society, Association for Symbolic Logic, Canadian Philosophical Association, Canadian Society for History and Philosophy of Science,Canadian Society for the History and Philosophy of Mathematics, Society for Exact Philosophy,Soci
Courses Taught: 
logic, philosophy of science, foundations of mathematics, foundations of physics