New Inferentialist Theory of Information via Proof-Theoretic Semantics
A new paper on arXiv proposes an inferentialist semantic theory of information, aiming to provide logical and mathematical foundations for the concept. The approach replaces truth with inferability, drawing on Dretske's work and proof-theoretic semantics. The paper is a first step toward better reasoning tools for understanding complex systems.
Key facts
- arXiv:2605.05368v1
- Announce Type: cross
- The paper proposes an inferentialist semantic theory of information.
- It replaces truth with inferability in Dretske's framework.
- Proof-theoretic semantics (P-tS) is used as a mathematical-logical realization.
- The goal is to provide logical foundations for information.
- The paper is a first step.
- It addresses the lack of adequate reasoning tools for complex systems.
Entities
Institutions
- arXiv