HISTORIA LOGICA.

1.
INTRODUCCIN

Alfred North Whitehead

Alfred North Whitehead

Alfred North Whitehead, matemtico y filsofo britnico, colabor con su colega
Bertrand Russell en el libro Principia Mathematica, en el que hablaban sobre los
fundamentos lgicos de las matemticas. Los tres volmenes del Principia
identificaban y formalizaban los supuestos bsicos de las matemticas y
demostraban cmo verdades asequibles, como uno ms uno igual a dos, se
derivaban de ellos.
Enciclopedia Encarta
THE BETTMANN ARCHIVE
Tamao completo

Lgica (del griego, logos, 'palabra', 'proposicin', 'razn'), disciplina y rama de la

filosofa que estudia los principios formales del conocimiento humano. Su principal
anlisis se centra en la validez de los razonamientos y argumentos, por lo que se
esfuerza por determinar las condiciones que justifican que el individuo, a partir de
proposiciones dadas, llamadas premisas, alcance una conclusin derivada de aqullas.
La validez lgica depende de la adecuada relacin entre las premisas y la conclusin, de
tal forma que si las premisas son verdaderas la conclusin tambin lo ser. Por ello, la
lgica se encarga de analizar la estructura y el valor de verdad de las proposiciones, y su
clasificacin.
La validez de una proposicin se tomar de la veracidad de la conclusin. Si
una de las premisas, o ms, es falsa, la conclusin de una proposicin vlida

ser falsa. Por ejemplo: Todos los mamferos son animales de cuatro patas,
todos los hombres son mamferos, por lo tanto, todos los hombres son
animales de cuatro patas es una proposicin vlida que conduce a una
conclusin falsa. Por otro lado, una proposicin nula puede, por casualidad,
llegar a una conclusin verdadera: Algunos animales tienen dos patas;
todos los hombres son animales, por lo tanto todos los hombres tienen dos
patas representa una conclusin verdadera, pero la proposicin no lo es.
Por lo tanto, la validez lgica depende de la forma que adopta la
argumentacin, no su contenido. Si la argumentacin fuera vlida, cualquier
otro trmino podra sustituir a cualquiera de los casos utilizados y la validez
no se vera afectada. Al sustituir cuatro patas por dos patas se
comprueba que ambas premisas pueden ser verdaderas y la conclusin
falsa. Por lo tanto, la proposicin no es correcta aunque posea una
conclusin verdadera.

2.
LGICA ARISTOTLICA

La que es conocida como lgica clsica (o tradicional) fue enunciada

primeramente por Aristteles, quien elabor leyes para un correcto
razonamiento silogstico. Un silogismo es una proposicin hecha de una de
estas cuatro afirmaciones posibles: Todo A es B (universal afirmativo),
Nada de A es B (universal negativo), Algo de A es B (particular
afirmativo) o Algo de A no es B (particular negativo). Las letras sustituyen
a palabras comunes como perro, animal de cuatro patas o 'cosa
viviente', llamadas trminos del silogismo. Un silogismo bien formulado
consta de dos premisas y una conclusin, debiendo tener cada premisa un
trmino en comn con la conclusin y un segundo trmino relacionado con
la otra premisa. En lgica clsica se formulan reglas por las que todos los
silogismos bien construidos se identifican como formas vlidas o no vlidas
de argumentacin.

3.
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 Mathematica (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. El primer manual de lgica formal publicado en espaol fue la obra de Juan
David Garca Bacca titulada Introduccin a la lgica moderna (1936).
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 fue la aportada por el 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 denominada 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 para
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 propone la lgica dentica: la investigacin de las relaciones lgicas entre
rdenes o entre afirmaciones de obligacin.
Microsoft Encarta 2009. 1993-2008 Microsoft Corporation. Reservados
todos los derechos.