Pregled bibliografske jedinice broj: 911316
Brouwer’s Account of Time and Causality in the Logic of Change
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 (predavanje, međunarodna recenzija, sažetak, znanstveni)
CROSBI ID: 911316 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Brouwer’s Account of Time and Causality in the Logic of Change
Autori
Restović, Ivan
Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni
Izvornik
Formal Methods and Science in Philosophy
/ Kovač, Srećko ; Świętorzecka, Kordula - Zagreb : Institut za filozofiju, 2017, 11-11
Skup
Formal Methods and Science in Philosophy II
Mjesto i datum
Dubrovnik, Hrvatska, 04.05.2017. - 06.05.2017
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
causality, intuitionism, logic of change (LCG), time
Sažetak
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.
Izvorni jezik
Engleski
Znanstvena područja
Filozofija
POVEZANOST RADA
Projekti:
HRZZ-IP-2014-09-9378 - Logika, pojmovi i komunikacija (LogiCCom) (Kovač, Srećko, HRZZ - 2014-09) ( CroRIS)
Ustanove:
Institut za filozofiju, Zagreb,
Fakultet hrvatskih studija, Zagreb
Profili:
Ivan Restović
(autor)
