PhD Study

The department offers a three-year postgraduate program in Logic. Possible dissertation topics focus on (but are not limited to) the departmental research areas.

Admission

General information about admissions to postgraduate programs at the Faculty of arts can be found in the Student Information System.

The entrance exams are oral and focus on determining whether the applicant has sufficient formal knowledge in the discipline and whether he is ready to work on the chosen topic. Applicants are required to hold a Master level degree in Logic, Mathematics, Philosophy or a related field. The applicants are also required to already have a chosen advisor who is willing to supervise their studies, and written a project of their thesis.

For these reasons it is advisable to contact the advisor & the department in advance to work out the necessary technical details of your application. The table below lists the supervisory board of the program. In addition to the permanent members of the department these people are possible candidates for supervising PhD. theses.

Program Board

NameAffiliationResearch AreasE-mail
Mgr. Marta Bílková, Ph.D.Katedra Logiky, FF UKnonclassical logic, proof theorymarta.bilkova at ff.cuni.cz

doc. RNDr. Marie Duží, CSc.VŠB-TU, Ostravatransparent intensional logicmarie.duzi at vsb.cz
Mgr. Petr Dvořák, Ph.D.Filosofický ústav, AV ČRmedieval philosophy and early modern scholasticismpeterdvorak99 at gmail.com
Mgr. Radek Honzík, Ph.D.Katedra Logiky, FF UKset theoryradek.honzik at ff.cuni.cz
prof. PhDr. Petr Koťátko, CSc.Filosofický ústav, AV ČRanalytical philosophykotatko at flu.cas.cz
prof. RNDr. Jan Krajíček, DrSc.Katedra Algebry, MFF UKproof complexity, bounded arithmetics krajicek at karlin.mff.cuni.cz
prof. PhDr. Pavel Materna, CSc.Katedra filosofie, FF MUlogical analysis of natural languages materna@phil.muni.cz
doc. RNDr. Vladimír Petkevič, CSc.Ústav Teoretické a Komputační lingvistiky, FF UKmathematical linguisticsvladimir.petkevic at ff.cuni.cz
prof. RNDr. Pavel Pudlák, DrSc.Matematický ústav, AV ČRcomputational and proof complexitypudlak at math.cas.cz
PhDr. Vladimír Svoboda, CSc.Filosofický ústav, AV ČRphilosophy of logic, deontic logicsvoboda at lorien.site.cas.cz
doc. RNDr. Vítězslav Švejdar, CSc.
(chair)
Katedra Logiky, FF UKnonclassical logic, metamathematics of arithmeticsvitezslav.svejdar at cuni.cz