Master Program

Poznámka: Magisterský program otevíráme v nové podobě počínaje rokem 2019/20.  Přihlášky je možné podávat do 15.4.2019. Čeští studenti se hlásí do české verze (samostatný nebo sdružený program), ve které výuka některých klíčových předmětů probíhá v anglickém jazyce. Účelem anglické výuky (přednášek) je připravit studenty na mezinárodní kontakty a spolupráci a usnadnit jim přístup k literatuře, která je převážně v anglickém jazyce. Pro studium stačí ovládat jen základy anglického jazyka a být ochoten se v průběhu studia zdokonalit.

Poznámka: Platné akreditace se seznamem předmětů pro magisterské studium zde.

Příhlašujte se ZDE.

We are opening the program for academic year 2019/20, the deadline for applications is April 15, 2019.

Note: Valid accreditation documents with a list of courses can be downloaded here.

The department offers a two-year Masters' program in Logic. The program is administred in two language versions: Czech and English. In the Czech version, some of the key courses  are taught in English, while in the English version all courses are in English (the English version comes with a tuition fee and is for international students).  We believe that the English language is an added benefit for the Czech students, both in terms of learning and the ability to work in an international environment after graduation (students will be offered individual consultations in Czech if they do not find the English lectures sufficient). 

Admission

Requirements for Czech students (and EU students who speak Czech)

Students applying for the program must hold a Bachelor's (or equivalent) degree and should have basic knowledge of formal logic (formal systems, propositional & predicate logic, completness, incompletness) and set theory (axiom of choice, ordinals, cardinals, basic cardinal and ordinal arithmetics). Familiarity with analytic philosophy and philosophy of mathematics and exact sciences is useful. Please contact our department for more details about requirements. Students from the Czech Republic and Slovakia should apply directly to the Czech version of the program which is free. Apply HERE.

International students

International students should primarily apply for the English version of the program which has a tuition fee. In exceptional cases, the department may help the applicant with the administration process. If you are a strong candidate with a Bachelor degree from a recognized university, you may contact us to get more information (please include details about your education and preferably a recommendation letter). See the following LINK for more information. Apply HERE.

Program Overview

The program has been significantly updated starting with the academic year 2019/20, with greater choice for the student regarding the focus of the study: from set theory, classical and non-classical logics to philosophy of mathematics and exact sciences. The standard duration of the program is 2 years.

In the first year, students will attend several courses which lay the foundations for further work and introduce students to prominent areas of logic. Students will learn and deepen their knowledge of classical and non-classical logics (Gödel's theorems, computability aspects, review of basic non-classical logics and their use), set theory and model theory, and the philosophical aspects of mathematical sciences. These introductory courses are helpful for students to identify their preferable field of logic and to choose optional courses which will lead them to their master thesis and the chosen field of study. There will be room for optional courses in the first year of the study.

In the final year (second), students focus on their master thesis while extending their knowledge, based on the selection of optional courses they find intriguing. The optional courses are organized into three blocks to help students to orient themselves and correspond to the specializations of the researchers at the department. Students may choose optional courses from multiple blocks simultaneously, i.e. they do not need to choose one block only.

The first block specializes in set theory and abstract mathematics. Set theory is the universal language of mathematics and studies problems across mathematical disciplines. Students will learn methods and results at the edge of current research, with focus on forcing, independence results, and connection between set theory and general mathematics. Researchers at the department of logic specialize in this field and are members of international teams and grants.

The second block provides focus on classical and non-classical logics and studies it from the point of expressive power, computability aspects and use for modelling computation-related problems. Department of logic builds on extensive cooperation with the prominent logical institutes in Prague and offers optional courses in non-classical and fuzzy logics and abstract algebraic logics.

The third block offers courses on philosophical and foundational aspects of logic in general, and more specifically on modern mathematics and set theory. Building on the philosophical, set-theoretical and mathematical foundations received during the introductory courses, students are able to identify and expand connections on the border of the mathematical and philosophical sciences. Department of Logic cooperates with mathematical and philosophical departments in Prague and also on an international scale.

After defending the thesis and graduating, all students receive a master degree from Logic. With the master degree students can embark on their professional career or start a doctoral program. Department of logic offers a doctoral program​​​​​​​ (PhD) for interested graduates.