|
A Historical Introduction to The Philosophy of Mathematics (BMI-LOTD-316E.03) |
Spring
|
2026/27/1 |
4 |
en |
7 |
|
|
|
|
Algebraic logic, category theory I: Algebraic logic (BMI-LOTD-325E.02) |
Autumn
|
|
4 |
hu |
7 |
|
|
|
|
Algebraic logic, category theory I: Universal Algebra (BMI-LOTD-325E.08) |
Spring
|
|
4 |
|
7 |
|
|
|
|
Algebraic logic, category theory II: Category Theory (BMI-LOTD-326E.02) |
Autumn
|
|
4 |
en |
7 |
|
|
|
|
Algebraic logic, category theory II: Modal Logic (BMI-LOTD-326E.05) |
Spring
|
|
4 |
|
7 |
|
|
|
|
Algebraic logic, category theory II: Stability Theory (BMI-LOTD-326E.06) |
Spring
|
|
4 |
|
7 |
|
|
|
|
Algebraic logic, category theory III: Modal Logic (BMI-LOTD-327E.04) |
Spring
|
|
4 |
en |
7 |
|
|
|
|
Basic problems of metaphysics: Philosophy of science seminar (BMI-LOTD17-207E.01) |
Autumn
|
2026/27/1 |
3 |
en |
7 |
|
|
|
|
Contemporary metaphysics (BMI-LOTD17-105E) |
Autumn
|
|
3 |
en |
7 |
|
|
|
|
Contemporary metaphysics: Metaphysics (BMI-LOTD17-105E.02) |
Autumn
|
|
3 |
|
7 |
|
|
|
|
Contemporary metaphysics: Metaphysics: Knowledge and Reality (BMI-LOTD17-105E.03) |
Autumn
|
|
3 |
|
7 |
|
|
|
|
Contemporary metaphysics: Philosophy of Mind (BMI-LOTD17-105E.01) |
Spring
|
|
3 |
hu |
7 |
|
|
|
|
Elements of logic (BMI-LOTD17-101E) |
Autumn
|
2026/27/1 |
3 |
en |
7 |
|
|
|
|
Elements of logic (BMI-LOTD17-102E) |
Spring
|
2026/27/1 |
3 |
en |
7 |
|
|
|
|
Formal linguistics I (BMI-LOTD-414E) |
Spring
|
|
4 |
|
7 |
|
|
|
|
Formal linguistics I: Pragmatism (BMI-LOTD-414E.07) |
Spring
|
|
4 |
en |
7 |
|
|
|
|
Formal linguistics II: Social and Political Language (BMI-LOTD-415E.01) |
Autumn
|
|
4 |
|
7 |
|
|
|
|
Formal linguistics II.: Special topics in philosophy of language: Questions and Answers (BMI-LOTD-415E.02) |
Spring
|
|
4 |
|
7 |
|
|
|
|
Formal linguistics II: Special Topics in Philosophy of Language: Reflections on Language and Varied Perspectives (BMI-LOTD-415E.10) |
Spring
|
2026/27/1 |
4 |
en |
7 |
|
|
|
|
Formal linguistics III: Introduction to Programming in Python and the Use of AI (BMI-LOTD-416E.03) |
Spring
|
|
4 |
|
7 |
|
|
|
|
Formal linguistics III.: Logic Programming: Knights, Knaves and Prolog (BMI-LOTD-416E.02) |
Autumn
|
|
4 |
en |
7 |
|
|
|
|
Formal linguistics III: Vector Semantics (BMI-LOTD-416E.001) |
Spring
|
|
4 |
|
7 |
|
|
|
|
Foundations of mathematics (BMI-LOTD17-103E) |
Spring
|
|
3 |
en |
7 |
|
|
|
|
Game theory, decision theory I: Democratic Theory (BMI-LOTD-514E.06) |
Autumn
|
|
4 |
|
7 |
|
|
|
|
Game theory, decision theory I.: Information Theory (BMI-LOTD-514E.08) |
Autumn
|
|
4 |
|
7 |
|
|
|
|
Game theory, decision theory I: When does the People Rule: Theories of Democracy (BMI-LOTD-514E.09) |
Spring
|
|
4 |
en |
7 |
|
|
|
|
Game theory, decision theory II: Combinatorial Optimization (BMI-LOTD-515E.05) |
Spring
|
|
4 |
en |
7 |
|
|
|
|
Game theory, decision theory II.: Probability theory and Stochastic process (BMI-LOTD-515E.04) |
Autumn
|
|
4 |
|
7 |
|
|
|
|
Game theory, decision theory III.: Mathematics for non-specialists (BMI-LOTD-516E.02) |
Autumn
|
|
4 |
en |
7 |
|
|
|
|
Interpretations of quantum theory I (BMI-LOTD-614E) |
Spring
|
|
4 |
|
7 |
|
|
|
|
Interpretations of quantum theory I: Conceptual Introduction to Spacetime Geometry (BMI-LOTD-614E.03) |
Autumn
|
|
4 |
|
7 |
|
|
|
|
Interpretations of quantum theory I: Quantum Contextuality (BMI-LOTD-614E.05) |
Autumn
|
|
4 |
|
7 |
|
|
|
|
Interpretations of quantum theory I.: Realist interpretations of quantum theory (BMI-LOTD-614E.06) |
Spring
|
|
4 |
|
7 |
|
|
|
|
Interpretations of quantum theory I: Reduction and Emergence (BMI-LOTD-614E.07) |
Spring
|
|
4 |
|
7 |
|
|
|
|
Introduction to algebra (BMI-LOTD17-104E) |
Autumn
|
2026/27/1 |
3 |
en |
7 |
|
|
|
|
Introduction to the philosophy of social sciences: Marxism (BMI-LOTD17-201E.03) |
Autumn
|
|
3 |
|
7 |
|
|
|
|
Introduction to the philosophy of social sciences: Methodology of Social Sciences (BMI-LOTD17-201E.01) |
Autumn
|
|
3 |
|
7 |
|
|
|
|
Introduction to the philosophy of social sciences: Philosophy of Social Science (BMI-LOTD17-201E.02) |
Autumn
|
|
3 |
|
7 |
|
|
|
|
Logical models of scientific theories I. Logic of Time and Spacetime (BMI-LOTD-308E.05) |
Spring
|
|
4 |
|
7 |
|
|
|
|
Logical structure of physical theories I (BMI-LOTD-612E) |
Spring
|
|
4 |
|
7 |
|
|
|
|
Logical structure of physical theories I: Foundations of Spacetime Theories (BMI-LOTD-612E.03) |
Spring
|
|
4 |
hu |
7 |
|
|
|
|
Logical structure of physical theories I: Reduction and emergence (BMI-LOTD-612E.01) |
Autumn
|
|
4 |
|
7 |
|
|
|
|
Logical structure of physical theories I.: Special relativity: a constructive approach (BMI-LOTD-612E.04) |
Spring
|
2026/27/1 |
4 |
en |
7 |
|
|
|
|
Logical structure of physical theories II (BMI-LOTD-613E) |
Spring
|
|
4 |
|
7 |
|
|
|
|
Logical structure of physical theories II.: Medieval and Renaissance Natural Philosophy (BMI-LOTD-613E.04) |
Spring
|
2026/27/1 |
4 |
en |
7 |
|
|
|
|
Logical structure of physical theories II: Philosophy of probability and statistics (BMI-LOTD-613E.02) |
Autumn
|
|
4 |
|
7 |
|
|
|
|
Logical structure of physical theories II: Realist Interpretations of Quantum Theory II (BMI-LOTD-613E.09) |
Spring
|
|
4 |
|
7 |
|
|
|
|
Metatheory II.: Set theory (BMI-LOTD17-204E.01) |
Autumn
|
2026/27/1 |
4 |
en |
7 |
|
|
|
|
Metatheory 1.: Introduction to metalogic (BMI-LOTD17-203E.04) |
Autumn
|
|
4 |
en |
7 |
|
|
|
|
Metatheory 2.: Gödel's Incompleteness Theorems (BMI-LOTD17-204E.03) |
Spring
|
|
4 |
|
7 |
|
|
|
|
Philosophy of mathematics I: Beauty and Understanding in Science (BMI-LOTD-315E.05) |
Spring
|
|
4 |
hu |
7 |
|
|
|
|
Philosophy of mathematics I: Gödel's Incompleteness Theorems (BMI-LOTD-315E.03) |
Spring
|
|
4 |
|
7 |
|
|
|
|
Philosophy of mathematics II: Gödel’s incompleteness theorems (BMI-LOTD-316E.01) |
Spring
|
|
4 |
|
7 |
|
|
|
|
Philosophy of mathematics III.: Gödel, Escher, Bach (BMI-LOTD-317E.05) |
Autumn
|
|
4 |
hu |
7 |
|
|
|
|
Philosophy of mathematics III: History and Philosophy of Constructive Mathematics (BMI-LOTD-317E.06) |
Spring
|
|
4 |
en |
7 |
|
|
|
|
Philosophy of mathematics III: Programming for logicians (BMI-LOTD-317E.04) |
Autumn
|
|
4 |
|
7 |
|
|
|
|
Philosophy of mind (BMI-LOTD17-106E.08) |
Autumn
|
|
3 |
en |
7 |
|
|
|
|
Philosophy of mind: Paradoxes (BMI-LOTD17-106E.06) |
Autumn
|
|
3 |
|
7 |
|
|
|
|
Philosophy of mind: Philosophy of the social sciences (BMI-LOTD17-106E.04) |
Autumn
|
|
3 |
|
7 |
|
|
|
|
Philosophy of mind: Theories of time in ancient philosophy (Plato, Aristotle, Plotinus and Augustine) (BMI-LOTD17-106E.05) |
Autumn
|
2026/27/1 |
3 |
en |
7 |
|
|
|
|
Philosophy of mind: Where is my brain, where am I? Chinese rooms, zombies, octopuses and bats - Recent readings in philosophy (BMI-LOTD17-106E.07) |
Autumn
|
|
3 |
|
7 |
|
|
|
|
Philosophy of Science II.: Empiricist Analysis of Spacetime Theories (BMI-LOTD17-206E.03) |
Autumn
|
|
3 |
|
7 |
|
|
|
|
Philosophy of Science II.: The principle of common reason (BMI-LOTD17-206E.04) |
Autumn
|
|
3 |
en |
7 |
|
|
|
|
Philosophy of Science 1. (BMI-LOTD17-205E) |
Autumn
|
2026/27/1 |
3 |
en |
7 |
|
|
|
|
Philosophy of Science 2.: Causality (BMI-LOTD17-206E.01) |
Spring
|
|
3 |
|
7 |
|
|
|
|
Proof theory I: (BMI-LOTD-328E) |
Spring
|
|
4 |
|
7 |
|
|
|
|
Proof theory I: Combinatorial Optimization (BMI-LOTD-328E.09) |
Spring
|
|
4 |
|
7 |
|
|
|
|
Proof theory I: Computability (BMI-LOTD-328E.10) |
Spring
|
|
4 |
en |
7 |
|
|
|
|
Proof theory I: Formal languages and automata (BMI-LOTD-328E.07) |
Autumn
|
|
4 |
|
7 |
|
|
|
|
Proof theory II (BMI-LOTD-329E) |
Spring
|
|
4 |
|
7 |
|
|
|
|
Proof theory II.: Gödel's Incompleteness Theorems (BMI-LOTD-329E.09) |
Spring
|
|
4 |
en |
7 |
|
|
|
|
Proof theory II.: Incompleteness Theorems of Gödel (BMI-LOTD-329E.08) |
Spring
|
|
4 |
|
7 |
|
|
|
|
Proof theory II: Non-classical logics 2. (BMI-LOTD-329E.07) |
Autumn
|
|
4 |
|
7 |
|
|
|
|
Science and Metaphysics: Causation (BMI-LOTD17-208E.05) |
Spring
|
|
3 |
|
7 |
|
|
|
|
Science and Metaphysics: Foundations of Spacetime Theories (BMI-LOTD17-208E.16) |
Spring
|
|
3 |
hu |
7 |
|
|
|
|
Science and Metaphysics: Realist Interpretations of Quantum Theory II. (BMI-LOTD17-208E.09) |
Spring
|
|
3 |
|
7 |
|
|
|
|
Science and Metaphysics: Selected Topics in Contemporary Metaphysics (BMI-LOTD17-208E.02) |
Autumn
|
|
3 |
|
7 |
|
|
|
|
Seminar in logic and philosophy of mathematics II. (BMI-LOTD17-108E.01) |
Spring
|
|
4 |
hu |
7 |
|
|
|
|
Seminar in logic and philosophy of mathematics IV. (BMI-LOTD17-210E.01) |
Spring
|
|
4 |
hu |
7 |
|
|
|
|
Seminar in Logic and Theory of Science II (LaPoM) (BMI-LOTD17-108E.02) |
Spring
|
|
4 |
|
7 |
|
|
|
|
Seminar in Logic and Theory of Science IV (LaPoM) (BMI-LOTD17-210E.02) |
Spring
|
|
4 |
|
7 |
|
|
|
|
Seminar on logic and philosophy of science I (LaPoM) (BMI-LOTD-107E) |
Autumn
|
2026/27/1 |
4 |
en |
7 |
|
|
|
|
Seminar on logic and philosophy of science I (LaPoM) (BMI-LOTD-107E.05) |
Autumn
|
|
4 |
|
7 |
|
|
|
|
Seminar on logic and philosophy of science I (LaPoM): Philosophy of Social Sciences (BMI-LOTD-107E.03) |
Autumn
|
|
4 |
|
7 |
|
|
|
|
Seminar on logic and philosophy of science III. (LaPoM) (BMI-LOTD-209E.02) |
Autumn
|
|
4 |
|
7 |
|
|
|
|
Seminar on logic and philosophy of science III (LaPoM) (BMI-LOTD-209E) |
Autumn
|
2026/27/1 |
4 |
en |
7 |
|
|
|
|
Seminar on Logic and Philosophy of Science (LPS) I. (BMI-LOTD-107E.06) |
Autumn
|
|
4 |
|
7 |
|
|
|
|
Seminar on Logic and Philosophy of Science (LPS) III. (BMI-LOTD-209E.06) |
Autumn
|
|
4 |
|
7 |
|
|
|
|
Set theory, model theory I: Model theory (BMI-LOTD-305E.05) |
Spring
|
|
4 |
en |
7 |
|
|
|
|
Set theory, model theory I.: Model theory of arithemics (BMI-LOTD-305E.03) |
Autumn
|
|
4 |
en |
7 |
|
|
|
|
The conceptual world of physics: Relativity for everyone (BMI-LOTD-611E.02) |
Autumn
|
|
4 |
en |
7 |
|
|
|
|
Theories of meaning (BMI-LOTD17-202E) |
Autumn
|
|
3 |
|
7 |
|
|
|
|
Theories of Meaning (BMI-LOTD17-202E.03) |
Autumn
|
|
3 |
en |
7 |
|
|
|
|
Theories of meaning: Introduction to Philosophy of Language (BMI-LOTD17-202E.02) |
Autumn
|
2026/27/1 |
3 |
en |
7 |
|
|
|
|
Theory of meaning, philosophy of language II: The Philosophy of Fantasy (BMI-LOTD-412E.07) |
Autumn
|
|
4 |
en |
7 |
|
|
|
|
Theory of meaning, philosophy of language II: Truth as Paradox (BMI-LOTD-412E.08) |
Spring
|
|
4 |
en |
7 |
|
|
|
|
Theory of meaning, philosophy of language III.: History of Analytic Philosophy: the Early Analytics, Logical Positivism, and Ordinary Language Philosophy (BMI-LOTD-413E.36/E) |
Spring
|
|
4 |
en |
7 |
|
|
|