email: dmacbeth@haverford.edu

Phone: (610) 896-1025

Office: GEST 204

# Lectures

*invited unless otherwise indicated*

- (2018) Keynote lecture, Workshop: Around Peirce, Sixth World Congress and School on Universal Logic, Vichy, France.
- (2018) Keynote lecture, 32nd International Symposium Logica 2018, Institute of Philosophy, Czech Academy of Sciences, Hejnice, Czech Republic.
- (2017) TBA, Roundtable: “Emerging Approaches, Methodologies in Mathematics and the Humanities”, Society of Literature, Science and the Arts, Arizona State University, Tempe.
- (2017) “Visualizing and Knowing in Mathematical Practice”, Workshop on Varieties of Visualization in Mathematics, Fourth International Meeting of the Association for the Philosophy of Mathematical Practice, Salvador da Bahia, Brazil.
- (2017) “Formal Proof in Mathematical Practice”, joint meeting of the Ninth French PhilMath Workshop (FPMW 9) and the ANR/DFG research project “Mathematics: Objectivity by Representation”, Nancy, France.
- (2017) “Ampliative Deductive Proof in Mathematical Practice: Lessons from Kant and Frege”, Philosophy Colloquium, Department of Philosophy, University of Pittsburgh.
- 2017 “Proof in Mathematics and in Logic”, 31st International Symposium Logica 2017, Institute of Philosophy, Czech Academy of Sciences, Hejnice, Czech Republic.
- 2017 “Reasoning in Minds and Machines”, Women in Philosophy: Philosophy in Action, Uppsala University, Sweden.
- 2017 Invited speaker (five hours per day for three days), Spring Meeting of PAF (Performing Arts Forum), St. Erme, France.
- 2016 “Inferentialism After Kant”, Why Rules Matter: Workshop on Inferentialism, Institute of Philosophy, Czech Academy of Science, Prague, Czech Republic
- 2016 Haverford Faculty Publication Talk, Haverford College, Haverford, Pennsylvania.
- 2016 “Sellars on the Rationality of Empirical Inquiry”, Amherst College, Amherst, Massachusetts.
- 2016 “Ampliative Deductive Proof in Mathematical Practice”, Conference IV of the Brazilian Society for Analytic Philosophy, State University of Campinas (Unicamp), Campinas, Brazil.
- 2016 “A Non-Structuralist Alternative to Formalism”, Charles University and the Czech Academy of Sciences, “The Emergence of Structuralism and Formalism”, Prague, Czech Republic
- 2016 “Logic in Revolution”, 12th International Conference, “Logic Today: Developments and Perspectives”, St. Petersburg State University, Saint Petersburg, Russia.
- 2016 “The Place of Philosophy”, 11th East-West Philosophers’ Conference, Honolulu, Hawaii, topic: Place.
- 2016 Author-Meets-Critics session on Realizing Reason: A Narrative of Truth and Knowing, meeting of the Wilfrid Sellars Society in conjunction with the Pacific APA meeting, San Francisco. Critics: Ray Brassier, American University of Beirut, and Paul Redding, University of Sydney, with author’s response.
- 2015 “Revolution in Philosophy”, The NYC Wittgenstein Workshop, New School for Social Research, New York City.
- 2015 “Logical Form, Mathematical Practice, and Frege’s
*Begriffsschrift*”. Invited lecture, Association for the Philosophy of Mathematical Practice (APMP), Paris. - 2015 Author-Meets-Critics:
*Realizing Reason: A Narrative of Truth and Knowing*, session of the Greater Philadelphia Philosophy Consortium (GPPC), Haverford College.

Watch video of the full GPPC session - 2015 “Yet Another Consequence of Pragmatism”. Invited lecture, European Pragmatism Conference II, Paris.
- 2015 Symposium on
*Realizing Reason: A Narrative of Truth and Knowing*, at the 15^{th}Congress of Logic, Methodology, and Philosophy of Science (CLMPS 2015). - 2015 “Logical Form, Mathematical Practice, and Frege’s
*Begriffsschrift*”, plenary lecture, the 2015 European Summer Meeting o the Association for Symbolic Logic, Logic Colloquium 2015, Helsinki. - 2015 “Natural Truth”, invited lecture, Sellars Conference, American University of Beirut, Beirut, Lebanon.
- 2015 “Natural Truth”, invited lecture, Sellars Conference, Kent State University.
- 2015 “Reasoning in Mathematics and Machines: The Place of Mathematical Logic in Mathematical Understanding”, keynote address, Society for the Study of Artificial Intelligence and Simulated Behavior (AISB) convention, session on Social Aspects of Cognition and Computing, University of Kent, Canterbury, England.
- 2015 “Mathematical Meaning in Mathematics Pedagogy”. Cultures of Mathematics IV, New Delhi, India.
- 2015 “Revolution in Philosophy”, invited lecture, Philosophy Club, Kutztown University of Pennsylvania.
- 2014 “The Myth of the Given, Again”, invited lecture, The Wilfrid Sellars Society Group Meeting of the American Philosophical Association, Eastern Division Meeting.
- 2014 “Mathematical logic, Mathematical Understanding”. Keynote address, International Workshop on Logic and Philosophy of Mathematics, Vrije Universiteit Brussel, Brussels.
- 2014 “Revolution
*and*Realism?” New Thinking About Scientific Realism Conference, Cape Town, South Africa. - 2014 “Revolution
*and*Realism?” HOPOS 2014, Congress of the International Society for the History and Philosophy of Science, Ghent, Belgium. - 2014 “Mathematics and the Metaphysics of Mind”, The Mind Initiative, Tri-Co Mellon Seed Grant initiative.
- 2014 “Names and Definite Descriptions”, invited lecture to Shizhe Huang’s semantics class.
- 2014 “Reasoning in Mathematics” in two lectures, “Ancient and Early Modern Practice” and “Contemporary Practice”, Universidad Nacional Autónoma de México, El Instituto de Investigaciones Filosóficas.
- 2013 “Revolution in Philosophy”, PYTT 2013, first annual meeting of Philosophy: Yesterday, Today, and Tomorrow, Singapore. Awarded best paper.
- 2013 “Rigor, Deduction, and Knowledge in the Practice of Mathematics”, Second International Meeting of the Association for the Philosophy of Mathematical Practice, University of Illinois, Urbana-Champagne.
- 2013 “Conceptions of Logical Form”, World Congress of Philosophy 2013, Athens, Greece, invited session on The Character of Classical Logic.
- 2013 “Logical Form in Mathematical Practice”, Annual meeting of the Society for the Study of the History of Analytic Philosophy, Indiana University, Bloomington, Indiana.
- 2013 “Logical Form in Mathematical Practice”, Meeting of the Society for the Study of the History of Analytic Philosophy, in conjunction with the American Philosophical Association Central Meeting, New Orleans.
- 2013 “Logic Through Its History”, Invited session on Logic in Undergraduate Philosophy Education, Association for Symbolic Logic, 2013 Joint Meeting with the American Philosophical Association, New Orleans.
- 2012 “The Puzzle of Logic in Relation to Mathematics”, Keynote address, inaugural meeting of the Philosophy of Mathematics Association, University of Notre Dame.
- 2012 Five lectures at the Centro de Investigaciones de la Facultad de Filosofia y Humanidades, Universidad Nacional de Cordoba, Cordoba, Argentina. (1) “Realizing Reason: The Power of Reason as a Power of Knowing”; (2) Seeing How It Goes: Ancient Diagrammatic Practice and Early Modern Algebraic Practice”; (3) “Seeing How It Goes: Deductive Reasoning from Defined Concepts”; (4)“The Metaphysics of Judgment: Truth and Knowledge in the Exact Sciences”; and (5) “Being Minded”.
- 2011 “Reading Rorty: A Sketch of a Plan”. The New School for Social Research, New York.
- 2011 “Seeing How It Goes: The Peculiar Role of Writing in Mathematical Reasoning”, (submitted) The Fifth Joint Conference of The British Society for the History of Mathematics and The Canadian Society for History and Philosophy of Mathematics, Trinity College, Dublin.
- 2011 “Proof and Understanding in Mathematical Practice”, (submitted) Association for the Philosophy of Mathematical Practice, Affiliated Session of the 14
^{th}Congress of Logic, Methodology and Philosophy of Science, Nancy, France. - 2011 “Reasoning in the Languages of Mathematics”, Third Pittsburgh Summer School in Philosophy of Mathematics, University of Pittsburgh.
- 2011 “Seeing How It Goes: The Peculiar Role of Writing in Mathematical Reasoning”, Bucharest Colloquium in Analytic Philosophy: Frege’s Philosophy of Mathematics and Language, Bucharest, Romania.
- 2011 “Proof and Understanding in Mathematical Practice”, Waikato University, Hamilton, New Zealand.
- 2011 “Proof and Understanding in Mathematical Practice”, Victoria University, Wellington, New Zealand.
- 2011 “Seeing How It Goes: The Peculiar Role of Writing in Mathematical Practice”, Keynote lecture, Conference on Logical Pragmatism, University of Auckland, Auckland, New Zealand.
- 2011 “Seeing How It Goes: The Peculiar Role of Writing in Mathematical Practice”, Otago University, Dunedin, New Zealand.
- 2011 “Seeing How It Goes: The Peculiar Role of Writing in Mathematical Practice”, Massey University, Palmerston North, New Zealand.
- 2011 “Proof and Understanding in Mathematical Practice”, Keynote lecture, Conference on the Notion of Form in 19
^{th}and 20^{th}Century Logic and Mathematics, Vrije Universiteit Amsterdam. - 2011 “Seeing How It Goes: The Peculiar Role of Writing in Mathematical Practice”, History of Philosophy Colloquium, Utrecht University.
- 2010 “Frege and the Aristotelian Model of Science”, (submitted) First International Meeting of the Association for the Philosophy of Mathematical Practice, Brussels, Belgium.
- 2010 “Logical Expressivism and Semantic Inferentialism in Frege” and “Frege’s Analytic Pragmatism”, ISSCSS 2010, University of Latvia, Riga Latvia.
- 2010 “Reasoning in the Languages of Mathematics”, “From Practice to Results in Logic and Mathematics”, conference of the PratiScienS group, Nancy, France.
- 2010 “Diagrammatic Reasoning in Frege’s
*Begriffsschrift*”, University of Paris VII (Diderot). - 2010 “Frege’s Proof of Theorem 133: A Case Study in Ampliative Proof”, Conference on Early Analytic Philosophy, University of Bucharest.
- 2010 “Seeing How It Goes: The Peculiar Role of Writing in Mathematical Reasoning”, Faculty Research Talk, Haverford College.
- 2010 “Reasoning in Diagrams: The Case of
*Begriffsschrift*”, (submitted) Unilog 2010, Third World Congress on Universal Logic, Lisbon, Portugal; keynote lecture in the Diagrams in Logic session. - 2010 “Ampliative Deductive Proof: A Case Study”, Program in Pure and Applied Logic, Indiana University.
- 2010 “Mathematical Reasoning in Euclid and Frege”, Swarthmore College.
- 2009 “The Role of Diversity in a Liberal Arts Education”, Multicultural Open House, Haverford College.
- 2009 “Ampliative Deductive Proof: A Case Study” (submitted), Conference on Practice-Based Philosophy of Logic, Amsterdam.
- 2009 “Reasoning in Frege’s Begriffsschrift”, National Chung Cheng University, Chai Yi, Taiwan.
- 2009 “Pictures of Meaning: Language in the Tractatus and the Philosophical Investigations”, National Taiwan University, Taipei, Taiwan.
- 2009 “Reasoning in Frege’s Begriffsschrift”, Workshop on Logic, Soochow University, Taipei, Taiwan.
- 2009 “Varieties of Analytic Pragmatism”, Workshop on Analytic Pragmatism, University of Genoa.
- 2008 “Reasoning from Definitions by Logic Alone: A Case Study in Ampliative Proof”, University of Bucharest.
- 2008 “Quine on Analytic Truth and A Priori Science”, Conference on Quine, University of Bucharest.
- 2008 “Reasoning from Definitions by Logic Alone: A Case Study in Ampliative Proof”, University of Buenos Aires.
- 2008 “Pictures of Meaning: Language in the Tractatus and the Philosophical Investigations”, IX International Philosophy Colloquium, Bariloche, Argentina.
- 2008 “The Relation of Mind and World, and the Shapes of Spirit: A Dialectical Play on Some Main Themes in McDowell and Brandom”, Wittgenstein Conference, Buenos Aires, Argentina.
- 2008 “Mathematical Reasoning: Some Lessons from Frege”, Leipzig Institute of Philosophy, University of Leipzig, Germany.
- 2008 “Reading Rorty: A Sketch of a Plan”, Pecs Conference on the work of Richard Rorty, Pecs, Hungary.
- 2008 “Mathematical Reasoning, Following Peirce and Frege”, Conference on Early Analytic Philosophy, University of Iowa.
- 2008 “Reasoning in Frege’s Begriffsschrift”, Association of Symbolic Logic, annual meeting, Irvine, California.
- 2008 “Meaning, Use, and Diagrams”, Workshop on Pragmatics and Semantics, Luiss University, Rome, Italy.
- 2008 “An Antinomy of Empirical Judgment: Brandom and McDowell”, University of Rome, La Sapienza, Rome, Italy.
- 2008 “Reasoning in Frege’s Begriffsscrhift”, University of Rome, Tor Vergata, Rome, Italy.
- 2007 “The Truth in Pragmatism”, Conference on the Philosophy of Pragmatism: Salient Inquiries, Babes-Bolyai University, Cluj-Napoca, Romania.
- 2007 “Diagrammatic Reasoning in Euclid’s Elements” (submitted), Workshop on Diagrams in Mathematics, Stanford University.
- 2007 “Understanding the Goodness of Inference: Modality and Relevance in Frege’s System of Logic”, Conference on Analytic Philosophy, Taipei, Taiwan.
- 2007 “Diagrammatic Reasoning in Euclid’s Elements” (submitted), Conference: Perspectives on Mathematical Practice 2007, Brussels, Belgium.
- 2006 “The Role of Begriffsschrift in the Striving for Truth”, University of Toronto, Toronto, Canada.
- 2006 “The Role of Begriffsschrift in the Striving for Truth”, the New School for Social Research, New York.
- 2006 “An Antinomy of Empirical Judgment: Brandom and McDowell”, The Social Space of Reason: From Hegel Onward, Second “Contemporary Hegel” International Conference, Venice, Italy.
- 2006 “Construction and Inference: The Use of Language in Modern Mathematical Practice”, VIII Coloquio Internacional Bariloche de Filosofía, San Carlos de Bariloche, Argentina.
- 2006 “Frege’s Begriffsschrift”, Kwansei Gakuin University, Osaka, Japan.
- 2006 “The Role of Begriffsschrift in the Striving for Truth”, Kyoto University, Kyoto, Japan.
- 2006 “The Role of Begriffsschrift in the Striving for Truth”, National Taiwan University, Taipei, Taiwan.
- 2006 “The Role of Begriffsschrift in the Striving for Truth”, Kutztown University.
- 2006 “The Role of Begriffsschrift in the Striving for Truth”, Swarthmore College.
- 2005 “The Role of Begriffsschrift in the Striving for Truth”, Franklin and Marshall College.
- 2005 “The Role of Begriffsschrift in the Striving for Truth”, Conference “Frege on Truth”, Santa Maria, Brazil.
- 2005 “Logical Analysis, Reduction, and Philosophical Understanding”, Conference on “Description, Denotation, Meaning: ‘On Denoting’ One Hundred Years Later”, Philosophy Institute of Eötvös University and the MTA–ELTE Philosophy of Language Research Group, Budapest, Hungary.
- 2005 “Frege’s Begriffsschrift”, keynote speaker, Fourth International Conference on Logic and Cognition, Zhongshan University, Guangzhou, China.
- 2005 “Inferentialism and Holistic Role Abstraction in the Telling of Tales”, Pecs Conference on the work of Robert Brandom, Pecs, Hungary. Response by Robert Brandom, University of Pittsburgh.
- 2005 “Inferentialism and Holistic Role Abstraction in the Telling of Tales”, “Author Meets Critics” session, APA, Pacific Division meeting, San Francisco. Response by Robert Brandom, University of Pittsburgh.
- 2003 “Mathematical Notation and Mathematical Thought”, History and Philosophy of Mathematics Workshop, University of Pittsburgh.
- 2003 “An Antinomy of Empirical Judgment”, International Conference on Analytical Pragmatism, Lublin, Poland.
- 2002 “Frege’s Begriffsschrift, a formula language of pure thought”, Center for Advanced Study in the Behavioral Sciences, Stanford, CA.
- 2002 “Frege’s Begriffsschrift, a formula language of pure thought”, University of New South Wales.
- 2002 “Getting About in the Modern World”, keynote speaker, Conference on Natural Representation, Sydney, Australia.
- 2002 “Frege’s Begriffsschrift, a formula language of pure thought”, University of Sydney.
- 2002 “Getting About in the Modern World”, University of Adelaide.
- 2002 “Frege’s Begriffsschrift, a formula language of pure thought”, University of Melbourne.
- 2001 “From Contingency to Solidarity: Rorty’s Pragmatist Turn”, Conference on Rorty’s writings, Pecs, Hungary. Response by Richard Rorty.
- 2001 “Frege’s Begriffsschrift, a formula language of pure thought”, Northwestern University.
- 2000 “An Antinomy of Empirical Judgment: Brandom and McDowell”, Workshop on Experience, University of Pittsburgh.
- 2000 “Frege’s Begriffsschrift, a formula language of pure thought”, University of Pittsburgh.
- 2000 “The Language of Thought: Reflections on Frege”, Bryn Mawr College
- 2000 “When Derivations Explain: Logical Generality and Fruitful Proof” (submitted), HOPOS 2000: Third International History of Philosophy of Science Conference, Vienna, Austria
- 2000 “An Antinomy of Empirical Judgment: Brandom and McDowell”, Conference on Brandom’s Making It Explicit, Pecs, Hungary.
- 1998 “Writing for the Eye”, Literature Colloquium lecture, Haverford College.
- 1997 “Logical Form and Conceptual Content in Frege’s Begriffsschrift”, APA Eastern Division meeting, Philadelphia. Comments by Thomas Ricketts, University of Pennsylvania, and Sanford Shieh, Wesleyan University.
- 1997 “Two Concepts of Concepts”, Faculty Research Talk, Haverford College.
- 1996 “Brandom on Inference and the Expressive Role of Logic”, 9th SOFIA (Sociedad Filosofica Ibero Americana) Conference, Mexico. Topic for 1996: Truth. Response by Robert Brandom, University of Pittsburgh.
- 1996 “Frege's Grundlagen Definition of Number” (submitted), the APA Central Division meeting, Chicago. Response by Patricia Blanchette, University of Notre Dame.
- 1994 “An Austere Theory of Fregean Sense” (submitted), the APA Central Division meeting, Kansas City. Response by Marga Reimer, Arizona State University.
- 1993 “The Logic of Relations and the Ideality of Space” (submitted), the APA Eastern Division meeting, Atlanta. Response by Paul Tang, California State University.
- 1993 “The Logic of Relations and the Ideality of Space” (submitted), the New Jersey Regional Philosophy Association Fall Conference, Rutgers University. Response by Tim Maudlin, Rutgers University.
- 1992 “What's in a Name?” (submitted), the APA Eastern Division meeting, Washington D.C.. Response by Simon Blackburn, UNC Chapel Hill
- 1992 “Empirical Concepts” (submitted), the APA Central Division meetings, Louisville. Response by William Blattner, Georgetown University.
- 1991 “Crediting Minds”, Albright College.