Logic and Information

Cet élément examine deux projets qui relient la logique et l'information : le projet d'utiliser la logique pour intégrer, manipuler et interpréter l'information, et le projet d'utiliser la notion d'information pour fournir des interprétations des systèmes logiques. L'élément définit 'l'information' d'une manière qui inclut la désinformation et la mésinformation, et utilise ce concept général d'information pour offrir une interprétation de diverses logiques paraconsistantes et pertinentes. Il intègre également ces logiques dans des théories contemporaines de mise à jour informationnelle, de théorie des probabilités, et (de manière plutôt informelle) certaines idées de la théorie de la complexité des preuves. L'élément suppose une certaine connaissance préalable de la logique modale et de sa sémantique des mondes possibles, mais tout le reste des connaissances nécessaires est fourni.