 There is a bi-directional relation between logic and information. On the one hand, information underlies the intuitive understanding of standard logical notions such as inference (which may be thought of as the process that turns implicit information into explicit informaiton) and computation. On the other hand, logic provides a formal framework for the study of information itself. 