Seguindo o desenvolvimento da lógica formal com a lógica simbólica do final do século 19 e a lógica matemática do século 20, os tópicos tradicionalmente tratados pela lógica que não fazem parte da lógica formal tenderam a ser chamado tanto como filosofia da lógica ou lógica filosófica, ou simplesmente como lógica.