Philosophy of Mathematics
History of Philosophy of Science
VALÉRIE LYNN THERRIEN
Department of Philosophy, Western University
Valérie Lynn Therrien is a philosopher. Her academic interests are in logic and philosophy of mathematics with a particular emphasis on historical exegesis of classic philosophical and conceptual schemes. She has thus far mostly undertaken work related to interpretations of the continuum and mathematical infinity, the role of as well as idealization of logic in a post-foundational context, as well as general defense of constructivist positions via textual reconstruction of key works by philosophers from Aristotle to Poincaré to Wittgenstein. She has broad work experience ranging from researching for an NGO in carbon credit accreditation processes as well as working as a Unit Coordinator at the Montreal General Hospital for over half a decade.
Building upon previous work undertaken as an undergraduate, she is currently working on parsing the differing nature of intuition in Poincaré’s distinction between the construction of the physical and mathematical continua as well as how this plays out in his criticism of contemporary set theory; a project for the “2400 Aristotle” celebrations paralleling Aristotle’s and Wittgenstein’s conception of potential and actual mathematical infinity as well as how such a parallel reading can illuminate cryptic passages in both; a larger project on the role of the Axiom of Choice in constructivist formal systems.
“Wittgenstein and the Labyrinth of ‘Actual Infinity’: The Critique of Transfinite Set Theory ” in Ithaque : Revue de philosophie de l’Université de Montréal, vol. 10, Printemps 2012.
“Inventing Logic: The Löwenheim-Skolem Theorem and First- and Second-Order Logic” dans Pensées Canadiennes : Revue de philosophie des étudiants au baccalauréat du Canada, vol. 10, Printemps 2012.
“Wittgenstein and the Labyrinth of ‘Actual Infinity’: The Critique of Transfinite Set Theory” at Entia et Nomina, University of Warsaw, Poland, 5-9 September 2016.
“Inventing Logic: The Löwenheim-Skolem Theorem and First- and Second-Order Logic” at Western Canadian Philosophical Association, University of Alberta, Canada, 28-30 October 2016.
“Wittgenstein and ἄπειρον in mathematics” at International Conference 2400 Aristotle, University of Bucharest, Romania, 25-26 November 2016.
Fall/Winter, 2016, PHI2250 “Logic”, Western University (TA, undergraduate advanced Introduction to Logic taught by Prof. John Bell, truth tables to set theory to intuitionist logic).