Pregled po CROSBI profilu: Srećko Kovač (CROSBI Profil: 12381, MBZ: 136411)
Pronađeno 137 radova
-
26.Kovač, SrećkoThe formal and the informal in the foundations of logic // Formal and Informal Methods in Philosophy
Varšava, Poljska, 2018. (pozvano predavanje, međunarodna recenzija, neobjavljeni rad, znanstveni) -
27.Kovač, SrećkoEvidence and self-evidence in the foundations of logic // Handbook of the 6th World Congress and School on Universal Logic / Béziau, Jean-Yves ; Buchsbaum, Arthur ; Rey, Christoph (ur.).
Vichy: Université Clermont-Vichy, 2018. str. 255-255 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
28.Kovač, SrećkoConcepts, space-and-time, metaphysics (Kant and the dialogue of John 4) // God, Time, Infinity / Szatkowski, Mirosław (ur.).
Berlin : Boston: Walter de Gruyter, 2018. str. 61-85 doi:9783110594164-005 (pozvano predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
29.Kovač, SrećkoOn causality as the fundamental concept of Gödel’s philosophy // Synthese, online first (2018), 1771, 36 doi:10.1007/s11229-018-1771-2 (međunarodna recenzija, članak, znanstveni)
-
30.Kovač, SrećkoThe concept of possibility in ontological proofs // The 2nd World Congress on Logic and Religion
Varšava: Institute of Philosophy, University of Warsaw, 2017. str. 48-48 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
31.Kovač, SrećkoLogical laws in a formalization of a Kantian concept theory // Formal Methods and Science in Philosophy / Kovač, Srećko ; Świętorzecka, Kordula (ur.).
Zagreb: Institut za filozofiju, 2017. str. 7-7 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
32.Kovač, SrećkoBerislav Žarnić (1959-2017) // Prolegomena, 16 (2017), 1; 75-82 (međunarodna recenzija, nekrolog, stručni)
-
33.Kovač, SrećkoConcepts as intensions // Research Workshop on Hybrid Intensional Logic
Salamanca, Španjolska, 2017. (pozvano predavanje, međunarodna recenzija, neobjavljeni rad, znanstveni) -
34.Kovač, Srećko; Martinović, IvicaThe Croatian Reception of Hilbert's Axiomatic Method // The reception of Hilbert's axiomatic method in Central and Eastern Europe
Brno, Češka Republika, 2017. str. 5-5 (pozvano predavanje, međunarodna recenzija, sažetak, znanstveni) -
35.Kovač, SrećkoA formalization of Gödelian causal theory // The bulletin of symbolic logic, 22 (2016), 3; 406-406 (podatak o recenziji nije dostupan, sažetak, znanstveni)
-
36.Kovač, SrećkoLogika: za gimnazije
Zagreb: Hrvatska sveučilišna naklada, 2016 -
37.Kovač, SrećkoDokaz mogućnosti Božje opstojnosti (Leibniz - Kant - Gödel) // Božje postojanje i Božji atributi
Zagreb, 2016. (predavanje, sažetak, znanstveni) -
38.Girardi-Karšulin, Mihaela; Kovač, SrećkoDragišićeva logika // Juraj Dragišić: život i djela / Banić-Pajnić, Erna ; Ćurko, Bruno ; Girardi-Karšulin, Mihaela ; Martinović, Ivica (ur.).
Zagreb: Institut za filozofiju, 2016. str. 51-78 -
39.Kovač, SrećkoKant's Logic // Handbook of the 5th World Congress and School on Universal Logic / Béziau, Jean-Yves ; Ural, Safak ; Buchsbaum, Arthur i dr. (ur.).
Istanbul: Istanbul University, 2015. str. 51-54 (pozvano predavanje, međunarodna recenzija, sažetak, znanstveni) -
40.Kovač, SrećkoCausal interpretation of Gödel's ontotheology // Formal Methods and Science in Philosophy
Dubrovnik, 2015. (predavanje, međunarodna recenzija, sažetak, ostalo) -
41.Kovač, SrećkoFormal and transcendental logic // 15th Congress of Logic, Methodology and Philosophy of Science : Logic Colloquium 2015
Helsinki, 2015. (predavanje, međunarodna recenzija, sažetak, ostalo) -
42.Kovač, SrećkoMarković i logika // Filozofijsko djelo Franje Markovića
Zagreb, Hrvatska, 2015. (pozvano predavanje, domaća recenzija, cjeloviti rad (in extenso), ostalo) -
43.Kovač, SrećkoConcepts and time in religious discourse // God, Time, Infinity
Varšava, Poljska, 2015. (pozvano predavanje, međunarodna recenzija, sažetak, ostalo) -
44.Kovač, SrećkoA Gödelian logic of causality // Non-Classical Logic. Theory and Applications
Toruń, 2015. (plenarno, međunarodna recenzija, sažetak, ostalo) -
45.Kovač, SrećkoA 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) -
46.Kovač, Srećko; Świętorzecka, KordulaGödel’s “Slingshot” Argument and His Onto-Theological System // Gödel’s Ontological Argument: History, Modifications and Controversies / Świętorzecka, Kordula (ur.).
Varšava: Wydawnictwo Naukowe Semper, 2015. str. 123-162 -
47.Kovač, SrećkoCausal Interpretation of Gödel’s Ontological Proof // Gödel’s Ontological Argument: History, Modifications and Controversies / Świętorzecka, Kordula (ur.).
Varšava: Wydawnictwo Naukowe Semper, 2015. str. 163-201 -
48.Kovač, SrećkoCausality and Attribution in an Aristotelian Theory // The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau. Vol. 1 / Koslow, Arnold ; Buchsbaum, Arthur (ur.).
Cham : Heidelberg : New York : Dordrecht : London: Springer, 2015. str. 327-340 -
49.Kovač, SrećkoLogic and truth in religious belief // God, Truth and Other Enigmas / Szatkowski, Mirosław (ur.).
Berlin : New York: Walter de Gruyter, 2015. str. 85-99 doi:10.1515/9783110418934-012 (pozvano predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
50.Świętorzecka, Kordula; Kovač, SrećkoGödel's "slingshot" argument and his onto-theological system // LX Konferencja Historii Logiki
Kraków, Poljska, 2014. (predavanje, međunarodna recenzija, neobjavljeni rad, ostalo)