Srećko Kovač

 

Publications (selected)

  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)

  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 LogicLogica Universalis WebinarWorld 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 PhilosophyKurt 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).

 

 

Scholar Emeritus, PhD

 

Institute of Philosophy

a public research institute of the Republic of Croatia (since 1993, at the University of Zagreb 1991-1993)

Ul. grada Vukovara 54/IV

10000 Zagreb, Croatia

1991-2022

Senior Research Fellow in Permanent Status, retired

member of the Research Council

 

skovaczg-at-gmail.com

 

titled Full Professor in Permanent Status

Croatian Studies of the University of Zagreb, 1992-2017, external fellow

 

Institute of Historical research (Department of the History of Philosophy) at the University of Zagreb, 1986-1991

 

   Board of the Croatian Science Foundation, member.

   Center for the Study of the Relationship of Science and Religion (Faculty of Philosophy and  Religious Studies, University of Zagreb), member of the Philosophers Council.

   Conference series Formal Methods and Science in Philosophy (IUC, Dubrovnik), member of the organizing committee. Bulletin of the Section of Logic 20 (2020), 2 (special issue).

   Editorial board of the journal  Logica Universalis, member.

   World congress and school UNILOG (2018, 2022), member of the scientific committee

   President of the Croatian Logic Association 2020-2022.

 

            https://orcid.org/0000-0002-6122-5145  PhilPeople

 

 

Publications and conferences (selection below)