5c65bfb2-2986-4459-89a9-f1524e844c8d20210322045602452wseamdt@crossref.orgMDT DepositWSEAS TRANSACTIONS ON SYSTEMS1109-277710.37394/23202http://wseas.org/wseas/cms.action?id=4067220202022020201910.37394/23202.2020.19http://wseas.org/wseas/cms.action?id=23194Quantifying Daseinisation Using Shannon EntropyRomanZapatrinThe State Russian Museum, Department of Information Technologies, St.Petersburg, RUSSIATopos formalism for quantum mechanics is interpreted in a broader, information retrieval, perspective. Contexts, its basic components, are treated as sources of information. Their interplay, called daseinisation, defined in purely logical terms, is reformulated in terms of two relations: exclusion and preclusion of queries. Then, broadening these options, daseinisation becomes a characteristic of proximity of contexts; to quantify it numerically, Shannon entropy is used.3420203420208285https://www.wseas.org/multimedia/journals/systems/2020/a245103-055.pdf10.37394/23202.2020.19.12http://www.wseas.org/multimedia/journals/systems/2020/a245103-055.pdfA. Doering, C.J. Isham. A Topos Foundation for Theories of Physics: I. Formal Languages for Physics (2007). [quant-ph/0703060]A. Doering, C.J. Isham. A Topos Foundation for Theories of Physics II. Daseinisation and the Liberation of Quantum Theory (2007).[arxiv:quant-ph/0703062]C. Flori, Review of the Topos Approach to Quantum Theory, arXiv:1106.5660 [math-ph]C. Flori, Lectures on Topos Quantum Theory,arXiv:1207.1744 [math-ph]M. Melucci, An investigation of quantum interference in information retrieval, In: Proceedings of the Information Retrieval Facility Conference (IRFC), 2010