Axiomatizing consciousness, with applications

Henk Barendregt,Antonino Raffone
DOI: https://doi.org/10.48550/arXiv.2202.05700
2022-01-23
Abstract:Consciousness will be introduced axiomatically, inspired by Buddhist insight meditation and psychology, logic in computer science, and cognitive neuroscience, as consisting of a stream of $configurations$ that is $compound$, $discrete$, and (non-deterministically) $computable$. Within this context the notions of self, concentration, mindfulness, and various forms of suffering can be defined. As an application of this set up, it will be shown how a combined development of concentration and mindfulness can attenuate and eventually eradicate some of the forms of suffering.
Logic in Computer Science,Artificial Intelligence
What problem does this paper attempt to address?