Summary |
The relationship between logic and information is an
intimate one that goes both ways. Firstly, information has played a role in
providing a basis for certain accounts of logic. At a basic level there is the
interpretation that good logic arguments are just those arguments where the
information in the conclusion is already contained in the premises of that
argument. Furthermore, notions of information have been used to good effect in
developing semantics for certain logics, particularly relevant logic. Secondly,
logics of information have provided formal accounts of various information
phenomena, such as logics of being informed. |