James Walsh

I am a Klarman Postdoctoral Fellow at Cornell University. I received my Ph.D. from the Group in Logic at UC Berkeley and my Sc.B. from Brown University.

My research is primarily in logic and analytic philosophy.

Papers & Preprints

• Incompleteness and jump hierarchies, with Patrick Lutz
  Proceedings of the American Mathematical Society, forthcoming [published version | arXiv]
• Reflection ranks and ordinal analysis, with Fedor Pakhomov
  Journal of Symbolic Logic, forthcoming [published version | arXiv]
• A note on the consistency operator
  Proceedings of the American Mathematical Society, 148(6):2645--2654, 2020 [published version | arXiv]
• On the inevitability of the consistency operator, with Antonio Montalbán
  Journal of Symbolic Logic, 84(1):205--225, 2019 [published version | arXiv]
• Usable security as a static-analysis problem, with Kathi Fisler, Shriram Krishnamurthi, Hannah Quay-de la Vallee, William Zimrin
  Association for Computing Machinery Proceedings, Onward(3):1--16, 2013 [published version]

Recent Talks

• Semantic reflection and iterated syntactic reflection
  ASL North American Meeting, City University of New York, May, 2019
• Navigating the consistency strength hierarchy
  Mathematics in Practice, Stanford University, May, 2019
• Hierarchies of proof-theoretic strength
  Graduate Conference in Logic, University of Illinois, Chicago, April, 2019
• Hierarchies of proof-theoretic strength
  Logic and Foundations of Mathematics Seminar, Stanford University, April, 2019
• Articulating absolute generality
  APA Central Division Meeting, Denver, CO, February, 2019
• Articulating absolute generality
  Graduate Research Colloquium, University of California, Berkeley, December, 2018
• On the inevitability of the consistency operator
  Logic Seminar, University of Pennsylvania, November, 2018
• Reflection ranks and ordinal analysis
  Computational Logic Seminar, City University of New York, November, 2018
• Epistemic aspects of consistency proofs
  Midwest Philosophy of Mathematics Workshop, University of Notre Dame, October, 2018
• 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