Universidad Nacional Abierta

02 de julio de 2020
Sede Merida.
Ingeniería de Sistema semestre 2020-I
Undibal A. Rivas C.
LÓGICA
CI: 13.748.020
Código: 107
Asesor: Eduardo Juárez

LA LÓGICA EN EL LENGUAJE ARTIFICIAL

La creación de lenguas artificiales entra en los marcos de la lógica y la semiótica, del leguaje
formal y los dominios de las ciencias de la comunicación, de las ciencias informáticas. Las
lenguas artificiales han sido obra de especialistas: teólogos, filósofos, literatos, así como de
otros científicos de las llamadas “ciencias duras”: matemáticos, física, química cibernéticos,
etc.; en los siguientes párrafos se intentará explica la relación que tiene la lógica y el
lenguaje, reflexionando los conceptos que abordan el tema.

Tenemos que por un lado el lenguaje es un sistema de comunicación estructurado para el

que existe elementos de uso y principios combinatorios formales o informales, con la función
de comunicar e influir; y tenemos por otro lado que la lógica, es el inicio del análisis del
lenguaje, porque la primera se basa en un estudio del razonamiento y conocimiento de los
individuos y para lograr entender a los individuos se debe entender, primero, su lenguaje.
Según [1]Aguilar-Álvarez (1998) que contextualiza lo siguiente:

“Según Heidegger1, el cometido de la lógica es dar cuenta de la verdad. Luego, si no se

pronuncia sobre este punto, no tiene sentido. No basta con dilucidar la estructura del logos 2,
es necesario establecer cuándo es verdadero y cuándo es falso. Aristóteles, de hecho,
afirma que la verdad en la proposición se da en la síntesis3 y la diáiresis4.” (Pág. 82)

Podemos decir que, lógica es el lenguaje que se pronuncia y estudia la estructura del
pensamiento para establecer leyes y principios válidos para obtener criterios de verdad o
falsedad. El lenguaje lógico se constituye de símbolos y señales que consta de un alfabeto
de símbolos básicos que cumplen unas reglas que permiten construir a partir de ellos formas
simbólicas, cadenas de símbolos que obedecen reglas para que tengan un significado.

Por lo tanto, el lenguaje lógico es usado como una lengua artificial, donde a diferencia del
lenguaje natural que ha sido generado espontáneamente en un grupo de hablantes con el
propósito de comunicarse, el cual fue construido con reglas y convenciones lingüísticas y
sociales, donde se pueden presentar en algún caso ambigüedades, vaguedades, ineficacias
y falacias; por lo tanto, se establece que el lenguaje lógico artificial es concebido de una
forma totalmente consciente e intencional, y tiene que ver con representaciones simbólicas y
significados que solo tienen que ser interpretados y entendidos mas no modificarlos.

Su aplicación, es tal como en los leguajes de programación que manejan signos que
transforman o formalizan los lenguajes naturales como lo puede ser el idioma inglés o
1
Martin Heidegger, fue un filósofo alemán. Es considerado el pensador y el filósofo más importante del siglo XX.
2
Logos, Palabra o expresión de los pensamientos. Representación inteligible del orden. Un principio de inteligibilidad y orden. Reúne lo
disperso.
3
Síntesis, Cosa compleja que resulta de reunir distintos elementos que estaban dispersos o separados organizándolos y relacionándolos.
4
Diáiresis, del griego διαίρεσις, separación, o también división, aunque división es también análisis.
español (inclusive ambos al mismo tiempo), a una serie de signos o símbolos estructurados
y matematizados. Se debe considerar que este lenguaje artificial carece de expresividad,
solo si no es interpretado o no se entienden sus características, estructura y aspectos que lo
constituyen. Por ejemplo, podemos usar el siguiente fragmento de código en lenguaje de
Programación Python5, que hace la suma de dos números entero y verifica que de resultado
sea un entero mayor que cero:

el lenguaje de programación Python, Es un lenguaje formal y artificial que, mediante una

serie de instrucciones, le permite a un programador escribir un conjunto de órdenes,
acciones consecutivas, datos y algoritmos para, de esa forma, crear programas que
controlen el comportamiento físico y lógico de una máquina.

5
Python es un lenguaje de programación interpretado cuya filosofía hace hincapié en la legibilidad de su código. Se trata de un lenguaje de
programación multiparadigma, ya que soporta orientación a objetos, programación imperativa y, en menor medida, programación funcional.
Es un lenguaje interpretado, dinámico y multiplataforma.
[1] Aguilar-Álvarez (1998). El lenguaje en el primer Heidegger. México: Fondo de Cultura Económica.