Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

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

Restović, Ivan Brouwer’s Account of Time and Causality in the Logic of Change // Formal Methods and Science in Philosophy / Kovač, Srećko ; Świętorzecka, Kordula (ur.). Zagreb: Institut za filozofiju, 2017. str. 11-11

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

Povezanost rada

Filozofija