Charles University

Overview

The M.A. in Logic at Charles University is designed to cultivate advanced skills in formal reasoning and mathematical logic. This program offers a comprehensive exploration of various critical areas, including set theory and non-classical models, allowing students to engage deeply with the foundational concepts that underpin logical analysis.

Students have the option to pursue the program as a single curriculum or to combine it with another master's program, enabling a double-curriculum study where permitted.

What you'll study

The curriculum typically covers core areas such as:

• Classical logic
• Set theory and mathematics
• Philosophy of set theory and mathematics
• Non-classical models of reasoning
• Forcing
• Mathematical fuzzy logic
• General linguistics

The study format allows for flexibility, as students can choose to focus solely on the M.A. in Logic or pair it with another master's program, tailoring their academic journey to their interests and career goals. Course selection and study plans are developed in collaboration with program coordinators and faculty advisors.

Assessment methods typically include coursework, problem sets, and examinations, with variations depending on individual course requirements.

Entry requirements

While specific GRE, GMAT, or GPA requirements are not typically outlined for this program, prospective students are encouraged to verify any additional academic prerequisites directly with the faculty. Proficiency in English is essential, with accepted tests including IELTS, TOEFL, and the Duolingo English Test, each having established minimum score requirements.

Career prospects