TEMA N.

LA LOGICA SIMBOLICA

1.-LA LOGICA SIMBOLICA Y SU DEFINICION. -La lógica formal es la disciplina que estudia las
estructuras del formales del pensamiento y las relaciones que tales estructuras presentan.

La lógica simbólica es una parte de la lógica formal que emplea un lenguaje formalizado en el
razonamiento deductivo y diversas variedades del cálculo.

La lógica simbólica ha recibido diversos nombres tales como: Algebre lógica, logística, lógica
matemática, lógica pasigráfica, lógica ideográfica, etc. En le siglo pasado; hoy tales
denominaciones esta en desuso. La misma denominación de lógica simbólica, tiende a ser
reemplazada por la de “lógica formal” o simplemente “lógica”

2.- HISTORIA Y ORIGEN DE LA LOGICA SIMBOLICA. -Los orígenes más remotos de la lógica
simbólica se encuentran en la obra de Aristóteles y en algunos fragmentos de los estoicos en la
Grecia antigua. Al finalizar la edad media, siglo XIV el español Raimundo Lulio propuso un
simbolismo y un calculo para resolver problemas lógicos, pero su obra escrita en catalán no
tuvo mayor difusión.

El fundador de la lógica simbólica fue el filósofo y matemático alemán W. G. Leibnitz, en el

siglo XVII sin embargo su obra permaneció inédita y por ello desconocida, recién se la hizo
pública en nuestro siglo.

En el siglo pasado XIX un grupo de matemáticos, al estudiar los fundamentos lógicos de la

matemática desarrolló la lógica simbólica pero tales estudios no fueron especializados y no
alcanzaron una organización sistemática.

Al comenzar el siglo XX, B. Russel en Inglaterra y D. Hilbert en Alemania realizaron la primera

sistematización de la lógica simbólica. En las décadas siguientes, R. Carnap, creo la sintaxis
lógica y Taraski creo la semántica lógica, dos capítulos básicos dentro de la nueva lógica.

3.-EL LENGUAJE FORMALIZADO. – En las ciencias se presentan inferencias complicadas que

exigen un lenguaje formalizado, por ejemplo, en las demostraciones matemáticas y en los
cálculos de la física y la química. Por medio del lenguaje natural y corriente no se podría
cumplir con los objetivos de las ciencias, es pues necesario el empleo de in lenguaje
formalizado o simbólico.

Las ciencias que han empleado el lenguaje formalizado han alcanzado un notable progreso.

Otra razón para el uso del lenguaje formalizado es evitar la vaguedad, la ampulosidad e
impresión del lenguaje natural. Las palabras usadas en los razonamientos suelen ser confusas
o de varios significados, lo cual no permite muchas veces corrección en los razonamientos ni
tampoco una comprobación precisa.

3.-APLICACIONES. – Alcanzo mayor difusión en tres áreas: La técnica, las ciencias y la filosofía.

Gran número de técnicas en la que se emplea el cálculo incluyen como operaciones básicas, las
operaciones del cálculo lógico, como ocurre con la electrotecnia, las múltiples especialidades
de ingeniería, la técnica contable, etc. Muchas de estas operaciones forman parte básica de las
computadoras.
La aplicación de la lógica simbólica al estudio de los fundamentos de la matemática que se
inició en el siglo pasado se ha extendido al análisis de las diferentes especialidades científicas,
al análisis del lenguaje propio de cada ciencia.

4.- PROBLEMAS FUNDAMENTALES. -Las partes fundamentales en la que se divide la lógica

simbólica son tres: La teoría proposicional, la teoría cuantificacional y la teoría de clases.

Existen otros capítulos tales como la teoría de la identidad, la teoría de las relaciones, la
sintaxis lógica, la semántica lógica, etc. Estos capítulos se basan en los fundamentos y
constituyen un nivel superior.