Daniela Vacek (née Glavaničová) is the project's principal investigator. She is a researcher at the Institute of Philosophy, Slovak Academy of Sciences, public research institution, and at Faculty of Arts, Comenius University in Bratislava, Slovakia. She focuses on Transparent intensional logic (TIL), analytic aesthetics, responsibility, deontic logic and (ethics and law of) artificial intelligence. In 2018, she was a visiting postgraduate student at the University of York, UK. She defended her dissertation in 2020. In 2021, she received an award for young researchers from Slovak Academy of Sciences. She was visiting the University College London/University of Oxford based ERC project Roots of Responsibility during the second term of 2021/2022. She has published papers in important journals such as Analysis, Erkenntnis, British Journal of Aesthetics, Science and Engineering Ethics, Logic and Logical Philosophy, Estetika, among others, and chapters in publishing houses such as Springer, Peter Lang, and College Publications. In the present project, she focuses on the application of Tichý's ontology in philosophy of fiction and on the semantics of names in religious discourse.
Marie Duží is a project member and a full professor of computer science at the VSB-Technical University of Ostrava, Czech Republic. She is one of the leading figures in TIL. She graduated in mathematics and worked in various software companies in then Czechoslovakia. After the revolution, she became an assistant professor at the Charles University of Prague. In 2010, she published (with Bjørn Jespersen and Pavel Materna) the book Procedural Semantics for Hyperintensional Logic; Foundations and Applications of Transparent Intensional Logic, Berlin: Springer. In this book, the development of TIL theoretical foundations and their practical applications have been presented. Marie Duží has dealt with many applications of TIL in natural-language processing: propositional and notional attitudes, property modifiers, tenses and truth conditions, topic-focus articulation, presupposition, among others. She also applied TIL in the analysis and design of question-answering systems over large corpora of natural language texts and in multi-agent systems. Another area under her scrutiny was the analysis of St. Anselm's ontological arguments, particularly that of Proslogion III, which was first analysed by Pavel Tichý in his 1979 paper. She published more than a hundred papers indexed in WoS and Scopus and three books mostly on TIL, gave invited talks all over the world and participated in many significant conferences.
Miloš Kosterec is a project member based at the Institute of Philosophy, Slovak Academy of Sciences, public research institution, Slovakia. He has published in leading philosophical journals, such as Erkenntnis, Synthese, Journal of Philosophical Logic, and Analysis. He received several national awards for his work. In the project, he investigates the semantic theories of empty or fictional names within the framework of Transparent Intensional Logic (TIL). He studies the formal properties of the system as well as its applications within a wide range of philosophical problems (the problem of logics for hyperintensional contexts, the problems of co-hyperintensionality, (intensional) essentialism, the problem of varying domains of universe, and so forth). He also focuses on the type assignment to the putative names of gods and the correct model of their
hyperintensional counterparts within the framework of TIL. The
investigation also consists in checking the strengths of TIL with
respect to various metaphysical assumptions concerning the denotata (if any) of such terms.
Martin Vacek is a project member based at the Institute of Philosophy, Slovak Academy of Sciences, public research institution, Slovakia, where is the head of the Department of Analytic Philosophy, deputy director, and a member of the Scientific Board. He did his MA in Leeds and PhD in Slovakia. He was a visiting student in Australia in 2014 and 2015. In Autumn 2021, he was a visiting researcher at the University of Bristol. From April 2022, Vacek visits
research interests focus on metaphysics, modality, and
hyperintensionality. He has published two books and several research
papers on these topics. He has delivered numerous talks across the globe. He is the Editor-if-Chief of a journal Organon F and he organises the Modal Metaphysics: Issues on
the (Im)Possible conference. Check out his webpage for more: www.martinvacek.com
Bridger Landle is a project member based at the University of York, United Kingdom.
William Kilborn is a project member based at the University of York, United Kingdom.