Srećko Kovač

 

Recent research projects

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

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

             - seminar Gödel’s Ontological Argument: Supplements and History, Warsaw, 20.9.3013.

             - seminar Relational Extensions of Gödel’s Ontological Argument, CSWU  Warsaw, 14-15.2.2014, programme;

             - conference Formal Methods and Science in Philosophy (session on Gödel’s ontological argument), Dubrovnik, IUC, 26-28.3.2015.

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

 

Research Group: Warsaw Circle for the Study of the Ontology of Thomas Aquinas in  International Center for Formal Ontology (ICFO), Warsaw.

 

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

PhD supervisor: Goran Lojkić (PhD 2018), Ivan Restović (PhD 2019), Kristina Šekrst.

 

Publications (selected)

   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.

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

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

  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.

  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.

  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.

  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.

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

  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. - Pdf, 144 KB

 

Conferences (selected)

  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.

 

 

 

Professor, PhD

 

Institute of Philosophy

a public research institute of the Republic of Croatia

Ul. grada Vukovara 54/IV

10000 Zagreb, Croatia

 

skovac-at-ifzg.hr

Senior research fellow

 

Professor of logic

(University of Zagreb, Croatian Studies, Postgraduate doctoral programme in philosophy)