В книге излагаются различные реконструкции традиционной формальной логики. Автор показывает, как эта логика может быть представлена с помощью алгебраической полуструктуры, а также излагает силлогистику в виде формальной аксиоматической системы и системы натурального вывода.