LÓGICA Y DIAGRAMACIÓN - AB - SA25-5

La Lógica es la disciplina filosófica y científica que estudia los principios, métodos y estructuras que permiten distinguir los razonamientos válidos de los inválidos. Su propósito fundamental es analizar la forma del pensamiento, identificar relaciones correctas entre premisas y conclusiones, y establecer criterios para evaluar la coherencia, validez y consistencia de los argumentos.

Se ocupa de:

• Conceptos (ideas básicas).

• Proposiciones (enunciados que pueden ser verdaderos o falsos).

• Razonamientos (procesos mediante los cuales se obtienen conclusiones a partir de premisas).

A través de la lógica, se busca garantizar que las conclusiones derivadas estén estructuralmente justificadas, independientemente del contenido particular de los enunciados.

En términos generales, la lógica puede dividirse en:

• Lógica formal: estudia la validez de los razonamientos mediante estructuras y símbolos (tablas de verdad, inferencias, formas lógicas).

• Lógica no formal: analiza argumentos expresados en lenguaje natural, detecta falacias, sesgos y formas de razonamiento cotidiano.

La Lógica estudia las formas del pensamiento, por lo tanto su objeto de estudio se centra en:

• Conceptos: las ideas básicas que permiten construir conocimiento.

• Enunciados o proposiciones: afirmaciones susceptibles de ser verdaderas o falsas.

• Razonamientos: procesos mentales mediante los cuales derivamos conclusiones a partir de premisas.

Por su parte, el Lenguaje analiza la forma del idioma y las normas que rigen la comunicación humana. Su objeto de estudio abarca:

• Las palabras, como elementos básicos de construcción del lenguaje.

• Las oraciones, que permiten expresar pensamientos de manera estructurada.

• Los argumentos, que enlazan ideas para comunicar razonamientos complejos.

En conjunto, Lógica y Lenguaje conforman herramientas esenciales para el análisis, la resolución de problemas y la elaboración de algoritmos y diagramas. Su dominio fortalece la capacidad para pensar con orden, claridad y precisión, habilidades imprescindibles en las ciencias de la computación y en la vida profesional.

Bibliografía moderna (lógica formal y aplicada):
Graham Priest. An Introduction to Non-Classical Logic. Cambridge University Press.
Patrick J. Hurley. A Concise Introduction to Logic. Cengage Learning.
Stephen Read. Thinking About Logic. Oxford University Press.
Elliott Mendelson. Introduction to Mathematical Logic. Chapman & Hall.