BREVE HISTORIA DE LA LGICA

En un comienzo no se llam lgica al

estudio que abarca hoy ese nombre. Por
ejemplo para Aristteles, o mejor dicho
lo que nosotros llamamos lgica fue
llamada dialctica y a veces, se sigue
de las premisas. El trmino lgica
aparece en el ttulo de la obra de
Demcrito. Los estoicos utilizaron el
trmino Dialctica para designar la
disciplina que hoy nos interesa. En
Aristteles
la
palabra
dialctica
caracteriza a las argumentaciones que
parten de proposiciones generalmente
aceptadas. En el siglo I a.C. los
discpulos de Aristteles su publicaron
sus obras con el titulo de ORGANON,
instrumento y retomaron el nombre
dado por Demcrito; LGICA. Los
escritores latinos al transmitirnos los
escritos lgicos antiguos prefirieron la

palabra dialctica. Pedro Abelardo, por

ejemplo, es autor de una dialctica.
Pero ya en el siglo XIII empieza a
dominar la denominacin LGICA. Pero
en siglo XVI se prefiere nuevamente la
denominacin de DIALCTICA. A PARTIR
DEL SIGLO XVII definitivamente se
utiliza la palabra LGICA.
A) EDAD ANTIGUA.
PARMENIDES DE ELEA
Se cree que fue el creador del principio
de IDENTIDAD. Consider que la razn
es la nica capaz de conocer el ser y la
verdad de las cosas.
ZENON DE ELEA
Apoyo la posicin de Parmnides. Dio
origen
al
mtodo
dialctico,
al
razonamiento
hipottico
y
a
la
reduccin
al
absurdo.
Sus

argumentaciones
aforias.

se

conocen

como

DEMCRITO
Ide el principio
SUFICIENTE.

DE

LA

RAZN

SCRATES
En su lucha contra los sofistas utilizo el
mtodo MAYUTICO.
PROTAGORAS
Fue el primero en utilizar las oraciones
en el plano sintctico y semntico.
PLATN
En su obra EL SOFISTA, trato de las
afirmaciones y negaciones. Descubri el
principio de la CONTRADICCIN O NO
CONTRADICCIN. Teorizo y esquematizo

la divisin y la definicin lgica. Empleo

el mtodo axiomtico.
PERODO ARISTOTLICO
Tenemos que reafirmar y aclarar que
antes de Aristteles no existe ningn
documento que pruebe que antes del
haya existido una exposicin terica de
la lgica, y el mismo Aristteles nos
dice refirindose al estudio de la lgica;
de nuestra investigacin actual no es
verdad decir que haya sido elaborada
en parte s y en parte no; no exista en
absoluto.
Aristteles desarroll reglas para
establecer
un
razonamiento
encadenado que, si se respetaban, no
produciran nunca falsas conclusiones si
la
reflexin
parta
de
premisas
verdaderas (reglas de validez). En el

razonamiento los nexos bsicos eran los

silogismos: proposiciones emparejadas
que, en su conjunto, proporcionaban
una nueva conclusin. En el ejemplo
ms famoso, Todos los humanos son
mortales y Todos los griegos son
humanos, se llega a la conclusin
vlida de que Todos los griegos son
mortales. La ciencia es el resultado de
construir sistemas de razonamiento
ms complejos. En su lgica, Aristteles
distingua entre la dialctica y la
analtica; para l, la dialctica slo
comprueba las opiniones por su
consistencia lgica. La analtica, por su
parte, trabaja de forma deductiva a
partir de principios que descansan
sobre la experiencia y una observacin
precisa. Esto supone una ruptura
deliberada con la Academia de Platn,
escuela donde la dialctica era el nico
mtodo lgico vlido, y tan eficaz para

aplicarse en la ciencia como en la

filosofa.
Los discpulos de Aristteles
llamaron ORGANON
a sus obras
lgicas. No creemos que Aristteles
haya considerado la lgica en s misma;
propiamente le intereso llegar al
conocimiento
verdadero
de
la
naturaleza, de las cosas. Pero podemos
hacer una distincin en sus obras y
considerar slo aquellas que se dedican
a la lgica en el sentido que utilizamos
aqu el trmino. Para Aristteles una
argumentacin es un encadenamiento
de enunciados y estos son un
encadenamiento de trminos. El libro
llamado
CATEGORAS
estudia
los
trminos. El libro llamado DE LA
INTERPRETACIN estudia el enunciado y
los PRIMEROS ANALTICOS considera la
argumentacin.
Aportes :

Es el descubridor del principio del tercio

excluido. Introdujo el uso de variables.
Explicacin sintctica y semntica de
las proposiciones. Desarrollo la lgica
de predicados. Desarrollo el silogismo.
Desarrollo la lgica formal de ah que se
le conozca como el PADRE DE LA
LGICA FORMAL.
Los continuadores de Aristteles
Mas tarde los discpulos de Aristteles,
Teofrasto
y Eudemo estudiaron y
aportaron a la obra de su maestro los
silogismos hipotticos condicionales
pertenecientes
a
la
lgica
de
proposiciones. Este tema tambin fue
desarrollado por los megricos y los
estoicos. Entre los megricos: Diodoro
Crono y Filn de Megara avanzan con el
estudio de los conceptos modales y por
primera vez en la historia de lgica

plantean
el
significado
de
las
proposiciones si...entonces..... Entre los
estoicos, Crisipo de Soli es l mas
representativo y desarrolla la lgica
bivalente (verdadero /falso)
de las
proposiciones.
Los Comentadores
Posteriormente, la lgica Aristotlica y
la
lgica
estoica
no
tuvieron
continuadores. Lo que se hace es
comentar las obras de Aristteles,
Teofrasto y Crisipo. Entre los mejores
lgicos de esta poca de comentadores
se tiene a Galeno, Alejandro de
Afrodisia, Porfirio y posteriormente
Boecio este ultimo descubre las leyes
de la inferencia inmediata y logra
sistematizar
las
proposiciones
categricas A/E/I/O*

B) EDAD MEDIA.
Se denomina lgica medieval a la lgica
desarrollada
en
las
escuelas
y
universidades de Europa Occidental
entre los siglos XI y XV. Surgen una
clase de lgicos profesionales. Pedro
Abelardo fue el primer lgico medieval
de mayor importancia. Posteriormente
surgen telogos que
trataron de
recuperar
el
Aristteles
original
estudiando y comentando el Organn.
Entre los mas importantes figuran
Robere Grosseteste, Tomas de Aquino y
Alberto Magno entre otros. A fines del
siglo XIII, Oxford es el centro de la
lgica y Duns Scoto fue uno de sus mas
altos exponentes. El periodo de
madurez de la lgica medieval se
expuso con Guillermo de Ocam y Juan
Buridan.
Cabe una mencin aparte el ARS
MAGNA de Ramn Llul, quien dio el

primer paso en la elaboracin de un

lenguaje completo automtico para el
razonamiento.
Llul
dise
incluso
mquinas
formadas
por
discos
giratorios superpuestos por medio de
los cuales podan realizar clculos
mecnicamente.
Sus
obras
Art
demostrativa (Arte demostrativo, 1283),
Taula general (Tabla general, 1293),
Lgica nova (Lgica nueva, 1303) y Ars
Dei (Arte de Dios, 1308)
Los aportes de la lgica medieval, por
sus representantes fueron mnimos,
toda vez que se concentraron en
fundamentar la teologa.
Aportes:
Raymundo
Lulio,
Pedro
Hispano,
Guillermo de Ocam; establecieron
reglas de inferencia.
Guillermo de Shyreswood termina en
1230 el manual de lgica escolstica
ms antiguo, en donde formula por

primera vez el esquema de divisin

dicotmica conocido como "rbol de
Porfirio" y, tambin, enuncia por
primera vez los famosos versos
mnemotcnicos sobre la reduccin de
los silogismos a los modos de la primera
figura aristotlica:
Barbara celarent darii ferio baralipton
Celantes dabitis fapesmo frisesomorum;
Cesare
darapti

campestres

festino

baroco;

Felapton disamis datisi bocardo ferison.

Pedro Hispano, Juan Buridan, Alberto de
Sajonia y Pedro Abelardo. Destacaron
por emplear una forma especializada el
lenguaje. Redescubrieron la inferencia
coligativa.
Tomas
Hobbe:
Considera
al
razonamiento como una especie de
calculo de signos. Desarrolla la lgica

formal como combinacin de nombres

de acuerdo a las reglas establecidas.
C) EDAD MODERNA.
Lgica Moderna.
A mediados del
siglo XIX, los
matemticos britnicos George Boole y
Augustus De Morgan abrieron un nuevo
campo a la lgica, hoy conocido como
lgica simblica o moderna, que ms
tarde
fue
desarrollada
por
el
matemtico alemn Gottlob Frege y de
un modo especial por los matemticos
britnicos Bertrand Russell y Alfred
North
Whitehead
en
Principia
Matematica (3 vols., 1910-1913) El
sistema lgico de Russell y Whitehead
cubre un espectro mayor de posibles
argumentaciones que las que se
pueden
encontrar
en
la
lgica
silogstica. Introduce smbolos para
frases enteras y para las conjunciones

que las unen, como o, y, si

entonces. Cuenta con smbolos
diferentes para el sujeto lgico y el
predicado lgico de una frase; y
adjudica smbolos para distinguir las
clases, para los miembros de las clases
y para las relaciones de la pertenencia
a una clase y la inclusin en una clase.
Tambin se aleja de la lgica clsica en
sus suposiciones de la existencia
respecto a las cosas aludidas en sus
afirmaciones universales. La afirmacin
Todo A es B significa en lgica
moderna que Si algo es A, entonces es
B; lo que, a diferencia de la lgica
tradicional, no significa que todo A
existe.
Tanto la rama clsica como la
moderna implican mtodos de lgica
deductiva. En cierto sentido, las
premisas de una proposicin vlida
contienen la conclusin, y la verdad de

la conclusin se deriva de la verdad de

las premisas. Tambin se han hecho
esfuerzos para desarrollar mtodos de
lgica inductiva como las que sostienen
que las premisas conllevan una
evidencia para la conclusin, pero la
verdad de la conclusin se deduce, slo
con un margen relativo de probabilidad,
de la verdad de la evidencia. La
contribucin ms importante a la lgica
inductiva es la del filsofo britnico John
Stuart Mill, quien en Sistema de lgica
(1843) estructur los mtodos de
prueba que, segn su interpretacin,
iban a caracterizar la ciencia emprica.
Este estudio ha desembocado, en el
siglo XX, en el campo conocido como
filosofa de la ciencia. Muy relacionada
con sta se encuentra la rama de las
matemticas llamada teora de la
probabilidad.

Tanto la lgica moderna como la

clsica asumen en sus formas ms
corrientes que cualquier proposicin
bien elaborada puede ser o verdadera o
falsa. En aos recientes se han
desarrollado sistemas de la llamada
lgica combinatoria: una afirmacin
puede tener un valor distinto a
verdadero o falso. En algunos supuestos
es slo un tercer valor neutro, en otros
es un valor de probabilidad expresado
como una fraccin que oscila entre 0 y
1 o entre -1 y +1. Tambin se han
llevado a cabo serios trabajos por
desarrollar sistemas de lgica modal,
con el objeto de representar las
relaciones
lgicas
entre
las
afirmaciones
de
posibilidad
e
imposibilidad,
de
necesidad
y
contingencia. Otra va es la que supone
lgica dentica: la investigacin de las
relaciones lgicas entre rdenes o entre
afirmaciones de obligacin.

APORTES DE LOS MS IMPORTANTES

REPRESENTANTES
DE
LA
LGICA
MODERNA
Bacon, Francis: En su Novum Organum,
hace la primera formulacin moderna
del mtodo cientfico, establece de
manera explcita y sistemtica la
induccin
experimental,
expone
mtodos para determinar las relaciones
de causalidad, enuncia las bases
empricas del descubrimiento y la
invencin, y desarrolla una teora de la
experiencia. Se le conoce como el
Padre de la Lgica Inductiva
LEIBNIZ, GOTTFRIED WILHELM (16461716), tambin conocido como barn
Gottfried Wilhelm von Leibniz. Filsofo,
matemtico
y
estadista
alemn,
considerado como uno de los mayores
intelectuales del siglo XVII. LEIBNIZ,

quien introdujo el clculo lgico llamado

MATHESIS UNIVERSALIS que fuese
operacionalmente mecnico, inequvoco
y no cuantitativo que permitiera acabar
con todas las disputas y controversias.
Tambin desarrollo el clculo de la
lgica proposicional. Consider tambin
que para comprobar la verdad del
entendimiento bastan los principios de
identidad,
contradiccin
y
tercio
excluido; para comprender la verdad de
hecho es indispensable la razn.
Estableci la ley de la tautologa.
Extrae
de
su
experiencia
como
matemtico genial las ideas que habran de sacar a la lgica formal del
estancamiento a que la haba llevado la
escolstica. Leibniz intenta formular
una characteristica universalis, es decir,
un lenguaje simblico para expresar sin
ambigedad todos los elementos del
pensamiento y luego combinarlos

rigurosamente, formando as conceptos,

juicios y razonamientos. Paralelamente,
Leibniz formula una teora general de la
ordenacin, establece una teora lgica
de las estructuras, planea la teora de la
lgica matemtica, constituye una
teora de la definicin, por analoga con
la descomposicin de los nmeros
enteros en sus factores primos, intenta
establecer
una
lgica
del
descubrimiento y enuncia una teora de
las permutaciones. Frmula LA LEY DE
LA Razn Suficiente.
LEONHARD EULER (1707-1783), En su
Introduccin al anlisis de los infinitos
(1748),
Euler
realiz
el
primer
tratamiento analtico completo del
lgebra, la teora de ecuaciones, la
trigonometra y la geometra analtica.
En esta obra trat el desarrollo de
series de funciones y formul la regla

por la que slo las series convergentes

infinitas
pueden
ser
evaluadas
adecuadamente. Tambin abord las
superficies tridimensionales y demostr
que
las
secciones
cnicas
se
representan mediante la ecuacin
general de segundo grado en dos
dimensiones. Otras obras trataban del
clculo
(incluido
el
clculo
de
variaciones), la teora de nmeros,
nmeros
imaginarios
y
lgebra
determinada e indeterminada. Euler,
aunque principalmente era matemtico,
realiz tambin aportaciones a la
astronoma, la mecnica, la ptica y la
acstica. Entre sus obras se encuentran
Instituciones del clculo diferencial
(1755),
Instituciones del clculo
integral (1768-1770) e Introduccin al
lgebra (1770) Es otro de los de la
lgica
matemtica
introdujo
los
diagramas que llevan su nombre para

ilustrar
silogismos.

geomtricamente

los

A. de MORGAN (1806-1871) considera

que base comn de la lgica en las
relaciones de inclusin o exclusin,
parcial o total, entre clases; y su
objetivo fue mostrar que el silogismo no
es mas que una serie de combinaciones
de relaciones desarrolla el clculo de
relaciones,
establece
varios
razonamientos no-silogsticos, enuncia
las leyes de transitividad y expresa
rigurosamente las leyes distributivas de
la negacin, que llevan ahora su
nombre. (Ley de Morgan)
BOOLE, GEORGE (1815-1864), lgico y
matemtico
britnico,
elabor
el
lgebra
de
Boole.
La
primera
formulacin propiamente algebraica de
la lgica, estableciendo definidamente
las leyes para la ejecucin de las

operaciones y dando una interpretacin

coherente de los resultados, se debe a
George Boole, quien es as el creador de
la lgica simblica moderna. Boole
funda el clculo proposicional, enuncia
las leyes del clculo de clases, hace una
sistematizacin de la lgica de la
probabilidad y formula explcitamente la
dualidad
de
las
operaciones
algebraicas. El lgebra de Boole sirve
de base a los trabajos de una activa
escuela de lgica. En gran medida
autodidacta,
Boole fue nombrado
profesor de matemticas en el Queens
College de Cork en Irlanda (hoy el
University College) en 1849. En 1854,
escribi Investigacin sobre las leyes
del pensamiento, en donde describe un
sistema algebraico que ms tarde se
conoci como el lgebra de Boole. En
l, las proposiciones lgicas se indican
por smbolos y pueden relacionarse
mediante
operadores
matemticos

abstractos que corresponden a las leyes

de la lgica. El lgebra de Boole es
fundamental en el estudio de las
matemticas puras y en el diseo de los
ordenadores o computadoras.
VENN, John. (1834-1923) Fue el que
trato de encontrar la significacin lgica
de operaciones como la sustraccin y la
divisin. El mrito de Venn es
bsicamente el haber aclarado los
procedimientos de Boole representando
los
procesos
algebraicos
en
los
diagramas de Venn.
FREGE,
GOTTLOB
(1848-1925),
matemtico y filsofo alemn, fue el
fundador de la lgica matemtica
moderna. Naci en Wismar y estudi en
las universidades de Jena y Gotinga;
posteriormente se incorpor a la
facultad de matemticas de Jena. Frege
intent deducir los principios de la

aritmtica de los principios de la lgica.

Enfrentndose a la ambigedad del
lenguaje normal y a la insuficiencia de
los sistemas lgicos disponibles, invent
muchas notaciones simblicas, como
cuantificadores
y
variables,
estableciendo as las bases de la lgica
matemtica moderna. Su trabajo influy
especialmente en el filsofo britnico
Bertrand Russell. Su obra Notacin
conceptual (1879) est considerada
como la ms importante de sus
publicaciones, entre las que tambin
destacan Fundaciones de la aritmtica
(1884) y Leyes bsicas de la aritmtica
(2 volmenes, 1893-1903)
Es el personaje ms resaltante de
esta poca, su obra Begriffsschrift:
CONCEPTOGRAFIA, marca el comienzo
de la lgica moderna y; solo es
comparable con los Primeros Analticos
de Aristteles, dado que ambas obras

hay
una
serie
de
perspectivas
totalmente nuevas, de ah que a Frege
se le puede considerar el PADRE DE LA
LGICA MODERNA. Frege es el primero
en formular de manera clara y concisa
la distincin entre variable y constante,
el concepto de funcin lgica, la idea de
varios argumentos y el concepto de
cuantificador, da una formulacin
notablemente mas rigurosa a la teora
aristotlica de sistema axiomtico,
distingue cuidadosamente entre ley y
regla,
introduce
la
diferenciacin
igualmente precisa entre lenguaje y
metalenguaje.

PEANO,
GIUSEPPE
(1858-1932),
matemtico italiano, autor del primer

ejemplo de fractal. Naci en Cuneo en

1858 y fue profesor en la Academia
Militar de Turn. Cre un sistema
descriptivo que permita enunciar
cualquier proposicin de lgica o de
matemticas sin recurrir al lenguaje.
Fundador de dos publicaciones de
matemticas, propuso en sus escritos la
aritmtica de Peano, una exposicin
axiomtica y deductiva de la aritmtica
de los enteros naturales. En 1890 cre
la curva de Peano, el primer ejemplo
de fractal. En 1903 sus trabajos de
bsqueda de una lengua internacional
llevaron al latn sin flexiones, cuyo
vocabulario comprende las palabras
latinas comunes al francs, al ingls y
al alemn. Fue el primero en dar a la
lgica el nombre de Lgica Matemtica.
Considero
que
la
lgica
es
el
instrumento de la matemtica. Creo un
lenguaje
simblico
para
las
demostraciones
matemticas,

elaborando de esta manera un sistema

axiomtico de la matemtica con la
aplicacin instrumental de la nueva
lgica. Propuso uso de puntos auxiliares
en reemplazo de los signos de
agrupacin y un modo de simbolizar los
cuantificadores.
RUSSELL, BERTRAND, tercer conde de
Russell
(1872-1970),
filsofo
y
matemtico britnico, galardonado con
el Premio Nbel, cuyo nfasis en el
anlisis lgico repercuti sobre el curso
de la filosofa del siglo XX. Nacido en
Trelleck (Gales), el 18 de mayo de 1872,
Russell estudi en el Trinity College de
la Universidad de Cambridge. Tras
graduarse en 1894, viaj a Francia,
Alemania y Estados Unidos, y luego fue
nombrado miembro del consejo de
gobierno del Trinity College. Desde muy
joven mostr un acusado sentido de

conciencia social; al mismo tiempo se

especializ en cuestiones de lgica y
matemticas, reas de las que dio
conferencias en muchas instituciones
de todo el mundo.
Russell alcanz el xito con su primera
gran obra Principios de matemticas
(1902), en la que intent trasladar las
matemticas al rea de la filosofa
lgica y dotarlas de un marco cientfico
preciso. Colabor durante ocho aos
con el filsofo y matemtico britnico
Alfred North Whitehead para elaborar la
monumental
obra
Principia
Mathematica (Principios Matemticos; 3
volmenes, 1910-1913), donde se
mostraba que esta materia puede ser
planteada en los trminos conceptuales
de la lgica general, como clase y
pertenencia a una clase. Este libro se
convirti en una obra maestra del
pensamiento
racional.
Russell
y

Whitehead
demostraron
que
los
nmeros pueden ser definidos como
clases de un tipo determinado, y en
este proceso desarrollaron conceptos
racionales y una anotacin que hizo de
la lgica simblica una especializacin
importante dentro del campo de la
filosofa
occidental.
En
su
obra
PRINCIPIA MATHEMATICA, propone que
las matemticas pueden reducirse a
una rama de la lgica. Este proyecto fue
escrito en la obra antes mencionada,
escrita en colaboracin con Whitehead,
obra aparecida en tres volmenes.
formulan
rigurosamente
la
lgica
matemtica dentro del sistema ms
completo que se ha establecido,
realizan un tratamiento detallado del
clculo preposicional, el clculo de
clases y el clculo de relaciones,
establecen la teora de los tipos,
analizan las paradojas, hacen una
crtica refinada y profunda de la lgica

simblica,
y
crean
el
lenguaje
formalizado que ms se utiliza en la
actualidad.
WITTGENSTEIN En la evolucin filosfica
de Wittgenstein pueden distinguirse dos
pocas distintas: un primer periodo,
representado por el Tractatus, y otro
posterior,
representado
por
las
Investigaciones filosficas. A lo largo de
la mayor parte de su vida, sin embargo,
Wittgenstein, de modo coherente,
concibi la filosofa como un anlisis
conceptual o lingstico. En el Tractatus
defendi que la filosofa pretende la
clarificacin lgica de las ideas. En las
Investigaciones filosficas, sin embargo,
mantena que la filosofa es un
combate contra el hechizamiento de
nuestra inteligencia por medio del
lenguaje.

El Tractatus
En el Tractatus, Wittgenstein sostena
que el lenguaje se compone de
proposiciones complejas que pueden
ser analizadas en proposiciones ms
sencillas hasta llegar a una formulacin
simple o elemental. De modo similar, el
mundo
se
compone
de
hechos
complejos que pueden ser analizados
en hechos menos complejos hasta
llegar a los hechos simples, o atmicos.
El mundo es la totalidad de esos
hechos. Segn la imagen de la teora
del significado de Wittgenstein, es la
naturaleza lgica de las proposiciones
elementales la que representa hechos
atmicos o situaciones. Afirmaba que
la naturaleza del lenguaje requiere
proposiciones elementales, y su teora
del significado exige que haya hechos
atmicos
representados
por
proposiciones elementales. Sobre este

anlisis, slo las proposiciones que

representan hechos las proposiciones
de
ciencia
son
consideradas
cognitivamente
significativas.
Las
declaraciones ticas y metafsicas no
son
afirmaciones
significativas
ni
relevantes. Esta teora produjo un gran
efecto sobre las teoras del positivismo,
y los positivistas lgicos adscritos al
Crculo de Viena reconocieron la
trascendencia de esta conclusin.
Ide el mtodo de la tabla o matriz para
determinar
la
significacin
de
autenticidad
de
los
ciertos
de
probabilidad.
JAN LUKASIEWICZ (1878-1950). Se
ocup de la lgica de sentencias, de la
lgica plurivalente, de la lgica modal,
del silogismo aristotlico y de la historia
de la lgica, Lukasiewicz invent un
simbolismo que evita los parntesis y

puntos. Se preocup de la axiomtica

de la lgica de sentencias formulando
un interesante sistema de tres axiomas;
por otra parte, logr formular un
sistema
con
un
solo
axioma.
En 1917 construy el primer sistema de
lgica plurivalente. Expone as la idea
que dio origen a la lgica trivalente:
Puedo suponer sin contradiccin que
mi presencia en Varsovia en un
momento dado del ao prximo, por
ejemplo a medioda del 21 de
diciembre, no est determinada en este
momento, ni positiva ni negativamente.
Es entonces posible pero no necesario
que estar presente en Varsovia en el
tiempo mencionado. Basado en este
presupuesto, el enunciado estar
presente a medioda del 21 de
diciembre del ao prximo, en este
momento, no es ni verdadero ni falso.

Pues si en este momento fuera

verdadero, mi presencia futura en
Varsovia sera necesaria, lo cual
contradice el presupuesto; si, en este
momento, fuera falso, mi presencia
futura en Varsovia sera imposible, lo
cual, una vez ms, contradice el
presupuesto. El enunciado citado no es
en este momento ni verdadero ni falso;
debe tener, entonces, un valor diferente
de O, o lo falso, y de 1, o lo verdadero.
Lo podemos indicar por 1/2: es lo
posible, que se agrega como tercer
valor a lo falso y a lo verdadero.
ste es el curso de pensamiento que
dio origen al sistema trivalente de
lgica preposicional". Este texto se
conecta con sus reflexiones sobre la
cuestin de los futuros contingentes de
Aristteles.
En el estudio de la silogstica de
Aristteles y de la historia de la lgica

en general es tan importante la

contribucin de Lukasiewicz que quien
se proponga realizar estudios en esos
campos de investigacin se enfrentar
constante e inevitablemente con el
nombre de este gran lgico polaco.

TARSKI, Alfred (1902)

Lgico
y
matemtico,
notable
representante de la Escuela LvovianoVarsoviana. Tambin es fundador de la
semntica formal, que estudia las
significaciones
de
los
juicios
y
conceptos en lgica. Estudia tambin
los problemas de la construccin de las
teoras deductivas, de la metalgica, la
semitica, define el concepto de verdad
en
los
lenguajes
formalizados,

estableci que cada enunciado es

demostrable, es verdico pero no cada
enunciado verdico es demostrable, etc.
Obras principales: "Lgica, semntica,
metamatemticas"
(1956),
"Lgica,
metodologa y filosofa de la ciencia"
(1962).
KURT GDEL
Lgico
estadounidense
de
origen
austriaco, conocido sobre todo por sus
investigaciones en filosofa y en
matemticas. Naci en Brnn (hoy
Brno, Repblica Checa). Estudi en la
Universidad de Viena y dio clases en
esta institucin desde 1933 a 1938.
Emigr a los Estados Unidos en 1940 y
se nacionaliz estadounidense en 1948.
Fue miembro del Instituto para Estudios
Avanzados de Princeton, Nueva Jersey,
hasta 1953, fecha en la que empez a

ensear matemticas en la Universidad

de Princeton.
Gdel se dio a conocer con una obra,
publicada en 1931, en la que enunci lo
que se conoce como teorema de Gdel.
Este principio establece que en
cualquier sistema simblico formal es
posible construir una proposicin que
no se puede probar ni refutar en el
mismo sistema. Gdel tambin escribi
The Consistency of the Continuum
Hypothesis (La consistencia de la
hiptesis del continuo , 1940) y Rotating
Universes in General relativity Theory
(Los universos giratorios en la teora de
la relatividad general, 1950).
FRANCISCO MIR QUESADA
Filsofo peruano. Nacido en Lima, fue
profesor en dos universidades de su
ciudad natal, la Peruana Cayetano
Heredia y la Nacional Mayor de San

Marcos. Algunas de las principales

aportaciones de su pensamiento se
centraron en la reivindicacin de la
exactitud en el planteamiento de los
problemas filosficos. Para ello, Mir
Quesada aplic los logros de la lgica y
de las matemticas, as como la
defensa de una filosofa racionalista que
subraya la importancia del mtodo y de
la exactitud. Para l, la filosofa se sita
en el mbito de las ciencias, por lo que
prest una atencin especial al
desarrollo de las llamadas lgicas no
ortodoxas.
La
razn
posee
un
dinamismo propio y sus contradicciones
pueden refinar su empleo, pero nunca
detener su fuerza. Realiz, adems,
interesantes anlisis sobre la unidad
posible entre la lgica terica y la lgica
de las acciones, en la bsqueda de la
estructura de la logicidad pura.

En el conjunto de su vasta produccin

escrita, deben ser citados los siguientes
trabajos:
Sentido
del
movimiento
fenomenolgico (1940), El problema de
la libertad y la ciencia (1943), Lgica
(1946), Iniciacin lgica (1958), La otra
mitad del mundo (2 vols., 1959),
Apuntes para una teora de la razn
(1963),
Humanismo
y
revolucin
(1969), Filosofa de las matemticas (2
vols., 1976), Ensayos de filosofa del
derecho (1986), Las Supercuerdas
(1993), Hombre, sociedad y poltica
(1993) y Razn e historia en Ortega y
Gasset (1993).

LGICA DIALCTICA
La lgica dialctica iniciada por
Herclito, desarrollada parcialmente por

Platn y bosquejada fragmentariamente

por Aristteles, es tratada ms tarde
por J. H. Eckhart (1260-1327) y por J.
Boehme (1575-1624) y, despus, es
estudiada por I. Kant (1724-1804) en las
antinomias de la razn y analizada por
J. G. Fichte (1762-1814) en la actividad
de la conciencia y en las antinomias de
la accin. La formulacin general de la
lgica dialctica es hecha por G. W. F.
Hegel (1770-1831) en su Ciencia.de la
Lgica. Hegel elabora el mtodo
dialctico, formula las leyes de la negacin de la negacin, de la unidad de los
opuestos y de la transformacin
recproca entre cantidad y cualidad,
hace un desarrollo dialctico de las
categoras, establece nuevas formas del
juicio,
estudia
el
proceso
del
conocimiento cientfico, aplica la lgica
dialctica a la teora del conocimiento,
incorpora la actividad prctica a la
teora del conocimiento y formula el

esquema tradico del desarrollo en

forma de tesis, anttesis y sntesis.
Despus, K. Marx (1818-1883) formula
el mtodo materialista dialctico y lo
aplica
consecuentemente
en
la
investigacin cientfica da la economa.
F. Engels (1820-1895) formula con
precisin las leyes dialcticas y destaca
su
funcin
metdica,
analiza
la
estructura dialctica de la ciencia y
desarrolla
las
categoras
del
conocimiento. V. I. Lenin (1870-1924)
desarrolla
la
dialctica
como
metodologa
cientfica,
estudia
la
funcin que desempea la prctica en
el proceso del conocimiento y lo
establece como criterio de verdad. En
otros sentidos, B. Croce (1866-1952)
desenvuelve la dialctica del concepto,
J. Cohn desarrolla la teora lgica de la
dialctica, J. Cavaills (1903-1944) hace
un anlisis