Towards an Inferentialist Account of Information Through Proof-theoretic Semantics

In three linesTheoretical paper developing a proof-theoretic semantic account of information grounded in inferentialist reasoning. Replaces truth with inferability in Dretske's framework, introduces the 'inferon' as a primitive unit, and applies proof-theoretic tools to distributed systems modelling.

Summary generated by Claude — human-verified