Lógica (plan aprendizaje)
Así como el objeto de estudio tradicional de la química es la materia, y el de la biología la vida, el de la lógica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas. La lógica investiga los fundamentos por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica, y no por el contenido específico del argumento o el lenguaje utilizado. Por esta razón la lógica se considera una ciencia formal, como la matemática, en vez de una ciencia empírica. La lógica tradicionalmente se consideró una rama de la filosofía. Pero desde finales del siglo XIX, su formalización simbólica ha demostrado una íntima relación con las matemáticas, y dio lugar a la lógica matemática. En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica, un cálculo definido por símbolos y reglas de inferencia, lo que ha permitido su aplicación a la informática.
Por qué existe algo
El periodista Thomas Emilio Villa afirma que aun en el caso de que fuera posible una respuesta intralógica para explicar por qué hay algo en lugar de nada, aún estaríamos en un escenario donde todavía existe algo: la lógica. La lógica sería algo que involucrara y controlara tanto los casos de "existencia" como los de "no existencia", y esto por lo tanto llevaría a otra pregunta filosófica aún más radical: "¿por qué existe la lógica? ¿Por qué hay lógica en lugar de no-lógica?" ?". Villa argumenta que una respuesta en este caso necesariamente cubriría los escenarios de "la lógica existe" y "la lógica no existe", y dado que una respuesta completa debería cubrir todas las preguntas planteadas, la respuesta debería encontrarse en un "reino" metafísico aún desconocido. llamada "meta-lógica" situada más allá de la lógica conocida.