Предмет формальной логики
...математической логики - логике предикатов . Дополнением к этому учению была логика античных стоиков (Зенон, Хрисипп и других).
...законам и протекает в логических формах независимо от науки логики. Многие люди мыслят логично, не зная ее правил.