معرفی
Ivo Pezlar is a researcher at the Institute of Philosophy, Academy of Sciences of the Czech Republic in Prague, and serves as the editor-in-chief of the journal Teorie vědy / Theory of Science. His work spans philosophical logic, type theory, and proof theory with applications to natural language.
His research interests focus on philosophical logic, particularly type theory (including Martin-Löf's constructive type theory and Tichý's partial type theory), and general proof theory (especially proof-theoretic semantics). His work explores the intersection of formal logic systems with natural language semantics and computational aspects of meaning.
Analysis of his recent publications reveals a consistent trajectory in logical theory development, with increasing attention to applications in information-based semantics, computational linguistics, and the philosophical foundations of logical systems. His work demonstrates strong connections between theoretical developments in logic and practical applications in language processing.
Among his notable scholarly contributions are two books in Czech: Epistemic Logic: An Introduction for Students of Humanities (2015) and Transparent Intensional Logic as Characteristica Universalis and Calculus Ratiocinator (2015), as well as co-editing Logic, Methodology and Philosophy of Science and Technology, Proceedings of the Sixteenth International Congress (2022).
Pezlar earned his Master's degree and doctorate in Philosophy from the Faculty of Arts of Masaryk University in Brno. His research has been supported by grants including GA ČR(CZ) GA19-12420S and AV ČR(CZ) LQ300092101, reflecting the significance of his work within the Czech academic community.
