1. Розділ логіки, що вивчає властивості логічних систем (наприклад, їхню непротирічність, повноту) за допомогою методів, що виходять за рамки цих систем.
2. Філософська теорія або концепція, що розглядає логіку як предмет рефлексії, аналізує її засади, поняття та методи.