Courses Logic I, II at the Department of Philosophy FF MU (KF FF MU)
The aim of the courses is to introduce students of humanities the basic notions of logic (logical consequence, proof, ...) and basic formal systems (propositional logic, first-order and higher-order predicate logic).
Related courses at MU - mathematical logic
The courses Logic I, II overlap in content with introductions to logic for students of mathematics, computer science, ...
Related courses at the Department of Philosophy FF MU - philosophical / non-classical logic
Passing Logic I, II is a natural condition for entering the course on systems and problems of philosophical and non-classical logic. Both philosophical and non-classical logics (the terms overlap in content) are to a significant extent mathematized subject, so they can also be included in some courses offered by Faculty of Science or Faculty of Computer Science at MU.
Last update: 06/11/2020