 A recent development in channel theory (Seligman 2014) uses a more general definition of local logic, in which not all instances in the logic need to satisfy all its constraints. This version of channel theory is put to use in two important ways. Firstly, by using local logics to stand for situations, and with a natural interpretation of what an infon should then be, a reconstruction is produced of the core machinery of situation theory (barely presented in  sections 2.1  and  section 2.2).  Secondly, it is shown that this version of channel theory can deal with probabilistic constraints. The rough idea is that any pair of a classification plus a probability measure over the set of instances induces an extended classification with the same set of types, and where a constraint holds if and only if the set of counterexample instances has measure 0. Notice that this set of counterexamples might not be empty. Having probabilistic constraints is a crucial step towards the effort of formally relating channel theory to Shannon’s theory of communication. 