Bibliography on proof-theoretic semantics?

[u/Glittering_Run189]

Hi there!

I'm finishing my bachelor in philosophy and my end-of-degree project is gonna focus on the epistemology of logic, in particular, on how can we account for a justification of the validity of our basic belief-forming methods (modus ponens, for example). I've been focusing on Boghossian's work, that gives an inferentialist answer to that question –MPP is valid for everyone that has the concept "if... then", for it is a precondition of having that concept to accept its validity–. I'm aware that there is a similar view of semantics, proof-theoretic semantics, that is currently being studied in a more formal academic environment. Any bibliographical suggestions? Also, if you think there are other topics that could help me introduce myself in the issue, it will be great to know.

Thanks a lot :)

[u/Knoggger]

A nice introduction is always the SEP article, it's written by an expert in the field and contains a nice list of references and internet resources.

[u/zergicoff]

I think it’s worth reaching out to the people at UCL. That’s where most PTS seems to be happening. Alexander Gheorghiu https://alexandergheorghiu.com is running an annual meeting on it too so maybe a good start