Логика называется формальной, потому что имеет дело не с содержанием утверждения, но с его формой — с тем, как оно составлено из субъектов, предикатов и логических связок вроде и, или, не, все, некоторые, если и то