Cílem kurzu je seznámit s historií logiky, s jejím významem pro pedagogickou práci, naučit užívat logiku v praxi, tj. v jazyce. Základy formální logiky, tj. výroková a predikátová logika, komunikace s databázemi.