2024

2023

2022

  • Tables as powerful representational tools
    16 September 2022. Diagrams 2022, 13th International Conference on the Theory and Application of Diagrams. Rome, Italy.
  • Venn's pluralism regarding logical forms
    18 May 2022. Mini-workshop on occasion of book launch of L. Verburgt's John Venn: A Life in Logic (Presenter: David Waszek) [online]
  • Venn's pluralism regarding logical forms
    15 May 2022. Meeting of the Canadian Society for History and Philosophy of Mathematics (CSHPM) (Presenter: David Waszek) [online]
  • Venn's pluralism regarding logical forms
    4 April 2022. Conference on Philosophical Roots of Mathematical Logic, University of Turin, Italy. (Presenter: David Waszek)

2021

  • Reflections on logical forms in 19th century logic
    20 November 2021. Workshop of the Canadian Society for Epistemology: "How should we (and how did we) choose our logical theories?" Université de Montréal, QC.
  • How can numerals be iconic? More varieties of iconicity
    30 September 2021. Diagrams 21, 12th International Conference on the Theory and Application of Diagrams. [online]
  • Boole's uninterpretables
    1 September 2021. Text Driven Approaches to the Philosophy of Mathematics 2. (Presenter: David Waszek) [online]
  • MacColl's reflections on logical notations
    15 July 2021. Meeting of the Canadian Society for History and Philosophy of Mathematics (CSHPM) and the British Society for the History of Mathematics (BSHM), St Andews, Scotland. [online]
  • Philosophy of mathematical practice: From mathematical content to symbols... and back again
    30 June 2021. 6th Meeting of the Association for the Philosophy of Mathematical Practice (APMP), Chapman University, Orange, CA [online]
  • Calculus as method or calculus as rules? Boole against Frege on a systematic method for logic
    2 April 2021. Orange County and Inland Empire Seminar in the History and Philosophy of Mathematics and Logic. Pitzer College, Claremont, CA. [online]
  • Calculus as method or calculus as rules? Boole against Frege on a systematic method for logic
    16 March 2021. Seminar "Mathématiques 19e et 21e siécles, histoire et philosophie", Paris Diderot, Paris, France. [online]
  • Iconicity in mathematical notation: Symmetry and commutativity
    12 March 2021. Language and Development Lab, David Barner, UC San Diego. CA. (Presenter: Theresa Wege) [online]

2020

  • From a doodle to a theorem: a case study of a mathematical discovery
    15 December 2020. Montreal Inter-University Workshop on History and Philosophy of Mathematics. McGill University, Montreal, QC. (Co-presenter: Juan Fernández González) [online]
  • From a doodle to a theorem: a case study of a mathematical discovery
    4 December 2020. History and Philosophy of Mathematics Session, Canadian Mathematical Society, Winter 2020 Meeting, Montreal, QC. (Co-presenter: Juan Fernández González) [online]
  • Axioms in mathematical practice
    27 November 2020. Keynote talk at the 31st Novembertagung on the History and Philosophy of Mathematics, Berlin, Germany. [online]
  • The abacus representation of numeral systems
    16 April 2020. Workshop "The biological and cultural dimensions of numerical cognition". University of Bergen, Norway. [online]
  • What the study of notations can tell us about mathematical practice
    19 January 2020. 5th Meeting of the Association for the Philosophy of Mathematical Practice (APMP), Zurich, Switzerland.

2019

2018

  • Pasch's empiricist philosophy of mathematics. Commentary on Müller and Ziche
    13 October 2018. Conference "The Many What Ifs", Universität Konstanz, Germany.
  • The evolution of notations for the algebra of logic
    10 July 2018. 12th Congress of the International Society for the History of Philosophy of Science (HOPOS), Groningen, The Netherlands.
  • General principles for the design of logical notations: Babbage and MacColl
    23 June 2018. Workshop "Practices of Writing and Reading in Logic", 6th World Congress and School on Universal Logic, Vichy, France.
  • Römische Zahlen: Pragmatische and kognitive Aspekte
    11 June 2018. Kolloquium, Institut für Mathematik, Universität Koblenz-Landau, Koblenz, Germany.
  • Commentary to: Peter Epstein, "A priori concepts in Euclidean Proof"
    6 June 2018. Meeting of the Canadian Philosophical Association (CPA), Université du Québec au Montréal, Montreal, QC.
  • What was Boole's system of logic about?
    5 June 2018. Meeting of the Canadian Society for History and Philosophy of Mathematics (CSHPM), Université du Québec au Montréal, Montreal, QC.
  • Towards a cognitive and pragmatic account of notations for propositional logic
    24 May 2018. Bergen Philosophy of Science workshop. Bergen, Norway.
  • Frege's Begriffsschrift notation: Design principles and trade-offs
    25 April 2018. Department of Humanities, Social and Political Sciences, ETH Zurich, Switzerland.
  • Remarks on logical notations
    5 April 2018. Workshop "Les mathématiques en action", Nancy, France.
  • Meanings in the algebra of logic
    22 February 2018. Workshop "Axiomatics and Early Metatheory", Department of Philosophy, University of Vienna, Austria.
  • Roman numerals: Pragmatic and cognitive aspects
    8 February 2018. Kolloquium, Institut für Mathematik, Johannes Gutenberg Universität, Mainz, Germany.

2017

  • Thinking in numerals about numbers
    29 November 2017. Minds & Machines Lecture Series. McGill Integrated Programme in Neuroscience. McGill University, Montreal, QC.
  • Numbers through numerals: On the constitutive role of external representations for advanced mathematical cognition
    17 November 2017. The Emergence of Number. An Interdisciplinary Discovery Theme, Ohio State University, Columbus, OH.
  • Thinking in numerals about numbers
    9 November 2017. Research presentation at McGill Cognitive Science Research Day. McGill University, Montreal, QC.
  • A role of notations in practices of 19th century logic
    25 October 2017. 4th Meeting of the Association for the Philosophy of Mathematical Practice (APMP), Salvador de Bahia, Brazil.
  • Frege's Begriffsschrift notation: Design principles and trade-offs
    15 September 2017. Montreal Inter-University Workshop on History and Philosophy of Mathematics. McGill University, Montreal, QC.
  • Frege's Begriffsschrift notation: Design principles and trade-offs
    21 July 2017. "Fregesche Variationen, Wissenschaftliches Kolloquium zu Ehren von Prof. Dr. Christian Thiel", Heinz Nixdorf Institut, Universität Paderborn, Germany.
  • Pasch's empiricist structuralism
    14 July 2017. Workshop "Structuralism in 19th century mathematics", Department of Philosophy, University of Vienna, Austria.
  • Frege's Begriffsschrift notation: Design principles and trade-offs
    19 June 2017. Research seminar, Mathematical Logic Group, Department of Mathematics, Universität Hamburg, Germany.
  • Practices in 19th century logic
    28 May 2017. Meeting of the Canadian Society for History and Philosophy of Mathematics (CSHPM), Ryerson University, Toronto, ON.
  • Frege's Begriffsschrift notation: Design principles and trade-offs
    17 May 2017. Oberseminar, Institute of Mathematics, Ludwig-Maximilians Universität, München, Germany.
  • Analogies, structures, and representations
    10 May 2017. "Analogies in Philosophy and Law", Universität Konstanz, Germany.
  • Thinking about Roman numerals
    25 April 2017. Mathematical Cognition Group. University of Loughborough, UK.
  • Frege's Begriffsschrift notation: Design principles and trade-offs
    6 April 2017. Oberseminar "Geschichte der Mathematik", Bergische Universität Wuppertal, Germany.
  • From an analogy to algebra to the dualism of logical connectives
    5 April 2017. Duality Project meeting, Bergische Universität Wuppertal, Germany.
  • Practices in 19th century logic: Boole and Frege
    24 February 2017. Strategic Research Program meeting: Logic and Philosophy of Mathematical Practices, Brussels, Belgium.
  • Frege's Begriffsschrift notation: Design principles and trade-offs
    10 February 2017. Rheinisch-Westfälisches Seminar zur Geschichte und Philosophie der Mathematik, Heinz Nixdorf Institut, Universität Paderborn, Germany.

2016

  • Frege's Begriffsschrift notation: Design principles and trade-offs
    24 November 2016. Colloquium, Munich Center for Mathematical Philosophy, Ludwig-Maximilians Universität, München, Germany.
  • Frege's Begriffsschrift notation: Design principles and trade-offs
    14 November 2016. Department of Logic, Institute of Philosophy, Czech Academy of Sciences, Prague, Czech Republic.
  • The early development of Dedekind's notion of mapping
    7 October 2016. In Memoriam: Richard Dedekind (1831—1916). Technische Universität Braunschweig, Germany.
  • Numerals: Mathematical understanding through external representations
    21 September 2016. Invited talk at workshop "From Basic Cognition to Mathematical Practices". University of Sevilla, IMUS, Spain.
  • Frege's Begriffsschrift notation: Design principles and trade-offs
    24 June 2016. 11th Congress of the International Society for the History of Philosophy of Science (HOPOS), Minneapolis, MN.
  • Learning and computing with Roman numerals
    17 June 2016. Invited talk at workshop on mathematical cognition. University of Bergen, Norway.
  • Frege's Begriffsschrift notation: Design principles and trade-offs
    29 May 2016. Meeting of the Canadian Society for History and Philosophy of Mathematics (CSHPM), University of Calgary, Calgary, AB.
  • Frege's Begriffsschrift notation: Design principles and trade-offs
    25 May 2016. Annual North American Meeting of the Association for Symbolic Logic (ASL), Storrs, CT.
  • Cognitive and pragmatic aspects of notations for arithmetic and logic
    22 January 2016. Invited talk at Philosophy Colloquium. University of British Columbia, Kelowna, BC.

2015

  • Towards a cognitive and pragmatic account of notations for propositional logic
    6 December 2015. Invited talk at the History and Philosophy of Mathematics Session, Canadian Mathematical Society, Winter 2015 Meeting, Montreal, QC.
  • Towards a cognitive and pragmatic account of notations for propositional logic
    4 November 2015. 3rd Meeting of the Association for the Philosophy of Mathematical Practice (APMP), Paris, France.
  • Thinking about numerals
    26 October 2015. Research presentation at McGill Cognitive Science Research Day.
    McGill University, Montreal, QC.
  • Cognitive and pragmatic aspects of logical notations
    16 October 2015. Department of Philosophy 30th Anniversary celebration, Carnegie Mellon University, Pittsburgh, PA.
  • Moritz Pasch's empiricist structuralism
    18 September 2015. Workshop "Origins of mathematical structuralism", Vienna, Austria.
  • Geometric practices and geometric content
    7 August 2015. 15th Congress of Logic, Methodology and Philosophy of Science, Helsinki, Finland.
  • Towards a cognitive and pragmatic account of notations for propositional logic
    2 August 2015. Workshop "History and Philosophy of Logic Notations", Tallinn, Estonia.
  • What does cognitive science have to offer for philosophy of mathematics (and vice versa)?
    20 June 2015. Société de Philosophie Analytique (SoPhA). Congrès international triennal. Montreal, QC.
  • Geometric reasoning and geometric content
    3 April 2015. Invited speaker at session on "Philosophy and geometry", Meeting of the Pacific Division of the American Philosophical Association (APA), Vancouver, BC.
  • Axioms in mathematical practice
    19 March 2015. Invited speaker at conference "Representation and axiomatization: power and limits", IHPST (Institut d'Histoire et de Philosophies des Sciences et des Techniques), Université Paris 1 Panthéon-Sorbonne, Paris, France.

2014

2013

2012

2011

2010

2009

  • Mathematical analogies from a cognitive science perspective
    4 December 2009. PhD Seminar on Learning Sciences. Department of Educational and Counselling Psychology. McGill University, Montreal, QC.
  • Moritz Pasch's philosophy of mathematics
    21 October 2009. Institute for the History and Philosophy of Science and Technology colloquium, University of Toronto, Toronto, ON.
  • Research presentation at "Better Know McGill Cognitive Science".
    18 September 2009. McGill University, Montreal, QC.
  • Tieferlegung der Fundamente and other metaphors in the early development of modern mathematics
    3 September 2009. Conference on "Die Berliner Gruppe", Paderborn, Germany.
  • Learning the structure of abstract groups (with Thomas Shultz).
    1 August 2009. Poster presentation, 31th Annual Meeting of the Cognitive Science Society, Amsterdam, The Netherlands.
  • Two streams in the philosophy of mathematics - Two sides of an old coin: The debate between Pasch and Klein on the role of mathematical intuition.
    1 July 2009. "Two streams in the philosophy of mathematics" conference, University of Hertfordshire, Hatfield, UK.
  • New approaches to the creation of mathematical concepts in the nineteenth century
    22 May 2009. Workshop "Scientific Concepts and Investigative Practice", Technische Universität Berlin, Germany.
  • On the history of programming languages
    7 April 2009. SoCS lecture. School of Computer Science, McGill University, Montreal, QC.
  • On the creative role of axiomatics
    23 March 2009. Department of Philosophy Colloquium. McGill University, Montreal, QC.

2008

  • Moritz Pasch's philosophy of mathematics
    27 December 2008. Invited talk at session on "Historical Ideals of Rigor in Mathematics", Winter meeting of the Association of Symbolic Logic (with APA), Philadelphia, PA.
  • Empirico-deductivism: Moritz Pasch's philosophy of mathematics
    8 December 2008. Invited talk at the History and Philosophy of Mathematics Session, Canadian Mathematical Society, Winter 2008 Meeting, Carleton University, Ottawa, ON.
  • Modeling ancient and modern arithmetic practices: Addition and multiplication with Arabic and Roman numerals (with Hansjörg Neth)
    26 July 2008. Poster presentation, 30th Annual Meeting of the Cognitive Science Society, Washington, DC.
  • Moritz Pasch: A nineteenth century logical empiricist
    19 June 2008. Seventh Congress of the International Society for the History of Philosophy of Science (HOPOS), Vancouver, BC.
  • An empiricist approach to modern mathematics: Moritz Pasch on projective geometry
    17 May 2008. Is Mathematics Special? (PhiMSAMP-3), Vienna, Austria.
  • Moritz Pasch: A nineteenth century logical empiricist
    28 March 2008. Annual meeting of the Association of Symbolic Logic, Irvine, CA.
  • Computers and minds
    20 March 2008. Guest lecture. Comp 199: Excursions in Computer Science (Joelle Pineau), McGill University, Montreal, QC.

2007

  • Two ways of analogy: Extending the study of analogies to mathematical domains
    19 October 2007. PhiMSAMP-2 Workshop, Utrecht, The Netherlands.
  • On the creative role of axiomatics in the discovery of lattices
    27 July 2007. Meeting of the Canadian Society for History and Philosophy of Mathematics (CSHPM) and the British Society for the History of Mathematics (BSHM), Concordia University, Montreal, QC.
  • From domains of being to systems of axioms, and vice versa: On the role of axiomatics in the discovery of lattices
    27 March 2007. Perspectives on Mathematical Practices, Brussels, Belgium.
  • From domains of being to systems of axioms, and vice versa
    12 January 2007. The Classical Model of Science, Amsterdam, The Netherlands.

2006

  • On the importance of asking the right research questions: Could Jordan have proved the Jordan-Hölder Theorem?
    11 December 2006. Canadian Mathematical Society, Winter 2006 Meeting, History of Mathematics Session, Toronto, ON.
  • On the importance of asking the right research questions: Could Jordan have proved the Jordan-Hölder Theorem?
    14 September 2006. GAP.6 Workshop "Towards a New Epistemology of Mathematics", Berlin, Germany.
  • Clark L. Hull's methodology of scientific discovery: Psychology, logical positivism, practice, proofs, and refutations
    18 June 2006. Sixth Congress of the International Society for the History of Philosophy of Science (HOPOS), Paris, France.
  • From "psychic machines" to neural networks: Learning from models and computer simulations in psychology
    13 June 2006. Models and Simulations, Paris, France.
  • On the importance of asking the right research questions: Could Jordan have proved the Jordan-Hölder Theorem?
    29 May 2006. Meeting of the Canadian Society for History and Philosophy of Mathematics (CSHPM), York University, Toronto, ON.

2005

  • Axiomatics and discovery
    17 December 2005. Recherches Québecoises en Logique, Université du Québec au Montréal, Montreal, QC.
  • On some connections between philosophy of mathematics and cognitive science
    17 November 2005. Guest lecture. Psyc 532 (740): Cognitive Science (Tom Shultz), McGill University, Montreal, QC.
  • Towards a more comprehensive understanding of analogies
    27 August 2005. Philosophical Perspectives on Scientific Understanding, Amsterdam, The Netherlands.

2004

  • Axiomatics and discovery
    25 June 2004. Fifth Congress of the International Society for the History of Philosophy of Science (HOPOS), San Francisco, CA.
  • Theoretical aspects of theory development
    1 June 2004. Meeting of the Canadian Society for the History and Philosophy of Science (CSHPS), Winnipeg, MB.
  • Analogies in mathematical domains
    31 May 2004. Meeting of the Canadian Philosophical Association (CPA), Winnipeg, MB.
  • Commentary to: Elaine Landry, "Category theory as framework for an in re interpretation of mathematical structuralism"
    31 May 2004. Meeting of the Canadian Philosophical Association (CPA), Winnipeg, MB.

2003

  • Does abstract equal good?
    23 November 2003. Fourth Annual Midwest Philosophy of Mathematics Workshop, University of Notre Dame, South Bend, IN.
  • Aspects of theory construction: Clark Hull's philosophy of science (with Uljana Feest)
    29 May 2003. Meeting of the Canadian Society for History and Philosophy of Science (CSHPS), Halifax, NS.
    Paper was selected runner-up to the Hadden Prize for best student paper.
  • Commentary to: James Tabery, "Activities and interactions in the concept of a mechanism"
    15 March 2003. Fifth Annual Pittsburgh Graduate Philosophy Conference, University of Pittsburgh and Carnegie Mellon University, Pittsburgh, PA.
  • The axiomatic method in the light of 20th century philosophy
    17 February 2003. Foundations of the Formal Sciences IV, Bonn, Germany.

2002

  • The axiomatic method as engine for driving discovery in mathematics
    13 November 2002. Thesis Prospectus defense. Carnegie Mellon University, Pittsburgh, PA.

2001

  • Richard Dedekind: Von der genetischen zur axiomatischen Methode
    18 June 2001. Philosophische Fakultät, Universität Konstanz, Germany.

2000

  • Dedekind: Axiomatics and abstraction
    9 December 2000. First Annual Midwest Philosophy of Mathematics Workshop. Carnegie Mellon University, Pittsburgh, PA.
  • Towards axiomatic foundations of mathematics: the evolution of Dedekind's treatment of numbers
    14 October 2000. 2000 Midwest Conference on the History of Mathematics. Northern Kentucky University. Florence, KY.

1999

  • Richard Dedekind: Axiomatische Grundlagen der Mathematik
    21 December 1999. Mittagsseminar der AG 1 und 14. Fachbereich Mathematik, TU Darmstadt, Germany.
  • Richard Dedekind: Axiomatic foundations of mathematics
    22 November 1999. Master's Thesis defense. Carnegie Mellon University, Pittsburgh, PA.
  • Dedekind's real numbers
    6 March 1999. Rocky Mountain Student Philosophy Conference. University of Colorado, Boulder, CO.

1998

  • Intuitionism - the philosophy of L.E.J. Brouwer
    3 October 1998. 1998 Midwest Conference on the History of Mathematics. Iowa State University, Ames, IA.
  • The philosophy of L.E.J. Brouwer
    21 April 1998. PRL Seminar. Cornell University, Ithaca, NY.
  • Minds, machines, and Turing
    24 January 1998. Graduate Student Philosophy Conference '98. Emory University, Atlanta, GA.

1997

  • The philosophy of L.E.J. Brouwer
    11 December 1997. Pure and Applied Logic Colloquium. Carnegie Mellon University, Pittsburgh, PA.
  • Intuitionismus und Informatik
    31 January 1997. AG Domains. Fachbereich Mathematik, TH Darmstadt.

1996

  • Intuitionismus und Informatik
    16 December 1996. AIDA Forum. Institut für Intellektik, TH Darmstadt.
  • Positionen zu den Grundlagen der Mathematik
    9 December 1996. Autonomes StudentInnen Seminar `No Silver Bullet', TH Darmstadt.
  • Logic Programming
    11 June 1996. Autonomes StudentInnen Seminar `No Silver Bullet', TH Darmstadt.

1995

  • Russell's Typentheorie
    Fall 1995. Informatik Seminar `Geschichte der Logik', TH Darmstadt.

1994

  • Die lokale Struktur von Fraktalen
    Spring 1994. Informatik Seminar `Fraktale', TH Darmstadt.

1993

  • GPS - Der General Problem Solver
    Fall 1993. Informatik Seminar `Automatisches Planen', TH Darmstadt.