prof. PhDr. BcA. Jiří Raclavský, Ph.D.

Curriculum vitae

Name, scientific degrees

• prof. PhDr. Jiří Raclavský, Ph.D., 1974, Brno,  married,  two children

Affiliation

• Department of Philosophy, Faculty of Arts, Masaryk University

Current position

• full professor

Education and academic qualifications

• Education:
• Faculty of Arts, Masaryk University, Brno 1993-1999, Philosophy and Musicology, Mgr. (=MA)
• Faculty of Music, Janáček Academy of Musical Arts, Brno 1996-2000, Composition, BcA.
• postgraduate student of Department of Philosophy), Faculty of Arts, Masaryk University, Brno 1999-2003,  thesis: Logical Analysis of Notional Attitudes
• Degrees:
• prof. (= full professor) (Masaryk University / Czech Rep., 2016), philosophy
• doc. (= associate professor) (Masaryk University, 2010), habilitation thesis: Names and Descriptions:Logico-Semantical Investigations
• PhDr. (Masaryk University, 2007), on the basis of Ph.D. thesis
• Ph.D. (Masaryk University, 2003), thesis: Logical Analysis of Notional Attitudes
• Mgr. (Masaryk University, 1999), thesis: Individua v logické  sémantice [Individuals in Logical Semantics]
• BcA. (Janáček Academy of Musical Arts, 1999), thesis: Tónové skupiny jako uspořádané množiny [Tone-Groups as Ordered Set]

Professional experience

• 2016-20??: full professor MU
• 2010-2016: associate professor MU
• 2003-2010: assistant professor MU
• 2002-2003: lecturer MU
• 1999-2002: internal postgraduate and lecturer MU

Teaching activities

• Introductory Formal Logic
• Philosophical Logic
• Non-classical Logic
• Informal Logic and Critical Thinking
• Logic and Computing/AI

Research activities

• Type theory (partial, applied)
• Philosophical/non-classical logic
• Formal semantics (propositional attitudes, modality/knowledge, descriptions)
• Semantic/Epistemic paradoxes

Professional stays abroad

• 2023 (Nov): Department of Philosophy, University in Oviedo. Oviedo (Spain) (Erasmus)
• 2023 (May): Department of Philosophy, Silesia University, Katowice (Poland) (Erasmus)
• 2018 (Nov): Institute for Logic, Language and Computation (ILLC), Amsterdam (the Netherlands) (Erasmus)
• 2015 (Dec): Department of Philosophy, Stockholm University, Stockholm (Sweden) (Erasmus)
• 2015 (Nov): Katedra logiki i metodologii nauk, Universitet Wroclawski (Poland)
• 2015 (Jun): Munich Centre for Mathematical Philosophy (MCMP), Ludwig Maxmilians Universität Munich (LMU), Munich (Germany)
• 2015 (May): Institute for Logic, Language and Computation (ILLC), Amsterdam (the Netherlands)
• 2014 (Nov): Department of logic, Univerzita Karlova, Praha (Czech republic)
• 2014 (May): Lehrstuhl für Theoretische Philosophie, Universität Regensburg (Germany)
• 2013 (May): Chair of Logic and Cognitive Sciences, Adam Mickiewicz university, Poznań (Poland)
• 2012 (Apr): Katedra logiky a metodológie vied, Komenský University, Bratislava (Slovakia)
• 2011 (Oct): Institut of philosophy, Warsaw University, Warsaw (Poland)
• 2011 (May): Katedra logiky a metodológie vied, Komenský University, Bratislava (Slovakia)
• 2000 (May): Seminar für Logik und Grundlagenforschung, Bonn Universität, Bonn (Germany), Studienstiftung des Deutsches Volke, Česko-německý fond budoucnosti)

Other academic activities, research projects, grants

• various committees (e.g. in national grant agency), several national/university grants, participation within international grants

Non-university activities

• Organizer and member of scientific boards of various international and national conferences.
• Anonymous referee for grant agencies, academies of sciences, and universities (national/abroad).
• Member or chair of various study evaluation boards.
• Anonymous referee for numerous international and national logical and philosophical journals.

Most significant professional accomplishments

• The FF MU Dean Prize for Important Scientific Contribution 2016 - the book Transparent intensional logic as characteristica universalis and calculus rationator (with co-authors: P. Kuchynka and I. Pezlar; in Czech).
• Vice-president of Společnost Kurta Gödela v Brně.
• Member of The Association for Logic, Language and Information (FoLLi).
• Selected recent talks (around ninety presentations in total, incl. some national ones):
• 2021: Novel rules of beta-conversion in partial type theory. 27th International Conference on Types for Proofs and Programs (TYPES2021), (Netherlands)
• 2021: Completeness in Partial Type Theory. Non-Classical Modal and Predicate Logics (NCMPL2021), Bochum (Germany).
• 2020: Inevitable Restrictions on the Explication of the Notions of Knowledge, Belief, Necessity and Truth. In 10th European Congress of Analytical Philosophy (ECAP10), Utrecht (the Netherlands)
• 2017: Partiality of Propositions and Existential Import of Modal / Non-Modal Categorical Statements. In Non-classical Modal and Predicate Logics (NCMPL 2017), Guangzhou (China)
• 2012: Russell's Propositional Functions from the Viewpoint of Tichý's Type Theory, Institut d'histoire et de Philosophie des Sciences et des Techniques (IHPST), Paris 1 Sorbonne (France)

Selected publications

• KUCHYŇKA, Petr a Jiří RACLAVSKÝ. Completeness in partial type theory. Journal of Logic and Computation. Oxford, UK: Oxford University Press, 2024, roč. 34, č. 1, s. 1-32. ISSN 0955-792X. Dostupné z: https://dx.doi.org/10.1093/logcom/exac089. URL info
• RACLAVSKÝ, Jiří. The Rule of Existential Generalisation and Explicit Substitution. Logic and logical philosophy. Nicolas Copernicus University Press, 2022, roč. 31, č. 1, s. 105-141. ISSN 1425-3305. Dostupné z: https://dx.doi.org/10.12775/LLP.2021.011. URL info
• RACLAVSKÝ, Jiří. Puzzles of Existential Generalisation from Type-theoretic Perspective. Online. In Indrzejczak, Andrzej; Zawidski, Michal. Electronic Proceedings In Theoretical Computer Science (358). SYDNEY, 00000, AUSTRALIA: OPEN PUBL ASSOCOPEN PUBL ASSOC,, 2022, s. 68-83. ISSN 2075-2180. Dostupné z: https://dx.doi.org/10.4204/EPTCS.358.6. URL info
• RACLAVSKÝ, Jiří. Belief Attitudes, Fine-Grained Hyperintensionality and Type-Theoretic Logic. 1. vyd. London: College Publications, 2020, 243 s. Studies in Logic 88. ISBN 978-1-84890-334-0. URL info
• RACLAVSKÝ, Jiří. Existential Import and Relations of Categorical and Modal Categorical Statements. Logic and Logical Philosophy. Torun: Nicolaus Copernicus University Scientific Publishing House, 2018, roč. 27, č. 3, s. 271-300. ISSN 1425-3305. Dostupné z: https://dx.doi.org/10.12775/LLP.2017.026. URL info
• RACLAVSKÝ, Jiří. Two Standard and Two Modal Squares of Opposition. In Beziau, Jean-Yves; Basti, Gianfranco. The Square of Opposition: A Cornerstone of Thought. 1. vyd. Cham, Switzerland: Birkhäuser-Springer, 2017, s. 119-142. ISBN 978-3-319-45062-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-45062-9. URL info
• RACLAVSKÝ, Jiří. The Modal Argument against Nominal Description Theory. Kriterion - Journal of Philosophy. Salzburg, 2017, roč. 31, č. 1, s. 77-100. ISSN 1019-8288. https://doi.org/10.1515/krt-2017-310106 info
• RACLAVSKÝ, Jiří. Úvod do logiky: klasická výroková logika. 1. vyd. Brno: Masarykova univerzita, 2015, 238 s. ISBN 978-80-210-7790-4. info
• RACLAVSKÝ, Jiří. Úvod do logiky: klasická predikátová logika. 1. vyd. Brno: Masarykova univerzita, 2015, 348 s. ISBN 978-80-210-7867-3. info
• RACLAVSKÝ, Jiří. Explicating the Notion of Truth Within Transparent Intensional Logic. In Ciuni, R.; Wansing, H.; Willkomen, C. Recent Trends in Philosophical Logic. 1. vyd. New York, Dordrecht. London, Heidelberg: Springer, 2014, s. 167-177. ISBN 978-3-319-06079-8. Dostupné z: https://dx.doi.org/10.1007/978-3-319-06080-4_12. URL info
• RACLAVSKÝ, Jiří. Semantic paradoxes and transparent intensional logic. In Peliš Michal; Punčochář Vít. The Logica Yearbook 2011. 1. vyd. London: College Publications, 2012, s. 239-252. ISBN 978-1-84890-071-4. info
• RACLAVSKÝ, Jiří. Jména a deskripce: logicko-sémantická zkoumání. 1. vyd. Olomouc: Nakladatelství Olomouc, 2009, 396 s. mimo edice. ISBN 978-80-7182-277-6. info

2024/06/27