La Logica

La lógica se puede clasificar como lógica tradicional o no formal y lógica simbólica o formal:

1. Lógica tradicional o no formal.

2. Lógica simbólica o formal.

En la lógica no formal o lógica tradicional se considera la destreza para interpretar y distinguir

un razonamiento correcto de un razonamiento incorrecto como un producto de la experiencia

humana obtenida en la relación con el mundo circundante. En palabras de Galindo (1999), se

consideran los procesos psicobiológicos del pensamiento lógico.

La lógica como ciencia constituye la lógica formal o simbólica, la cual se encarga de

investigar, desarrollar y establecer los principios fundamentales que siguen la validez de la

inferencia; es considerada como uno de los sistemas mediante el cual se llega a formas puras

y rigurosas. 5

En el pensamiento simbólico, las palabras se manipulan, según las reglas establecidas, como

si fueran simples signos sin preocuparse por su sentido.

De allí, que afirmemos que la lógica se ocupa de la forma de los pensamientos y no de su

contenido.

3,4,5 Galindo Patiño N. J. (1999). Lógica Matemática. Universidad Nacional Abierta y a Distancia UNAD. Santa Fe de Bogotá. D.C.

1999

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA

MODULO DE LOGICA MATEMÁTICA

29

1.3 Propósito de la lógica

La lógica ofrece métodos que enseñan cómo formar proposiciones, evaluar sus

valores de verdad y determinar si unas conclusiones se pueden deducir

correctamente a partir de proposiciones supuestas; además, la lógica es una ciencia

que se interesa por las relaciones existentes entre las proposiciones, con el fin de

obtener precisión, claridad y generalidad en los razonamientos.

La precisión la logra mediante el uso de símbolos, los cuales tienen como función

primordial eliminar las ambigüedades que la estructura del lenguaje ordinario no

puede evitar con facilidad.

La claridad y generalidad, la consigue en la medida en que el usuario se familiariza

con los elementos básicos de un argumento lógico, tanto en su representación

simbólica como en su significado para luego establecer un lenguaje simbólico

artificial, que le permita simplificar argumentos lógicos complicados; de esta

manera, el símbolo permite concentración sobre lo esencial de un contexto dado,

incrementando la fiabilidad con que se aplica el conocimiento. 6

1.4 Lógica y Lingüística

Por su origen y desarrollo natural, han sido reconocidos dos tipos básicos de

lenguajes: los lenguajes naturales y los lenguajes formales o artificiales.

Los lenguajes naturales no se establecieron a través de ninguna teoría, entre

ellos están el castellano, el francés y el inglés. Las teorías y gramáticas de

lenguajes naturales, fueron establecidas a posteriori, es decir después de que el

lenguaje ya había madurado.

Los lenguajes formales como las matemáticas y la lógica, fueron desarrollados,

generalmente, a partir del establecimiento de una teoría, la cual da las bases

para que a través de dichos lenguajes se pueda desarrollar la misma teoría.

6 Galindo Patiño N. J. (1999). Lógica Matemática. Universidad Nacional Abierta y a Distancia UNAD. Santa Fe de Bogotá. D.C.

1999

Lógica Matemática

30

Los lenguajes naturales y formales tienen puntos en común, en principio, se

tiene la existencia de un conjunto finito llamado alfabeto, el cual esta constituido

de símbolos simples llamados comúnmente letras. En los lenguajes naturales se

tienen como ejemplos los alfabetos: latino, griego y árabe-persa, entre

...