Курс посвящен структурной, или формальной, стороне нашего мышления. Он является базовым, показывающим взаимосвязь мышления и языка, идеального содержания первого и его материальной организации посредством второго.
Этот курс про то, почему мы, приняв те или иные утверждения в качестве исходных и истинных, можем и должны прийти не к какому угодно, а к вполне определенному – единственно возможному – заключению.