|
I'm a professor of philosophy at Masaryk University (Brno, the Czech Republic) where I teach courses on formal (mathematical) logic, non-classical logics, philosophical logic, logic and computing/AI, informal logic (incl. critical thinking). My recent research is focussed on type theory (a higher-order logic) that deals with partial functions and quantification over computations. I also investigate applications of the type theory in philosophical logic (epistemic and semantical paradoxes, modality, existential generalisation, substitution, ...) and theory of natural language processing (hyperintensional meanings, propositional attitudes/belief sentences, ...). |
Selected books
- (2020): Belief Attitudes, Fine-Grained Hyperintensionality and Type-Theoretic Logic. Studies in Logic 88. ISBN 978-1-84890-334-0, London: College Publications.
- (2009): Jména a deskripce: logicko-sémantická zkoumání [Names and Descriptions: Logico-Semantical Investigations]. ISBN 978-80-7182-277-6, Olomouc: Nakladatelství Olomouc.
- (2015): Úvod do logiky: klasická predikátová logika [Introduction to Logic: Classical Predicate Logic]. ISBN 978-80-210-7867-3, Brno: Masarykova univerzita.
- (2015): Úvod do logiky: klasická výroková logika [Introduction to Logic: Classical Propositional Logic]. ISBN 978-80-210-7790-4, Brno: Masarykova univerzita.
Selected papers
- (2024): Completeness in Partial Type Theory. Journal of Logic and Computation, Oxford University Press, 34(1): 1-32; https://doi.org/10.1093/logcom/exac089 (with Petr Kuchyňka)
- (2022): The Rule of Existential Generalisation and Explicit Substitution. Logic and Logical Philosophy, 31 (1): 105-141. https://doi.org/10.12775/LLP.2021.011
- (2022): Puzzles of Existential Generalisation from Type-theoretic Perspective. In: A. Indrzejczak, M. Zawidzki (Eds): 10th International Conference on Non-Classical Logics. Theory and Applications (NCL 2022) EPTCS 358, pp. 68–83, doi:10.4204/EPTCS.358.6 https://arxiv.org/pdf/2204.06726v1.pdf
- (2018): Existential Import and Relations of Categorical and Modal Categorical Statements. Logic and Logical Philosophy, 27, 3, 271-300.
- (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 - Journal of Philosophy 31(1): 77-100; https://doi.org/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, Springer Verlag, 167-177. (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.
- (2014): On Interaction of Semantics and Deduction in Transparent Intensional Logic (Is Tichý's Logic a Logic?). Logic and Logical Philosophy, 23, 1, 57-68.