Universidad Católica Cecilio Acosta

Facultad de Filosofía y Teología

Programa de Filosofía a Distancia
Asignatura: Lógica

Lógica
Unidad I Introducción, Noción, Historia y
Relación Entre la Lógica Formal
Tradicional y la Lógica Simbólica.

Especialista de Contenido:
Ana Rodríguez

Maracaibo, Venezuela 2008-2009

Revisado: Septiembre 2009
 Lógica ● V e r s i ó n pdf Unidad I. Hi s t o r i a de la L ó g i c a ● Pá g. 2

CONTENIDO

Introducción .................................................................................... 3

Tema I. Breve historia de la lógica occidental .......................................... 5

1. La Lógica antigua ..................................................................... 5

2. Lógica medieval ........................................................................ 7

3. Lógica moderna o clásica. La lengua perfecta ................................... 8

4. Lógica actual .......................................................................... 10

4.1. La matemática de la lógica .............................................. 10

4.2. La lógica matemática ..................................................... 12

Tema II. Relación entre la lógica formal tradicional y la lógica simbólica ........ 15

Vínculos ....................................................................................... 17

Referencias bibliográficas ................................................................. 17

 Lógica ● V e r s i ó n pdf Unidad I. Hi s t o r i a de la L ó g i c a ● Pá g. 3

Introducción
La lógica debe cuidarse de sí misma.
Todo lo que es posible en la lógica está también permitido.
En cierto sentido, no podemos equivocarnos en la lógica.
Ludwig Wittgenstein, Tractatus Logico Philosophicus, 5.473

La ciencia Lógica que nació en el mundo griego del siglo V (a. de J.C.) y la cual
para algunos autores alcanzó su punto máximo con Sócrates, Platón y Aristóteles
hace más de 2.300 años, es el mayor logro intelectual que se conozca y constituye
el insuperado legado de la magna Grecia para la Humanidad, fruto y tributo del
amor humano a la verdad y la belleza.

La Lógica es la ciencia que estudia las leyes y la

validez de los razonamientos. Y al ser toda ciencia "un
conjunto de conocimientos obtenidos por la observación y
el razonamiento", resulta que la Lógica aporta uno de los
dos instrumentos por los cuales toda ciencia puede ser tal.
Así, si no existieran los razonamientos, entonces no existiría ciencia alguna.

La palabra lógica se deriba del griego lógiké, derivado de logikós, que se refiere
a la razón. Así como también del latín lógos, razón. De allí que la lógica se defina
como Estudio de los razonamientos bien hechos. Es el procedimiento sistemático y
fundado que nos permite diferenciar un razonamiento correcto, o válido de otro
incorrecto, o inválido. Es, por está razón, estudio de la deducción lógica o de la
inferencia lógica. Puede también definirse como el estudio sobre la consistencia de
los enunciados que afirmamos, o como la ciencia de las reglas que nos permiten
usar correctamente la expresión “por consiguiente”, o un equivalente de la misma.
Los siguientes párrafos son ejemplos de argumentaciones o razonamientos.

Siguiendo a Alfredo Deaño la lógica es la “ciencia que estudia la validez

formal de las inferencias”. Para comprender esta definición necesitamos
entender qué es una “inferencia” y qué se entiende por “validez formal”.
 Lógica ● V e r s i ó n pdf Unidad I. Hi s t o r i a de la L ó g i c a ● Pá g. 4

Deaño, Alfredo. Introducción a la lógica formal. (Alianza Editorial,

S.A., Madrid 1974, p. 32)

• Inferencia. Una inferencia es, de forma intuitiva, un razonamiento o una

argumentación. Lo característico de esta forma pensamiento es que en él
pasamos de un conjunto de afirmaciones a las que denominamos
“premisas” a otra afirmación a la que llamamos “conclusión”.

• La validez de un razonamiento es independiente de la verdad o falsedad

de sus premisas. Lo fundamental es comprender que para que un
razonamiento sea válido -formalmente válido-, no puede darse el caso
que, si sus premisas son verdaderas, la conclusión sea falsa.

La lógica únicamente se preocupa de los esquemas de razonamiento, y para

eso, la lógica toma la forma de una “ciencia deductiva”. Como en cualquier otra
ciencia, la lógica es un sistema de enunciados, con la peculiaridad, en este caso,
de que los enunciados se encuentran deductivamente ligados formando un cálculo
o un sistema de cálculo.
 Lógica ● V e r s i ó n pdf Unidad I. Hi s t o r i a de la L ó g i c a ● Pá g. 5

Tema I. Breve historia de la lógica occidental

Es importante aclarar antes de dar inicio a la primera unidad, que este texto
constituye simplemente un compendio de los aspectos más importantes que
marcaron el desarrollo de la historia de la lógica en Occidente. En función de llevar
a cabo este estudio del desarrollo de la lógica occidental a través del tiempo,
desde su nacimiento con Aristóteles hasta la aparición y florecimiento de la lógica
moderna, se realizará una clasificación de las etapas que marcaron el desarrollo de
la misma. A la lógica se la considera fruto de la convergencia de cuatro líneas de
pensamiento marcadas por: la lógica antigua, la idea de un lenguaje universal para
la ciencia, el desarrollo del álgebra y la aritmética en el s. XIX, o desarrollo de la
matemática de la lógica, y las investigaciones de la lógica de la matemática.

1. La Lógica antigua

El origen de la lógica se remonta, sin lugar a dudas, a

Aristóteles con el Organon, o conjunto de obras lógicas:
Categorías, que trata de los términos; De La
Interpretación, donde estudia el enunciado; Analíticos
Primeros, estudia el silogismo; Analíticos Segundos, que
trata de la demostración; y Tópicos y Elencos sofísticos,
que trata del silogismo dialéctico y sofístico,
respectivamente.

Si bien Parménides, los sofistas y el mismo Platón pueden considerarse como

antecedentes y predecesores de algunas teorías lógicas, Aristóteles es el primero
en desarrollar un sistema completo de lógica, que se conoce con el nombre de
silogística. La cual constituye una lógica de predicados basada en los términos y en
la predicación, o manera como se atribuye al sujeto el predicado en la frase o
proposición, cuya estructura se indica con la expresión “S es P”.
 Lógica ● V e r s i ó n pdf Unidad I. Hi s t o r i a de la L ó g i c a ● Pá g. 6

“Un silogismo es un argumento en el cual, establecidas ciertas cosas,

resulta necesariamente de ellas, por ser lo que son, otra cosa distinta de las
antes establecidas”
Aristóteles. Analítica primera, l.1, cap. 1 (Obras, Aguilar, Madrid 1973, p. 276).

La obra de Aristóteles fue continuada y perfeccionada por Teofrasto de Eresos,

segundo director del Liceo, sobre todo en lo que respecta a la lógica modal y a la
lógica de enunciados o proposiciones, sólo implícitamente supuesta por Aristóteles.

Más tarde, se desarrolla sistemáticamente la lógica de enunciados por parte de

los megáricos -entre 400 y 275 a.C.- y los estoicos -entre 300 y 200 a.C.-

A los megáricos, entre quienes destacan Diodoro Cronos y Filón de Megara, se

debe la formulación de las primeras paradojas lógicas, atribuidas principalmente a
Eubúlides, asi como también el estudio de los enunciados modales e intensas
discusiones sobre el sentido del condicional.

La lógica estoica es una lógica de enunciados ya en desarrollo, basada en el

principio de bivalencia (a ellos se debe la definición de enunciado - que llaman
axioma- como lo que puede ser verdadero o falso), que recurre a la negación,
conjunción, disyunción -exclusiva, y quizá la inclusiva- y el condicional filoniano,
como conectivas definidas a modo de funciones veritativas; con ellas construían los
principios lógicos.

Las discusiones sobre el condicional, unidas a las de los megáricos, fueron

tantas y tan intensas que Calímaco -s. II a.C.- afirmaba que “hasta los cuervos
graznan por los tejados acerca de este problema”. El famoso médico Galeno -entre
los años 129 y 199 d.C.-, que escribe una Introducción a la dialéctica, así como
comentarios a la lógica de Aristóteles, Teofrasto y los estoicos, mezcla la lógica
aristotélica con la estoica. Se le atribuye, asimismo, la introducción de la cuarta
figura del silogismo -algunos la atribuyen al filósofo judío Albalag, del s. XIII-.
 Lógica ● V e r s i ó n pdf Unidad I. Hi s t o r i a de la L ó g i c a ● Pá g. 7

Tras el período estoico, durante la época de los comentadores, iniciada por la

labor recopiladora de Andrónico de Rodas, florecen comentarios sobre las obras
lógicas de Aristóteles. Entren los cuales destacan, Alejandro de Afrodisia -s. III-,
Porfirio -s. III-, Simplicio -s. VI- y Filopón -s. VI-. Entre los romanos del mismo
período, especial relevancia tiene Boecio, a través del cual se conocen, por
primera vez, en el occidente latino algunas de las obras lógicas de Aristóteles:
traduce Categorías y De la interpretación, sobre las que también redacta
comentarios; escribe Sobre el silogismo categórico y Sobre el silogismo hipotético,
y comenta además la Eisagogé, del neoplatónico Porfirio y Topica, de Cicerón.

2. Lógica medieval

Se entiende por lógica medieval aquella que se desarrolla en el occidente

cristiano durante los siglos XI al XV. Durante un largo período de tiempo, la lógica
queda relegada a nociones básicas de las artes liberales. La aparición de los
“dialécticos” del S. XI y las primeras discusiones sobre la naturaleza de los
universales renuevan el interés por la lógica y su relación con la gramática. Los
comentarios que realizara Boecio a la Eisagogé, pueden considerarse como
antecedente del llamado problema de los universales, problema de especial
importancia durante este periodo.

La lógica medieval, es heredera de la lógica griega y, en especial, de la

silogística aristotélica. Se destacan cuatro aportaciones nuevas y fundamentales de
la Escolástica:

• Una teoría general de la referencia -suppositio terminorum-,

• Una teoría general de la implicación –consequentia-,
• Un desarrollo de la lógica de las modalidades, y
• El tratamiento de paradojas y problemas lógicos del lenguaje.
 Lógica ● V e r s i ó n pdf Unidad I. Hi s t o r i a de la L ó g i c a ● Pá g. 8

El primer tratado medieval de lógica es La Dialéctica, de Alcuino, obra escrita

en forma de diálogo para ser utilizada en el trivium, base de la enseñanza
elemental medieval, que Alcuino restaura a iniciativa del emperador Carlomagno.

El primer lógico de importancia en este periodo es Pedro Abelardo. Sus obras de

mayor interés son La Dialéctica, en la que reelabora la herencia lógica dejada por
Boecio, y Sic et Non, en la cual introduce uno de los procedimientos más
característicos del estudio de las cuestiones en la Escolástica. A partir de la
segunda mitad del s. XII, se conocen ya en occidente el resto de obras lógicas de
Aristóteles; la lógica basada en estas nuevas obras se conoció con el nombre de ars
nova, o “nueva lógica”, usada ya en las universidades del s. XIII. La doble dirección
en el estudio de la lógica que existió en éstas dio origen a la lógica antigua, de las
facultades teológicas, y a la lógica moderna, de las facultades de artes.

El autor más representativo de esta lógica moderna es Pedro Hispano; sus obras
de lógica, Summulae Logicales, fueron los manuales usuales de lógica durante los
siglos XIV y XV, con más de 150 ediciones.

Otros autores destacados de este período lo constituyen: Juan Duns Escoto, y,

sobre todo, Guillermo de Occam.

3. Lógica moderna o clásica. La lengua perfecta

Esta tercera etapa de la historia de la lógica

encuentra sus antecedentes en el periodo medieval con
el Ars Magna, “El gran arte”, de Ramon Llull. Según este
autor, con 54 ideas básicas podría elaborarse un gran
arte para expresar cualquier verdad necesaria al hombre.
De allí que esta etapa se distinga por la búsqueda de una
lengua perfecta, es decir, de un lenguaje completo,
 Lógica ● V e r s i ó n pdf Unidad I. Hi s t o r i a de la L ó g i c a ● Pá g. 9

simple y universal. Durante la misma se distinguen Descartes y Leibniz como los

principales patrocinadores de una characteristica universalis1, de un lenguaje
universal de proposiciones verdaderas que pudiera ser usado para razonar
científicamente.

Descartes por su parte busca una “ciencia totalmente nueva, que permita
resolver en principio todas las cuestiones”, o un lenguaje universal vinculado a
la verdadera filosofía, que elimine la posibilidad de equivocarse al razonar. Por
otra parte Leibniz es el único, de sus contemporáneos que no cree -como sí hará
poco después Kant-, que la lógica sea un saber ya totalmente establecido y
acabado, y a quien se atribuye la paternidad de la expresión “lógica matemática”;
es el defensor por antonomasia de una mathesis universalis, o lenguaje universal
matemático, que, desde su primera Dissertatio de arte combinatoria, escrita a los
veinte años, en 1666, hasta las más tardías Elementa characteristicae generalis e
Historia et commendatio linguae characteristicae, y aun en su proyecto de una
enciclopedia universal, no cesa de identificar el “razonamiento y el cálculo”, con
el apoyo de signos o de conceptos primeros.

De acuerdo con él se podría construir un idioma en el cual cada concepto simple

fuera representado directamente por un carácter o signo, llamado “característica
real”, y de esa forma obtendríamos un idioma ideográfico, es decir, un idioma de
las ideas o conceptos.

Sería, por lo tanto, un lenguaje simbólico, con la propiedad de ser tratado como
un cálculo de razonamiento, como un algebra. Los caracteres o signos constituirían
“alfabeto de pensamiento humano” que correspondería a todas las ideas simples
posibles. Estas ideas simples seria conceptos primitivos a partir de los cuales
podrían construirse conceptos complejos por medio de reglas de combinación. De
esta manera Leibniz concibió tanto la posibilidad de un cálculo del razonamiento

1
Expresión con la que Leibniz se refiere a un lenguaje universal, basado sobre todo en el simbolismo
y reglas combinatorias, que representaría el “verdadero alfabeto del pensamiento humano” -quizás
las ideas innatas-, y con el que sería factible razonar y mostrar todas las posibles relaciones de los
conceptos entre sí. La utilidad de este lenguaje, además de su universalidad, radicaría en la
posibilidad de eliminar las controversias en ciencia, filosofía y religión: razonar no sería más que
calcular.
Diccionario de filosofía en CD-ROM. Copyright © 1996.
 Lógica ● V e r s i ó n pdf Unidad I. Hi s t o r i a de la L ó g i c a ● Pá g. 10

como la posibilidad de una matemática universal, que sería el origen, en definitiva,

de la lógica simbólica.

Además de estos autores que pueden considerarse “precursores” de la lógica

matemática, ha de recordarse a Antoine Arnauld y a Pierre Nicole con su Lógica de
Port-Royal: Lógica o Arte de Pensar -1622-, que mantiene una perspectiva
antiescolástica y antiaristotélica, defendida anteriormente sobre todo por Petrus
Ramus, pero también por Bacon, Descartes, Pascal entre otros. Su orientación
psicologista será decisiva a todo lo largo de los siglos XVII a XIX. Bernard Bolzano es
uno de los pocos, y el principal, que no sigue esta orientación psicologista. El hecho
de contemplar la lógica como teoría de la ciencia hace que se interese, no por los
aspectos psicológicos, sino por el estudio formal de los términos y enunciados.

4. Lógica actual
4.1. La matemática de la lógica

Pese a que el empirismo clásico inglés, Locke en

especial, se olvida por completo de la lógica, son ingleses
quienes, a mediados del s. XIX, comienzan a desarrollar en
la práctica las ideas de Leibniz sobre un cálculo lógico
universal. Este período inicial, protagonizado por los
británicos W. Hamilton -1788-1856-, G. Boole, sobre todo, A. de Morgan, W.S.
Jevons y el alemán E. Schroeder -1841-1912-, representa el desarrollo de la
matemática de la lógica -o álgebra de la lógica-, poderosamente influida por los
cambios experimentados en el álgebra y la geometría entre 1825 y 1900, iniciados
con la distinción entre álgebra aritmética y álgebra simbólica, hecha por George
Peacock -1791-1858- en Tratado de álgebra -1842-1845-.

Boole concibe la lógica como un álgebra de clases; se basa en el supuesto de

que la lógica es una parte de la matemática, y el paralelismo que se establece
entre ambas le permite entender los enunciados como ecuaciones. En Las leyes del
pensamiento -1854- formula las leyes del análisis matemático de la lógica. Las
 Lógica ● V e r s i ó n pdf Unidad I. Hi s t o r i a de la L ó g i c a ● Pá g. 11

investigaciones posteriores en la matemática de la lógica son desarrollos de sus

teorías, corrección de sus errores, mejora y simplificación de los métodos de
expresión, o ampliación de sus perspectivas, hasta su axiomatización.

“La obra de Boole señala un cambio de rumbo en el estudio de la lógica y si

bien no logró construir definitivamente la lógica matemática, se puede
considerar con todo derecho como el iniciador de la misma; y su posterior
desarrollo no hubiese sido posible sin el trabajo por él realizado.”
GAINZA, José Luis. Lógica de E.U.S. (Editorial Universitaria LUZ, Maracaibo
1978, p. 16).

Dicho cambio establecería el nuevo camino que adquiere el estudio de la lógica

a partir de esta etapa, la cual consistiría en la culminación de la lógica aristotélica.
Como se mencionó anteriormente fue precisamente Leibniz quien se percató de
que la lógica aristotélica no era completa, que era necesario ir más allá de los
logros obtenidas por ella, y tuvo la intuición de un cálculo similar al de las
matemáticas.

Esta intuición leibniziana empieza a realizarse a mitad del siglo XIX. El adelanto
de los estudios matemáticos había preparado suficientemente el terreno para
lograr lo que se conoce con el nombre de matematizacion de la lógica iniciada por
Boole en Londres en 1847 con la publicación de su libro The Mathemathical Análisis
of Logic, quien incorpora a sus técnicas de trabajo la exactitud y el rigor del
método matemático.

Para aplicar el método matemático a la lógica fue necesario construir un

lenguaje simbólico adecuado y formular en forma precisa una serie de reglas de
operación que permitieran hacer el cálculo a la manera de las matemáticas. ¿qué
nos dice esto, que el razonamiento es un cálculo?

El uso de símbolos era ya tradicional desde los griegos. Aristóteles había

empleado esquemas como el siguiente en sus razonamientos: Todo A es B; todo B
es C; por lo tanto, todo A es C. Sin embargo, su simbolización quedaba restringida a
lo que ellos denominaban “variables” de las formas lógicas. Esa simbolización,
 Lógica ● V e r s i ó n pdf Unidad I. Hi s t o r i a de la L ó g i c a ● Pá g. 12

como lo observamos en el ejemplo anterior, se realizaba por medio de las letras A,

B y C, etc., las cuales representaban cualquier objeto o propiedad, mientras que
los elementos “constantes”, es decir, las palabras todo, es, por tanto, si…
entonces, etc., que constituyen las palabras propiamente lógicas, no habían sido
para ese entonces simbolizadas. Y es, precisamente con la matematización de la
lógica cuando se logra la simbolización de esos elementos “constantes”. Este logro
va a constituir uno de los cambios radicales de la lógica formal, y es a partir de
este momento que se inicia el desarrollo de la lógica moderna.

El hecho de haber logrado simbolizar los elementos constantes, constituyen la

esencia del paso del “formalismo” de la lógica tradicional al “simbolismo” de la
hoy llamada lógica simbólica o matemática. La simbolización de estos elementos
constantes constituye la culminación de la obra de formalización de la lógica. El
simbolismo constituye un progreso tan significativo para la investigación lógica, que
hoy en día no se ve la forma de prescindir de él. El simbolismo, además de haber
permitido estudiar la lógica como un “calculo” y de analizar sus estructuras con la
misma objetividad y exactitud de las ciencias matemáticas, permite una mayor
precisión en la formulación de las reglas que la rigen, como tendremos ocasión de
explicar cuando tratemos el tema de las reglas de la lógica.

Para culminar la revisión de este proceso de matematización de la lógica, es

necesario mencionar a Ch.S. Peirce, que llama a su sistema Álgebra General de la
Lógica, es uno de los autores que amplían la obra empezada por Boole, elaborando
algebraicamente la lógica de las relaciones; de ahí surge la idea de que la lógica de
enunciados es la base de la lógica en general.

4.2. La lógica matemática

La lógica matemática nace propiamente con la

publicación, en 1879, por Gottlob Frege, de
Conceptografía, ensayo que, junto con su obra de mayor
importancia, Fundamentos de la geometría -1884-, pasó
 Lógica ● V e r s i ó n pdf Unidad I. Hi s t o r i a de la L ó g i c a ● Pá g. 13

inadvertida hasta que la obra de Russell, Principios de las matemáticas -1903-,

llamó la atención sobre su contenido. Esta obra de 1879 representa la
formalización completa de la lógica elemental, o el primer sistema completo de
lógica elemental, y muestra que la aritmética se identifica con la lógica, o que es
una parte de la lógica, en aparente contraposición con la postura de Boole.

“Desde Boole todos los lógicos aceptaban que la lógica era una parte de las
matemáticas, Frege será el primero en sostener el punto de vista opuesto, es
decir, que los conceptos matemáticos se pueden obtener a partir de conceptos
lógicos, y de esta manera la matemática se convertía en una parte de la
lógica.”
GAINZA, José Luis. Lógica de E.U.S. (Editorial Universitaria LUZ, Maracaibo
1978, p. 18).
La teoría de los cuantificadores ha sido considerada como la novedad de mayor
relieve introducida por Frege y una de las aportaciones lógicas de mayor
importancia del s. XIX; aplicada a los enunciados categóricos representa un punto
claro de unión entre la lógica aristotélica de términos y la lógica de enunciados
iniciada por los estoicos.

Los Principia Mathematica -1910-1913-, de A.N. Whitehead y B. Russell,

culminan la comprensión de la lógica como sistema deductivo iniciada por la obra
de Frege, cuyo desarrollo, en diversas vertientes, persiste en la actualidad como
teoría lógica admitida ya como clásica. Después de los Principia Mathematica, las
investigaciones lógicas se han ocupado preferentemente del perfeccionamiento de
la formulación axiomática del sistema de lógica que proponen y del estudio de las
propiedades formales de los cálculos lógicos: consistencia, completud y
decidibilidad.

El rechazo del punto de vista de Frege, reafirmado en principio por Whitehead y

Russell, de que la matemática es lógica, lleva a la aparición de filosofías de la
matemática rivales: la filosofía formalista de la matemática de Hilbert y la
concepción intuicionista de Luitzen Egbertus Jan Brouwer. Reacción también a la
obra lógica de Whitehead y Russell son las lógicas no clásicas polivalentes, no
 Lógica ● V e r s i ó n pdf Unidad I. Hi s t o r i a de la L ó g i c a ● Pá g. 14

fundadas ya en el principio de bivalencia: Lukasiewicz y Post son los primeros en

desarrollar lógicas trivalentes. Arend Heyting (1898-1980) formula una lógica
intuicionista, que aplicando los principios matemáticos de Brouwer abandona el
principio del tercero excluso o tercero excluido.
 Lógica ● V e r s i ó n pdf Unidad I. Hi s t o r i a de la L ó g i c a ● Pá g. 15

Tema II. Relación entre la lógica formal

tradicional y la lógica simbólica

A partir del tema anterior se

puede deducir que la lógica se divide en

lógica formal tradicional y lógica
simbólica, tanto la primera como la
segunda se basan, en su análisis lógico,
en la importancia que ambas dan a al
estudio de la formas o estructuras del
razonamiento. En ese sentido una y otras
son formales. La diferencia principal
radica en que la lógica simbólica ha logrado simbolizar los elementos constantes
del razonamiento, que en la lógica formal quedaban sin formalizar. A la lógica
formal tal como ha sido estudiada desde Aristóteles hasta Boole -S. IX- se le suele
dar el nombre de lógica tradicional. A la lógica formal tal cual hoy la cultivamos en
su formalización completa, se le han dado los nombres de logística, lógica
simbólica, lógica matemática y algebra lógica.

Las relaciones existentes entre la lógica tradicional y la lógica simbólica es

un asunto en el que los lógicos contemporáneos no se han puesto de acuerdo. Sin
embargo, hoy en día, salvo raras excepciones, se ha entendido que la lógica
simbólica se sitúa en una línea de perfecta continuidad respecto de la lógica formal
tradicional. Ya H. Scholz decía que: “hasta ahora no existe ninguna forma
concebible de lógica por muy distinta que sea de la lógica formal (tradicional),
que no tenga una clase de conexión con la obra aristotélica”.

Como anota Agasi, “todo lo más que se puede decir respecto a la relación
de la lógica formal tradicional y la simbólica es que con los instrumentos
(simbolización) a nuestra disposición, estamos en condiciones de saber cuánto
sabían hacer nuestros predecesores e incluso de hacerlo además de manera
 Lógica ● V e r s i ó n pdf Unidad I. Hi s t o r i a de la L ó g i c a ● Pá g. 16

más pulida y elegante, así como enfrentarnos con problemas poco manejables
por ellos. Indudablemente, este ya es un proceso implícito, pero para hacerlo
explicito, es aun necesario que se proceda efectivamente a la construcción del
edifico de la lógica, lo cual es un trabajo muy largo que en gran parte está
todavía por hacer”.

Por todo lo anterior podemos concluir que la diferencia entre la lógica

formal tradicional y la lógica simbólica no es de esencia sino grado. Aunque es
necesario insistir en que la lógica simbólica, al desarrollar un simbolismo más
técnico, se ha convertido en un instrumento más eficaz y poderoso para el análisis
lógico. La notación simbólica facilita extraordinariamente las deducciones. Veamos
a este respecto lo que escribió Witehead en su libro “An Introduction To
Mathemathics”: “Con la ayuda del simbolismo, podemos efectuar por medio de
la vista y de manera casi mecánica transiciones en el razonamiento que
exigirían, sin aquél, el uso de las facultades superiores del cerebro”.
 Lógica ● V e r s i ó n pdf Unidad I. Hi s t o r i a de la L ó g i c a ● Pá g. 17

Vínculos

Para ver una biografía de los autores mencionados en esta unidad pueden
acceder a la página biografía y vidas.
[Link]

Para profundizar en este tema se sugiere visitar la página Arte e Historia. En

donde encontraran información sobre Historia Universal, Historia del Arte en
español, y demás temas relacionados con la historia
[Link]

Referencias bibliográficas

AGGAZZI, Evandro. (1967) La Logica Simbolica. Editorial Herder, Barcelona.

CORTÉS MORATÓ, Jordi y MARTÍNEZ RIU, Antoni. (1996) Diccionario de Filosofía en

CD-ROM. Copyright © Empresa Editorial Herder S.A., Barcelona.

DEAÑO, Alfredo. (1974) Introducción a la lógica formal. Alianza Editorial, S.A.,

Madrid.

GAINZA, José Luis. (1978) Lógica de E.U.S. Editorial Universitaria LUZ, Maracaibo.

MUÑOZ, Ángel. (1992) Lógica Simbólica Elemental. Editorial Miró, C. A., Caracas.

WHITEHEAD, Alfred N. (1944) Introducción a las matemáticas. Emecé Editores, S.

A., Buenos Aires.