James Walsh
Office: 1043 Evans Hall
Email:
walsh@math.berkeley.edu
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 prooftheoretic 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 prooftheoretic strength
Operations, Sets, and Types III, University of Bern, March, 2018

Hierarchies of prooftheoretic strength
SouthEastern 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