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.