Reasoning about conscious experience with axiomatic and graphical mathematics.

We cast aspects of consciousness in axiomatic mathematical terms, using the graphical calculus of general process theories (a.k.a symmetric monoidal categories and Frobenius algebras therein). This calculus exploits the ontological neutrality of process theories. A toy example using the axiomatic calculus is given to show the power of this approach, recovering other aspects of conscious experience, such as external and internal subjective distinction, privacy or unreadability of personal subjective experience, and phenomenal unity, one of the main issues for scientific studies of consciousness. In fact, these features naturally arise from the compositional nature of axiomatic calculus.

Cognitive Structures of Space-Time.

In physics, the analysis of the space representing states of physical systems often takes the form of a layer-cake of increasingly rich structure. In this paper, we propose an analogous hierarchy in the cognition of spacetime. Firstly, we explore the interplay between the objective physical properties of space-time and the subjective compositional modes of relational representations within the reasoner. Secondly, we discuss the compositional structure within and between layers. The existing evidence in the available literature is reviewed to end with some testable consequences of our proposal at the brain and behavioral level.

Time asymmetry of probabilities versus relativistic causal structure: an arrow of time.

There is an incompatibility between the symmetries of causal structure in relativity theory and the signaling abilities of probabilistic devices with inputs and outputs: while time reversal in relativity will not introduce the ability to signal between spacelike separated regions, this is not the case for probabilistic devices with spacelike separated input-output pairs. We explicitly describe a nonsignaling device which becomes a perfect signaling device under time reversal, where time reversal can be conceptualized as playing backwards a videotape of an agent manipulating the device. This leads to an arrow of time that is identifiable when studying the correlations of events for spacelike separated regions. Somewhat surprisingly, although the time reversal of Popescu-Rohrlich boxes also allows agents to signal, it does not yield a perfect signaling device. Finally, we realize time reversal using postselection, which could to lead experimental implementation.