Para la Lógica matemática y la filosofía analítica la lógica es un objeto de estudio en sí mismo, por lo que esta es estudiada a un nivel más abstracto.