Logikan nell' toižendad: formalitoi (argumentacijan tedoiduz naturaližel kelel), formaline, simvoline, dialektine (marksizman logik).
Существует четыре типа логики: неформальная (исследование аргументации на естественном языке), формальная, символическая и диалектическая (марксистская логика).