Logic and Information

Questo elemento esamina due progetti che collegano logica e informazione: il progetto di utilizzare la logica per integrare, manipolare e interpretare l'informazione, e il progetto di utilizzare il concetto di informazione per fornire interpretazioni dei sistemi logici. L'elemento definisce 'informazione' in un modo che include la disinformazione e la malinformazione e utilizza questo concetto generale di informazione per fornire un'interpretazione di varie logiche paraconsistenti e rilevanti. Integra anche queste logiche nelle teorie contemporanee dell'aggiornamento informativo, della teoria della probabilità e (in modo piuttosto informale) alcune idee dalla teoria della complessità delle dimostrazioni. L'elemento presuppone una certa conoscenza preliminare della logica modale e della sua semantica dei mondi possibili, ma fornisce tutto il resto del background necessario.