Logic

• form and type of study: full-time, master’s (follow-up graduate) programme
• The language of instruction is English. This is a fee-paying programme; the annual fee is CZK 140 000.
• permitted combinations: single-curriculum or double-curriculum study; may be combined with any other master’s programme where double-curriculum study with this programme is permissible
• study requirements: Students applying for the programme must hold a Bachelor (or equivalent) degree and should be familiar with formal logic (formal systems, propositional & predicate logic, completness and incompletness theorems) 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.
• notice: We strongly encourage potential students to contact the department before they apply to check the details of the entrance exam and verify their qualification. Also note that the exams must be taken in person in Prague so you should have a valid visa.
  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).
• admission without entrance examination: not permissible
• important links:
  • General conditions and basic documents of the admission procedure
  • Information about recognition of your previous education

Department of Logic

website of Department of Logic

Modern logic emerged at the turn of the 19th and 20th century as an attempt to formalize mathematical constructions in analysis, algebra and in other fields. Its motivations were both mathematical and philosophical: mathematical motivations were applied to mathematics and other exact sciences, and philosophical motivations were applied to natural language and its expressions and philosophical questions in general. The goal was always to clarify the given problem by making it more precise and well defined.

Important mathematical discoveries were soon made, mostly notably the celebrated result of Kurt Gödel on incompleteness from 1930s who showed that there is a sharp distinction between “true statements” and “provable theorems”: in arithmetics (and stronger theories), there will always be statements which are true, but we can never verify their truth by arithmetical methods: some famous open problems, such as Goldbach’s conjecture or P versus NP, may be among them. This distinction between “truth” and “deduction” has had profound effect not only on mathematics, but also on philosophy. In mathematics, new fields were developed which not only deal with Gödel’s result, but also with the more general question of foundations of mathematics (set theory, topology, abstract algebra, category theory etc.). In logic itself, the focus ranged from classical to non-classical forms of reasoning answering questions related for instance to the meaning of the implication and negation, and have rich connections with complexity theory studying the hardness of computational problems. In philosophy, primarily analytic philosophy and philosophical logic, the underlying question has been the concept of truth and meaning and their analysis in mathematics and natural languages (for instance, what does „true statement“ mean if we do not have a finite verification method to check it?).

The study of ​​​​​​​Logic will guide committed students through the concepts described above and let them see and appreciate the complexity and beauty of these constructions.

In the Master programme students can build on their previous studies — not only in logic programme, but in other programmes as well — and obtain deeper understanding of the problems which lead to the modern results at the edge of the related fields. In the master programme, after students pass a general core of classes, they can focus on the field in logic they prefer: set theory and foundations of mathematics, classical or non-classical logics, or philosophy of mathematics and set theory.

Students with master’s degree from a recognized university can start their PhD studies at the Department of Logic. PhD programme focuses on independent research work and new and original results. Department of Logic has acquired many important scientific grants and offers an excellent support for gifted students: both in terms of scientific background and international cooperation, and in terms of finances (stipends and travel expenses).

Programme Overview:

The programme has been significantly updated in 2019 and provides 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 programme 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 programme. Department of logic offers a doctoral program​​​​​​​me (PhD) for interested graduates.

In case of questions regarding any of the programmes in Logic, do not hesitate to contact the department.

YEAR	EXPECTED NUMBER OF ACCEPTED APPLICANTS	APPLICANTS	ADMITTED	MINIMUM NUMBER OF POINTS REQUIRED FOR ADMISSION	ENROLLED TO STUDY
2024/25	5
2023/24	5	0	0		0
2022/23	10	2	1	55	1
2021/22	10	5	1	55	0
2020/21	10	4	0		0
2019/20	10	2	0		0

The minimum number of points required for admission is the number of points obtained by the last applicant admitted in a given year (i.e. all those who obtained fewer points were ranked „below the line“). If more applicants are admitted than the expected number of admissions, then more applicants in last place have achieved the same number of points. The points threshold is thus definitive and does not move, even if some admitted applicants do not enter the course.

entrance examination: two-rounds (written – assessment of materials submitted; followed by an oral interview)

1^st round – WRITTEN PART

assessment of materials sent – assessment of MA research proposal (max. 50 points)

Applicants are required to send an outline of their MA research proposal (by mail: prijimacky@ff.cuni.cz) by 30 April 2024 (23:59 Central European Summer Time); the outline of approx. 5 A4 pages must contain references and comply with established academic standards. The submitted research proposal must be clearly formulated, present an original approach to a topic in the field of logic and have potential for serving as a starting point for a diploma thesis to be written in the course of the programme.

research proposal project evaluation criteria:

• clearly formulated and exhibiting expertise, contains only minor deficiencies: 50–38 points
• clearly formulated and exhibiting expertise, contains major deficiencies, but is still acceptable: 37–25 points
• weak and unconvincing, very low probability of successful completion of project: 24–13 points
• totally unsatisfactory, exhibiting poor knowledge of the topic: 12–1 points
• failure to submit project outline: 0 points

 

2^nd round – ORAL EXAMINATION

Topics covered in the BA programme in Logic at the Faculty of Arts, Charles University:

1. classical logic I, II (max. 20 points)
2. set theory and recursion theory (max. 20 points)
3. philosophy of logic (max. 10 points)

other requirements: none (no certificates of English proficiency are required)
Important notice: the oral exam takes place in person in Prague in the Faculty of Arts building.

---

Entrance exam scores

A maximum of 50 points can be obtained in each round of the two-round entrance examination (i.e. a maximum of 100 points in total).
Applicants who obtained 25 points or more in the first round will be admitted to the second round of the two-round examination.
An applicant may be admitted to study if he or she has obtained a minimum of 50 points in the entrance examination and has also been ranked in order of the number of points obtained in accordance with the predetermined expected number of admissions.
For a summary of the results of the admission examinations to compare how many points on average are sufficient for admission to this study programme, see the tab Numbers of applicants admitted in the previous academic years.

---

Additional information:

Here is a selection of books which contain information about analytic philosophy and philosophy of mathematics:
Recommended:
• K. Kunen: The Foundations of Mathematics (Studies in Logic: Math. Logic and Foundations), College Publications, 2009
• K. Kunen: Set Theory (An Introduction to Independence Proofs), North-Holland, 1980
• Benacerraf, P., Putnam, H., eds., Philosophy of Mathematics: Selected Readings. Cambridge Uni. Press, Cambridge 1984.
• Stephen P. Schwartz: A brief history of Analytic Philosophy: From Russell to Rawls, Wiley-Blackwell, 2012.

All information you can find at Department’s website.

Logic is a theoretical programme which relies on mathematical methods and which can be applied in mathematics, computation and specific fields of philosophy. Logic has also connections to linguistics and law theory. In general, graduates can be employed in all areas which deal with formal and quantitative methods and rely on critical analysis of problems, often in formalized environments (software or legal companies, government or educational institutions). Graduates can continue in a doctoral programme (PhD) in logic.

You can submit applications for study at the Faculty of Arts, Charles University only electronically via the Student Information System)!

You will be asked to log in before submitting your application:
If you are a current student of Charles University, please use your assigned student username to log in. Equivalent to this username is your personal number that can be found on your student identification card under your photograph. Should you experience any issues with your password, please visit the CAS website, where you can request a new password and get more information about Central Authentication Service (CAS).
If you are a new applicant who has not previously studied at CU and have never submitted an application for study in the past (regardless of success), you will be asked to register prior to submitting your application. In order to do so, you will be asked to provide a registration email address to which an email will be sent containing a link to a page where you will be able to set up your new password. You will need to use this email address and password in the course of the whole application process, as only under these credentials all of your current applications will be displayed. However, these credentials cannot be used for logging into other modules of the Student Information System (SIS).
Whenever you log in again after having submitted your application, you will see a list of all applications you have submitted under your name displayed in the upper right-hand corner, in the “My applications” section. If you use a different email address than the one provided during registration, only the “New applicant” option will be displayed in the upper right-hand corner and the “My applications” button will not be available.

Please do not create a new application under a different e-mail address, as this complicates the identification not only for the system but also for the employees of the Admission Procedure Department. If you are unable to log in to your existing account again, please contact us at prijimacky@ff.cuni.cz, and we’ll be happy to help you renew your login process.

It is not recommended to apply from a mobile device!