Department of Logic


Mgr. Vít Punčochář, Ph.D.

deputy Head

PhDr. Vladimír Svoboda, CSc.

office assistant

This email address is being protected from spambots. You need JavaScript enabled to view it.

The department was established at the twilight of the communist era, when philosophical logic was next to non-existent in the country. Since its modest beginning, the department has become an internationally recognized centre of philosophical logic, not only because of the annual LOGICA conference, which is usually attended by distinguished logicians from the whole world, but especially because of the research results of the department members, which have appeared in high-quality international journals and in volumes published by prestigious publishing houses.

The research program of the Department of Logic covers a broad spectrum of topics spanning from the mathematical side of logic to its philosophical side. Special attention is paid to the relationship between logical calculi and our informal argumentation. Department members also investigate both the philosophical and the technical aspects of non-classical logical systems such as deontic logic, inquisitive logic and various kinds of epistemic logics. Another substantial project of the Department is a development of the doctrine of inferentialism, including investigations of general aspects of rules: their origin, nature and their role not only within the framework of logic, but more generally within human communities and within specifically human thought.

The research is usually cantered around grant projects that are carried out at the department. Currently the members of the department work on two grant projects financed by the Czech Science Foundation: Logical models of reasoning and argumentation in natural language (Jaroslav Peregrin, GAČR 17-15645S) and Logico-philosophical analysis of the concept of identity (Ansten Klev, GAČR, GAČR 17-18344Y).

Selected publications from 2015–2019


Punčochář, Vít, Substructural inquisitive logics. Review of Symbolic Logic. Roč. 12, č. 2 (2019), s. 296-330. ISSN 1755-0203

Klev, Ansten, The harmony of identity. Journal of Philosophical Logic. Roč. 48, č. 5 (2019), s. 867-884. ISSN 0022-3611


Beran, Ondřej – Kolman, Vojtěch – Koreň, Ladislav (eds.). From Rules to Meanings: New Essays on Inferentialism. New York: Routledge, 2018. 357 s.

Klev, Ansten. The concept horse is a concept. Review of Symbolic Logic. Roč. 11, č. 3 (2018), s. 547–557.

Svoboda, Vladimír. A Lewisian taxonomy for deontic logic. Synthese. Roč. 195, č. 7 (2018), s. 3241–3266.

Lupkowski, P. – Majer, Ondrej – Peliš, M. – Urbanski, M. Epistemic Erotetic Search Scenarios. Logic and Logical Philosophy. Roč. 27, č. 3 (2018), s. 301–328.

Klev, Ansten. Husserl’s Logical Grammar. History and Philosophy of Logic. Roč. 39, č. 3 (2018), s. 232–269.


Peregrin, Jaroslav – Svoboda, Vladimír. Reflective Equilibrium and the Principles of Logical Analysis, Routledge, 2017. 178 s.

Peregrin, Jaroslav – Vlasáková, Marta. Filosofie logiky. Praha: Filosofia, 2017. 403 s.

Punčochář, Vít. Algebras of Information States. Journal of Logic and Computation, 2017, roč. 27, č. 5, s. 1643– 1675.

Klev, Ansten. Identity and Sortals (and Caesar). Erkenntnis, 2017, roč. 82, č. 1, s. 1–16.

Klev, Ansten. Dedekind’s Logicism. Philosophia Mathematica, 2017, roč. 25, č. 3, s. 341–368.


Punčochář, Vít. A Generalization of Inquisitive Semantics. Journal of Philosophical Logic. 2016, roč. 45, č. 4, s. 399–428.

Peregrin, Jaroslav, Svoboda, Vladimír. Logical formalization and the formation of logic(s). Logique et Analyse. 2016, roč. 59, č. 233, s. 55–80.

Peregrin, Jaroslav. Should one be a left or a right Sellarsian? (And is there really such a choice?). Metaphilosophy. 2016, roč. 47, č. 2, s. 251–263.

Svoboda, Vladimír, Peregrin, Jaroslav. Logically Incorrect Arguments. Argumentation: an international journal on reasoning. 2016, roč. 30, č. 3, s. 263–287.


Punčochář, V., Weak negation in inquisitive semantics. Journal of Logic, Language, and Information. 2015, roč. 24, č. 3, s. 323–355. ISSN 0925-8531.