Existe un debate sobre si es correcto hablar de una lógica, o de varias lógicas, pero en el siglo XX se han desarrollado no uno, sino varios sistemas formales diferentes, que capturan y formalizan distintas partes del lenguaje natural.