Inês Hipólito

With neurons emergence, life alters itself in a remarkable way. This embodied neurons become carriers of signals, and processing devices: it begins an inexorable progression of functional complexity, from increasingly drawn behaviors to the mind and eventually to consciousness [Damasio, 2010]. In which moment has awareness arisen in the history of life? The emergence of human consciousness is associated with evolutionary developments in brain, behavior and mind, which ultimately lead to the creation of culture, a radical novelty in natural history. It is in this context of biological evolution of conscious brains that we raise the question: how conscious brains connect with each other? In order to answer it, I will explore how brain states and conscious states each participate in dynamic interactive processes involving the whole organism. I will argue that a possible way to overcome the hard problem of consciousness might be based on the notion of embodiment as a process of embedding the mental in the living organism relating dynamically with the environment through the sensorymotor experience. In order to do so, I will provide an assembly between an anthropologic perspective of consciousness with contemporary Philosophy of Mind, Interaction Theory [Gallagher 2001, 2008; Zahavi 2001, 2008; Fuchs and De Jaegher 2009].

Kurt Gödel wrote (1964, p. 272), after he had read Husserl, that the notion of objectivity raises a question: “the question of the objective existence of the objects of mathematical intuition (which, incidentally, is an exact replica of the question of the objective existence of the outer world)”. This “exact replica” brings to mind the close analogy Husserl saw between our intuition of essences in Wesensschau and of physical objects in perception. What is it like to experience a mathematical proving process? What is the ontological status of a mathematical proof? Can computer assisted provers output a proof? Taking a naturalized world account, I will assess the relationship between mathematics, the physical world and consciousness by introducing a significant conceptual distinction between proving and proof. I will propose that proving is a phenomenological conscious experience. This experience involves a combination of what Kurt Gödel called intuition, and what Husserl called intentionality. In contrast, proof is a function of that process — the mathematical phenomenon — that objectively self-presents a property in the world, and that results from a spatiotemporal unity being subject to the exact laws of nature. In this essay, I apply phenomenology to mathematical proving as a performance of consciousness, that is, a lived experience expressed and formalized in language, in which there is the possibility of formulating intersubjectively shareable meanings.