1. Mantığın inceleme konusu olan tutarlılık ile geçerliliğin mantıksal olmayan deyimlerin içeriğine değil de yalnız biçimine bağlı olduğunu vurgulamak amacıyla mantığa verilen bir ad,
2. Yalnız biçimsel dillere ilişkin mantık dizgelerini konu edinen mantık bölümü. || Krş. sezgisel mantık.

Bakınız: mantık