Fundamentos de la Lógica: Diferencias entre Lenguaje Natural, Artificial y Formal

Lenguaje Natural

El castellano, el francés o el euskera son ejemplos de lenguas naturales. Por lengua natural se entiende aquella utilizada normalmente en una comunidad de individuos para la comunicación entre sí.

Características del Lenguaje Natural

Ventajas:

• Enorme capacidad y riqueza comunicativa.
• Es flexible: permite jugar con las palabras y expresiones.
• Riqueza expresiva.

Desventajas (Características menos satisfactorias):

• Contiene palabras ambiguas (varios significados).
• Pueden producirse paradojas (cuando dos proposiciones contradictorias se implican mutuamente).
• Es poco rápido y eficaz.
• No es apropiado para contextos que requieren máxima operatividad (ej. la ciencia).

Lenguaje Artificial

El lenguaje artificial es una lengua donde es posible operar con exactitud y eficacia.

Es importante notar que el lenguaje artificial no trata de suplantar totalmente el lenguaje natural, ya que este último es insustituible. Cuando hablamos de este lenguaje, no nos referimos a nada parecido a idiomas construidos como el esperanto.

Lenguaje Formal

La Lógica se expresa en un lenguaje artificial y, además, es un lenguaje formal. Un lenguaje formal se caracteriza porque:

1. Está construido eligiendo arbitrariamente ciertos símbolos y reglas.
2. En él se prescinde del significado.
3. Se atiende exclusivamente a los símbolos y a las reglas establecidas.

Componentes del Lenguaje Formal

Conjunto de Símbolos (Vocabulario)

Constituyen el vocabulario, que incluye los símbolos primitivos, el vocabulario primitivo y el vocabulario reducido.

Conjunto de Operadores

Son símbolos especiales que sirven para enlazar otros símbolos. Estos operadores también forman parte del vocabulario.

Reglas de Formación de Fórmulas

Son aquellas que especifican qué frases están bien construidas y cuáles no.

Reglas de Transformación

Son las reglas que permiten pasar de unas fórmulas a otras.

La Lógica

La Lógica es una ciencia que estudia el razonamiento correcto.

Existe un uso natural y espontáneo de la lógica. Como ciencia, estudia de forma completa y sistemática las leyes del razonamiento correcto.

Alcance y Limitaciones de la Lógica

La lógica solo puede analizar los razonamientos para juzgar su corrección o incorrección si estos están escritos.

La lógica no puede decidir acerca de la verdad de los enunciados. Se limita a establecer si unas premisas son verdaderas o no y, a partir de ellas, nos permite extraer una conclusión que será juzgada como VÁLIDA o INVÁLIDA.