Lógica matemática

Lógica

Es una ciencia formal que estudia la estructura o formas del pensamiento  humano (como proposiciones, conceptos y razonamientos) para establecer leyes y principios válidos para obtener criterios de verdad.

Ramas de la lógica

 

·        Lógica formal

También conocida como lógica tradicional o lógica filosófica, se trata del estudio de las inferencias con contenido puramente formal y explícito. Se trata de analizar los enunciados formales (lógicos o matemáticos), cuyo significado no es intrínseco sino que sus símbolos tienen sentido por la aplicación útil que se les da. La tradición filosófica de la cual deriva esto último se llama precisamente “formalismo” (Martínez, 2018).

·         Lógica informal

Es una disciplina más reciente, que estudia, evalúa y analiza los argumentos desplegados en el lenguaje natural o cotidiano. De ahí que reciba la categoría de “informal”. Puede tratarse tanto de lenguaje hablado como escrito o bien, cualquier tipo de mecanismo e interacción utilizada para comunicar algo (Martínez, 2018).

Enunciado

Un enunciado es sinónimo de proposición, que constituye el nivel más bajo en el análisis lógico. Consiste en una oración declarativa que posee la cualidad de ser verdadera o falsa. Los enunciados son las premisas y la conclusión de un razonamiento lógico (Mondoñedo, 2017).

Proposición

Un enunciado que puede ser calificado de verdadero o falso. Se considera la proposición como un enunciado y este último como una frase u oración. Según lo anterior, por ejemplo, la expresión 3 < 7, que es claramente una proposición verdadera del campo matemático (Mondoñedo, 2017).

Bibliografía

Martínez, G. G. (2 de octubre de 2018). Psicología y mente. Obtenido de https://psicologiaymente.com/cultura/tipos-de-logica

Mondoñedo, L. H. (2017). scielo. Obtenido de http://www.scielo.org.pe/scielo.php?script=sci_arttext&pid=S2223-25162017000100014