Biografa3 [editar]

Primeros aos
Augustus De Morgan naci en Madurai (Madrs, India), en 1806.4 Su padre era
el teniente coronel John De Morgan (1772-1816), quien ocup varios cargos al
servicio de la Compaa de las Indias Orientales. Su madre, Elizabeth Dodson
(1776-1856) era descendiente de James Dodson (conocido por ser el autor de
tablas de anti-logaritmos). De Morgan se qued ciego de un ojo a los dos
meses de su nacimiento. La familia se traslad a Inglaterra cuando Augustus
tena siete meses de edad. Como su padre y su abuelo haban sido ambos
nacidos en la India, De Morgan sola decir que l no era ni ingls, ni escocs,
ni irlands, pero s un britnico "sin ataduras".5

Su padre muri cuando De Morgan tena diez aos. La seora De Morgan

residi en diversos lugares en el suroeste de Inglaterra, y su hijo recibi su
educacin primaria en varias modestas escuelas locales. Sus talentos
matemticos pasaron desapercibidos hasta que cumpli los catorce aos,
cuando un amigo de la familia lo descubri haciendo un dibujo detallado de
una figura de Euclides con regla y comps, le explic a Augustus las ideas del
gemetra griego, y le inici en las tcnicas de demostracin.

Recibi su educacin secundaria del seor Parsons, miembro del Oriel College
de Oxford, que apreciaba ms los autores clsicos que las matemticas. Su
madre era un miembro activo y ardiente de la Iglesia de Inglaterra, y deseaba
que su hijo se convirtiera en clrigo; pero ya por entonces De Morgan haba
empezado a mostrar su firme disconformidad con los planes de su madre.

Educacin universitaria
En 1823, a la edad de diecisis aos, ingres en el Trinity College de
Cambridge,6 donde estudi bajo la influencia de George Peacock y William
Whewell, que se convirtieron en sus amigos para toda la vida; del primero se
deriva su inters por la renovacin del lgebra, y del segundo su dedicacin a
la formalizacin de la lgica, los dos temas principales de su futura vida
laboral. Su tutor en la universidad era John Philips Higman (1793-1855).

En la universidad aprendi a tocar la flauta, y era un personaje destacado en

los clubes musicales. Su amor por el conocimiento en s mismo interfiri con la
formacin necesaria para comenzar una gran carrera acadmica en
matemticas; como consecuencia de ello, obtuvo el grado de cuarto wrangler.
Esto le daba derecho al ttulo de Bachelor of Arts; pero para obtener el grado
superior de Master of Arts y de ese modo ser elegible para una beca, en

aquella poca era necesario pasar una prueba teolgica. Sus convicciones le
llevaron a rechazar estas pruebas, a pesar de que haba sido criado en la
Iglesia de Inglaterra. Alrededor de 1875 las pruebas teolgicas para la
obtencin de grados acadmicos fueron abolidas en las Universidades de
Oxford y de Cambridge.

Universidad de Londres
Como no poda cursar ninguna carrera en su propia universidad, decidi seguir
el "Bar" (procedimiento establecido para cualificarse en el ejercicio legal), y se
instal en Londres; aunque prefera dedicarse a ensear matemticas que
aplicarse en la lectura de la ley. Por entonces, se estaba fundando la
Universidad de Londres (actualmente University College de Londres). Las dos
antiguas universidades de Oxford y Cambridge estaban tan condicionadas por
las pruebas teolgicas, que ningn judo o disidente fuera de la Iglesia de
Inglaterra poda entrar como estudiante, y mucho menos ser nombrados para
cualquier cargo acadmico. Un grupo de hombres de mentalidad liberal
resolvi salvar este obstculo, estableciendo en Londres una Universidad con el
principio de neutralidad religiosa. De Morgan, con 22 aos de edad, fue
nombrado profesor de matemticas. Su conferencia introductoria "En el estudio
de las matemticas" es un discurso sobre la educacin de las mentes de valor
permanente, y se ha reimpreso recientemente en los Estados Unidos.

La Universidad de Londres era una nueva institucin, y las relaciones del

Consejo de administracin, el Senado de los profesores y el cuerpo de los
estudiantes no estaban bien definidas. Surgi una controversia entre el
profesor de anatoma y sus estudiantes, y como consecuencia de las medidas
adoptadas por el Consejo, varios profesores renunciaron, encabezados por De
Morgan. Fue nombrado un profesor de matemticas sustituto, que falleci
ahogado un par de aos ms tarde. De Morgan, que se haba mostrado como
un lder de los maestros, fue invitado a regresar a su cargo, que se convirti a
partir de entonces en el centro permanente de sus trabajos durante treinta
aos.

El mismo grupo de personalidades reformistas encabezadas por Lord

Brougham, un eminente escocs tanto en la ciencia como en la poltica que
haba instituido la Universidad de Londres, fundan casi al mismo tiempo la
Sociedad para la Difusin del Conocimiento til. Su objetivo era difundir todo
tipo de conocimientos (especialmente el conocimiento cientfico) por medio de
tratados econmicos y claramente escritos por los mejores autores de la
poca. Uno de sus escritores ms prolficos y eficaces era De Morgan. Escribi
una gran obra sobre el Clculo diferencial e integral que fue publicada por la
Sociedad; y escribi una sexta parte de los artculos en la Penny Cyclopedia,
tambin publicada por la Sociedad, as como las emitidas en otras

publicaciones. Cuando De Morgan se traslad a residir en Londres, encontr un

amigo afn en William Frend, a pesar de su hereja matemtica sobre
cantidades negativas. Ambos tenan amplios conocimientos aritmticos, y sus
puntos de vista religiosos eran bastante similares. Frend viva en lo que
entonces era un suburbio de Londres, en una casa de campo antes ocupado
por Daniel Defoe e Isaac Watts. De Morgan, acompaado de su flauta, era un
visitante bienvenido.

The London University, de la que De Morgan era profesor, es una institucin

distinta de la "University of London" (Universidad de Londres). La Universidad
de Londres fue fundada cerca de diez aos ms tarde por el Gobierno del Reino
Unido, con el fin de otorgar grados despus del examen, sin ningn tipo de
calificacin previa como el perodo de residencia. The London University estaba
afiliada como un colegio de enseanza a la Universidad de Londres, y su
nombre fue cambiado a University College. La Universidad de Londres fracas
como organismo meramente examinador; y se convirti en una institucin de
enseanza al uso. De Morgan era un maestro de gran xito en la docencia de
las matemticas. Daba clases de una hora de duracin, y al final de cada clase
planteaba una serie de problemas y ejemplos ilustrativos del tema sobre el que
haba disertado. Invitaba a sus estudiantes a sentarse con l y a mostrarle sus
resultados, que traa revisados antes de la siguiente clase. En opinin de De
Morgan, la comprensin profunda y la asimilacin de grandes principios era
mucho ms importante que la destreza meramente analtica en la aplicacin
de principios y medios para manejar casos particulares.

Augustus De Morgan.
Durante este perodo, tambin promovi la obra del matemtico indio
autodidacta Ramchundra, al que se llamaba el Ramanujan de De Morgan.
Supervis la publicacin en Londres del libro de Ramchundra "Mximos y
mnimos" en 1859. En la introduccin a este libro, reconoci ser consciente de
la tradicin india de la lgica, aunque no se sabe si esto tuvo alguna influencia
sobre su propio trabajo.

As mismo, fue tutor de Ada Lovelace, con la que mantuvo posteriormente

correspondencia escrita.7

ltimos aos
En 1866 la ctedra de filosofa mental del University College qued vacante.
James Martineau, un clrigo unitarista y profesor de filosofa mental, fue

recomendado formalmente por el Senado al Consejo; pero en el Consejo haba

algunos que se opusieron a un clrigo unitarista, y otros que se opusieron a la
filosofa testa. Un laico de la escuela de Alexander Bain y Herbert Spencer fue
nombrado. De Morgan consider que la antigua norma de la neutralidad
religiosa haba sido incumplida, y renunci de inmediato. Tena entonces 60
aos de edad. Sus alumnos le aseguraron una pensin de 500 libras anuales,
pero sus desgracias continuaron. Dos aos ms tarde, su hijo George (el
"Bernoulli ms joven", como a Augustus le encantaba or que le llamaban, en
alusin a los eminentes matemticos padre e hijo de este nombre) muri. Este
golpe fue seguido por la muerte de una hija. Cinco aos despus de su dimisin
del University College, De Morgan mora por una afeccin nerviosa el 18 de
marzo de 1871.

Familia[editar]
Augustus fue uno de los siete hermanos De Morgan, cuatro de los cuales
sobrevivieron hasta la edad adulta.

En otoo de 1837, se cas con Sofa Elizabeth (1809-1892), la hija mayor de

William Frend (1757-1841) y de Sarah Blackburne (1779-?), nieta de Francis
Blackburne (1705-1787), arcediano de Cleveland.8

De Morgan tena tres hijos y cuatro hijas, incluyendo a la autora de cuentos de

hadas Mary De Morgan. Su hijo mayor era el ceramista William De Morgan. Su
segundo hijo, George De Morgan adquiri gran prestigio matemtico en el
University College y en la Universidad de Londres. Con otro ex alumno de ideas
afines concibi la idea de fundar la Sociedad Matemtica de Londres, donde los
artculos matemticos no slo seran archivados (como en la Royal Society), si
no que seran realmente ledos y debatidos. La primera reunin se celebr en el
University College; De Morgan fue el primer presidente y su hijo el primer
secretario. Era el comienzo de la Sociedad Matemtica de Londres.

Personalidad[editar]

Fotografa de Augustus de Morgan (1898)

De Morgan era un escritor brillante e ingenioso, ya sea como polemista o como
corresponsal. En su poca coincidi con dos Sir William Hamilton, que a
menudo se confunden. Uno de ellos fue Sir William Hamilton, 9 Baronet (es
decir, su ttulo fue heredado), un escocs, profesor de lgica y metafsica en la
Universidad de Edimburgo; el otro era un caballero (es decir, gan el ttulo), un
irlands, profesor de astronoma en la Universidad de Dubln. El barn

contribuy a la lgica, sobre todo a la doctrina de la cuantificacin del

predicado; el caballero, cuyo nombre completo era William Rowan Hamilton,
contribuy a las matemticas, especialmente al lgebra geomtrica, siendo el
primero en describir los cuaterniones. De Morgan se interes por el trabajo de
ambos, y mantuvo correspondencia con los dos; pero la correspondencia con el
escocs termin en una controversia pblica, mientras que con el irlands
mantuvo una amistad que termin solamente a su muerte. En una de sus
cartas a Rowan, De Morgan dice:

Es notorio que he descubierto que usted y el otro seor WH son polares

recprocos con respecto a m (intelectual y moralmente, para m el barn
escocs es un oso polar, y usted, estaba pensando, es un caballero polar).
Cuando envo algo de investigacin para Edimburgo, el WH de esa calaa dice
que la aparte de l. Cuando se la envo a usted, la asimila, generalizndola a
simple vista, consiguiendo que de este modo sea aplicable a la sociedad en
general, y me convierte en el segundo descubridor de un teorema conocido.
La correspondencia de De Morgan con Hamilton el matemtico se prolong
durante ms de veinticuatro aos; contiene discusiones no slo de asuntos
matemticos, sino tambin de temas de inters general. Se caracterizaba por
la genialidad de Hamilton y por el ingenio por parte de De Morgan. La siguiente
es una muestra: Hamilton escribi,9

Mi copia de la obra de Berkeley no es ma; como Berkeley, ya sabe, soy un

irlands.
De Morgan respondi:

Su frase "mi copia no es ma" no es un disparate. En ingls es perfectamente

correcto utilizar la misma palabra en dos sentidos diferentes en una sola frase,
sobre todo cuando es algo usual. Las incongruencias del lenguaje no son
ningn disparate, porque expresan un significado. Pero la incongruencia de las
ideas (como en el caso del irlands que estaba tirando de una cuerda, y al
darse cuenta de que se terminaba, grit que alguien haba cortado el otro
extremo...) eso s que es un disparate genuino.
De Morgan estaba lleno de peculiaridades personales. Con motivo de la toma
de posesin de su amigo, Lord Brougham, como Rector de la Universidad de
Edimburgo, el Senado se ofreci a conferirle el grado honorfico de LL. D.;
Morgan declin el honor por haberse denominado con un nombre inapropiado.
Una vez mand imprimir su nombre de esta manera:

Augustus De Morgan, H-O-M-O-P-A-U-C-A-R-U-M-L-I-T-E-R-A-R-U-M (del latn,

"hombre de pocas letras")
No le gustaba desplazarse fuera de Londres, y mientras su familia disfrutaba a
la orilla del mar, y los hombres de ciencia pasaban buenos ratos en las
reuniones de la Asociacin Britnica en cualquier rincn de Inglaterra, l
permaneca en las bibliotecas sofocantes y polvorientas de la metrpoli. Dijo
que se senta como Scrates, quien declar que cuanto ms lejos estaba de
Atenas, ms lejos estaba de la felicidad. Nunca trat de convertirse en
miembro de la Royal Society ni asisti a una de sus reuniones; dijo que no tena
ideas o simpatas en comn con el estudio de la fsica. Su actitud era
posiblemente debida a sus limitaciones fsicas, ya que le impedan ser un buen
observador o experimentador. Nunca vot en una eleccin, y nunca visit la
Cmara de los Comunes, la Torre de Londres, o la Abada de Westminster.

Coleccin de paradojas. "Paradoxers"[editar]

El ttulo original de esta obra en ingls es "A Budget of Paradoxes". Fue
publicada pstumamente en 1872 por su esposa, un ao despus de la muerte
del matemtico. El libro refleja muy bien el carcter irnico de De Morgan, que
no deja de asombrarse ante la abundancia de descubridores revolucionarios
(falsos "paradoxers" los denomina), que pretenden haber resuelto problemas
irresolubles, como la cuadratura del crculo o la triseccin del ngulo. En la
introduccin al libro, De Morgan explica lo que quiere decir con la palabra
"paradoja":10

Un gran nmero de personas, desde el surgimiento del mtodo matemtico, ha

atacado sus consecuencias directas e indirectas. Voy a llamar a cada una de
estas personas un "paradoxer", y a su sistema de crtica, una "paradoja". Utilizo
la palabra en el viejo sentido: una paradoja es algo que est al margen de la
opinin general, ya sea por su materia, su mtodo o su conclusin. Muchas de
las cosas ahora establecidas, se denominaron en su momento con "corchetes",
que es la expresin ms cercana que tenemos a la vieja paradoja. Pero hay una
diferencia: que situando un texto entre corchetes queremos indicar que se va a
hablar a la ligera en el mismo; lo que no coincide necesariamente con el
sentido de la paradoja. As, en el siglo XVI, muchos hablaron del movimiento de
la tierra como "la paradoja de Coprnico" y sostenan con convencimiento la
ingenuidad de dicha teora. Incluso me inclino a pensar que algunos piensan
todava de la misma manera; en el siglo XVII se produjo una decadencia del
intelecto, al menos en Inglaterra.
Cmo puede distinguirse el falso paradoxer del verdadero? De Morgan
suministra la siguiente prueba:

La manera en que un verdadero "paradoxer" se mostrar a s mismo, en cuanto

al sentido o sin sentido, no depender de lo que l mantenga, sino sobre si
tiene o no un conocimiento suficiente de lo que ha sido hecho por otros, sobre
todo en cuanto al modo de hacerlo, paso previo a la invencin de los
conocimientos por s mismos... El nuevo conocimiento, para cualquier
propsito, debe provenir del estudio del conocimiento anterior, en todos los
asuntos que afectan al pensamiento; los artificios mecnicos a veces, no muy a
menudo, se escapan a esta regla. Todos los hombres que ahora son llamados
descubridores, en cada asunto gobernado por el pensamiento, han sido
hombres versados en las mentes de sus predecesores y han aprendido de lo
que haba sucedido antes que ellos. No hay una sola excepcin. Recuerdo que
justo antes de una reunin de la American Association en Indianpolis en 1890,
los peridicos locales anunciaron un gran descubrimiento que iba a ser
presentado ante los sabios reunidos all: un joven de alguna parte del pas,
haba cuadrado el crculo. Mientras que la reunin estaba en curso, observ a
un joven que estaba por all con un rollo de papel en la mano. Se dirigi a m, y
se quej de que no se haba recibido el documento con su descubrimiento. Le
pregunt si su objeto en la presentacin del documento no era conseguir que
fuese ledo, impreso y publicado, para que todo el mundo pudiera informarse
del resultado; accediendo al escrito fcilmente. Pero, dije yo, muchos hombres
han trabajado en esta cuestin, y sus resultados se han probado
completamente, y estn impresos en beneficio de cualquiera que sepa leer. Te
has informado de sus resultados? A tal cuestin no hubo asentimiento, pero s
la sonrisa enfermiza del falso paradoxer.
Su "Coleccin" consiste en la revisin de una gran recopilacin de libros
paradjicos, que De Morgan haba acumulado en su propia biblioteca, en parte
formada por sus compras en libreras, por los libros que le enviaban para su
revisin, y por los libros enviados por sus propios autores. Incluye la siguiente
clasificacin: Cuadradores de crculos; Trisectores de ngulos; Duplicadores de
cubos; Constructores de movimientos perpetuos; Anuladores de la gravitacin;
Inmovilizadores de la Tierra; y Constructores del Universo. Opina que an
pueden encontrarse especmenes de todas estas clases en el Nuevo Mundo y
en el nuevo siglo. De Morgan da su conocimiento personal de los "paradoxers":

Sospecho que s ms de esta clase de ingleses que cualquier hombre en Gran

Bretaa. Nunca llev la cuenta exacta; pero s que un ao con otro (algo
menos en los ltimos aos que en pocas anteriores), he hablado con ms de
cinco en cada ao, de lo que resulta ms de ciento cincuenta especmenes. De
algo estoy seguro, de que es mi culpa que no hayan sido mil. Nadie sabe cmo
pululan, excepto aquellos a los que recurren naturalmente. Se encuentran en
todos los rangos y ocupaciones, de todas las edades y caracteres. Son
personas muy serias, y su propsito es difundir de buena fe sus paradojas. Una
gran parte -la mayora, de hecho- son analfabetos, y un gran nmero han
perdido sus medios de vida, y se encuentran o se acercan a la penuria. Estos
descubridores se desprecian entre s.

Un paradoxer al que De Morgan hizo el mismo "regalo" que Aquiles hizo a

Hctor -arrastrarlo alrededor de las murallas una y otra vez- fue James Smith,
un exitoso comerciante de Liverpool, quien aseguraba haber encontrado que
{\displaystyle \pi =3{\tfrac {1}{8}}} {\displaystyle \pi =3{\tfrac {1}{8}}}.
Su modo de razonamiento era una curiosa caricatura de la "reductio ad
absurdum" de Euclides. Deca que {\displaystyle \pi =3{\tfrac {1}{8}}}
{\displaystyle \pi =3{\tfrac {1}{8}}}, y entonces expona que en tal caso
cualquier otro valor de {\displaystyle \pi } \pi deba ser absurdo. En
consecuencia, {\displaystyle \pi =3{\tfrac {1}{8}}} {\displaystyle \pi
=3{\tfrac {1}{8}}} es el valor verdadero. Lo que sigue es una muestra del
"arrastre efectuado por De Morgan en torno a las murallas de Troya":

El Sr. Smith me sigue escribiendo largas cartas, insistindome en que he de

responderlas. En su ltima misiva de 31 caras apretadamente escritas en papel
de notas, se me informa, con referencia a mi silencio obstinado, que aunque yo
mismo y otras personas piensen que soy un Goliat matemtico, he decidido
comportarme como un caracol matemtico, permaneciendo dentro de mi
concha. Un "caracol" matemtico! Esto no debe referirse al objeto as llamado
que regula las campanadas de un reloj; significara que voy a hacer que el Sr.
Smith suene a la hora correcta del da, ya que yo de ninguna manera llevara
un reloj que curiosamente gana 19 segundos en cada hora por culpa de un
valor de cuadratura falso. Pero l se atreve a decirme que los guijarros de la
honda de la simple verdad y el sentido comn en ltima instancia, rompern mi
concha y me pondrn fuera de combate. La confusin de las imgenes es
divertida: Goliath escondindose en un caracol para evitar {\displaystyle \pi
=3{\tfrac {1}{8}}} {\displaystyle \pi =3{\tfrac {1}{8}}}, y James Smith, de
la Junta del Muelle de Mersey, ponindolo fuera de combate con los guijarros
de una honda. Si Goliat se haba deslizado en una concha de caracol, David
podra haber aplastado al filisteo simplemente con su pie. Hay algo parecido a
la modestia en la implicacin de que la piedra que rompe la concha an no ha
hecho efecto; se podra haber pensado que el hondero durante este tiempo ha
estado cantando: "Y tres veces [y un octavo], encamin a todos mis enemigos.
Y tres veces [y un octavo], mat a los muertos."
En la regin de la matemtica pura, De Morgan poda distinguir fcilmente la
falsa de la verdadera paradoja; pero no era tan experto en el campo de la
fsica. Su suegro y su esposa podran considerarse de alguna manera
"paradoxers"; y en opinin de los fsicos de su tiempo, el propio De Morgan a
duras penas escapaba de esta denominacin. Su esposa escribi un libro que
describe los fenmenos del espiritismo, mesa-rap, mesas giratorias, etc.; y De
Morgan redact un prefacio en el que aseguraba que conoca algunos de los
hechos afirmados, y que crea en otros mediante testimonios, pero que no
pretenda saber si fueron causados por espritus, o tenan algn origen
desconocido e inimaginable. De esta alternativa dejaba fuera las causas
materiales ordinarias. Faraday pronunci una conferencia sobre espiritismo, en

la que dej sentado que la investigacin debe establecer la idea de lo que es

fsicamente posible o imposible; De Morgan no crea en esto.

Espiritismo[editar]
Siendo ya un hombre maduro, De Morgan se interes en los fenmenos del
espiritismo. En 1849 haba investigado la clarividencia y qued impresionado
por la experiencia. Ms tarde se llevaron a cabo investigaciones paranormales
en su propia casa con la mdium Mara Hayden. El resultado de estas
investigaciones fue publicado posteriormente por su esposa Sophia. De Morgan
pensaba que su carrera como cientfico podra haber sido afectada si se
hubiera revelado su inters en el estudio del espiritismo, por lo que contribuy
a editar el libro de forma annima.11 Fue publicado en 1863, con el
ttulo:"From Matter to Spirit: The Result of Ten Years Experience in Spirit
Manifestations." ("De la materia al espritu: El Resultado de diez aos de
experiencias en manifestaciones de espritus.")

De acuerdo con Oppenheim (1988), la esposa de De Morgan, Sophia, era una

espiritista convencida, pero De Morgan mantena una posicin distinta ante los
fenmenos espiritistas que Oppenheim define como una "posicin de esperar y
ver"; no era ni un creyente ni un escptico. Su punto de vista era que la
metodologa de las ciencias fsicas no excluye automticamente los fenmenos
psquicos y que esos fenmenos pueden ser explicables posteriormente por la
posible existencia de fuerzas naturales que los fsicos an no haban
identificado.12

En el prefacio de "De la materia al espritu" (1863) De Morgan deca:

Pensando que es muy probable que el universo pueda contener unos pocos
agentes -se dice que medio milln- de los que nadie sabe nada, no puedo sino
sospechar que una pequea proporcin de estos agentes, -digamos cinco milpueden ser solidariamente competentes para la produccin de todos los
fenmenos espiritistas, o pueden estar a su altura. Las explicaciones fsicas
que he visto son fciles, pero miserablemente insuficientes: la hiptesis
espiritista es suficiente, pero difcilmente ponderable. El tiempo y el
pensamiento decidirn, el segundo pidiendo al primero ms resultados de
ensayos.
En "Parapsicologa: Una Historia Concisa" (1997), John Beloff escribi que De
Morgan fue el primer cientfico notable en Gran Bretaa interesado en el
estudio del espiritismo, y sus actividades habran influido en la decisin de
William Crookes de estudiar tambin el espiritismo. Tambin afirma que De

Morgan era un ateo y que esto le priv de alcanzar una posicin en Oxford o
Cambridge.13

Obra matemtica3 [editar]

Lgica Formal (1847)[editar]
Cuando el estudio de las matemticas revivi en la Universidad de Cambridge,
tambin lo hizo el estudio de la lgica. El espritu de este movimiento era
Whewell, el Maestro del Trinity College, cuyos escritos principales eran una
"Historia de las ciencias inductivas" y una "Filosofa de las ciencias inductivas".
Sin duda, De Morgan fue influenciado en sus investigaciones lgicas por
Whewell; pero otros contemporneos influyentes fueron Sir William Rowan
Hamilton de Dubln, y el profesor Boole de Cork. El trabajo de De Morgan en
lgica formal, publicado en 1847, es principalmente notable por su desarrollo
del silogismo numricamente definido:

Los seguidores de Aristteles afirman que a partir de dos proposiciones

particulares, como "algunos M son A", y "algunos M son B", no se sigue
necesariamente una relacin entre los A y B. Pero van ms all, y postulan que
con el fin de que cualquier relacin entre los A y B pueda seguirse
necesariamente, el trmino medio debe ser tomado universalmente en una de
las premisas. De Morgan seal que, de algunos M son A y algunos M son B se
sigue necesariamente que algunos A son B en determinadas condiciones que
formul mediante expresiones numricas exactas, dando forma al denominado
silogismo numricamente definido. Suponiendo que el nmero de los M es
{\displaystyle m} m, de los M que son A es {\displaystyle a} a, y de los M que
son B es {\displaystyle b} b; entonces hay al menos {\displaystyle (a+b-m)}
{\displaystyle (a+b-m)} A que tambin son B. Por ejemplo, si se supone que el
nmero de personas a bordo de un barco es de 1000, que 500 estaban en el
saln, y que 700 estn perdidas, se deduce necesariamente que al menos 700
+ 500 - 1000, esto es, 200 pasajeros del saln se han perdido.
Este nico principio es suficiente para demostrar la validez de todos los modos
de razonamiento aristotlicos. Por lo tanto, es un principio fundamental en el
razonamiento deductivo.

He aqu que De Morgan haba hecho un gran avance con la introduccin de la

cuantificacin de los trminos. En esa poca, el filsofo Sir William Hamilton
estaba enseando en Edimburgo una doctrina de la cuantificacin del
predicado, y surgi la correspondencia entre ambos. Sin embargo, De Morgan
percibe pronto que la cuantificacin de Hamilton era de un carcter diferente;
que significaba, por ejemplo, que las expresiones La totalidad de A es la
totalidad de B, y La totalidad de A es parte de B, podan sustituir a la forma

Aristotlica Todo A es B. Hamilton pensaba que haba colocado la piedra

angular del arco aristotlico, como as lo expres. Curioso arco ste, que se
haba sostenido durante 2.000 aos sin una piedra angular. Como
consecuencia de ello, no prestaba atencin a las innovaciones de De Morgan, le
acus de plagio, y la controversia se extendi durante aos en las columnas de
la revista del Athenum, y en las publicaciones de los dos escritores.

Trigonometra y lgebra Doble (1849)[editar]

El trabajo de De Morgan titulado Trigonometry and Double Algebra contiene
dos partes; la primera es un tratado de trigonometra, y la segunda es un
tratado de lgebra generalizada, a la que llam "lgebra doble".

La teora del lgebra de George Peacock fue mejorada por D.F. Gregory, un
miembro ms joven de la Escuela de Cambridge, quien hizo hincapi no en la
permanencia de formas equivalentes, sino en la permanencia de ciertas leyes
formales. Esta nueva teora del lgebra como la ciencia de los smbolos y de
sus leyes de combinacin, llev a la edicin por De Morgan basada en la lgica;
y su doctrina, sobre el tema, todava es seguida por un gran nmero de
algebristas britnicos. As, George Chrystal bas su libro de texto de lgebra en
la teora morganiana; aunque un lector atento puede observar que
prcticamente la abandona cuando se enfrenta al tema de las series infinitas.
La teora morganiana se reafirma en su volumen sobre Trigonometra y lgebra
doble, donde en el Libro II, Captulo II, dedicado al "lgebra simblica", escribe:

Al abandonar los significados de los smbolos, tambin abandonamos los de las

palabras que los describen. As "suma" pasa a ser, por el momento, un sonido
vaco de sentido. Es un modo de combinacin representado por {\displaystyle
+} +; cuando {\displaystyle +} + recibe su significado, as tambin lo recibe la
palabra "suma". Es muy importante que el estudiante tenga en cuenta que,
con una excepcin, ninguna palabra ni signo de la aritmtica o lgebra tiene un
tomo de sentido a lo largo de este captulo, cuyo objeto son los smbolos, y
sus leyes de combinacin, generando un lgebra simblica, que puede llegar a
ser en adelante la gramtica de un centenar de diferentes lgebras
significativas. Si alguien fuera a afirmar que {\displaystyle +} + y
{\displaystyle -} - podran significar recompensa y castigo, y {\displaystyle A}
A, {\displaystyle B} B, {\displaystyle C} C, etc. podran representar las virtudes
y los vicios, el lector puede creerlo, contradecirlo, o lo que le plazca, pero no
fuera de este captulo.
La nica excepcin indicada anteriormente, que tiene alguna parte de
significado, es el signo {\displaystyle =} = colocado entre dos smbolos, como
en {\displaystyle A=B} A=B. Indica que los dos smbolos tienen el mismo
significado resultante, por diferentes que sean los pasos necesarios para

alcanzarlo. Si {\displaystyle A} A y {\displaystyle B} B son dos cantidades,

indica que su medida es la misma; si son operadores, que su efecto es el
mismo.
La primera etapa en el desarrollo del lgebra es aritmtica, donde slo
aparecen nmeros y operadores tales como {\displaystyle +} +,
{\displaystyle \times } \times, etc.

La segunda etapa es la aritmtica universal, donde las letras sustituyen a los

nmeros para denotarlos universalmente, y los procesos se llevan a cabo sin
conocer los valores de estos smbolos. Se tiene que {\displaystyle a} a y
{\displaystyle b} b reperesentan cualquier cantidad; entonces una expresin
como {\displaystyle a-b} {\displaystyle a-b} no se puede calcular; si bien en la
aritmtica universal se habla de "previsin", es decir, que la operacin prevista
es posible.

La tercera etapa es el lgebra sencilla, donde un smbolo puede afectar a una

cantidad por delante o por detrs, pudiendo representarse adecuadamente
como segmentos en una lnea recta pasando por su origen. Las cantidades
negativas son entonces posibles; se representan con segmentos en sentido
contrario. Pero una imposibilidad todava permanece en la parte final de una
expresin como {\displaystyle a+b{\sqrt {-1}}} {\displaystyle a+b{\sqrt {1}}} que surge en la resolucin de una ecuacin cuadrtica.

La cuarta etapa es el lgebra doble. La simbologa algebraica denota en

general un segmento de una lnea en un plano dado. En una simbologa doble
se involucran dos especificaciones, nominalmente, longitud, y direccin;
{\displaystyle {\sqrt {-1}}} {\displaystyle {\sqrt {-1}}} es interpretado como
una dimensin en otro cuadrante. La expresin {\displaystyle a+b{\sqrt {-1}}}
{\displaystyle a+b{\sqrt {-1}}} entonces representa una lnea en el plano con
una abscisa {\displaystyle a} a y una ordenada {\displaystyle b} b. Argand y
Warren14 haban llevado el lgebra doble mucho ms all; pero no fueron
capaces de interpretar en sus teoras expresiones como {\displaystyle
e^{a{\sqrt {-1}}}} {\displaystyle e^{a{\sqrt {-1}}}}. De Morgan lo intent
reducindola como una expresin de la forma {\displaystyle b+q{\sqrt {-1}}}
{\displaystyle b+q{\sqrt {-1}}}, y demostr que haba hallado un
procedimiento para lograr esta reduccin en cualquier caso. El hecho
destacable es que esta lgebra doble satisface todas las leyes fundamentales
enumeradas, y cualquier combinacin de smbolos aparentemente imposible
poda ser interpretada como si tuviese la forma completa del lgebra. En el
captulo 6 introduce las funciones hiperblicas y analiza la conexin entre la
trigonometra comn y la hiperblica.

Si la teora anterior es cierta, la siguiente etapa de desarrollo debera ser el

"lgebra triple" y si {\displaystyle a+b{\sqrt {-1}}} {\displaystyle a+b{\sqrt {1}}} realmente representa una lnea en un plano dado, debera ser posible
encontrar un tercer elemento que aadido a los anteriores fuese asimilable a
una recta en el espacio. Argand y muchos otros supusieron que era
{\displaystyle a+b{\sqrt {-1}}+c{\sqrt {-1}}\,^{\sqrt {-1}}} {\displaystyle
a+b{\sqrt {-1}}+c{\sqrt {-1}}\,^{\sqrt {-1}}} aunque esto contradeca los
postulados de Euler, en los que {\displaystyle {\sqrt {-1}}\,^{\sqrt {1}}=e^{-{\frac {1}{2}}\pi }} {\displaystyle {\sqrt {-1}}\,^{\sqrt {1}}=e^{-{\frac {1}{2}}\pi }}. De Morgan y otros muchos trabajaron
duramente en este problema sin xito hasta que intervino Hamilton. Ahora
puede verse claramente el porqu: la simbologa del lgebra doble denota no
una longitud y una direcin; si no un mdulo y un ngulo. Los ngulos estn
confinados en un plano. Entonces la siguiente etapa ser un "lgebra
cudruple", en la que el eje del plano se hace variable. Esto brinda la respuesta
a la primera cuestin; el lgebra doble analticamente representa la
trigonometra del plano, y por esto se convirti en la herramienta natural del
anlisis de la corriente elctrica alterna. Pero De Morgan nunca fue tan lejos.
Muri con el convencimiento de que "el lgebra doble permitir completar el
desarrollo de las concepciones de la aritmtica pendientes, tan lejos como
estos smbolos estn involucrados, como la propia aritmtica sugiere
inmediatamente".

En el captulo 2 del segundo libro, continuando sus planteamientos tericos

acerca del lgebra simblica, De Morgan procede a inventariar tanto los
smbolos fundamentales del lgebra como sus leyes. Los smbolos son
{\displaystyle 0} {\displaystyle 0}, {\displaystyle 1} 1, {\displaystyle +} +,
{\displaystyle -} -, {\displaystyle \times } \times, {\displaystyle \div } \div,
{\displaystyle ()} {\displaystyle ()}(), y letras; solo estos, todos los dems se
derivan de los anteriores. Como De Morgan explica, el ltimo de estos smbolos
permite escribir un exponencial, situndolo por encima y a continuacin de una
expresin dada. Su inventario de leyes fundamentales se reduce a catorce
puntos, aunque algunos son meras definiciones. La lista precedente de
smbolos figura bajo el primero de estos catorce puntos. Las leyes propiamente
dichas pueden reducirse a las siguientes, que como l mismo admite, no son
totalmente independientes entre s, "pero el carcter asimtrico de la
operacin exponencial, y el deseo de conectar los procesos de {\displaystyle
+} + y {\displaystyle \times } \times... se prestan necesariamente a
mantenerlas por separado":

Leyes de Identidad: {\displaystyle a=0+a} {\displaystyle a=0+a}

{\displaystyle =+a} {\displaystyle =+a} {\displaystyle =a+0} {\displaystyle
=a+0} {\displaystyle =a-0} {\displaystyle =a-0} {\displaystyle =1\times a}
{\displaystyle =1\times a} {\displaystyle =\times a} {\displaystyle =\times a}

{\displaystyle =a\times 1} {\displaystyle =a\times 1} {\displaystyle =a\div 1}

{\displaystyle =a\div 1} {\displaystyle =0+1\times a} {\displaystyle
=0+1\times a}
Leyes de Signos: {\displaystyle +(+a)=+a,} {\displaystyle +(+a)=+a,}
{\displaystyle +(-a)=-a,} {\displaystyle +(-a)=-a,} {\displaystyle -(+a)=-a,}
{\displaystyle -(+a)=-a,} {\displaystyle -(-a)=+a,} {\displaystyle -(-a)=+a,}
{\displaystyle \times (\times a)=\times a,} {\displaystyle \times (\times
a)=\times a,} {\displaystyle \times (\div a)=\div a,} {\displaystyle \times (\div
a)=\div a,} {\displaystyle \div (\times a)=\div a,} {\displaystyle \div (\times
a)=\div a,} {\displaystyle \div (\div a)=\times a} {\displaystyle \div (\div
a)=\times a}
Ley Commutativa: {\displaystyle a+b=b+a,} {\displaystyle a+b=b+a,}
{\displaystyle a\times b=b\times a} {\displaystyle a\times b=b\times a}
Ley Distributiva: {\displaystyle a(b+c)=ab+ac,} {\displaystyle
a(b+c)=ab+ac,} {\displaystyle a(b-c)=ab-ac,} {\displaystyle a(b-c)=ab-ac,}
{\displaystyle (b+c)\div a=(b\div a)+(c\div a),} {\displaystyle (b+c)\div
a=(b\div a)+(c\div a),} {\displaystyle (b-c)\div a=(b\div a)-(c\div a)}
{\displaystyle (b-c)\div a=(b\div a)-(c\div a)}
Leyes de Exponenciacin: {\displaystyle a^{0}=1,} {\displaystyle a^{0}=1,}
{\displaystyle a^{1}=a,} {\displaystyle a^{1}=a,} {\displaystyle (a\times
b)^{c}=a^{c}\times b^{c},} {\displaystyle (a\times b)^{c}=a^{c}\times
b^{c},} {\displaystyle a^{b}\times a^{c}=a^{b+c},} {\displaystyle
a^{b}\times a^{c}=a^{b+c},} {\displaystyle (a^{b})^{c}=a^{b\times c}}
{\displaystyle (a^{b})^{c}=a^{b\times c}}
De Morgan procede a dar un inventario completo de las leyes a las que
obedecen los smbolos del lgebra, afirmando que "Cualquier sistema de
smbolos que obedezca estas reglas y no otras; excepto que estn formadas
por combinaciones de estas mismas reglas; es entonces un lgebra simblica."
Desde este punto de vista, ninguno de los principios anteriores son reglas;
formalmente son leyes, esto es, arbitrariamente eligen relaciones a las que los
smbolos algebraicos estn sujetos. De Morgan no menciona la ley, que
anteriormente haba sido apuntada por Gregory, nominalmente: {\displaystyle
(a+b)+c=a+(b+c),(ab)c=a(bc)} {\displaystyle (a+b)+c=a+(b+c),
(ab)c=a(bc)}, posteriormente llamada Ley Asociativa. Si la Ley Conmutativa
falla, la Ley Asociativa debe establecerse mejor; pero no al revs. Es una
desafortunada circunstancia para simbolistas y formalistas que en aritmtica
universal {\displaystyle m^{n}} {\displaystyle m^{n}} no es igual que
{\displaystyle n^{m}} {\displaystyle n^{m}}; entonces la Ley Conmutativa
tendra alcance pleno.Por qu no se le dio alcance pleno? Porque los cimientos
del lgebra son, despus de todo, reales y no formales, materiales y no
simblicos. Para los formalistas, las operaciones exponenciales son demasiado
inmanejables, en consecuencia no las consideran, relegndolas a la
matemtica aplicada.

lgebra de Relaciones (1860)[editar]

De Morgan descubri el lgebra de relaciones en su obra Syllabus of a
Proposed System of Logic (Programa de una Propuesta de Sistema Lgico),
publicada en 1860. Esta lgebra fue extendida por Charles Sanders Peirce
(quien admiraba a De Morgan y lleg a reunirse con l), y nuevamente
expuesta y extendida en el vol. 3 del Vorlesungen ber die Algebra der Logik
de Ernst Schrder. El lgebra de relaciones fue una prueba crtica del Principia
Mathematica de Bertrand Russell y Alfred North Whitehead. A su vez, esta
lgebra lleg a ser el objeto de mucho ms trabajo, iniciado en 1940 por Alfred
Tarski y sus colegas y estudiantes de la Universidad de California.

Escritos para la Sociedad Filosfica de Cambridge (1864)[editar]

Principalmente a travs de los esfuerzos de Peacock y Whewell, se haba
creado en Cambridge una Sociedad Filosfica; y para sus Anales
((Mathematical Proceedings of the Cambridge Philosophical Society)) De
Morgan contribuy con cuatro memorias sobre los fundamentos del lgebra, e
igual nmero de escritos para la lgica formal.

Estas memorias sobre lgica con las que De Morgan contribuy a las
Transacciones de la Sociedad Filosfica de Cambridge posteriores a la
publicacin de su libro sobre "Lgica Formal" son,15 con mucho, las ms
importantes contribuciones que hizo a la ciencia, en especial su cuarta
memoria, en la que comienza el trabajo en el amplio campo de la "Lgica de
Relativos". Este campo ha adquirido gran relevancia posterior, orientado al
mejor conocimiento de la lengua y de los procesos de pensamiento. Identidad y
diferencia son las dos principales relaciones consideradas por los lgicos; pero
hay otras muchas igualmente merecedores de estudio, como la igualdad, la
equivalencia, la consanguinidad, la afinidad, etc.

Leyes propuestas por De Morgan[editar]

En la moderna lgica matemtica, se conocen con la denominacin de Leyes
propuestas por De Morgan los siguientes principios fundamentales del lgebra
de la lgica:

La negacin de la conjuncin es equivalente a la disyuncin de las

negaciones
La negacin de la disyuncin es equivalente a la conjuncin de las
negaciones

En escritura formal simblica:

{\displaystyle \lnot (A\land B)\Leftrightarrow (\lnot A)\lor (\lnot B)}

{\displaystyle \lnot (A\land B)\Leftrightarrow (\lnot A)\lor (\lnot B)}
{\displaystyle \lnot (A\lor B)\Leftrightarrow (\lnot A)\land (\lnot B)}
{\displaystyle \lnot (A\lor B)\Leftrightarrow (\lnot A)\land (\lnot B)}
Principales publicaciones[editar]
Los escritos de De Morgan publicados en forma de obras completas, formaran
una pequea biblioteca, como es el caso por ejemplo de sus escritos para la
Sociedad del Conocimiento til. La mejor presentacin de su visin del lgebra
se encuentra en el volumen titulado Trigonometra y lgebra Doble, publicado
en 1849. Su obra ms peculiar fue su estudio de los que l denominaba
"paradoxers" (A Budget of Paradoxes); que originalmente apareci publicado en
forma de cartas en las columnas de la revista del Athenum; fue revisada y
ampliada por De Morgan en los ltimos aos de su vida, y publicada
pstumamente por su viuda. Desde el punto de vista estrictamente acadmico,
su obra ms reconocida es La lgica formal o el clculo de inferencias
necesarias y probables (1847).

Cronolgicamente, sus principales obras se ordenan de la siguiente manera

(relacin de ttulos originales en ingls):

1836. An Explanation of the Gnomonic Projection of the Sphere. London:

Baldwin.
1837. Elements of Trigonometry, and Trigonometrical Analysis. London: Taylor &
Walton.
1837. The Elements of Algebra. London: Taylor & Walton.
1838. An Essay on Probabilities. London: Longman, Orme, Brown, Green &
Longmans.
1840. The Elements of Arithmetic. London: Taylor & Walton.
1840. First Notions of Logic, Preparatory to the Study of Geometry. London:
Taylor & Walton.
1842. The Differential and Integral Calculus. London: Baldwin.
1845. The Globes, Celestial and Terrestrial. London: Malby & Co.
1847. Formal Logic or The Calculus of Inference. London: Taylor & Walton.
1849. Trigonometry and Double Algebra. London: Taylor, Walton & Malbery.

1860. Syllabus of a Proposed System of Logic. London: Walton & Malbery.

1872. A Budget of Paradoxes. London: Longmans, Green.16
Reconocimientos y honores[editar]
Desde 1884, la Sociedad Matemtica de Londres entrega cada tres aos la
Medalla De Morgan17 en reconocimiento a los logros de matemticos
destacados.
La sede de la Sociedad Matemtica de Londres se llama "The De Morgan
House".
La sociedad de alumnos del Departamento de Matemticas del University
College de Londres se llama "The August De Morgan Society".
El crter lunar De Morgan lleva su nombre.