Argumentar correctamente es una habilidad que se llama "lógica como arte". Y el estudio de los principios y reglas que rigen el razonamiento válido es la "lógica como ciencia". en esta última podemos distinguir dos enfoques: La lógica forma y la lógica informal (tema estudiado en el grado décimo. Puedes revisarlo).
LÓGICA CLÁSICA: La lógica como ciencia dios sus primeros pasos con Aristóteles. Posteriormente, los estoicos la ampliaron en algunos temas fundamentales, y más tarde los lógicos de la Edad Media y principio de la Edad Moderna sistematizaron la lógica aristotélica y estoica, culminando así la llamada lógica tradicional o clásica, que permaneció prácticamente sin novedades hasta mediados del siglo XIX. este tipo de lógica utilizaba ciertas letras como símbolos para representar las partes variables de los esquemas argumentativos, es decir, los nombres y otros designadores. En el siguiente video los principios de la lógica clásica.
LÓGICA MODERNA: La llamada lógica moderna ha encontrado el modo de simbolizar también las partes constantes de tales esquemas, como conjunciones, negaciones, particulas condicionales, etc. Para ello ha diseñado nuevos signos similares a los que utilizan en matemáticas. La parte más básica y simple de la lógica moderna es la lógica proporcional, o lógica de enunciados.