Publications

Books

   

Transparent Intensional Logic as Characteristica Universalis and Calculus Ratiocinator (co-authors Jiri Raclavsky and Petr Kuchynka) [in Czech]. Brno: Masaryk University Press, 2015. ISBN 978-80-210-7973-1. (English summary)

Epistemic Logic: An Introduction for Students of Humanities [in Czech]. Brno: Masaryk University Press, 2015. ISBN 978-80-210-7791-1. (abstract, ⇩ PDF)

Papers, proceedings, chapters

Meaning and Computing: Two Approaches to Computable Propositions. In Alexandra Silva, Renata Wassermann & Ruy de Queiroz (eds.). Logic, Language, Information, and Computation. WoLLIC 2021. Lecture Notes in Computer Science, vol 13038. Cham: Springer, 2021, pp. 100-116. ISBN 978-3-030-88852-7. https://doi.org/10.1007/978-3-030-88853-4_7 (⇩ preprint)

A Note on Paradoxical Propositions from an Inferential Point of View. In Martin Blicha and Igor Sedlár (eds.). The Logica Yearbook 2020. London: College Publications, 2021, pp. 183-199. ISBN 978-1-84890-376-0. (⇩ preprint)

The Placeholder View of Assumptions and the Curry–Howard Correspondence. Synthese, Vol. 198, No. 11 (2021), pp. 10109–10125. https://doi.org/10.1007/s11229-020-02706-z (⇩ final preprint, ePDF)

The Placeholder View of Assumptions and the Curry–Howard Correspondence (Extended Abstract). In Pietro Baroni, Christoph Benzmüller & Yὶ N. Wáng (eds.). Logic, Logic and Argumentation. CLAR 2021. Lecture Notes in Computer Science, vol 13040. Cham: Springer, 2021, pp. 513-520. ISBN 978-3-030-89390-3. https://doi.org/10.1007/978-3-030-89391-0_31 (⇩ preprint)

Composition of Deductions within the Propositions-As-Types Paradigm. Logica Universalis, Vol 14, No. 4 (2020), pp. 481-493. https://doi.org/10.1007/s11787-020-00260-3 (⇩ final preprint, ePDF)

Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions. In Igor Sedlár and Martin Blicha (eds.). The Logica Yearbook 2018. London: College Publications, 2019, pp. 197-210. ISBN 978-1-84890-307-4. (⇩ preprint)

Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory. In Rainer Osswald, Christian Retoré, Peter Sutton (eds.). Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures. Stroudsburg, PA: Association for Computational Linguistics, 2019. pp. 10-18. ISBN 978-1-950737-25-3. https://doi.org/10.18653/v1/W19-1002 (⇩ PDF)

Explicit/Implicit Belief and Derivation Systems [with Jiri Raclavsky; in Czech]. Filosofický časopis, Vol 67, No. 1 (2019), pp. 89-120. (abstract)

On Two Notions of Computation in Transparent Intensional Logic. Axiomathes, Vol 29, No. 2 (2019), pp. 189-205. https://doi.org/10.1007/s10516-018-9401-7 (⇩ final preprint)

Proof-Theoretic Semantics and Hyperintensionality. Logique et Analyse, Vol 61, No. 242 (2018), pp. 151-161. https://doi.org/10.2143/LEA.242.0.3284748

Algorithmic Theories of Problems: A Constructive and a Non-Constructive Approach. Logic and Logical Philosophy, Vol 26, No. 4 (2017), pp. 473-508. https://doi.org/10.12775/LLP.2017.010 (⇩ PDF, abstract)

Desire-Based Model of Reasoning. In Romportl, Jan; Zackova, Eva; Kelemen, Jozef. Beyond Artificial Intelligence: The Disappearing Human-Machine Divide (Topics in Intelligent Engineering and Informatics). Cham: Springer International Publishing, 2015. pp. 143-157. ISBN 978-3-319-09667-4. https://doi.org/10.1007/978-3-319-09668-1_11

Towards a More General Concept of Inference. Logica Universalis, Vol. 8, No. 1 (2014), pp. 61-81. https://doi.org/10.1007/s11787-014-0095-3

Logic as a Toolbox. In The Future of Philosophy. Olomouc: Palacky University Olomouc, 2014. pp. 73-85. ISBN 978-80-244-4316-4. (⇩ PDF)

Tichý’s Two-Dimensional Conception of Inference. Organon F, Vol. 20, Supplementary Issue 2 (2013), pp. 54-65. (abstract, ⇩ PDF)

Humean Machine: When Desires Are in Charge. In Jan Romportl, Pavel Ircing, Eva Zackova, Michal Polak, Radek Schuster (eds.). Beyond AI: Artificial Dreams - Proceedings of the International Conference Beyond AI 2012. 1st ed. Pilsen: University of West Bohemia, 2012. pp. 1-9. ISBN 978-80-261-0102-4.

Is Nonmonotonic Logic a Logic? [in Czech]. Pro-Fil, Vol. 13, No. 1 (2012), pp. 41-51. https://doi.org/10.5817/pf13-1-297 (⇩ PDF)

Reviews

Punčochář, Vít. Paradoxy klasické logiky. Filosofický časopis, Vol. 68, No. 5 (2020), pp. 800-806. (⇩ PDF)

Peregrin, Jaroslav. Co je nového v logice. Studia philosophica, Vol. 66, No. 1 (2019). https://doi.org/10.5817/SPh2019-1-11 (⇩ PDF)

Materna, Pavel. Hovory o pojmu. Teorie vědy / Theory of Science, Vol. 39, No. 1 (2017). (online, ⇩ PDF)

Francez, Nissim. Proof-Theoretic Semantics. Mind, Vol. 126, No. 501 (2017). https://doi.org/10.1093/mind/fzw056 (online)

Svoboda, V. et al. Logika a přirozený jazyk. Pro-Fil, Vol. 11, No. 2 (2010). https://doi.org/10.5817/pf11-2-46 (⇩ PDF)

Invited talks

Composition of Deductions within the Propositions as Types Paradigm. In Seminar of the Department of Logic, Prague, 2019.

Transparent Intensional Logic and Proof Analysis. In Logic Cafe, Ostrava, 2019.

Survival of the Most Elegant: Why the Appearance of Logical Systems Also Matters [in Czech]. In BRAK, Brno, 2015.

Problems and Solutions in the Framework of Procedural Semantics. In Oberseminar Logik und Sprachtheorie, Tübingen, 2014.

Towards a More General Concept of Inference. In Oberseminar Logik und Sprachtheorie, Tübingen, 2013.

Conference talks

The Placeholder View of Assumptions and the Curry–Howard Correspondence. In 4th International Conference on Logic and Argumentation (CLAR 2021), Hangzhou (online), October 22, 2021.

Meaning and Computing: Two Approaches to Computable Propositions. In 27th Workshop on Logic, Language, Information and Computation (WoLLIC 2021), São Paulo, London (online), October 7, 2021.

What Speech Act is Tied to a Contradiction?. In 34th International Symposium LOGICA 2021, Hejnice Monastery, 2021.

A Note on Paradoxical Propositions from an Inferential Point of View. In Logic Colloquium 2021 (LC 2021), Poznań (online), July 22, 2021.

What Speech Act Is Tied to a Contradiction?. In 6th International Meeting of the Association for the Philosophy of Mathematical Practice (APMP 6), Orange, CA (online), July 3, 2021.

Notional Attitudes and Type Polymorphism: What am I thinking about when I am thinking about something?. In 10th European Congress of Analytic Philosophy (ECAP 10), Utrecht (online), 2020.

Meaning as Algorithm. In 5th International Conference on the History and Philosophy of Computing (HaPoC 2019), Bergamo, 2019.

Analysis of Incorrect Proofs. In 16th Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST 2019), Prague, 2019.

Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory. In 13th International Conference on Computational Semantics (IWCS 2019) - Workshop on Computing Semantics with Types, Frames and Related Structures, Gothenburg, 2019.

Understanding Incorrect Proofs. In ExLog 2019 (Explaining explanation using new developments in logic and formal semantics: Hyperintensionality, relevance, counterfactuals, grounding and truthmaker semantics), Louvain-la-Neuve, 2019.

Non-Constructive Procedural Theory of Problems. In LOGICA 2018, Hejnice Monastery, 2018.

Derivable Belief and Hyperintensional Algorithmic Semantics (co-author Jiri Raclavsky). In 9th European Congress of Analytic Philosophy, Munich, 2017.

A Few Notes on Lambda-Computation and TIL-Construction. In 21st Conference Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poręba, 2016.

Type-Theoretical Approaches to Problems and Solutions. In 15th Congress of Logic, Methodology and Philosophy of Science, Helsinki, 2015.

Natural Language and Proof-Theoretic Semantics: Denotational Ghosts in Inferential Machine. In 5th World Congress and School on Universal Logic, Istanbul, 2015.

Two-Dimensional Calculus for TIL Constructions. In PhDs in Logic VI, Utrecht, 2014.

Functional Reimagination of Jaśkowski’s Suppositional Logic. In Trends in Logic XIII - Studia Logica International Conference, Łódź, 2014.

Functional Interpretation of Jaśkowski’s Calculus [in Czech]. In Logic Café, Brno, 2014.

What Are the Inference Steps Really Stepping on? Brief History of Two-Dimensional Inference. In 4th World Congress and School on Universal Logic, Rio de Janeiro, 2013.

Constructions and Proofs [in Czech]. In Young Philosophy: The Character of Current Philosophy and its Methods, Bratislava, 2013.

Humean Machine: When Desires Are in Charge. Beyond AI: Artificial Dreams, Pilsen, 2012.

Tichý’s Two-Dimensional Conception of Inference. In Systems of Deduction: From Extensional Logic to Hyperintensional Logic [in Czech]. Dolná Krupá, 2012.

Russell’s Original Sin: Therefore-relation as a Precursor of Logical Implication? [in Czech]. In Bertrand Russell, Pilsen, 2012.

Modal Explication of Truth. In 1st WFAP Graduate Conference 2012: “Nothing but the Truth”, Vienna, 2012.

Other talks

Filosofie a videohry: proč, jak a co? [Philosophy and Video Games: Why, How, and What?]. In Letní škola filosofie UHK 2021 [Philosophy Summer School 2021, University of Hradec Králové ], Broumov, 2021.

Digital Publishing - A Few Remarks [in Czech]. In Janacek Academy of Music and Performing Arts -- Editorial Activities Meeting, Brno, 2017.

Open Journal Systems - A Brief Introduction [in Czech]. In Masaryk University Press Seminar, Brno, 2014.

Miscellanea

DailyNous.com (blog). "What video games to play in a philosophy classroom?" posted May 18, 2021. https://dailynous.com/2021/05/18/what-video-games-to-play-in-a-philosophy-classroom-guest-post/

Logica 2013 report [in Czech]. Filosoficky casopis, Vol. 61, No. 4 (2013), pp. 625-627.


✉ contact: moc.liamg[ta]ralzep.ovi