The course gives a basic knowledge of contemporary formal logic and the ability to critically analyse the correctness of simple arguments.