Vector logic is a matrix–vector representation of the logical calculus inspired in neural network models. In this algebraic formalism, the truth values map on orthonormal Q-dimensional vectors, the monadic operations are represented by square matrices, and the dyadic operations produce rectangular matrices that act on the Kronecker product of the vector truth values. In this formalism, the theorems and tautologies of classical logic are demonstrated using the rules of matrix algebra. In the present work, we analyse a three-valued vector logic that adds to the ‘yes’ and ‘no’ vectors, a third ‘uncertain’ vector that represents the truth value corresponding to undecidable propositions. Fuzziness is produced both via linear combinations of ‘yes’ and ‘no’ vectors, and by the supplementary dimension of the logical vector subspace. We describe the basic matrix operators, and we show that for this three-valued vector logic, the modalities ‘possibility’ and ‘necessity’ are simple square matrices instead of infinite recursive processes. Finally, we explore the application of this formalism to represent the complex-valued operator, and the usefulness of vector logic to understand the powers and limitations of some reversible logical computations.

This work is based on ideas supported by some of the biologists who discovered foundational facts of twentieth-century biology and who argued that Maxwell's demons are physically implemented by biological devices. In particular, JBS Haldane first, and later J. Monod, A, Lwoff and F. Jacob argued that enzymes and molecular receptors implemented Maxwell's demons that operate in systems far removed from thermodynamic equilibrium and that were responsible for creating the biological order. Later, these ideas were extended to other biological processes. In this article, we argue that these biological Maxwell's demons (BMD) are systems that have information processing capabilities that allow them to select their inputs and direct their outputs toward targets. In this context, we propose the idea that these BMD are information catalysts in which the processed information has broad thermodynamic consequences.