La lógica estudia los principios y métodos utilizados para distinguir los razonamientos válidos de los inválidos. Se divide en lógica formal e informal. La lógica formal se centra en la estructura de los razonamientos, utilizando enunciados formales y un lenguaje artificial para demostrar la validez de los argumentos.