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)
