University of Calgary

Aaron Thomas-Bolduc

  • Doctoral Student
  • Graduate Assistant-Teaching

Office Hours


Currently Teaching

Not currently teaching any courses.


“Cantor, God, and Inconsistent Multiplicities” (2016) in Studies in Logic, Grammar and Rhetoric 44(57) pp. 133–146. (Special issue Theology in Mathematics? edited by S. Krajewski and K. Trzesicki) Available here.


Conference Presentations

"Takeuti's Well-ordering Proof: Finitistically Fine?" (w/ Eamon Darnell), Canadian Society for the History and Philosophy of Mathematics, Toronto (Ryerson), May 28-30 2017.
"Is Hume's Principle Analytic (in Frege's Sense)?" (w/ Eamon Darnell), Society for the Study of the History of Analytic Philosophy, Calgary, May 8-10, 2017.
"Between Logicism and Neo-Logicism," Canadian Society for the History and Philosophy of Mathematics, Calgary, May 29-31, 2016.
“Yet Another Talk on Structuralism and Identity,” Philogica, Bogotá, Colombia, Feb. 17–19, 2016.

"Are there Uninstantiated Universals? A Fregean Suggestion," Western Canadian Philosophical Association, Saskatoon, Oct. 2-4, 2015.

"Finitism and Takeuti's Well-Ordering Proof" (with Eamon Darnell), Association of Symbolic Logic Winter Meeting (with APA), Philadelphia, Dec. 27-30, 2014. Abstract published in The Bulletin of Symbolic Logic 21(2), p. 234 (2015).

"Cantor, God and Inconsistent Multiplicities," Theology in Mathematics? Krakow, June 8-10, 2014.

"Philosophical vs. Mathematical Intuition," Northern New England Philosophical Association Annual Conference, Oct. 19-20, 2012.

"Cantor's Theology of the Infinite," Hebrew University of Jerusalem Graduate Conference, July 18-19, 2012.

Other Websites


  • MA - Philosophy and History of Science
    Bristol University, 2011
  • BSc - Physics and Philosophy
    Bristol University, 2010

Current Studies

  • Doctoral Student
    Degree: Doctor of Philosophy
    Supervisor: Richard Zach
Powered by UNITIS. More features.