ACERCA DE LA HISTORIA DE LA LÓGICA

La evolución de la Lógica esta íntimamente ligada al perfeccionamiento intelectual

del ser humano, ya que como ciencia del razonamiento, su historia incorpora la historia
misma del hombre. La Lógica florece desde el primer momento en que el hombre, al
enfrentar a la naturaleza, infiere, deduce y razona, con el ánimo de entenderla y
aprovecharla para su supervivencia. Existen varios enfoques acerca de cómo explicar
la evolución de la Lógica. Poincare la divide en cinco etapas o revoluciones, que se
presentan oscilando entre dos grandes tópicos: del rigor y la formalidad, a la
creatividad y el caos. Las etapas se identifican como revolución matemática,
revolución científica, revolución formal, revolución digital y la prevista siguiente
revolución lógica.
El objetivo de la Lógica matemática es cuestionar con el mayor rigor los conceptos
y las reglas de deducción utilizados en matemáticas, constituyendo la Lógica, por ello
una verdadera matemática. Una teoría matemática considera objetos definidos
(enteros, por ejemplo) y define leyes que relacionan a estos objetos entre sí (los
axiomas de la teoría). De los axiomas se deducen nuevas proposiciones (los teoremas),
y a veces, nuevos objetos.
Durante el periodo de 600 a.n.e. hasta 300 a.n.e., en Grecia se desarrollaron los
principios formales de las matemáticas. Sus principales representantes son Platón,
Aristóteles y Euclides. Platón introduce sus ideas o abstracciones, Aristóteles presenta
el razonamiento deductivo y sistematizado y Euclides es el personaje que mayor
influencia tuvo en las matemáticas, al establecer el método axiomático.
Después de declinar la escuela clásica de los griegos, se presenta un periodo en el
cual la autoridad religiosa embruteció a la creatividad intelectual. El Renacimiento
inicia una nueva era en la cual se permite la revitalización de la ciencia y las
matemáticas. Los representantes más destacados de esta etapa son Descartes, Newton
y Leibniz. Este periodo abarca de los 1500 a los 1800.
Esta etapa se caracteriza por el resurgimiento de la formalización rigurosa de las
matemáticas, que en la etapa clásica griega fue representativa. En este periodo se crea
la Lógica simbólica, la escuela formal, la lógica booleana, el cálculo proposicional, la
inducción matemática. Personajes muy notables de esta etapa son Peano, Hilbert,
Frege, Boole, de Morgan, Gentzen, Russell, Gódel y Whitehead. A Rusell y Gódel se
deben los planteamientos de las limitantes de la Lógica y de la ciencia en general.
Esta revolución se inició con la invención de la computadora digital y el acceso
universal a redes de alta velocidad. Turing une a la Lógica y la computación antes que
cualquier computadora fuera inventada. Wiener funda la ciencia de la cibernética. En la
escuela moderna de la computación están presentes lógicos que han permitido avances
importantes: Hoare presenta un sistema axiomático de los sistemas de programación y
Dijkstra un sistema de verificación y deducción de programas a partir de
especificaciones.
La siguiente revolución lógica será la asimilación práctica de las matemáticas y la
computación dentro de la Lógica. Se hará énfasis en que las computadoras exploten la
información inteligentemente, pasando de las bases de datos a las bases de
conocimientos.

FUENTE: BLASCO CARRO, Pedro, CHICO GONZALES, Pedro. Filosofía y Lógica. Lima. Editorial Bruño.
 En los últimos tiempos se ha escuchado hablar de la inteligencia artificial, la cual
se basa en la Lógica difusa; veamos a continuación de que se trata. Los conjuntos
difusos fueron introducidos por primera vez en 1965: la creciente disciplina de la
OBJETIVOS
lógica difusa provee por sí misma un medio para acoplar estas tareas. En
determinado
· Conocer las aspecto,
reglas que la Lógica
asumedifusa puede ser
el proceso vista como un lenguaje
de pensamiento quelapermite
que refleja realidad.
· Valorar
trasladarlasentencias sofisticadas
importancia en lenguaje
de la Lógica en lasnatural a un lenguaje matemáticas.
demostraciones matemático formal.
· Dominar cálculo
Mientrasel la proposicional
motivación original para analizara lamanejar
fue ayudar verdad aspectos
o falsedad de las
componentes
proposiciones compuestas.
imprecisos del mundo real, la práctica temprana de la Lógica difusa permitió el
desarrollo de aplicaciones prácticas. Aparecieron numerosas publicaciones que
Introducción
presentaban los fundamentos básicos con aplicaciones potenciales. Esta frase marcó
¿Qué
unaesfuerte
la lógica?
necesidad de distinguir la lógica difusa de la teoría de probabilidad. Tal
como
Si unlavaso
entendemos
de vidrioahora, la piso,
cae al teoría esde lógico
conjuntos
quedifusos y la teoría de probabilidad
se quiebre.
poseen diferentes
Si estudio tipos de incertidumbre.
con bastante dedicación, es lógico que apruebe el examen.
Una En probable
1994, la teoría de la Lógica
respuesta seríadifusa
que sedamos
encontraba en la cumbre,
a entender quepero esta una
existe idea no
es nueva para
coherencia muchos.correcto
o sentido Estuvo bajo
en loel nombre de Lógicapero
que hacemos, difusa durante 25
también años, pero
podemos
sus orígenes se remontan hasta hace 2500 años. Aún Aristóteles consideró que existían
afirmar que siempre extraemos conclusiones, lo cual es inherente a
ciertos grados de veracidad y falsedad, y fue Platón quien optó por los grados de
nuestra capacidad racional.
pertenencia.
Tanto en la vida diaria como, sobre todo, en la investigación científica, el
En el siglo XVIII el filósofo y el obispo anglicano Irlandés; George Berkeley y
ser humano debe muchos de sus éxitos o fracasos a la eficacia de sus
David Hume, describieron que el núcleo de un concepto que atrae conceptos similares.
razonamientos, dado que estos le permiten conocer mejor la realidad. En
Hume, en particular, creía en la lógica del sentido común, el razonamiento basado en el
tanto que un mal
conocimiento querazonamiento,
la gente adquiere conen frecuencia, prolongamediante
forma ordinariamente el cambio hacia, en el
vivencias
el conocimiento verdadero.
mundo. En Alemania, Emmanuel Kant consideraba que solo los matemáticos podían
La Lógica se ocupa,
proveer definiciones claras, justamente,
y muchos de determinar
principios qué es lonoque
contradictorios hace
tenían que Por
solución.
unejemplo
razonamiento
sobre estoseaera
correcto o noque
la materia lo sea.
podía y no podía ser dividida infinitamente. i
La Lógica nacelaen
Particularmente Grecia
escuela antigua,deenlaelfilosofía
americana sexto siglo a.n.e.,
llamada con Tales,
Pragmatismo el
fundada a
principios
primer de siglo por
matemático de laCharles Sanders
Historia, pero Peirce,
pasósealgún
fundamentaron
tiempo antesen estos
de conceptos.
que
Fue el primero
Aristóteles inicieensuconsiderar vaguedades,
sistematización más que
y otro falsasmayor
tiempo o verdaderas,
aún paracomoqueforma de
acercamiento
asuma al mundo
el aspecto y a la forma
moderno en que laActualmente,
de ciencia. gente funciona.aparece como una
La idea de que la Lógica produce contradicciones fue popularizada por el
ciencia rigurosa, con un lenguaje técnico elaborado y preciso, pues la
filósofo y matemático británico Bertrand Russell, a principios del siglo XX. Su
utilización que hace del simbolismo le permite evitar las confusiones y
estudio sobre las vaguedades del lenguaje concluyó con precisión que la vaguedad era
ambigüedades del lenguaje natural. A la Lógica en su estado actual de
un grado. El filósofo austriaco Ludwing Wittgenstein estudió las formas en las que una
desarrollo,
palabra puedese ser
le empleada
conoce como Lógica
para muchas simbólica
cosas que tiene oalgo lógico-matemática,
en común. La primera
nombres que aluden a su uso
Lógica de vaguedades fue desarrollada en 1920, por el filósofo Jean Lukasiewicz
visualizó los conjuntos con un posible grado de pertenencia, con valores de 0 y 1,
para después extenderlos a un número infinito de valores entre 0 y 1. En los años
sesenta, Lofti Zadeh inventó la Lógica difusa, que era aquella que combinaba los
conceptos, de la Lógica y de los conjuntos de Lukasiewicz mediante la definición
de grados de pertenencia, es decir, tomando ciertos grados de verdad y falsedad.
Esto surge porque comunmente lo que para ciertas personas es verdadero, para otras
podría ser falso; por ejemplo, dos personas conversan y una de ellas comenta que tiene
 Es así que la Lógica difusa es un tipo de Lógica que reconoce más que simples valores verdaderos
y falsos. Con la Lógica difusa, las proposiciones pueden ser representadas con grados de veracidad
o falsedad. Por ejemplo, la sentencia hoy es un día soleado, puede ser 100% verdad si no hay
nubes, 80% verdad si no hay pocas nubes, 50% verdad si existe neblina y 0% si llueve todo el día.
Esta lógica ha sido probada para ser particularmente útil en sistemas expertos y otras aplicaciones
de inteligencia artificial. Es empleada en algunos correctores de voz para sugerir una lista de
probables palabras a reemplazar en una mal dicha, también lo podemos notar en los procesadores
de texto que tienen corrector ortográfico. La Lógica difusa, que hoy en día se encuentra en constante
evolución ,nació aria los años 60 como la Lógica del razonamiento aproximado; en ese sentido,
podía considerarse una, extensión de la Lógica multivaluada. La Lógica difusa actualmente está
relacionada y fundamentada en la teoría de los conjuntos difusos. Según esta teoría, el grado de
pertenencia de un elementos un conjunto será determinado por una función de pertenencia que
pueden tomar todos los valore reales comprendidos en el intervalo [0, 1}
La Lógica difusa (llamada también Lógica borrosa por otros autores) o Fuzzy logic (en ingles es,
básicamente, una lógica con múltiples valores, ya que permite definir valores en las áreas oscuras
entre las evaluaciones convencionales de la lógica precisa: sí/no, cierto/falso, blanco/negro, etc. Es
por ello que se le considera un súper conjunto de la Lógica clásica. Con la Lógica difusa, las
proposiciones
pueden ser representadas con grados de certeza o falsedad. La Lógica tradicional de •las computadoras
operaba con ecuaciones muy precisas y dos respuestas: sí o no, uno o cero. Actualmente. para
aplicaciones de computadores muy mal definidas o sistemas vagos se emplea la Lógica difusa.
Por medio de la lógica difusa, pueden formularse matemáticamente nociones como un poco
caliente o muy frío, para que sean procesadas por computadoras y cuantificar expresiones humanas
vagas, tales como muy alto o luz brillante. Con este proceso, se intenta aplicar la forma de pensar
humana a la programación de los computadores. Permite también cuantificar aquellas descripciones
Imprecisas que se usan en el lenguaje y las transiciones graduales en electrodomésticos como ir
de agua sucia a agua limpia en una lavadora (lo que permite ajustar los ciclos de lavado a través
de sensores). La habilidad de la lógica difusa para procesar valores parciales de verdad ha sido de
gran ayuda para la ingeniería. En general, se ha aplicado en los sistemas expertos (GPS) sistema
que permite la ubicación con determinada certeza; los verificadores de ortografía, los cuales
sugieren una lista de palabras probables para reemplazar una palabra mal escrita. (Los
encontramos en los procesadores de texto y en los mensajes de celulares); el control de sistemas de
trenes subterráneos (el tren bala en Japón), aquellos edificios que se denominan inteligentes porque
poseen sensores que permiten evaluar la temperatura (así en un día muy frío permitirá encender la
calefacción o si hace calor encender el aire acondicionado) o encender las luces en una determinada
hora; también posee sistemas que permiten detectar corto circuitos; fugas de gas y activar
inmediatamente la alarma
 CONCEPTOS PREVIOS
En el estudio de la Lógica es
En primer término, consideremos conveniente utilizar expresiones
un lenguaje como un conjunto de sonidos, uniformes con el fin de evitar
letras gestos y símbolos mediante los cuales ambigüedades ya que los términos
se trasmite un mensaje. En el lenguaje usados como conjunciones se pueden
oral o escrito, nos referimos a letras, expresar con distintas palabras.
palabras o vocablos que al agruparse Ejemplos
pueden tener significación o carecer de
· Si Juan llega a las 3:00 p.m.,
ella.
estudiaremos Aritmética.
En segundo término, el juicio es el acto
mental por el cual pensamos · Si es que Juan llega a las 3:00 p.m.
cualquier enunciado. En tercer término, estudiaremos Aritmética.
una sentencia es una serie de signos a · Estudiaremos Aritmética siempre y
través de los cuales se expresan ideas. cuando Juan llegue a las 3:00 p.m.
Finalmente, en cuarto término · Estudiaremos Aritmética con tal
denominaremos enunciado a la expresión que Juan llegue a las 3:00 P.M.
de una idea, esto es cualquier frase,
Como vemos, el lenguaje común
expresión u oración que nos exprese una
ofrece diversas formas de expresar un
o más ideas. De esta manera, los
mismo enunciado. En el estudio de la
enunciados pueden ser de dos tipos:
Lógica, conviene expresar estos
atómicos y moleculares.
enunciados mediante una misma
estructura, la cual puede ser:
ENUNCIADO ATÓMICO
· Si Juan llega a las 3:00 p.m.
Es aquel que carece de entonces_ estudiaremos Aritmética.
conjunciones. Entendemos ahora la necesidad
de la Lógica, por establecer estructuras
Ejemplos a partir de las cuales, poder evaluar la
· Pedro es ingeniero industrial. coherencia del discurso y la validez de
· La economía peruana es los razonamientos derivados de los
enunciados expresados, mediante
independiente.
palabras en el lenguaje común.
ENUNCIADO MOLECULAR

Se obtiene combinando ¿QUÉ ES UNA PROPOSICIóN?

enunciados atómicos mediante Las proposiciones son pensamientos en
conjunciones. el que se afirma algo y que se expresan,
mediante enunciados u oraciones
Ejemplos
declarativas.
· Antonio es un buen estudiante y la Nuestro lenguaje está formado por
guitarra de Mariela es pequeña. enunciado aunque no todos ellos son
 Cuando Antonio es buen proposiciones.
estudiante su madre está
contenta.
 Ejemplos
1. El Sol es una estrella.
2.El perro es un animal herbívoro.
3.¿Qué hora es?
4.¡Ojalá no te equivoques!
5.A es una figura geométrica.
6. Él es un escritor peruano.
Solo las dos primeras que son declarativas nos
comunican una proposición verdadera o falsa.
Es verdadera: El Sol es una estrella.
Es falsa: El perro es un animal herbívoro.
Los enunciados 3 y 4 no trasmiten una
proposición, pues las preguntas,
exclamaciones y ordenes no son verdaderas o
falsas (son en todo caso, justas e injustas,
sinceras o fingidas, etc.).
Los enunciados 5 y 6 son expresiones
que se comportan de manera ambigua, que
para –ciertos casos adoptan el valor de
verdadero y para otros el valor de falso; por
los que se les denomina, también,
enunciados abiertos. Los cuales dependen de
una variable expresado en palabras o
símbolos matemáticos, de los enunciados
El es un escritor peruano.
dionde Él es una variable. Si asignamos
algunos nombres de personas, se observa:
Ciro Alegría es un escritor peruano. Es
verdadero
Issac Newton es un escritor peruano. Es
falso
PRO0POSICIóN LÓGICA
Es el significado de una expresión
que se caracteriza por tener solo un valor
veritativo, es decir, el significad.
La posibilidad de ser verdadero o falso,
pero no los dos a la vez.
como nos interesa manejar las relaciones entre
proposiciones, independientemente del
cual sea su contenido; simbolizamos a
las proposiciones mediante
minúsculas: p,q,r,s,…. A estas se les
denomina variables proposicionales.
Si una proposición p es
verdadera, anotaremos este hecho
con la letra V. En cambio, si la
proposición p es falsa, la
anotaremos con la letra F.
En resumen, si p es una proposición
lógica, estará caracterizada por la siguiente
tabla:
Proposición p
Verdadero V
Falso F
Aplicación 1
De los siguientes enunciados, indique
cuáles son las proposiciones lógicas.
1. Los gatos son mamíferos.
2. ¿Cuál es tu edad?
3. El ácido sulfúrico corroe la madera.
4. Sé honrado y trabajador.
5. 8 es un número par y es mayor que 7
Resolución
Son proposiciones lógicas 1; 3 y 5, dado
que se les puede asignar valor de verdad
o falsedad. Los enunciados 2 y 4 no son
proposiciones lógicas.
Por lo tanto, 1; 3 y 5 son proposiciones
lógicas.
Aplicación 2
De las siguientes proposiciones,
señale cuáles son verdaderas o falsas.
p :La Luna es un satélite de la
Tierra.
q :Los gatos no son mamíferos.
r :Dos más tres es igual a siete.
S : Todos los árboles son vegetales.
t : El delfín es un animal marino.
Resolución
letras Son proposiciones verdaderas:
p, s, t. Son proposiciones
falsas: q, r.