researcher, editor-in-chief of Teorie vědy / Theory of Science
e-mail: This email address is being protected from spambots. You need JavaScript enabled to view it.
phone: +420 221 183 342
office: 214a
web: http://ivo.pezlar.com
Ivo Pezlar is a researcher at Institute of Philosophy at Academy of Sciences of the Czech Republic in Prague and the editor-in-chief of the Teorie vědy / Theory of Science journal. His research focuses on philosophical logic, type theory (esp. Martin-Löf's constructive type theory and Tichý's partial type theory), and general proof theory (esp. proof-theoretic semantics) and their applications to natural language. He is the author and co-author of two books Epistemic Logic: An Introduction for Students of Humanities (2015) and Transparent Intensional Logic as Characteristica Universalis and Calculus Ratiocinator (2015), both in Czech, and a co-editor of Logic, Methodology and Philosophy of Science and Technology, Proceedings of the Sixteenth International Congress (2022). He has published over 20 research papers in international peer-reviewed journals (such as, e.g., Synthese, Erkenntnis, Studia Logica, Journal of Logic, Language and Information, Logique et Analyse) and proceedings. Ivo Pezlar earned his Master degree in Philosophy at the Faculty of Arts of Masaryk University in Brno, where he also received his doctorate degree.
Curriculum vitae (January 2025)
Publications (January 2025)
Recent publications
-
Absurdity as the impossible command in natural deduction
0616631 - FLÚ 2025 RIV SE eng J - Článek v odborném periodiku...
Pezlar, Ivo
Absurdity as the impossible command in natural deduction.
Theoria-A Swedish Journal of Philosophy. Roč. -
Teorie vědy / Theory of Science, Vol. 46, No. 2 (2024). Gaming Science: Exploring the Intersection of Science and Video Games
0605216 - FLÚ 2025 CZ eng O - Ostatní výsledky...
Pezlar, Ivo (ed.) - Bendová, H. (ed.)
Teorie vědy / Theory of Science, Vol. 46, No. 2 (2024). Gaming Science: Exploring the Intersection of -
Informative Presupposition in Inquisitive Logic
...
-
Nils Kürbis. Proof and Falsity. A Logical Investigation [Review]
0572286 - FLÚ 2024 RIV NL eng R - Recenze...
Pezlar, Ivo
Nils Kürbis. Proof and Falsity. A Logical Investigation [Review].
[KÜRBIS, N.: Proof and falsity: a logical investigation. First -
Logically Speaking. A Festschrift for Marie Duží
0568686 - FLÚ 2023 RIV GB eng M - Část monografie knihy...
Pezlar, Ivo
Going Nowhere and Back. Is Trivialization the Same as Zero Execution?
Logically Speaking. A Festschrift for Marie
Fore more, see the ASEP database of the Czech Academy of Sciences.