La lógica estudia los principios de los razonamientos correctos para determinar las condiciones bajo las cuales la verdad de ciertas creencias conduce necesariamente a la verdad de otras creencias. Estudia la validez formal de las inferencias independientemente del contenido, asegurando que siguiendo los principios correctos no surjan errores aparte de los derivados de premisas falsas. No garantiza siempre conclusiones verdaderas ya que a veces las premisas son erróneas.