engleski

Logics of the "Exodus of Consciousness"

According to Brouwer, intuition is not given a priori. In its full name, this "basic intuition of mathematics" he also calls "the empty two- ity", as opposed to a non-empty one. The former is constituted out of the latter by eliminating all sensational content. Original mathematical intuitionism is only a part of a larger structure, Brouwer's theory of the "exodus of consciousness". We propose a formal account of the said theory. The first two "phases" of the exodus of consciousness are formally described by the "simple logic of the exodus of consciousness", LEC. As a starting point we use the logic of change LCG proposed in 2007 by Świętorzecka. We add to the language of LCG four interdefinable unary predicates standing for Brouwer's fundamental notions: egoicity, estrangement, desire and apprehension. The relations among these predicates are represented by the logical hexagon. The remaining phases of the exodus are formally described by a modal, "extended logic of the exodus of consciousness", LEC+. Based on Brouwer's definition of a causal sequence, we propose a truth condition for causal propositions. Causal relations are depicted by axiomatic schemata.

logic of change LCG, egoicity ; estrangement ; desire ; apprehension ; logical hexagon ; causality

nije evidentirano