James Walsh

I am a student in the Group in Logic at UC Berkeley. I have an Sc.B. from Brown University. My research is in mathematical logic and in the philosophy of logic and mathematics. My research interests include proof theory, absolute generality, theories of truth, logicism, and semantic internalism.

Papers & Preprints

• Epistemic aspects of consistency proofs
  Under review
• Reflection ranks and ordinal analysis, with Fedor Pakhomov
  Under review [arXiv]
• On the inevitability of the consistency operator, with Antonio Montalbán
  Journal of Symbolic Logic, forthcoming [arXiv]

Talks

• Hierarchies of proof-theoretic strength
  Logic and Foundations of Mathematics Seminar, Stanford University, upcoming
• On the inevitability of the consistency operator
  Logic Seminar, University of Pennsylvania, upcoming
• Reflection ranks and ordinal analysis
  Computational Logic Seminar, City University of New York, upcoming
• Epistemic aspects of consistency proofs
  Midwest Philosophy of Mathematics Workshop, University of Notre Dame, upcoming
• Reflection ranks and ordinal analysis
  ASL North American Meeting, Western Illinois University, May, 2018
• On the inevitability of the consistency operator
  Proof Theory Seminar, Steklov Institute of Mathematics, March, 2018
• Hierarchies of proof-theoretic strength
  Operations, Sets, and Types III, University of Bern, March, 2018
• Hierarchies of proof-theoretic strength
  South-Eastern Logic Symposium, University of Florida, February, 2018
• Epistemic aspects of consistency proofs
  Workshop on the Philosophy of Mathematical Reasoning, Stanford University, February, 2018
• Epistemic aspects of consistency proofs
  APA Eastern Division Meeting, Savannah, GA, January, 2018
• On the inevitability of the consistency operator
  International Workshop on Proof Theory, Modal Logic, and Reflection Principles, Steklov Institute of Mathematics, October, 2017
• On the inevitability of the consistency operator
  ASL Logic Colloquium, Stockholm University, August, 2017
• Epistemic aspects of consistency proofs
  CSLI Workshop on Logic, Rationality, and Intelligent Interaction, Stanford University, May, 2016