The Logic of Information