Analiza pojmova 'duh' i 'realnost' i njihovog međuodnosa. Različiti pristupi problematici duha, realnosti i krize duha. Čitanje i analiza izvornih filozofskih tekstova.

Pojmovne osnove iskazne logike. Valjanost, zadovoljivost, istovrijednost.
Prevođenje običnih rečenica na jezik iskazne logike.
Semantičke metode očuvanja istine: Istinitosne tablice, reductio ad absurdum i istinitosno stablo.
Sintaktički izvodi unutar sustava prirodne dedukcije.