- El pensar humano no es arbitrario: está sujeto a una serie de reglas o leyes.

- La lógica estudia los pensamientos enunciativos desde el punto de vista de las reglas que garantizan su corrección o legitimidad (lógica formal) y en cuanto a su verdad (lógica material).

- La lógica formal estudia la estructura o forma del pensamiento, las reglas de inferencia y el proceso de deducción válida.

- La lógica tradicional fue creada por Aristóteles. La actual lógica simbólica utiliza una simbolización más completa y se aplica a un mayor número de operaciones.

- La lógica científica es una técnica, sistemáticamente elaborada, del uso de la razón. Se elabora a partir de la reflexión sobre el proceder de la lógica natural.