Welcome

This web aims to support teaching of logic at Masaryk University Brno (MU), esp. Faculty of Arts (FF MU). The web has been created by Jiri Raclavsky.


   Courses Logic I, II at the Department of Philosophy FF MU (KF FF MU)

   Characteristics:

The courses are light courses on mathematical logic, with overlaps to knowledge representation and natural language processing. They introduce philosophy students to the fundamental notions of logic (logical consequence, proof, ...) and formal systems (propositional logic, first- and second-order predicate logic), with their usual semantics (models) and natural deduction (and tableaux-tree method), supplemented by the theory of axiomatic systems (esp. Gödel's results).


   Logic for Everyone - for all Masaryk University students

   Characteristics:

In our society, logic plays an important role not only in e.g. computer hardware and software but also in our everyday reasoning and rational argumentation. It has been a routine part of education at universities since their very beginning as one of liberal arts. The course introduces the subject from (a) practical and (b) theoretical perspectives. (a) Practical exercises focus on (i) checking (deductive) arguments, while a nontrivial amount of exercises deploys (ii) Natural Deduction, a logical system that models reasoning. (b) The partial logical subjects are (iii) framed systematically, being accompanied by selected outlooks and connections. Among them, special attention is paid to (iv) logical paradoxes and nonclassical logics (esp. modal, epistemic and three-valued logics). A presentation of the phenomenal logical discoveries by Kurt Gödel, a native of Brno, provides a culmination of the course.


   Related courses at MU - Mathematical Logic

The courses Logic I, II rather overlap in content with introductions to logic for students of mathematics and computer science, ...

  • See more 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 / 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 are to a significant extent mathematized subjects. They may also be included in some courses offered by Faculty of Science or Faculty of Computer Science at MU.

  • See more information on philosophical / non-classical logic (not only) at MU in section Philosophical Logic.


Last update 25/03/2023.