Виды формальной логики и их особенности