



La logique et l'intuition dans la science mathÃ©matique et dans l'enseignement. Henri PoincarÃ©, L'enseignement mathÃ©matique
Introduction
Welcome
This web supports teaching of logic at Masaryk University Brno (MU), esp. Faculty of Arts (FF).
For the Czech version of this site please click on the link or on the little flag on the right.
Pro ceskou verzi tohoto webu klikni na odkaz nebo na malou vlajecku napravo.

Courses Logic I, II at the Department of Philosophy FF MU (KF FF MU)
Characteristics: The aim of the course 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).
 See information on courses Logic I (PH1102, PHK1102) in the section Propositional Logic.
 See information on courses Logic II (PH1202, PHK1202) in the section 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, ...
 See information on mathematical and even computational logic (not only) at MU in section Mathematical Logic.

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.
 See information on philosophical (and also nonclassical) logic (not only) at MU in section Philosophical logic.

61037
_____________________________________________________________
Introduction  Author, contact: Jiri Raclavsky, 1999 
Top
Last update: ï»¿25. 9. 2017

