Brouwer’s Account of Time and Causality in the Logic of Change (CROSBI ID 656094)
Prilog sa skupa u zborniku | sažetak izlaganja sa skupa | međunarodna recenzija
Podaci o odgovornosti
Restović, Ivan
engleski
Brouwer’s Account of Time and Causality in the Logic of Change
I will argue that concepts of time and causality are fundamental to understanding intuitionism and, consequently, intuitionistic logic. L. E. J. Brouwer had an extensive theory of temporal and causal awareness, which incorporates his views about mathematics and logic, including the infamous rejection of P ∨ ¬P. I will propose a formalisation of Brouwer’s fundamental concepts via Logic of change (LCG), proposed by Kordula Świętorzecka. The hallmark operators of LCG: C and G are offered a causal and temporal interpretations, respectively.
causality, intuitionism, logic of change (LCG), time
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
11-11.
2017.
objavljeno
Podaci o matičnoj publikaciji
Formal Methods and Science in Philosophy
Kovač, Srećko ; Świętorzecka, Kordula
Zagreb: Institut za filozofiju
Podaci o skupu
Formal Methods and Science in Philosophy II
predavanje
04.05.2017-06.05.2017
Dubrovnik, Hrvatska