Pregled po CROSBI profilu: Srećko Kovač (CROSBI Profil: 12381, MBZ: 136411)
Pronađeno 137 radova
-
1.Kovač, SrećkoKorijeni pojmova oblika i tvari: začetci filozofije u praslavenskom mitu i hrvatskoj predaji // Medhótá śrávaḥ II: Misao i slovo. Zbornik u čast Mislava Ježića povodom sedamdesetoga rođendana / Andrijanić, Ivan ; Grčević, Mario ; Marotti, Bojan ; Matasović, Ranko (ur.).
Zagreb: Hrvatska akademija znanosti i umjetnosti, 2023. str. 339-355 -
2.Kovač, SrećkoThe Identity and Continuity of Croatian Philosophy // Prilozi za istraživanje hrvatske filozofske baštine, 48 (2022), 2 (96); 287-304 doi:10.52685/pihfb.48.2(96).1 (domaća recenzija, članak, znanstveni)
-
3.Kovač, SrećkoNorms, counter-norms, and ontological proof // Formal Methods and Science in Philosophy IV: Abstracts / Kovač, Srećko ; Swietorzecka, Kordula (ur.).
Zagreb: Institut za filozofiju, 2022. str. 21-22 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
4.Kovač, SrećkoSustavna cjelina i fragment // Filozofija u potrazi za samom sobom : simpozij u povodu 80. rođendana akademika prof. emer. Branka Despota
Zagreb, Hrvatska, 2022. (pozvano predavanje, domaća recenzija, neobjavljeni rad, znanstveni) -
5.Kovač, Srećko"The Bounds of Transcendental Logic" by D. Schulting, Cham, Switzerland, Palgrave Macmillan, 2022 // History and philosophy of logic, online (2022), 1-4 doi:10.1080/01445340.2022.2078596 (međunarodna recenzija, prikaz, znanstveni)
-
6.Kovač, SrećkoLogic and philosophy. // The Exceptionality of Logic. Logica Universalis Webinar
Cham, Švicarska, 2022. (pozvano predavanje, međunarodna recenzija, pp prezentacija, znanstveni) -
7.Kovač, SrećkoO izvorima i temeljima formalizacije // Radovi Znanstvenog centra "Berislav Žarnić" / Bašić Hanžek, Gabriela ; Hanžek, Ljudevit ; Škarica, Dario (ur.).
Split: Filozofski fakultet Sveučilišta u Splitu, 2022. str. 13-28 -
8.Šekrst, KristinaLogička formalizacija evidencije u evidencijalnim jezicima, 2022., doktorska disertacija, Zagreb
-
9.Kovač, SrećkoBojan Marotti, Prema domovini misli: Ogledi o hrvatskoj filozofiji od Markovića do Cipre (Zagreb: Hrvatska sveučilišna naklada, 2019), 488 pp. // Prilozi za istraživanje hrvatske filozofske baštine, 47 (2021), 1; 131-134 doi:10.52685/pihfb (domaća recenzija, prikaz, znanstveni)
-
10.Kovač, SrećkoLogic in Croatia // Logica Universalis Webinar
Heidelberg, Njemačka, 2021. (pozvano predavanje, međunarodna recenzija, pp prezentacija, znanstveni) -
11.Kovač, SrećkoIdentitet i kontinuitet hrvatske filozofije // Hrvatska filozofija: nove teme i interpretacije
Zagreb, Hrvatska, 2021. str. web-stranica 1 (predavanje, domaća recenzija, sažetak, znanstveni) -
12.Kovač, SrećkoTheistic Foundations of Logic // Logic and Religion on the World Logic Day
Campina Grande, Brazil, 2021. (pozvano predavanje, međunarodna recenzija, pp prezentacija, znanstveni) -
13.Kovač, SrećkoDom i svijet hrvatske filozofije: struktura i povijesni aspekti // Domovina, zavičaj, svijet: Zbornik radova povodom 90 godina života Ede Pivčevića / Kutleša, Stipe (ur.).
Zagreb: Institut za filozofiju, 2021. str. 155-176 -
14.Kovač, SrećkoMachines, logic and Wittgenstein // Philosophia, 49 (2021), 5; 2103-2122 doi:10.1007/s11406-021-00365-z (međunarodna recenzija, članak, znanstveni)
-
15.Blackburn, Patrick; Kovač, Srećko; Świętorzecka, KordulaFormal Methods and Science in Philosophy: Introduction to the Special Issue // Bulletin of the Section of Logic, 49 (2020), 2; 105-107 doi:10.18778/0138-0680.2020.06 (međunarodna recenzija, uvodnik, stručni)
-
16.Kovač, SrećkoImmanuel Kant: Logic, 2020. (međunarodna recenzija, natuknica u enciklopediji, leksikonu, rječniku i sl.).
-
17.Kovač, SrećkoRemarks on the Origin and Foundations of Formalisation // Formal and Informal Methods in Philosophy / Będkowski, Marcin ; Brożek, Anna ; Chybińska, Alicja ; Ivanyk, Stepan ; Traczykowski, Dominik (ur.).
Leiden: Brill ; Rodopi, 2020. str. 163-179 doi:10.1163/9789004420502_010 -
18.Kovač, SrećkoLogical Foundations and Kant's Principles of Formal Logic // History and Philosophy of Logic, 41 (2020), 1; 48-70 doi:10.1080/01445340.2019.1682410 (međunarodna recenzija, članak, znanstveni)
-
19.Kovač, SrećkoIn memoriam Zlatko Posavac (1931–2019) // Prilozi za istraživanje hrvatske filozofske baštine, 45 (2019), 2; 573-578 (domaća recenzija, nekrolog, stručni)
-
20.Restović, IvanLogičko-pojmovna struktura Brouwerova intuicionizma, 2019., doktorska disertacija, Fakultet hrvatskih studija, Zagreb
-
21.Kovač, SrećkoProofs, necessity and causality // Aventuras en el Mundo de la Lógica: Ensayos en Honor a María Manzano / Alonso, Enrique ; Huertas, Antonia ; Moldovan, Andrei (ur.)., 2019. str. 239-263
-
22.Kovač, SrećkoFormal Systems and Determinism // Formal Methods and Science in Philosophy III / Kovač, Srećko ; Świętorzecka, Kordula (ur.).
Zagreb: Institut za filozofiju, 2019. str. 14-15 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
23.Kovač, SrećkoEvidence, Modalities, and Causation in Gödel's Formal Philosophy // Kurt Gödel: Philosophical Views
Lahti, 2019. (pozvano predavanje, međunarodna recenzija, pp prezentacija, znanstveni) -
24.Lojkić, GoranRazgranata teorija tipova kao intenzionalna logika, 2018., doktorska disertacija, Hrvatski studiji, Zagreb
-
25.Kovač, SrećkoThe totality of predicates and the possibility of the most real being // Journal of Applied Logics - IfCoLog Journal of Logics and their Applications, 5 (2018), 7; 1523-1552 (međunarodna recenzija, članak, znanstveni)
-
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)
