Naslov
Logics of the "Exodus of Consciousness"

Autori
Restović, Ivan

Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni

Izvornik
Formal Methods and Science in Philosophy III / Kovač, Srećko ; Świętorzecka, Kordula - Zagreb : Institut za filozofiju, 2019, 25-26

Skup
Formal Methods and Science in Philosophy III

Mjesto i datum
Dubrovnik, Hrvatska, 11.04.2019. - 13.04.2019

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
logic of change LCG, egoicity ; estrangement ; desire ; apprehension ; logical hexagon ; causality

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Filozofija

POVEZANOST RADA