The concept of anti-realism in logic seems to be an interesting and growing idea.
I'm looking for references (papers, books, authors...) regarding the debate between realism and anti-realism but especially related to logic and mostly on the anti-realism side but the defense of realism or the criticism of anti-realism are, indeed, accepted.
For instance, I'm interested in the ideas exposed in The Realism-Antirealism Debate in the Age of Alternative Logics but realism-oriented.
It seems that Anti-Realism has a link with substructural logic (see : Radical Anti-Realism and substructural logics)
As far as I know the main current programs are :
- The proof-theoretic semantics (M.Dummett, D.Prawitz)
- Transcendental Syntax (JY.Girard)