Reasoning about conscious experience with axiomatic and graphical mathematics

  title={Reasoning about conscious experience with axiomatic and graphical mathematics},
  author={Camilo Miguel Signorelli and Quanlong Wang and Bob Coecke},
  journal={Consciousness and Cognition},

Tables from this paper

A non-anyonic qudit ZW-calculus
A new type of qudit ZW-calculus which has generators and rewriting rules similar to that of the qubit Zwcalculus and is also universal for pure qudit quantum computing.
Explanatory profiles of models of consciousness - towards a systematic classification
It is argued that different models explicitly or implicitly subscribe to different notions of what constitutes a satisfactory explanation, use different tools in their explanatory endeavours and even aim to explain very different phenomena.
A Compositional Model of Consciousness Based on Consciousness-Only
This work sets up a framework which naturally subsumes one of the main features of consciousness that is characterized as being other-dependent by defining a compact closed category where morphisms represent conscious processes.


Mathematical Models of Consciousness
An account of what warrants mathematical representation of phenomenal experience is given, a general mathematical framework that takes into account consciousness’ epistemic context is derived, and which mathematical structures some of the key characteristics of conscious experience imply are studied.
Consciousness and topologically structured phenomenal spaces
Multilayer networks as embodied consciousness interactions. A formal model approach.
The approach provides a mathematical account of coupling and splitting layers co-arising with more complex experiences, and recovers core structures for conscious experience, dynamical content and causal efficacy of conscious interactions, predicting topological network changes after conscious layer interactions.
Towards new concepts for a biological neuroscience of consciousness
Using these definitions, it is conjecture that consciousness co-arises with the non-trivial composition of biological closure in the form of biobranes and autobrane: conscious processes generate closed activity at various levels and are, in turn, themselves, supported by biob Branes and AutOBranes.
Minimal phenomenal experience
This is the first in a series of instalments aiming at a minimal model explanation for conscious experience, taking the phenomenal character of “pure consciousness” or “pure awareness” in meditation
Generalised compositional theories and diagrammatic reasoning
The use of diagrammatic calculus is illustrated in one particular case, namely the study of complementarity and non-locality, two fundamental concepts of quantum theory whose relationship is explored in later part of this chapter.
Two complete axiomatisations of pure-state qubit quantum computing
Extended versions of ZW and ZX calculus are presented, and their completeness for pure-state qubit theory is proved by a strategy that rewrites all diagrams into a normal form, thus solving two major open problems in categorical quantum mechanics.
The Combination Problem for Panpsychism
Panpsychism, the view that fundamental physical entities have conscious experiences, is an exciting and promising view for addressing the mind–body problem. I have argued in “Panpsychism and
A Diagrammatic Axiomatisation for Qubit Entanglement
  • Amar Hadzihasanovic
  • Mathematics
    2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science
  • 2015
This paper presents a full graphical axiomatisation of the relations between GHZ and W: the ZW calculus, which refines a version of the preexisting ZX calculus, while keeping its most desirable characteristics: undirected ness, a large degree of symmetry, and an algebraic underpinning.
Mathematizing phenomenology
Husserl is well known for his critique of the “mathematizing tendencies” of modern science, and is particularly emphatic that mathematics and phenomenology are distinct and in some sense