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.
Filosofía de la ciencia
La filosofía de la ciencia es la rama de la filosofía que investiga el conocimiento científico y la práctica científica. Se ocupa de saber, entre otras cosas, cómo se desarrollan, evalúan y cambian las teorías científicas, y de saber si la ciencia es capaz de revelar la verdad de las «entidades ocultas» (o sea, no observables) y los procesos de la naturaleza. Son filosóficas las diversas proposiciones básicas que permiten construir la ciencia. Por ejemplo:Si bien estos supuestos metafísicos no son cuestionados por el realismo científico, muchos han planteado serias sospechas respecto del segundo de ellos y numerosos filósofos han puesto en tela de juicio alguno de ellos o los tres. De hecho, las principales sospechas con respecto a la validez de estos supuestos metafísicos son parte de la base para distinguir las diferentes corrientes epistemológicas históricas y actuales. De tal modo, aunque en términos generales el empirismo lógico defiende el segundo principio, opone reparos al tercero y asume una posición fenomenista, es decir, admite que el hombre puede comprender la naturaleza siempre que por naturaleza se entienda "los fenómenos" (el producto de la experiencia humana) y no la propia realidad.