Srećko Kovač Home Page

Srećko Kovač

Publications (selected)

Sustavna cjelina i fragment. - Filozofija u potrazi za samom sobom: Zbornik u čast Branka Despota, I. Mikecin (ed). Zagreb: Sveučilište u Zagrebu, Filozofski fakultet, 2024.

with J.-Y. Béziau, J. Lemanski: Neue Forschung zur formalen Logik bei Kant. - Klassische deutsche Philosophie: Wege in die Zukunft, M. Lewin (ed.), Paderborn: Brill | Mentis, 2024, pp. 19-44.

Korijeni pojmova oblika i tvari: začetci filozofije u praslavenskom mitu i hrvatskoj predaji. - Medhótá śrávah II: Misao i slovo. Zbornik u čast Mislava Ježića povodom sedamdesetoga rođendana, I. Andrijanić, M. Grčević, B. Marotti, R. Matasović (eds.), Zagreb: Hrvatska akademija znanosti i umjetnosti, 2023. pp. 339-355

The identity and continuity of Croatian philosophy. - Prilozi za istraživanje hrvatske filozofske baštine, 48 (2022) 2; 287-304. DOI: 10.52685/pihfb.48.2(96).1

Machines, logic and Wittgenstein. - Philosophia 49 (2021), 2103–2122. DOI: 10.1007/s11406-021-00365-z . Manuscrip (AAM).

Immanuel Kant: Logic. - Internet Encyclopedia of Philosophy, J. Fieser, B. Dowden (eds.), https://www.iep.utm.edu/, 16.06.2020.

Blackburn, P., Kovač, S., Świętorzecka, K. (eds.): Formal Methods and Science in Philosophy. - Bulletin of the Section of Logic 49 (2020) 2, special issue. DOI: 10.18778/0138-0680.2020.06

Remarks on the origin and foundations of formalisation. - Formal and Informal Methods in Philosophy, M. Będkowski, A. Brożek, A. Chybińska, S. Ivanyk, D. Traczykowski (eds.), Leiden: Brill Rodopi, 2020, pp. 163-179. DOI: 10.1163/9789004420502_010. PhilArchive.

Logical foundations and Kant’s principles of formal logic. - History and Philosophy of Logic 41 (2020) 1, 48-70. Publ. online 29. Nov. 2019. DOI: 10.1080/01445340.2019.1682410

Proofs, necessity and causality. - Aventuras en el Mundo de la Lógica: Ensayos en Honor a María Manzano, E. Alonso, A. Huertas, A. Moldovan (eds.). London: College Publications, 2019, pp. 239-263.

The 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.

On causality as the fundamental concept of Gödel’s philosophy. - Synthese 197 (2020), 1803-1838. Published 2018. https://doi.org/10.1007/s11229-018-1771-2

Concepts, space-and-time, metaphysics. - God, Time, Infinity, M. Szatkowski (ed.). Berlin, etc.: de Gruyter, 2018. DOI: 10.1515/9783110594164-005. PhilArchive.

Berislav Žarnić (1959-2017). - Prolegomena 16 (2017) 1, 75-82.

with M. Girardi Karšulin: Dragišićeva logika. - Juraj Dragišić (Georgius Benignus): život i djela, E. Banić Pajnić, B. Ćurko, M. Girardi-Karšulin, I. Martinović (eds.), Zagreb: Institut za filozofiju, 2016, pp. 51-78 .

Causal Interpretation of Gödel’s Ontological Proof . - Gödel’s Ontological Argument: History, Modifications and Controversies, K. Świętorzecka (ed.), Warsaw: Semper, 2015, pp. 327-340.

with K. Świętorzecka: Gödel’s “Slingshot” Argument and His Onto-Theological System. - Gödel’s Ontological Argument: History, Modifications and Controversies, K. Świętorzecka (ed.), Warsaw: Semper, 2015, pp. 123-162.

Logic and truth in religious belief. - God, Truth, and Other Enigmas, M. Szatkowski (ed.), Boston, Berlin, New York: de Gruyter, 2015, pp. 85-99. DOI: 10.1515/9783110418934-012. PhilArchive.

Causality and Attribution in an Aristotelian Theory. — The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau, A. Koslow, A. Buchsbaum (eds.), vol. 1, Cham, Heidelberg, etc.: Springer-Birkhäuser, 2015, pp. 327-340.

Logika opravdanja u Boškovićevoj indukciji [Justification Logic in Bošković's Induction]. - Filozofija Ruđera Josipa Boškovića, N. Stanković, S. Kutleša and I. Šestak (eds.), Zagreb: Filozofsko-teološki institut Družbe Isusove, 2014, pp. 153-168.

Forms of judgment as a link between mind and the concepts of substance and cause (Kant, Gödel). - Substantiality and Causality, M. Szatkowski, M. Rosiak (eds.), Boston, Berlin, New York: de Gruyter, 2014, pp. 51-66. DOI: 10.1515/9781614518693.51. PhilArchive.

Causation and intensionality in Aristotelian Logic. – Studia Philosophiae Christianae 49 (2013) 2, 117-136.

with B. Žarnić: An outline of the history of the Croatian logic. - Logic in Central and Eastern Europe: History, Science and Discourse, A. Schumann (ed.), University Press of America, 2012, pp. 496-525.

Modal collapse in Gödel’s ontological proof. – Ontological Proofs Today, M. Szatkowski (ed.), Ontos Verlag, 2012, pp. 323-344.

Logical opposition and collective decisions. – Around and Beyond the Square of Opposition, J.-Y. Béziau, D. Jacquette (eds.), Basel [etc.]: Springer, 2012, pp. 341-356.

Logika i vjera. – Suvremena znanost i vjera / Contemporary science and faith, Z. Primorac (ed.) – Mostar: Fakultet prirodoslovno-matematičkih i odgojnih znanosti Sveučilišta u Mostaru, 2011, pp. 51-66. In Croatian.

First-order belief and paraconsistency. - Logic and Logical Philosophy, 18 (2009) 2, 127-143.

In what sense is Kantian principle of contradiction non-classical? - Logic and Logical Philosophy, 17 (2008) 3, 251-274.

Kovač, S., Žarnić, B: Logička pitanja i postupci. Zagreb: KruZak, 2008. - A textbook in Croatian (Engl. title: Logical questions and procedures).

Gödel, Kant and the path of a science. - Inquiry, 51 (2008) 2, 147-169. DOI: 10.1080/00201740801956861

Contradictions, objects, and belief. - In Béziau, J.-Y., Costa-Leite, A. (eds.), Perspectives on Universal Logic, Monza: Polimetrica, 2007, pp. 417-434.

Logic. - Dictionary entry. In G. Sica (ed.), The Language of Science. Monza: Polimetrica Onlus, 2007.

Meršić o Hilbertovoj aksiomatskoj metodi. - Zbornik u čast Franji Zenku, Banić-Pajnić; E., Girardi-Karšulin M. (eds.), Zagreb: Institut za filozofiju, 2006, pp. 123–135. In Croatian.

Logičko-filozofijski ogledi. - Zagreb, 2005. - A book in Croatian (Engl. title: Logical –Philosophical Papers). PhilArchive.

Logika. - 8th edition. Zagreb, 2004. - A logic textbook in Croatian.

Some weakened Gödelian ontological systems. - Journal of Philosophical Logic, 32 (2003) 6, 565-588. - Corrections.

Die kroatische Philosophie des 19. Jahrhunderts, Čučić und Marković. Ein Überblick. - J. Zovko (hrsg.), Kroatische Philosophie im europäischen Kontext, Sankt Augustin: Gardez!, 2003, pp. 93-110.

Filozofija iznova kao znanost. - Filozofska istraživanja, 21 (2001) 2-3, 455-462. In Croatian.

Marković i algebarska logika. - P. Barišić (gl. ur.), Otvorena pitanja povijesti hrvatske filozofije, Zagreb: Institut za filozofiju, 2000, pp. 363-376. In Croatian.

Quine’s Platonism and Antiplatonism.- Synthesis Philosophica, 14 (1999) 1-2, 45-52.

Die Anfänge der Kantrezeption in Kroatien. - Synthesis philosophica, 8 (1993) 2, 345-352.

Conferences, talks (selected)

The role of objectivity in the foundations of logic: Some perspectives of the beginnings of modern logic. - Formal Methods and Science in Philosophy V. Dubrovnik, May 16-18, 2024.

Time: Idealization and reality. - Gödel and Kant on Mathematics and Physics. University of Tübingen, October 11-13, 2023.

Norms, counter-norms, and ontological proof. - Formal Methods and Science in Philosophy IV. Dubrovnik, April 21-23, 2022.

Logic and philosophy. - Round table The Exceptionality of Logic. Logica Universalis Webinar, World Logic Day 2022, January 14, 2022, online.

Theistic foundations of logic. - Logic and Religion on the World Logic Day. January 14, 2021, online (Streamyard), R. Silvestre and J.-Y. Béziau, co-chairs of the OC.

Evidence, modalities, and causation in Gödel's Formal Philosophy. - Kurt Gödel: Philosophical Views, Workshop, Berlin, 27.2.2019.

The formal and the informal in the foundations of logic. - Formal and Informal Methods in Philosophy, Warsaw, 25.-27.6.2018.

Evidence and self-evidence in the foundations of logic. - 6th World Congress on Universal Logic, Vichy, 21.-26.6.2018.

Concepts as intensions. - Research Workshop on Hybrid Intensional Logic. Salamanca, 10.-11.11.2017.

with I. Martinović: The Croatian reception of Hilbert’s axiomatic method. - The Reception of Hilbert’s Axiomatic Methods in Central and Eastern Europe. Brno, 3.10.2017.

The concept of possibility in ontological proofs. - 2nd World Congress on Logic and Religion. Warsaw, 18.-22.6.2017.

Logical laws in a formalization of a Kantian concept theory. - Formal Methods and Science in Philosophy II , Dubrovnik, 4.-6.5.2017

A Gödelian logic of causality. - Non-Classical Logic. Theory and Applications. Toruń, 24.-26.9.2015.

Concepts and time in religious discourse. - God, Time, Infinity. Warsaw, 22.-24.9.2015.

Formal and transcendental logic.—Naming Logic(s), in frame of 15th Congress of Logic, Methodology and Philosophy of Science, Helsinki, 3-8.8.2015.

Causal interpretation of Gödel's ontotheology. - Formal Methods and Science in Philosophy, Dubrovnik, 26-28/3/2015.

with K. Świętorzecka: Gödlovski argument slingshot i jego kontekst filozoficzny. - Konferencja Historii Logiki, Kraków, 21-22/3/2014.

Logic and truth in religious belief. - God, Truth, and other Enigmas. Warsaw, 17-19/9/2013.

Causality as a central concept of Gödel’s philosophy. - Kurt Gödel Philosopher: From Logic to Cosmology, Aix-en-Provence, 11-13/7/2013.

Proof and Causation.— 4th World Congress on Universal Logic, Rio de Janeiro, 3.-7/4/2013.

Gödel’s ontological system and justification logic. - Trends in Logic XI: Advances in Philosophical Logic, Bochum, 3-5/6/2012.

Logical opposition and collective decisions. - 2nd World Congress on the Square of Opposition. Corte (Corsica), 17-20/6/2010.

Logical principles and the square of opposition. - Logical Foundations of Metaphysics. Dubrovnik, 19-24/5/2008.

Agents, intensions, and paraconsistency. - 2nd World Congress and School on Universal Logic (Unilog’07), Xi’an (China), 16-22/8/2007.

A logic of objects and appearances; Logic and knowledge (workshop). - Logical Foundations of Metaphysics. Dubrovnik, 21-25/5/2007.

Objects in belief: a consistency problem. - 8th Rijeka International Conference: Analytic Philosophy — Logical Investigations (APLI). - Rijeka, 9-10/6/2006.

Impossibilities, identities, and belief. - 2005-06 Winter Meeting of the ASL, New York, 27-9/12/2005.

Clusters and modes of presentation. - 1st World Congress on Universal Logic (Unilog’05), Montreux, 31/3-3/4/2005.

Kant from Gödel’s viewpoint. - Kant - 200 Years After, Zagreb, 5-6/11/2004.

Belief and identity of objects. - 12th International Congress of Logic, Methodology and Philosophy of Science, Oviedo, 7-13/8/2003.

Weakened Gödelian ontological systems. - Logic Colloquium 2002, Münster, 3-11/8/2002.

Gödel and Kant on ontological proof. - Logic Colloquium 2001, Vienna, 6-11/8/2001.

Research projects

Antipsychologistic conceptions of logic and their reception in Croatian philosophy, 2024-2027. Institute of Philosophy, Zagreb; Ministry of Science and Education of the Republic of Croatia. Funded by the European Union—NextGenerationEU.

Fundamental logical concepts, 2019-2022, internal research project of the Institute of Philosophy, Zagreb

Logic, Concepts, and Communication, 2015-2017, Croatian Science Foundation, principal investigator; collaborators: Kordula Świętorzecka, Majda Trobok, Berislav Žarnić (1959-2017), PhD students Gabriela Bašić (PhD 2020), Goran Lojkić (PhD 2018), Ivan Restović (PhD 2019), Kristina Šekrst (PhD 2022).

Gödel’s ontological argument: history, modifications, extensions, and controversies, 2013-2015, Polish National Science Foundation, collaborator; principal investigator: Kordula Świętorzecka, CSWU Warsaw.– Book Gödel’s ontological argument: history, modifications, extensions, and controversies, K. Świętorzecka (ed.), Warsaw: Semper, 2015.

Logical structures and intentionality, 2007-2013, Croatian Ministry of Science, Education and Sport, principal investigator; collaborators: Majda Trobok, Lada Maleš, Berislav Žarnić.

Teaching: Elementary logic, metatheory, modal logic; Non-classical systems and models; Temporal logic; Logic and time; Logic, knowledge, and belief; Logic and ontology; history of logic. Logical Laws, Justifications, and Causality (CSWU Warsaw, 2013), Kant’s Logic (World School on Universal Logic, Istanbul, 2015), Kurt Gödel: Philosophical Views (participation in workshop and block seminar, FU Berlin, 2019), Logic and Machines (Philosophy and Technology, Institute of Philosophy, Zagreb, 2019).