Filozofická Fakulta

Department of logic

Aktuality

There are not any news

Research

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 ff.cuni.cz

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