La lógica es el estudio de los principios de la inferencia válida.^[28] Una inferencia es un proceso o acto en el que a partir de la evidencia provista por un grupo de premisas, se afirma una conclusión.^[29] Tradicionalmente se distinguen tres clases de inferencias: las deducciones, las inducciones y las abducciones, aunque a veces se cuenta a la abducción como un caso especial de inducción.^[30] La validez o no de las inducciones es asunto de la lógica inductiva y del problema de la inducción. Las deducciones, en cambio, son estudiadas por la mayor parte de la lógica contemporánea. Cuando un argumento es deductivamente válido, se dice que la conclusión es una consecuencia lógica de las premisas.^[31] El concepto de consecuencia lógica es, por lo tanto, un concepto central a la lógica.^[31] Para estudiarlo, la lógica construye sistemas formales que capturan los factores relevantes de las deducciones como aparecen en el lenguaje natural.^[32] Para entender esto, considérese la siguiente deducción:

1. Está lloviendo y es de día.
2. Por lo tanto, está lloviendo.

La obvia validez de este argumento no se debe al significado de las expresiones "está lloviendo" y "es de día", porque éstas podrían cambiarse por otras y el argumento permanecer válido. Por ejemplo:

1. Está nevando y hace frío.
2. Por lo tanto, esta nevando.

En cambio, la clave del argumento reside en la expresión "y". Si esta expresión se cambia por otra, entonces el argumento deja de ser tan obviamente válido:

1. Ni está nevando ni hace frío.
2. Por lo tanto, esta nevando.

Las expresiones de las que depende la validez de los argumentos se llaman constantes lógicas, y la lógica las estudia mediante sistemas formales.^[33] Dentro de cada sistema formal, la relación de consecuencia lógica puede definirse de manera precisa, sea por medio de teoría de modelos o por medio de teoría de la demostración.

Otros temas que caen bajo el dominio de la lógica son las falacias y las paradojas.^[34]

 Filosofía de la historia

filosofía de la historia es la rama de la filosofía que estudia el desarrollo y las formas en las cuales los seres humanos crean la historia. Puede, en algunos casos, especular con la existencia de un fin u objetivo teleológico de la historia, o sea, preguntarse si hay un diseño, propósito, principio director o finalidad en el proceso de creación de la historia.

Las preguntas sobre las cuales trabaja la filosofía de la historia son muchas, ya que se trata de una materia compleja. Algunas de estas preguntas son, por ejemplo, ¿Cuál es el sujeto propio del estudio del pasadohumano? ¿Es el individuo? ¿Son las organizaciones sociales, la cultura, o acaso la especie humana por entero? Yendo aún más allá de estas preguntas clásicas, algunos filósofos modernos han introducido un nuevo concepto, sosteniendo que la historia ha dejado de ser el estudio de unidades, de hechos, pasando a ser el estudio de una compleja totalidad, que comprende no sólo las acciones humanas pasadas y sus consecuencias visibles, sino que incluye un sinnúmero de factores en su contexto, como las relaciones humanas, las corrientes de pensamiento, las motivaciones particulares, y, tal vez el factor más recientemente incorporado y que más ha revolucionado este campo de la filosofía, es el de los pensamientos, acciones, relaciones y motivaciones de aquel individuo que escribe la historia, esto es, del historiador