La lógica estudia las formas del razonamiento y la inferencia. Se remonta a los griegos como Aristóteles y los estoicos. Más tarde, figuras como Frege y Peano ayudaron a desarrollar la lógica moderna. La lógica evalúa la validez y verdad de los argumentos, así como identifica falacias formales y no formales que pueden invalidar un razonamiento.