

WelcomeThis web aims to support teaching of logic at Masaryk University Brno (MU), esp. Faculty of Arts (FF MU). The web has been created by Jiří Raclavský.
Courses Logic I, II at the Department of Philosophy FF MU (KF FF MU) Characteristics 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, firstorder and higherorder 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 / nonclassical logic Passing Logic I, II is a natural condition for entering the course on systems and problems of philosophical and nonclassical logic. Both philosophical and nonclassical 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 