Pregled bibliografske jedinice broj: 911531
Brouwer's Logic
Brouwer's Logic // Formal Methods and Science in Philosophy / Kovač, Srećko ; Świętorzecka, Kordula (ur.).
Zagreb: Institut za filozofiju, 2015. str. 25-26 (predavanje, međunarodna recenzija, sažetak, ostalo)
CROSBI ID: 911531 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Brouwer's Logic
Autori
Restović, Ivan
Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, ostalo
Izvornik
Formal Methods and Science in Philosophy
/ Kovač, Srećko ; Świętorzecka, Kordula - Zagreb : Institut za filozofiju, 2015, 25-26
Skup
Formal Methods and Science in Philosophy
Mjesto i datum
Dubrovnik, Hrvatska, 26.03.2015. - 28.03.2015
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
intuitionism in mathematics, intuitionistic logic, weak principle of excluded middle
Sažetak
Following the original philosophy of L. E. J. Brouwer, I will lay out some logical principles of our mathematical intuition. After that I will explore whether they are in accordance with intuitionistic logic, developed most notably by Arend Heyting. It is surprising to see that Brouwer takes as valid some principles that are not theorems of Intuitionistic logic. The most prominent example, I will argue, is the weak principle of excluded middle.
Izvorni jezik
Engleski
Znanstvena područja
Filozofija
