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