Curriculum vitae

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


  • * 1974 in Brno, Czechoslovakia (now the Czech Republic)
  • married, two children


  • (2016-): Full Professor, Department of Philosophy, Masaryk University
  • (2010-16): Associate Professor, Department of Philosophy, Faculty of Arts, Masaryk University
  • (2003-10): Assistant Professor, Department of Philosophy, Faculty of Arts, Masaryk University
  • (2002-03): Lecturer, Department of Philosophy, Faculty of Arts, Masaryk University


  • prof. (= full professor, Masaryk University - the Czech Rep., 2016), philosophy
  • doc. (Masaryk University, 2010), habilitation thesis: Jména a deskripce: logicko-sémantická zkoumání [Names and Descriptions: Logico-Semantical Investigations]
  • PhDr. (Masaryk University, 2007), on the basis of the Ph.D. thesis
  • Ph.D. (Masaryk University, 2003), thesis: Logická analýza pojmových postojů [Logical Analysis of Notional Attitudes]
  • BcA. (Janáček Academy of Musical Arts, 1999), thesis: Tónové skupiny jako uspořádané množiny [Tone Groups as Ordered Set]
  • Mgr. (= M.A.) (Masaryk University, 1999), thesis: Individua v logické sémantice [Individuals in Logical Semantics]


  • (1999-2003) postgraduate of Department of Philosophy, Faculty of Arts (FF MU), Masaryk University, Brno, Ph.D.
  • (1996-2000) Musical Composition, Faculty of Music, Janáček Academy of Musical Arts (JAMU), Brno, BcA.
  • (1993-1999) Philosophy and Musicology, Faculty of Arts (FF MU), Masaryk University, Brno, Mgr. (= M.A.)


  • hyperintensional logic, intensional logic, philosophy of logic
  • type theory
  • truth and other semantic concepts, semantic paradoxes
  • applications of type theory in formal ontology
  • applications of type theory in the philosophy of language

Courses/topics recently taught

  • Introductory Logic
  • Philosophical Logic
  • Non-Classical Logic
  • Epistemology: epistemic logic, truth, semantic/epistemic paradoxes, language
  • Formal Ontology: higher-order modal logic, modality, possible worlds, facts, properties, existence, individuals

Past doctoral students

  • Mgr. et Mgr. Jaroslav Růžička, Ph.D. (2017)
  • Mgr. Ivo Pezlar, Ph.D. (2016)
  • PhDr. Antonín Dolák, Ph.D. (2008)

Academic committees

  • member of the study programme boards for Philosophy, Theory and History of Science (chair), General Linguistics at FF MU
  • member of the panel for humantities of the national Research, Developement and Innovation Council (RVVI) 2016-2019
  • member of the panel for humantities (P401) of the Czech Grant Agency (GAČR) 2014-2018

Memebership in societies

  • Kurt Gödel Society in Brno (vice-chairman)
  • Society for Exact Philosophy

Academic service

  • referee for journals (Logic and Logical Philosophy (PL), Journal of Applied Non-classical Logic (GB), European Journal of Analytical Philosophy (HR), Prolegomena (PL), Organon F (SK), Philosophy of Science (PL), Theory of Science (CZ), Filosofický časopis, Pro-fil, Studia Neoaristotelica, Slovo a slovesnost)
  • reviewing conference volumes, encyclopaedias (mostly abroad)
  • reviewing grant proposals (abroad)
  • organisation of international and local conferences
  • reviewing doctoral and habilition theses for other universitites (CZ)
  • reviewer for evaluation of universities (CZ)

Academic awards

  • 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. Kuchyňka and I. Pezlar; in Czech)

Akademic stays

  • 2018 (November): The Institute for Logic, Language and Computation (ILLC), Amsterdam (Netherlands)
  • 2015 (December): Department of Philosophy, Stockholm University, Stockholm (Sweden)
  • 2015 (November): Katedra logiki i metodologii nauk, Universitet Wroclawski (Poland)
  • 2015 (May): Munich Center for Mathematical Philosophy (MCMP), Muenchen (Germany)
  • 2015 (May): The Institute for Logic, Language and Computation (ILLC), Amsterdam (Netherlands)
  • 2014 (November): Katedra logiky, Univerzita Karlova, Praha (Czech rep.)
  • 2014 (May): Lehrstuhl für Theoretische Philosophie, Universität Regensburg (Germany)
  • 2014 (February-May): a series of lectures, Department of Philosophy, Silesian University, Katowice (Poland)
  • 2013 (May): Chair of Logic and Cognitive Sciences, Adam Mickiewicz University, Poznan (Poland)
  • 2012 (April): Katedra logiky a metodológie vied, Komenský University, Bratislava (Slovakia)
  • 2011 (October): Institute 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)




Over 100 papers, see the official list; cf. also the selected papers on-line.

10 selected recent papers:


  • 2022: Solutions to Puzzles of Existential Generalisation. In 10th Non-Classical Logic. Theory and Application (NCL'22), Lodz (Poland)
  • 2021: Completeness in Partial Type Theory. In Non-Classical Modal and Predicate Logics (NCMPL2021), Bochum (Germany)
  • 2021: Novel Rules of Beta-conversion in Partial Type Theory. In 27th International Conference on Types for Proofs and Programs (TYPES2021), Leiden (the Netherlands)
  • 2021: The Rule of Existential Generalisation, Its Derivability and Formal Semantics, 4th Formal Reasoning and Semantics (FORMALS 2021), Dubrovnik (Croatia)
  • 2021: Natural Deduction for Partial Type Theory with 'Evaluation Terms'. 10th Logic and Applications (LAP2021), Dubrovnik (Croatia)
  • 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)
  • 2019: Limitation of Logical Space Puts Restrictions on the Explication of the Notions of Knowledge, Belief, Necessity and Truth. In Studia Logica - Trends in Logic 19, Moscow (Russia)
  • 2019: Reducibility and Epistemic Paradoxes. In Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST), Prague (Czech Republic)
  • 2018: The Rule of Substitution and Hyperintensional Contexts. In 6th Congress of Universal Logic (UNILOG6), Vichy (France)
  • 2018: Existential Import, Partiality, and Squares of Opposition. In 6th Congress on the Square of Opposition (SQUARE 2018), Kolymbari (Greece)
  • 2018: Logic for 2D Conception of Inference. In Non-Classical Logic. Theory and Applications (NCL9), Lodz (Poland)
  • 2017: Partiality of Propositions and Existential Import of Modal / Non-Modal Categorical Statements. In Non-classical Modal and Predicate Logics (NCMPL2017), Guangzhou (China)
  • 2017: 2D-Conception of Inference. In Cognition and Language 2017, Brno (Czech Rep.)
  • 2017: Derivable Belief and Hyperintensional Algorithmic Semantics. In European Congress of Analytical Philosophy (ECAP9), Munich (Germany)
  • 2016: Explicit, Implicit and Derivable Belief in Hyperintensional Algorithmic Semantics. In 8th Meeting of the Spanish Society for Analytic Philosophy (SEFA), Oviedo (Spain)
  • 2016: Explicit Substititivity of Identicals in Hyperintensional Contexts. In Non-Classical Logic. Theory and Applications (NCL'16), Lodz (Poland)
  • 2016: Deduction in Ramified Partial Type Theory: A Focus on Typing Judgements. In XXI. Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poreba (Poland).
  • 2015: The Explication of EXPLICATION. In 15th Congress on Logic, Methodology, and Philosophy of Science (CLMPS), Helsinki (Finsko)
  • 2015: Logic as Universal Language and Quantification over Orders and Types within Type Theory. In 5th International Congress of Universal Logic 2015 (Unilog 2015), Istanbul (Turkey)
  • 2015: Nominal Description Theory and Modal Argument. In International Conference on Philosophy of Language and Linguistics (PhilLang2015), Lodz (Poland)
  • 2014: Pravda jako důkaz: epistemologické pojetí pravdivosti [Truth as Proof: Epistemological Conception of Truth]. In 18. slovensko-česke symposium analytické filozofie, Praha (Czech rep.)
  • 2014: Dva standardní a dva modální logické čtverce [Two Standard and Two Modal Squares of Opposition]. In Seminář Pavel Tichý, Pilsen (Czech rep.)
  • 2014: Notes on beta-reduction in Tichý's partial ramified type theory. In 9th Scandinavian Logic Symposium, Tampere (Finland)
  • 2014: Semantic Square of Hyperintensional Semantics, Logic and Identity Statements. In 4th World Congress Square of Oppositions, Pontificia Univeristas Lateransis, Vatican
  • 2013: The Revenge of Fitch's Knowability Paradox for Typing Approach and the Alleged Self-Refutation of Ramified Type Theory. In Congress on Logic and Philosophy of Science CLPS13, Ghent (Belgium)
  • 2013: Tichýan (Im)Possible Worlds. In Modal Metaphysics: Issues on the (Im)Possible, Bratislava (Slovakia)
  • 2013: Odmítnutí mstivé formy Fitchova paradoxu poznatelnosti pro Russellovské typování znalosti. In XVII. česko-slovenské sympózium k analytickej filozofii (workshop Filosofie a logika paradoxů), Trencianske Teplice (Slovakia)
  • 2013: Partiality and Tichý's logic. In workshop Epsilon meets lambda, Ostrava (Czech Rep.)
  • 2013: Language in a Synchronic / Diachronic Sense and Some Philosophical Puzzles. In PhiLang2013, Lodz (Poland)
  • 2013: Fitch's Paradox of Knowability, Typing Knowledge and Ramified Theory of Types. In congress Unilog'13, Rio de Janeiro (Brazil)
  • 2013: Explikace a logika [Explication and Logic]. In workshop Normy a hodnoty ve vědě, Brno (Czech rep.)
  • 2013: Logika a (pravdivostní) hodnoty [Logic and (truth-) values]. In workshop Normy a hodnoty ve vědě, Brno (Czech rep.)
  • 2012: Is Transparent Intensional Logic a Logic?. In Non-Classical Logic 5. Theory and Applications, Toruň (Poland)
  • 2012: Rigidity of General Terms as Rigidity of Descriptions. In conf. SIFA 2012 "The Answers of Philosophy", Alghero (Italy)
  • 2012: Epistemologické paradoxy poznatelnosti a typování znalosti [Epistemic Paradoxes of Knowability and Typing Knowledge]. In conf. XVI. symposium cs. analytické filozofie, Telc
  • 2012: Dedukce a logická analýza v Tichého logice [Deduction and Analysis in Tichý's Logic]. In conf. Systémy dedukcie: od intenzionálnej logiky k hyperintenzionálnej logike, Dolná Krupa (Slovakia)
  • 2012: Truth: An Explication in Transparent Intensional Logic. In conf. Trends in Logic XI "Advances in Philosophical Logic" (Studia Logica International Conference), Bochum (Germany)
  • 2012: Jsou Russellovy propoziční funkce Tichého konstrukcemi? [Are Russell's Propositional Functions Tichý's Constructions?]. In conf. Bertrand Russell, Plzeň (Czech rep.)
  • 2012: Důkazový asistent HOL a jeho logika [The Proof system HOL and its Logic]. In conf. Organon VIII., Telč
  • 2011: Semantic Paradoxes of Denotation and Reference. In conf. 7th European Congress of Analytical Philosophy, Milan (Italy)
  • 2011: Kontextualismus vs. minimalismus a metodologické principy [Contextualism vs. minimalism and methodological principles]. In conf. XVI. sympósium čs. analytické filozofie, Vrútky (Slovakia)
  • 2011: Semantic Paradoxes and Transparent Intensional Logic. In conf. Logica 2011, Hejnice (Czech Rep.)
  • 2010: Conceptual/Derivation Systems and Their Representation. In conf. Logic, Reasoning and Rationality, Ghent (Belgium)
  • 2010: Tichý's Transparent Intensional Logic and Conceptual/Derivation Systems (with P. Kuchyňka). In conf. Logic In Cognitive Sciences, Toruń (Poland)
  • 2009: Solution to Grelling's Heterological Paradox. In conf. Reflections and Projections (GAP7), Bremen (Germany)
  • 2009: Structured Language Meanings and Structured Possible Worlds. In conf. 32nd International Wittgenstein Symposium, Kirchberg am Wechsel (Austria)
  • 2009: Empty Proper Names: Semantic and Epistemological Issues (with M. Zouhar). In conf. Reference and Non-existence, Barcelona (Spain)
  • 2009: Is the Logico-Semantical Analysis of Natural Language Expressions a Translation?. In conf. PhiLang 2009, Lodz (Poland)
  • 2009: Semantic Concept of Existential Presupposition and Existential Generalization. In conf. The Grounds of Sense, Prague (Czech Rep.)
  • 2009: Status uměleckého díla [Status of an Artwork]. In conf. Filosofické reflexe uměleckého díla, Praha
  • 2009: L-pojmy a S-pojmy (K exteriorizaci sémantiky) [L-concepts and S-concepts (On the Exteriorization of Semantics)]. In conf. Realizmus, internalizmus, individualizmus, Bratislava (Slovensko)
  • 2008: Russell's Propositional Functions Viewed as Tichý's Constructions. In conf. Perspectives on Russell, Zagreb (Croatia)
  • 2008: řešení Grellingova heterologického paradoxu [The Solution to Grelling's Heterological Paradox]. In conf. Frege (12. sympósium čs. analytické filosofie), Trest (Czech Rep.)
  • 2008: Syllogisms, Categorial Statements and Generalized Quantifiers. In conf. Organon VI., Dub na Moravě (Czech Rep.)
  • 2008: Gödel a paradoxy [Gödel and Paradoxes]. In conf. Otázky popularizace díla Kurta Gödela, Brno (Czech Rep.)
  • 2008: Semantic Solution to Simmons' Paradox. In conf. 6th European Congress of Analytical Philosophy, Krakow (Poland)
  • 2008: Rethinking the Modal Argument against NDT. In conf. 31st International Wittgenstein Symposium, Kirchberg am Wechsel (Austria)
  • 2008: Tichého TILka coby nástroj řešení sémantických problémů [Tichý's TIL as a Tool for Solution of Semantic Paradoxes]. In conf. Logika mezi filosofií a matematikou, Hejnice (Czech Rep.)
  • 2008: Filosofie Pavla Tichého: základní myšlenková témata [Philosophy of Pavel Tichý: Key Topics]. In conf. Filozofia a slovanské myšlienkové dedičstvo, Smolenice (Slovakia)
  • 2007: Proč selhala deontická logika? (Cesty z jejích paradoxů) [Why Has Deontic Logic Failed? (The Ways from Its Paradoxes)]. In conf. Etika ve vědě, věda v etice, Praha (Czech Rep.)
  • 2007: Holá individua nejsou bez vlastností [Bare Individuals are not without Properties]. In conf. Jednotliviny, obecniny, významy, Stará Lesná (Slovakia)
  • 2007: The Concept of Truth in Liar's Paradoxes: Applying Tichý's Solution. In conf. Poznanie teoretyczne a prawda, Boguchwala (Poland)
  • 2007: Ontologická existence uměleckého díla a teoretická explikace [Ontological Existence of Artwork and Theoretical Explication]. In sem. Zdeněk Mathauser: filozofie a umění, Brno (Czech Rep.)
  • 2006: Sémantické paradoxy a Transparentní intenzionální logika [Semantical Paradoxes and Transparent Intensional Logic]. In conf. 10. sympósium čs. analytické filosofie, Brno (Czech Rep.)
  • 2006: Počítačové zpracování přirozeného jazyka a Transparentní intenzionální logika [Natural Language Computer Processing and Transparent Intensional Logic]. In sem. Organon V., Olomouc (Czech Rep.)
  • 2006: Procedurální koncepce jazyka a faktu [The Procedural Theory of Language and Facts]. In conf. Moznosti a hranice verbálnych a neverbálnych jazykov, Banská Bystrica (Slovakia)
  • 2005: Modal Argument against Nominal Description Theory. In conf. Descriptions, Prague (Czech Rep.)
  • 2005: Koncepce přirozeného jazyka a jeho logické analýzy v TIL [Conception of Natural Language and its Logical Analysis in TIL]. In conf. Sémantika verzus pragmatika: kde sú hranice?, Stará Lesná (Slovakia)
  • 2004: Sémantika singulárních termínů s historickou referencí [Semantics of Singular Terms with Historic Reference]. In conf. Aktuální problémy logické a filosofické analýzy, Pec pod Snězkou (Czech Rep.)
  • 2004: E-podpora výuky logiky a příbuzných témat aneb e-learning v interpretativních humanitních oborech [E-support of Logic and of Related Topic - E-Learning in Interpretative Genres]. In conf. SCO 2004: E-learning přichází, Brno (Czech Rep.)
  • 2003: Logická analýza hledání a nalézání [Logical Analysis of Seeking and Finding]. In conf. Význam, interpretácia a spôsob pouzitia jazykových výrazov, Bratislava (Slovakia)
  • 2000: Modality identity apřípad Venuše [Modality of Identity and the Case of Venus]. In sem. Identita, Brno (Czech Rep.)
  • 2000: Zkoumání obecné struktury hudební kompozice pojmem funkce [The Inquiring Of General Structure Of Musical Composition By The Notion Of Function]. In conf. Hudební teorie v (a po) roce 2000, Praha (Czech Rep.)
  • 2000: Současná logická sémantika k sémiotice hudebního díla [Contemporary Logical Semantics to the Problem of Semiotics of Musical Composition]. In conf. XVIII. seminár Matematika a hudba, Bratislava (Slovakia)
  • 1999: Matematický model hudební skladby [Mathematical Model of Musical Composition]. In conf. XVII. seminár Matematika a hudba, Bratislava (Slovakia)
  • 1999: Tichý's Five modes of forming constructions, sem. Gottlob Frege's Foundations of Logic. In Tschechisch-deutsche Akademie in Prag, Prague (Czech Rep.)
  • 1999: Denotace a reference v hudbě [Denotation and Reference in Music]. In conf. Niektoré pojmy a problémy analytickej filozofie, Smolenice (Slovakia)
  • 1994: Výrazy a pojmy v diskusi [Expressions and Concepts in Discussion]. In conf. Mozaika budoucnosti (filosofická sekce), Brno (Czech Rep.)

Selected invited talks

  • 2015: Truth: An Explication in Transparent Intensional Logic, Logic Café, Vienna (Austria)
  • 2015: Truth; Katedra logiki i metodologii nauk, Universitet Wroclawski (Poland)
  • 2014: Fitch's Knowability Paradox and Russellian Typing Knowledge, Institut of philosophy, Regensburg University (Germany)
  • 2014: A Revenge Form of Fitch's Knowability Paradox for Russellian Typing Knowledge, workshop Knowledge, Scepticism and Modality, Padova University (Italy)
  • 2013: Introduction to Intensional Logic: Two types of Functions, Type Theory, Deduction, Chair of Logic and Cognitive Sciences, Adam Mickiewicz University, Poznan (Poland)
  • 2013: Fitch's Knowability Paradox and Type Theories, Chair of Logic and Cognitive Sciences, Adam Mickiewicz University, Poznan (Poland)
  • 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), Paris (France)
  • 2012: Je paradox holiče paradoxem obdobným Russellově paradoxu? [Is the Barber Paradox a Paradox Analogous to Russell's Paradox?], Univerzita Komenského, Bratislava (Slovakia)
  • 2011: Transparent Intensional Logic as an Action and Deontic Logic (with P. Kuchyňka), University of Warsaw, Warsaw (Poland)
  • 2011: Transparent Intensional Logic: Introduction, University of Warsaw, Warsaw (Poland)
  • 2011: Rigidita predikátů jako rigidita deskripcí [Rigidity of Predicates as a Rigidity of Descriptions], Univerzita Komenského, Bratislava (Slovakia)
  • 2010: Druhy existence [Kinds of Existence], Filozofická fakulta University Palackého, Olomouc (Czech Rep.)
  • 2009: Russellovy propoziční funkce jako Tichého konstrukce [Russell's Propositional Functions as Tichý's Constructions], Filozofický ústav SAV, Bratislava (Slovensko)
  • 2008: Modal Argument Against Nominal Description Theory, Filozofický ústav SAV, Bratislava (Slovakia)
  • 2007: Transparent Intensional Logic, Dept. of Philosophy, Leibniz Universität, Hannover (Germany)
  • 2007: Structured Possible Worlds, Conceptual Systems, and Verisimilitude Counting, Filozofický ústav SAV, Bratislava (Slovakia)
  • 2007: Sémantický status výrazů TILky v analyzovaném jazyce [Semantical Status of TIL Expression in the Analyzed Language], Filozofický ústav SAV, Bratislava (Slovakia)
  • 2006: De dicto a de re [De Dicto and De Re], Filozofický ústav SAV, Bratislava (Slovakia)
  • 2005: Individua a jejich vlastnosti [Individuals and Their Properties], Filozofický ústav SAV, Bratislava (Slovakia)

Last update: 22/09/2021