Pregled bibliografske jedinice broj: 848764
A formalization of Gödelian causal theory
A formalization of Gödelian causal theory // 15th Congress of Logic, Methodology and Philosophy of Science : Logic Colloquium 2015
Helsinki, 2015. (predavanje, međunarodna recenzija, sažetak, znanstveni)
CROSBI ID: 848764 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
A formalization of Gödelian causal theory
Autori
Kovač, Srećko
Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni
Izvornik
15th Congress of Logic, Methodology and Philosophy of Science : Logic Colloquium 2015
/ - Helsinki, 2015
Skup
Logic Colloquium
Mjesto i datum
Helsinki, Finska, 03.08.2015. - 08.08.2015
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
causality; justification logic; Gödel
Sažetak
A Gödelian causal theory is formalized on the ground of his onto-theological system modified by means of justification logic.
Izvorni jezik
Engleski
Znanstvena područja
Filozofija
POVEZANOST RADA
Projekti:
2013/08/M/HS1/00439
National Science Centre-Poland-international cooperation scheme Harmonia
Ustanove:
Institut za filozofiju, Zagreb
Profili:
Srećko Kovač
(autor)