Towards an Inferentialist Account of Information Through Proof-theoretic Semantics
概要
arXiv:2605.05368v1 Announce Type: cross Abstract: Information is one of the most widely-discussed concepts of the current era. However, a great deal of insightful work notwithstanding, it is yet to be given wholly convincing logical or mathematical foundations. Without them, we lack adequate reason…