Logic
The Master of Science in Logic is a two-year, full-time on-campus program that focuses on the foundations and applications of logical reasoning in mathematics, computer science, and philosophy. The program covers key areas such as formal logic, computational theory, mathematical logic, and the philosophy of logic, providing students with the tools to analyze complex systems and solve abstract problems.
Graduates will be well-prepared for careers in mathematical logic, computer science, and philosophical analysis. The University of Amsterdam offers access to cutting-edge research, expert faculty, and a rigorous academic environment, ensuring students gain the skills needed to contribute to advancements in logic and its applications.
Key Facts
Key Facts
- Program Title: Logic
- Degree Type: Master of Science
- Duration: 2 years
- Mode of Study: Full-time, On Campus
- Application Deadline: 15 March 2026
- Location: University of Amsterdam (UvA), Netherlands
- Field of Study: Mathematics
- Language of Instruction: English
Program Structure
Semester 1 – Foundations in Logic
- Introduction to Logic
- Set Theory and Proof Techniques
- Computational Logic
- Philosophical Logic
Semester 2 – Advanced Logic Studies
- Model Theory
- Non-Classical Logics
- Formal Semantics
- Logical Foundations of Computation
Semester 3 – Applied Logic
- Logic and Artificial Intelligence
- Logical Systems in Computer Science
- Proof Theory and Logical Calculus
- Research Project in Logic
Semester 4 – Master’s Thesis & Final Project
- Independent Research / Thesis
- Data Analysis in Logic
- Presentation & Academic Portfolio Development
Career Opportunities
Graduates of the Logic Master’s program are well-prepared for careers in mathematical research, theoretical computer science, philosophy of mathematics, and cryptography. With expertise in logic, set theory, and formal reasoning, they can become mathematicians, computer scientists, cryptographers, and philosophers of mathematics. The growing demand for logical problem-solving in technology and cryptography ensures strong career opportunities in academia, research institutions, and tech companies.
Why Choose This Program
The Logic program provides students with a deep understanding of mathematical logic and its applications in computer science and philosophy. Students engage in theoretical and applied research, preparing them for careers in mathematical modeling, algorithm design, and cryptography. The program’s emphasis on logical reasoning and formal systems ensures that graduates are equipped to solve complex problems in technology and mathematics.
Contact Information
For further information, please contact the admissions office at:
Phone: +31 (0)20 525 1400
Email: info@uva.nl
Address: University of Amsterdam (UvA), Spui 21, 1012 WX Amsterdam, Netherlands
