Type
four-year PhD, taught in English
Admission Requirements
Master’s degree in logic-related fields (mathematics, philosophy, computer science), chosen thesis advisor, readiness to do research
Contact
radek.honzik at ff.cuni.cz
Application deadline
April 30, 2023
Entrance Exam dates
June 14-16 (regular), June 22 (exceptional)
The department offers a four-year postgraduate program in Logic. Possible dissertation topics focus on (but are not limited to) the departmental research areas.
General information about admissions to postgraduate programs at the Faculty of arts can be found here (Czech) and here (English).
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.
| Name | Affiliation | Research Areas | |
|---|---|---|---|
| Mgr. Marta Bílková, Ph.D. | Katedra Logiky, FF UK | nonclassical logics, proof theory | marta.bilkova at ff.cuni.cz |
| doc. Ing. Petr Cintula Ph.D. | Institute of Computer Science The Czech Academy of Sciences | abstract algebraic logic, non-classical logics | cintula at cs.cas.cz |
| doc. RNDr. Marie Duží, CSc. | VŠB-TU, Ostrava | transparent intensional logic | marie.duzi at vsb.cz |
| Mgr. Petr Dvořák, Ph.D. | Filosofický ústav, AV ČR | medieval philosophy and early modern scholasticism | peterdvorak99 at gmail.com |
| doc. Radek Honzík, Ph.D. | Katedra Logiky, FF UK | set theory | radek.honzik at ff.cuni.cz |
| prof. PhDr. Petr Koťátko, CSc. | Filosofický ústav, AV ČR | analytical philosophy | kotatko at flu.cas.cz |
| prof. RNDr. Jan Krajíček, DrSc. | Katedra Algebry, MFF UK | proof complexity, bounded arithmetics | krajicek at karlin.mff.cuni.cz |
| prof. PhDr. Pavel Materna, CSc. | Katedra filosofie, FF MU | logical analysis of natural languages | materna@phil.muni.cz |
| doc. RNDr. Vladimír Petkevič, CSc. | Ústav Teoretické a Komputační lingvistiky, FF UK | mathematical linguistics | vladimir.petkevic at ff.cuni.cz |
| prof. RNDr. Pavel Pudlák, DrSc. | Matematický ústav, AV ČR | computational and proof complexity | pudlak at math.cas.cz |
| PhDr. Vladimír Svoboda, CSc. | Filosofický ústav, AV ČR | philosophy of logic, deontic logic | svoboda at lorien.site.cas.cz |
| doc. RNDr. Vítězslav Švejdar, CSc. (chair) |
Katedra Logiky, FF UK | nonclassical logic, metamathematics of arithmetics | vitezslav.svejdar at cuni.cz |