About
-
I'm a professor of philosophy at Masaryk University (Brno, the Czech Republic) where I teach courses on
• formal (mathematical) logic, • philosophical logic, • non-classical logic, • logic and computation, • informal logic and critical thinking. -
My recent research is focussed on type theory – a higher-order logic – that deals with
• partial functions, • quantification over computations.
I also investigate applications of type theory in logic, e.g.:
• epistemic paradoxes, • semantic paradoxes, • modality, • existential qunatification, • substitution;
and theory of natural language processing, e.g.:
• propositional (belief) sentences, • descriptions, • hyperintensional meanings.
Selected books
- (2020): Belief Attitudes, Fine-Grained Hyperintensionality and Type-Theoretic Logic. London: College Publications. (more ...)
- (2009): Names and Descriptions: Logico-Semantical Investigations [in Czech]. Olomouc: Nakladatelství Olomouc s.r.o. (more ...)
- (2015): Introduction to Logic: Classical Predicate Logic [in Czech]. Brno: Masarykova univerzita. (more ...)
- (2015): Introduction to Logic: Classical Propositional Logic [in Czech]. Brno: Masarykova univerzita. (more ...)
Selected papers
- (2024): Completeness in Partial Type Theory. Journal of Logic and Computation, Oxford University Press, 34(1): 1-32; DOI: 10.1093/logcom/exac089 (with Petr Kuchyňka).
- (2024): Two Cases of Deduction with Non-referring Descriptions. Electronic Proceedings In Theoretical Computer Science (415): 48-65, Sydney: Open Publ, Assocopen Publ Assoc.; DOI: 10.4204/EPTCS.415.8.
- (2022): The Rule of Existential Generalisation and Explicit Substitution. Logic and Logical Philosophy, 31(1): 105-141; DOI: 10.12775/LLP.2021.011.
- (2018): Existential Import and Relations of Categorical and Modal Categorical Statements. Logic and Logical Philosophy, 27(3): 271-300; DOI: 10.12775/LLP.2017.026.
- (2018): The Typing Approach to Church-Fitch's Knowability Paradox and its Revenge Form. Prolegomena 17(1): 31-49; DOI: 10.26362/20180202.
- (2017): Two Standard and Two Modal Squares of Opposition. In: J.-Y. Beziau, G. Basti (eds.), The Square of Opposition: A Cornerstone of Thought, Cham: Birkäuser, 119-142 (Springer on-line version).
- (2017): Modal Argument against Nominal Description Theory. Kriterion 31(1): 77-100; DOI: 10.1515/krt-2017-310106.
- (2014): Explicating Truth in Transparent Intensional Logic. In: R. Ciuni, H. Wansing, C. Willkomen (eds.), Recent Trends in Philosophical Logic 41: 167-177, Springer Verlag. (Springer on-line version).
- (2012): Semantic Paradoxes and Transparent Intensional Logic. In: M. Peliš, V. Punčochář (eds.), The Logica Yearbook 2011, London: College Publications, 239-252.