Filozofická Fakulta

Department of logic


There are not any news


The primary research topics at the Department of Logic are as follows:

  • Mathematical aspects of both the classical and non-classical logics. More specifically, non-classical logics (their applications in metamathematics, theoretical computer science and social sciences), theories containing arithmetic, interpretability. These topics are studied by Marta Bilkova, and Vitezslav Svejdar. Please visit their webpages for more information and links to their preprints.
  • Set theory
    • Large cardinals, forcing and canonical extender/core models for large cardinals. These topics are studied by Radek Honzik. Please visit his webpage for more information and links to the preprints.
    • Combinatorics of ω, forcing and set-theoretic topology (Jonathan Verner). Please visit his webpage for more information and links to the preprints.

Our publications and preprints may be found here (for the most recent information, review the web pages of the people).

Current Projects:

  • SEGA - "From shared attitudes to group agency" (2016-2018)(M. Bílková)
    Czech-German project Czech Science Foundation (GACR) - DFG 16-07954J 
  • The continuum, forcing, and large cardinals. (2015-2017) (R. Honzík)
    Joint Lead-Agency research grant between Austrian Science Foundation (FWF) and Czech Science Foundation (GACR), no I 1921-N25

Information for prospective students

The teaching program at the Department of Logic comprises all academic degrees (Bachelor, Master, Ph.D.). The mathematical aspects of logic are more strongly represented in the study program, although the philosophical aspects are given due attention as well. We are happy to welcome talented English-speaking guests, or Ph.D. candidates.

The Ph.D. program can be studied both in Czech and English. Prospective students are expected to choose an advisor and to negotiate with him/her the topic of their dissertation before formally applying. Advisors may be chosen out of the members of the department or the programme committee. Choice of other advisors should be consulted the chairman and approved by the committee.

Programme committee

NameInstituteArea of InterestE-mail
Mgr. Marta Bílková, Ph.D.
Dpt. of Logic, FF UK nonclassical logic, proof theory
marta.bilkova at

doc. RNDr. Marie Duží, CSc.
VŠB-TU, Ostrava
transparent intensional logic
marie.duzi at
Mgr. Petr Dvořák, Ph.D.
Inst. of Philosophy, ASCR
medieval philosophy and scholastics peterdvorak99 at
prof. RNDr. Petr Hájek, DrSc.
Inst. of Computer Science, ASCR fuzzy logic, many-valued logic 
hajek at
Mgr. Radek Honzík, Ph.D.
Dpt. of Logic, FF UK
set theory radek.honzik at
doc. PhDr. Petr Jirků, CSc.
Dpt. of Logic, FF UK
nonmonotonic reasoning, artificial intelligence
petr.jirku at
prof. PhDr. Petr Koťátko, CSc.
Inst. of Philosophy, ASCR analytical philosophy
kotatko at
prof. RNDr. Jan Krajíček, DrSc.
Dpt. of Algebra, MFF UK proof complexity, bounded arithmetics  krajicek at
prof. PhDr. Pavel Materna, CSc.
Dpt. of Philosophy, FF MU  Logical Analysis of Natural Language
doc. RNDr. Vladimír Petkevič, CSc.
Inst. Theor. and Comp. Linguistics, FF UK mathematical linguistics vladimir.petkevic at
prof. RNDr. Pavel Pudlák, DrSc.
Inst. of Mathematics, ASCR proof complexity, computational complexity pudlak at
PhDr. Vladimír Svoboda, CSc.
Inst. of Philosophy, ASCR
philosophy of logic, deontic logic
svoboda at
doc. RNDr. Vítězslav Švejdar, CSc.
Dpt. of Logic, FF UK nonclassical logic, metamathematics of arithmetic
vitezslav.svejdar at