UNIVERSIDAD CATLICA ANDRS BELLO

ESTUDIOS DE POSTGRADO
MAESTRA EN FILOSOFA

DE LA INTUICIN A LA ESTRUCTURA:
APROXIMACIN ALGORTMICA AL MTODO DE LGICA SIMBLICA
PERGEADO POR CHARLES DOGDSON
Proyecto del Trabajo de Grado para optar al Grado de Magster en Filosofa
Mencin Teora de la Argumentacin.

AUTOR: Lic. ALEJANDRO MORN MEDINA.

TUTOR:

Caracas, de 2014

ACEPTACIN DEL TUTOR

Por la presente hago constar que he ledo el proyecto de trabajo de grado
presentado por el ciudadano Alejandro Morn Medina, para optar al ttulo de
Magister en Filosofa, Mencin Teora de la Argumentacin, cuyo ttulo tentativo
es: De la Intuicin a la estructura: Aproximacin algortmica al mtodo de lgica
simblica pergeado por Charles Dogdson; y que acepto asesorar al estudiante,
en calidad de Tutor, durante la etapa del desarrollo de trabajo hasta su
presentacin y evaluacin.
En la ciudad de Caracas, a los das del mes de noviembre de 2014
Tutor: Carlos H. Jorge
C.I. 6.815.652

UNIVERSIDAD CATLICA ANDRS BELLO

ESTUDIOS DE POSTGRADO
MAESTRA EN FILOSOFA

DE LA INTUICIN A LA ESTRUCTURA:
APROXIMACIN ALGORTMICA AL MTODO DE LGICA SIMBLICA
PERGEADO POR CHARLES DOGDSON.
Proyecto del Trabajo de Grado para optar al Grado de Magster en Filosofa
Mencin Teora de la Argumentacin.

Autor: Lic. Alejandro Morn Medina

Tutor:
RESUMEN
El objetivo de la presente investigacin es demostrar, a partir de una lectura
algortmica no diagramtica- de la forma simblica en general, la incapacidad de
una lectura heurstica de la forma de subndices -en particular- para atacar de
modo directo y efectivo polisilogismos hipotticos avanzados.
HAY QUE AMPLIAR
Descriptores: Forma simblica, forma de subndices, eliminacin, polisilogismos
hipotticos, Segunda Parte Avanzada de Lgica Simblica, Charles Lutwidge
Dogdson, Lewis Carroll.

INTRODUCCIN
Independientemente del fundamento diagramtico, Charles Dogdson mejor
conocido como Lewis Carroll- nunca desarroll una algortmica para el proceso de
prueba por eliminacin directa.

Al contrario, acab privilegiando una lectura

heurstica de la forma de subndices la cual reforz con la aplicacin de una

reduccin al absurdo.
De hecho, el empleo de la forma de subndices para representar -de modo
econmico- lo que sucede en el diagrama cuadrangular, al transferir las
limitaciones propias de los segundos a la primera, no hace sino dificultar el
tratamiento directo y eficaz de sorites avanzados.
Empero, ni la

lectura heurstica es inherente a la forma de subndices, ni la

algortmica tiene que presentarse de modo necesario- diagramticamente.

En el contexto de la presente investigacin, se entiende por lectura algortmica la
asociacin de la forma simblica en general -y de la de subndices en particular- a
la estructura matemtica del lgebra de boole.
La meta de este trabajo es demostrar -mediante la anterior asociacin- la
incapacidad de una lectura heurstica de la forma de subndices para atacar -de
modo directo y efectivo- polisilogismos hipotticos avanzados.
Por ende, se mostrar que la cuestin no es la decoloracin del lenguaje, como
poetiz Frege, sino la asociacin de un lenguaje (L) a determinada estructura (E)
de acuerdo a la conveniencia (C) ajustada a los propsitos (P).

En ese sentido, la asociacin no slo permite cumplir cabalmente con la

eliminacin general de trminos medios a partir de proposiciones cualesquiera,
independientemente de su nmero o de la naturaleza de su conexin sino que,
adems, facilita su adecuada presentacin (Boole: 1958).

Ciertamente, la

eliminacin directa, en tanto est justificada, es ya una prueba directa.

EL PROBLEMA

Heurstica o algortmica.
Charles Lutwige Dogdson mejor conocido como Lewis Carroll- comenz a
escribir su obra Lgica Simblica alrededor de 1870. sta estaba proyectada en
tres secciones: Elemental, Avanzada y Trascendental.
La primera fue publicada 1896, dos aos antes de su muerte.

Contiene los

mtodos de diagramas, subndices, silogismos separados y subrayado.

La parte avanzada apareci por vez primera en 1977 en la edicin de Lgica
Simblica

cargo

de

William

Warren

Bartley

III.

All

se

expone,

fundamentalmente, el mtodo de los rboles; y slo tangencialmente los mtodos

de premisas y grupos restringidos.

Sobre la seccin trascendental muy poco se

sabe.
De acuerdo con Dogdson, la aplicacin del mtodo de diagramas a pares de
proposiciones generales propuestas como premisas de un silogismo slo ofrece
dos alternativas mutuamente excluyentes: el caso en que es posible trasladar
informacin del diagrama trilateral al bilateral o el caso contrario.
En el primero se trata de un silogismo, a saber, de pares de proposiciones
concluyentes. En el segundo, de una falacia, lase, de pares de proposiciones no
concluyentes.

En la parte elemental de Lgica Simblica Dogdson emplea la forma de

subndices para ejemplificar -de modo econmico- lo que sucede en el diagrama
cuadrangular. As, una expresin en forma de subndices ser una frmula o una
forma en tanto represente un silogismo o una falacia, respectivamente.
El fundamento diagramtico permite reducir a seis expresiones la informacin
necesaria para resolver -de modo efectivo y directo- silogismos y sorites
categricos elementales, e identificar de manera inmediata- falacias.

De tal

manera, se asignan tres frmulas para los primeros y tres formas para las
segundas1.
Al tro de frmulas se le llama formulae, y a cada una de las frmulas que lo
componen, figura silogstica. A las meras formas se les denomina falacias. Tanto
las frmulas como las formas se parafrasean al lenguaje de uso. Tal parfrasis se
indica con el nombre de regla.
Las reglas de los silogismos permiten identificar los pares de proposiciones
concluyentes. Las reglas de las falacias, los pares de proposiciones que, de
acuerdo con el diagrama, llevan a ninguna conclusin.
Frmulas y formas sirven como modelo para comparar cualquier otro par de
proposiciones de igual forma de subndices sin necesidad de elaborar nuevamente
el diagrama cuadrangular. En las Tablas A y B se presenta el formulario.
En la introduccin al captulo II de Lgica Simblica, el cual versa sobre problemas
en sorites, Dogdson afirma que para resolver polisilogismos categricos de la

1 De hecho, en el captulo IX de su obra Lgica Simblica -titulado Mi mtodo para tratar silogismos y sorites- Dogdson
afirma: While they have elaborately duscussed no less tan nineteen different forms of Syllogism each with its own special
and exasperating Rules, while the whole constitutes an almost useless machine, for practical purposes, many of the
Conclusions are incomplete, and many quite legitimate forms being ignored- they have limited Sorites to two forms only, of
childish simplicity; and these they have dignified with special names, apparently under de impression that no other possible
forms exists. As to Syllogism, I find that their nineteen forms, with about a score of others which they have ignored, can all
be arranged under three forms, each with a very simple Rule of its own... W.W.B.III (1977:250).

primera figura pueden aplicarse dos mtodos alternativos: el mtodo de silogismos

separados o el mtodo de subrayado.
As, una vez elaborados los diagramas y obtenidas las frmulas respectivas, la
tarea de resolucin de un polisilogismo categrico se reduce o a construir una
conclusin no ambigua -a partir de las premisas- con tan slo aplicar
reiteradamente alguna de las frmulas del formulario recogido en la Tabla A; o a
omitir los subndices en la forma simblica, marcar los eliminandos (clases
codivisionales) colocando una lnea simple debajo de la primera letra y una doble
debajo de la segunda2, y escribir -como conclusin completa- las letras no
subrayadas (retinendos).
El fundamento diagramtico es suficiente para tratar con pares de proposiciones
categricas AIEO- hasta alcanzar una conclusin no ambigua.
Empero, en la introduccin a los aprendices, Dogdson escribi: aquellos que
hayan logrado dominar la parte I y que empiezan, como Oliver, a pedir ms,
espero proporcionarles, en la parte II, algunas nueces tolerablemente duras que
cascar, nueces que requerirn el empleo de todos los cascanueces de que
dispongan.
De hecho, tanto en el apndice para profesores, como en la publicidad encartada
al inicio de su obra, afirm:
en la segunda parte se ampliar el radio de accin de los silogismos
introduciendo proposiciones que contengan alternativas (tales como No todos los
x son y), proposiciones que contengan tres o ms trminos (tales como todos
los ab son c), que, unida a algunos bc' son d servira como premisa para
deducir algunos d son a), todos los abc son de, etctera. Otros temas de
esta parte II sern los sorites que contienen entidades y la muy compleja cuestin
de las proposiciones hipotticas y de los dilemas

2 W.W.B.III. (1977:138)

Pero si las frmulas representan de modo econmico lo que ocurre en el diagrama

cuadrangular, qu hacer cuando toca tratar con los extensos polisilogismos
hipotticos de la segunda parte avanzada cuyos diagramas pueden requerir ms
de 2048 regiones?
En ese sentido, en el Libro XII de Lgica Simblica Dogdson logra reforzar el
subrayado agregando una reduccin al absurdo. En efecto, slo se toma como
hiptesis la negacin del agregado que, segn el subrayado, es de retinendos 3.
Consiguientemente, en la segunda parte el subrayado no constituye un mtodo de
resolucin alternativo, sino la expresin de una lectura heurstica de la forma de
subndices privada de su fundamento diagramtico.
A diferencia de lo que ocurre en la primera parte elemental, Dogdson carece de
mtodo directo de prueba para el tipo de polisilogismos hipotticos propuestos en
la segunda parte avanzada.
De hecho, en sus cartas a John Cook Wilson hay evidencias de que la aplicacin
del subrayado no es suficiente para determinar por adelantado y en todos los
casos- cules son todos los retinendos.

The essential caracter of an ordinary Sorites-Problem may be described as follows. Our Data are certain Nullities,
involving Attributes, some of which occur both in the positive and in the negative form, and are the Elliminands; while others
occur in the one form only, and are the Retinends. And our Quaesitum is to anul the aggregate of the Retinends (i.e. to
prove it to be a Nullity). Hitherto we have done this by a direct Process: that is, we have begun with two of the given
Nullities, containing a pair of Elliminands differing only in sign (e.g. a and a), and we have treated them as the Premisses of
a Syllogism in Fig I, and have combined them so as to form a new Nullity, not containing the Elliminands: This Partial
Conclusion we have them combined, in the same way, with some other given Nullity: and in this way we have proceeded,
gradually turning out the Elliminands, till finally we have proved, as our Complete Conclusion, a Nullity consisting of
aggregate of Retinends. In the Method of Trees this process is reversed. Its essential feature is that it involves a Reductio
ad Absurdum. That is, we begin by assuming, argumenti gratia, that the aggregate of the Retiends (which we wish to prove
to be a Nullity) is an Entity: from this assumption we deduce a certain result: this result we show to be absurd: and hence we
infer that our original assumption was false, i.e. that the aggregate of the Retinends is a Nullity.

Ciertamente, el mismo Dogdson afirma que fue un gran alivio corroborar que, tras
aplicar el mtodo de los rboles a todos los ejemplos de sorites multilaterales del
libro XII la conclusin alcanzada mediante subrayado fuese la deseada. 4
En este punto es importante recordar que una cosa es averiguar si la conclusin
propuesta de cualquier modo- es consecuente con las premisas, y, en el caso tal
de que lo sea, si es o no completa; y otra, muy distinta, averiguar qu conclusin
si es que hay alguna es consecuente con tales o cuales premisas.
Adems, en relacin con los sorites en general Dogdson afirma: Los problemas
que tendremos que resolver son de la siguiente forma: Dadas tres o ms
proposiciones de relacin, que se nos proponen como premisas, averiguar qu
conclusin si es que hay alguna se deduce de ellas. Para sorites avanzados
agrega probar si tal conjunto de reglas es o no redundante.
Por otro lado, en el libro XIV de la obra Lgica Simblica se proponen alrededor de
63 problemas para los cuales no hay un apndice con respuestas y soluciones.
Tampoco se ha encontrado algn texto que los resolviera o los tratase de algn
modo.
Asimismo, tales polisilogismos hipotticos son ostensiblemente ms complicados
que los que se hallan resueltos en los libros XII y XIII. Algunos de ellos tienen
hasta 50 premisas e involucran hasta 52 letras.
Respecto de estos problemas resulta pertinente recordar que, tal y como est
escrito en los Primeros Analticos de Aristteles (1995), en la demostracin directa
no es necesario que se conozca la conclusin por adelantado, ni que se
presuponga que es verdadera o que no; en la indirecta, en cambio, es necesario
presuponer la negacin de la conclusin.

I write out these nine Soriteses, and do all the underscoring, and at last reach the desired Conclusion, when I smile a
satisfied smile, and lay down my pen with a sigh of relief. W.W.B.III. (1977:317)

De hecho, la demostracin directa, a diferencia del procedimiento inverso, puede

prescindir de hiptesis, y, por tanto, de cualquier heurstica que las suministre.
As, con respecto a extensos polisilogismos hipotticos, en Lgica Simblica
nunca se desarroll una algortmica de la eliminacin sino que se ensay una
mera heurstica para la presentacin de la prueba por eliminacin cuya eficiencia
se determin mediante continuos exmenes de consistencia.

En ese sentido,

Dogdson no cuenta con una estrategia directa de eliminacin.

La justificacin del procedimiento indirecto est en la imposibilidad de extender
-sin complicaciones excesivas- el fundamento diagramtico a los problemas de la
parte avanzada.
El objetivo de esta investigacin es demostrar, a partir de una lectura algortmica
de la forma simblica en general, la incapacidad de una lectura heurstica de la
forma de subndices en particular para atacar -de modo directo y efectivopolisilogismos hipotticos avanzados.
Se entiende por lectura algortmica la asociacin de la forma simblica general a la
estructura matemtica del lgebra de boole.
Se demostrar que la mera correlacin de las frmulas de las reglas expresadas
en forma de subndices con la estructura algebraica garantiza la justificacin de la
eliminacin directa para polisilogismos hipotticos en general.

STATUS QUAESTIONIS
William Warren Bartley III

Aunque en la introduccin a su edicin de Lgica Simbolica de Charles Dogdson

William Warren Bartley III enfatiza que una cosa es la obtencin de una conclusin
no ambigua a partir de un conjunto dado de proposiciones generales, y otra, muy
distinta, la prueba de la validez, y critica a todos aquellos que han privado a
Dogdson de una justa lectura algebraica para menospreciarlo desde el marco de
las obras de Gottlob Frege y de Bertrand Russell, obvia que, en relacin a los
extensos polisilogismos hipotticos, el ltimo recurso de Dogdson siempre fue la
reduccin al absurdo.
Fancine Abeles
En su texto Lewis Carrolls Formal Logic Fancine Abeles confunde la heurstica
con la algortmica cuando identifica la estrategia del subrayado con una regla de
inferencia.
En realidad, lo que puede relacionarse analgicamente con el razonamiento
deductivo automtico no es la heurstica sino la algortmica, la cual implica una
asociacin del lenguaje simblico empleado la forma de subndices en este casocon una estructura matemtica determinada aqu el lgebra de boole.
Por tanto, ni Bartley ni Abeles asoman la posibilidad de leer algortmicamente la
forma de subndices, antes bien, sus exposiciones, ambas incoherentes, se
ajustan a la lectura heurstica propuesta por Dodgson.

Jerzy Pogonowski
En el trabajo titulado Lewis Carrolls Resolution and Tableaux de Jerzy
Pogonowski hay una clave para leer algortmicamente la forma de subndices
propuesta por Charles Dogdson.

Efectivamente, all se establece una asociacin entre sta y el lgebra de clases;

inclusive se indica que la frmula correspondiente a la primera figura silogstica de
Dogdson oficia como una regla de resolucin.
Sin embargo, a pesar de haber establecido tal conexin estructural, Pogonowski
no slo insiste en probar la validez de distintos problemas considerando, como
punto de partida, la informacin suministrada por la lectura heurstica de la forma
de subndices, sino que, adems, cuando pretende recusar el mtodo directo a
favor del inverso alegando que las sugerencias aportadas por el subrayado o el
registro de atributos son incapaces de determinar por adelantado- todos los
retinendos a la hora de resolver un rbol sin contradiccin, confunde al igual que
Abeles- la aplicacin de una estrategia heurstica con el empleo de una regla de
inferencia.
Subrayar o realizar un registro de atributos no es equivalente a probar de modo
directo, lo cual implica la identificacin de una regla de inferencia y su posterior
aplicacin reiterada hasta tanto se haya construido la conclusin deseada a partir
de las premisas dadas. Ciertamente, Pogonowski no intent una prueba directa
respecto

de

esos

polisilogismos

hipotticos

que

denomin

rboles

sin

contradiccin.
De hecho, a diferencia de la prueba de la validez, la resolucin directa parte
nicamente- de las premisas y de las operaciones propias al sistema algebraico
asociado a la forma simblica seleccionada.
As, su propuesta no enfrenta el problema de la obtencin de la conclusin, sino
que, antes bien, se restringe a la prueba de la validez privilegiando el modo
indirecto al directo de prueba.
La omisin de la prueba directa oculta el hecho de que una vez establecida la
asociacin con la estructura algebraica el tipo de polisilogismo hipottico al cual
Pogonowski denomin rbol sin contradiccin, puede tratarse, mecnica y

directamente sin registro de atributos ni subrayado-, mediante el mtodo de

silogismos separados propuesto en la primera parte elemental de Lgica
Simblica de Charles Dogdson.
J.D. Watson
En Complete Solutions to Dodgson's Hitherto Unsolved Example Sorites, J.D.
Watson propone soluciones directas de 8 polisilogismos hipotticos de la segunda
parte avanzada, no obstante empleando un lenguaje de su invencin denominado
Sistema Notation, empero asociado a la estructura matemtica del lgebra de
boole.
Cabe destacar que, muy a pesar del ttulo de su trabajo, en el libro XIII de la obra
Lgica Simblica se ofrecen algunas soluciones de estos problemas mediante el
mtodo de los rboles.
En relacin a las pruebas directas de Watson, hay que decir que no se explicita,
en modo alguno, la eliminacin de los eliminandos, antes bien, visualmente, en
poco se distingue del subrayado de Dogdson.
Watson interpreta la frmula correspondiente a la primera figura silogstica de
Dogdson como una instancia del silogismo hipottico la cual emplea como nica
regla de resolucin.
Todos, excepto Watson, se desviaron de la eliminacin para corroborar si las
sugerencias del registro de atributos o del subrayado eran o no adecuadas.
Empero, Watson, pese a la asociacin algebraica, no descart el subrayado.
No es necesario transferir a la forma de subndices las limitaciones inherentes a la
representacin diagramtica. Ambas formas de representacin son simblicas, y
en ese sentido, ninguna es ms fundamental que otra, sino, ms o menos
conveniente en relacin con un mbito determinado.

JUSTIFICACIN
En sentido general, esta investigacin suscribe el ncleo duro del programa de
Raymundus Lullus y de Gottfried Wilhelm Leibniz de reemplazar la mera
argumentacin verbal por el clculo deductivo en una lengua caracterstica.
Desde la perspectiva que suscribe la presente investigacin, la lgica involucra
tanto el aspecto computacional de alcanzar una conclusin no ambigua a partir de
unos datos, como la prueba de la validez de razonamientos dados.
As, tanto el modo como se ha alcanzado la conclusin -a saber cmo se ha
efectuado la computacin- como la manera en que se ha presentado justificacin
de la misma, deben estar gobernados por reglas.
Si el conjunto de datos es satisfacible, la demostracin directa representa la
computacin, de hecho, la prueba no se limita a establecer la verdad de un
enunciado fuera de toda duda, sino que, adems, representa la articulacin de las
razones entre s.
La heurstica es ya necesidad de algortmica. La presente investigacin mostrar
que la cuestin no es la decoloracin del lenguaje sino la asociacin de un
lenguaje (L) a determinada estructura (E) de acuerdo a la conveniencia (C)
ajustada a los propsitos (P).
En este sentido el significado es uso, el cual, tal y como seal Brandom, es
esencialmente normativo.

La recusacin de la lectura heurstica de la forma de subndices mediante una

lectura algortmica de la forma simblica en general contribuir, adems, con la
eliminacin de una serie de pseudoproblemas que surgen en torno de la obra
heurstica de Charles Dogdson tales como que la segunda parte avanzada es ms
fundamental e importante que la primera, que es preferible tratar sorites
avanzados mediante los mtodos de la segunda parte, que los rboles sin
contradiccin son problemticos.

OBJETIVOS
Objetivo general:
El objetivo general de esta investigacin es demostrar, a partir de una lectura
algortmica de la forma simblica, la incapacidad de una lectura heurstica de la
forma de subndices para atacar -de modo directo y efectivo- polisilogismos
hipotticos avanzados.
Objetivos especficos:
1. Asociar la forma simblica en general a la estructura matemtica del
lgebra de boole.
2. Descomprimir las frmulas en subndices recogidas en la Tabla A en la
notacin de Dogdson.
3. Establecer los modos de la forma simblica en general.
4. Establecer los modos de presentacin.
5. Establecer los modos de representacin.
6. Determinar, a travs de tablas de verdad, de qu tipo de expresin se trata
en cada caso, si de una tautologa, una contingencia o una contradiccin.

7. Determinar, por medio del anlisis sintctico de las frmulas, de qu tipo de

reglas se trata, si primitivas o derivadas.
8. Resolver de modo directo el problema de las chuletas de cerdo y un rbol
sin contradiccin.
9. Presentar las pruebas en trminos de lgica proposicional.

METODOLOGA
Mediante la lectura algortmica no slo es posible averiguar qu conclusin si es
que hay alguna es consecuente con las premisas aplicando las frmulas del
formulario recogido en la Tabla A segn sea el caso, sino, adems, presentar la
prueba de modo explcito.
As, metodolgicamente, la asociacin de la forma simblica en general a la
estructura matemtica del lgebra de boole es, a la vez, pragmticamente, lo ms
conveniente, y tericamente, lo ms fundamental.
Es lo ms conveniente pues la recusacin de la lectura heurstica de la forma
simblica se establece en funcin de su incapacidad para atacar -de modo
efectivo- el problema de la eliminacin para silogismos hipotticos avanzados.
Ciertamente, la eliminacin, tal y como se contempla en Las Leyes del
Pensamiento de George Boole, no se reduce a la eliminacin de un trmino medio
a partir de dos proposiciones, sino que abarca la eliminacin general de trminos
medios a partir de proposiciones cualesquiera, independientemente de su nmero
o de la naturaleza de su conexin.

Es lo ms fundamental, no obstante, en dos sentidos.

En primer lugar, la

estructura matemtica del lgebra de boole es el marco conceptual ltimo a partir

del cual se juzga.
Se entiende por marco conceptual el conjunto de reglas que definen la estructura
algebraica. De hecho, objetivamente, la prioridad en esta investigacin no es
proposicional, sino estructural.
En segundo lugar, los teoremas que se siguen de las operaciones sujetas al
conjunto de reglas que se denomina lgebra de boole son necesariamente
verdaderos, negarlos es absurdo.
En ese sentido, y tal y como sugieren las investigaciones de Robert Brandom, la
funcin de la lgica no es representar la representacin, sino, ms bien, hacer
explicitas las reglas de juego mediante un vocabulario adecuado.
Incluso lo implcito es circunstancial, de hecho, no es lo mismo lo que est
implcito en la forma de subndices asociada a los diagramas, que lo que est
implcito en relacin con la estructura del lgebra de boole. Tampoco es lo mismo
resolver un polisilogismo hipottico avanzado que explicarlo.
Con miras a la realizacin de una lectura algortmica de la forma simblica se
establecern tres modos en la misma, dos de presentacin y uno de
representacin.
Los modos de presentacin se emplearn con propsitos explicativos. Tales son
modos extendidos. En el contexto del presente trabajo, esos modos slo son
susceptibles de una lectura algortmica no diagramtica, pues nicamente
expresan la estructura algebraica.

La forma de subndices es el modo de representacin que se utilizar para operar.

Se interpretar como un modo comprimido que puede leerse heursticamente o
algortmicamente, segn exprese la estructura algebraica misma o se refiera a ella
directa o indirectamente en un proceso de prueba.
Un modo est comprimido cuando los operadores se hallan parcialmente
implcitos.

Un modo est extendido cuando los operadores se encuentran

completamente explcitos.

Se llama proceso de descompresin a la completa

explicitacin de los operadores lgicos para efectos del anlisis.

La notacin de Dogdson es un modo de presentacin que se emplear para
explicar descomprimir- la forma de subndices.

Cuenta con caracteres

especficos para los operadores de negacin (); conjuncin (); disyuncin ();
implicacin (), y; equivalencia ().
Tambin cuenta con un smbolo para el absurdo ().

Esta notacin est

someramente explicada en el captulo I del libro XI de Lgica Simblica, empero

no figura bajo el rtulo notacin de Dogdson.

El ttulo de ste captulo es

Smbolos Lgicos.
Esta notacin permitir virar del nfasis en las clases los operandos- al nfasis
en los operadores al asociar de modo directo- la forma de subndices con la
estructura matemtica del lgebra de boole.
En rigor, una vez explicitados completamente los enlaces mediante la notacin de
Dogdson, ser posible determinar, a travs de tablas de verdad, de qu tipo de
expresin se trataba en cada caso, si de una tautologa, una contingencia o una
contradiccin.
Una expresin es una tautologa cuando es satisfecha por cualquier asignacin
veritativa; es una contradiccin cuando es satisfecha por ninguna asignacin; y es

una contingencia cuando existe al menos una asignacin que la satisfaga y otra
que no. Lo esperado es que toda frmula de una regla sea, necesariamente, una
tautologa.
De igual manera, la explicitacin de los enlaces permitir determinar, por medio
del anlisis sintctico de las frmulas, de qu tipo de reglas se trata, si primitivas o
derivadas.
Sintcticamente, se llamar derivada a toda regla que combine una o ms reglas
primitivas en una nueva regla. Lo esperado es que toda frmula sea un atajo
procedimental y que todo atajo procedimental sea una regla derivada.
As, mientras que heursticamente todas las frmulas en forma de subndices
representan nulidades, entidades, retinendos y eliminandos; y todas las reglas a
ellas

asociadas,

relaciones

entre

tales

objetos;

se

demostrar

que,

algortmicamente, la forma de subndices es un modo de representacin que se

usa para comprimir las expresiones en notacin de Dogdson con miras a facilitar
la operacin de eliminacin (resolucin).
Dado el carcter extico de las formas de Dogdson, se ha considerado
conveniente emplear la lgica proposicional (LP) como un modo de presentacin
para asentar las pruebas dadas en trminos convencionales. Ciertamente, y en
cuanto al fundamento, los tres modos son, estructuralmente, idnticos, es decir,
slo vara el aspecto de los smbolos.
Servirn como ejemplos los tratamientos directos de dos polisilogismos hipotticos
avanzados. Uno es el problema de las chuletas de cerdo. ste se encuentra en el
captulo IV del libro XIII de la edicin de Lgica Simblica a cargo de William
Warren Bartley III.

El otro ser el sorites al que Jerzy Pogonowski denomin rbol sin contradiccin,
el cual tambin se halla en el libro XIII, no obstante, en el epgrafe III del captulo
XI.
Por consiguiente, esta investigacin, de acuerdo con lo estipulado en el Manual de
Trabajos de Grado, de Especializacin, y Maestra; y Tesis Doctorales, es un
esfuerzo de creacin que demuestra el dominio en el rea de la mencin de la
Maestra y de los mtodos de investigacin propios de la misma.
Asimismo, demostrando la superioridad de una lectura sobre otra, supone la
integracin, organizacin y evaluacin de informacin pertinente en funcin de la
solucin eficaz del problema en cuestin.

NDICE TENTATIVO DE LA TESIS.

1. Introduccin: Heurstica o algortmica.
2. Captulo I: Lectura algortmica de la forma de subndices como recusacin
de la lectura heurstica de la misma.
2.1.

Primera parte: Presentacin de la prueba por eliminacin: El problema

de las chuletas de cerdo

2.1.1. Heurstica: Procedimiento de presentacin de la prueba por eliminacin

directa.
2.1.1.1.

Resolucin (Forma de subndices)

2.1.2. Algortmica.
2.1.2.1.

Descompresin: semntica y sintaxis de la formula I.

2.1.2.2.

Resolucin (Notacin de Dogdson):

2.1.2.3.

Resolucin (Lgica Proposicional)

2.1.2.4.

Conclusiones de la primera parte.

2.2.

Segunda Parte: Heurstica y absurdo:

2.2.1. Recusacin de la generalidad de la lectura heurstica de la forma de

subndices mediante el contraejemplo que se halla en la carta del 18 de
noviembre de 1896 a Cook Wilson.
2.2.1.1.

Algortmica.

2.2.1.1.1. Descompresin
2.2.1.1.2. Resolucin (Forma de Subndices)
2.2.1.1.3. Resolucin (Lgica proposicional)
2.2.1.2.

Heurstica

2.2.1.3.

Conclusiones de la segunda parte

3. Captulo II: Procedimiento de presentacin de la prueba por eliminacin

inversa.
3.1.

Heurstica.

3.1.1. Resolucin (Forma de subndices)

3.1.1.1.

Semntica de la formula II.

3.1.2. Resolucin (Notacin de Dogdson)

3.1.2.1.
3.2.

Sintaxis de formula II.

Algortmica: Resolucin (Lgica proposicional)

3.2.1. Sintaxis y semntica de la formula III..

4. Captulo III: Problemas abiertos o los 63 problemas del libro XIV de la obra
Lgica Simblica
5. Conclusiones.
6. Apndice con las respuestas y soluciones de los Sorites Avanzados del
libro XIV de Lgica Simblica.

BIBLIOGRAFA INICIAL
Ayer, Alfred (1978): Logical Positivism. Praeger
Abeles, Fancine (2005): Lewis Carroll's Formal Logic. History and Philosophy of
Logic 26 (1):33-46.
Abeles, Fancine (2007): Lewis Carrolls Visual Logic. History and Philosophy of
Logic 28 (1):1-17
Abeles, Fancine (1990): Lewis Carroll's method of trees: its origins in Studies in
logic. Mod. Log. Volume 1, Number 1, 25-35.
Aristteles (1994): Tratados de lgica I. Gredos.
Aristteles (1995): Tratados de lgica II. Gredos.
Bochenski, Joseph M. (2012): History of Formal Logic. Forgotten Books
Boole, George (2010): A Mathematical Analysis of Logic. Forgotten Books
Boole, George (1958): An Investigation of the Laws of Thought. Dover
Boole, George (1848):The Calculus of Logic. Cambridge and Dublin Mathematical
Journal, Vol. III pp. 183-98
Brady, Geraldine (2000): From Peirce to Skolem. A Neglected Chapter in the
History of Logic. North-Holland
Brandom, Robert (1994): Making It Explicit. Harvard University Press.
Brandom, Robert (2001): Articulating Reasons. Harvard University Press.
Burley, Walter (2000): On the Purity of the Art of Logic: The Shorter and the Longer
Treatises. Yale University Press
Carnap, Rudolf (1992): Autobiografia Intelectual. Paids.
Carnap, Rudolf (1958): Introduction to the Symbolic Logic and its Aplications.
Dover

Carnap, Rudolf (1979): Philosophy and Logical Syntax. Ams Pr Inc.

Carroll, Lewis (1977): Symbolic Logic. Clarkson N. Potter, Inc., Publishers, New
York
Carroll, Lewis (1973): Euclid and His Modern Rivals. Dover Phoenix Editions.
Carroll, Lewis (1999): El Juego de la lgica. Alianza
Coffa, J. Alberto (1993): The Semantic Tradition from Kant to Carnap: To the
Vienna Station.
Couturat, Louis (2013): The Algebra of Logic.

Create Space Independent

Publishing Platform.
Davidson, Donald (2001): De la verdad y de la interpretacin. Gedisa
De Morgan, Augustus (2005): Formal Logic. Elibron Classics series.
De Morgan, Augustus (1966): On the Syllogism and Other Logical Writings. Yale
Univ. Press.
Dummett, Michael (1993): Frege: Philosophy of Language. Harvard University
Press.
Dummett, Michael (1995): Frege: Philosophy of Mathematics. Harvard University
Press.
Durst, Lincoln K. (1969): The Grammar of Mathematics.

Addison-Wesley

Publishing Company.
Emprico, Sexto (1993): Esbozos Pirrnicos. Gredos
Empiricus, Sextus (2005): Against the Logicians. Cambridge Texts in the History of
Philosophy.
Frege, Gottlob (1996): Escritos Filosficos. Crtica.
Gentzen, Gerhard (1969): The collected papers of Gerhard Gentzen.

North-

Holland Pub. Company.

Haack, Susan (1978): Philosophy of Logics. Cambridge University Press
Hilbert, David y Ackermann W. (2008): Principles of Mathematical Logic. AMS
Chelsea Publishing.
Hunter, Geoffrey (1996): Metalogic: An Introduction to the Metatheory of Standard
First Order Logic. University of California.

Kalish, Donald; Montague, Richard y Mar, Gary (1992): Logic: Techniques of

Formal Reasoning. Oxford University Press.
Kant, Immanuel (2000): Lgica. Akal
Kneale, William and Martha Kneale (1985): The Development of Logic. Oxford
University Press
Lakatos, Imre (1980): The Methodology of Scientific Research Programmes:
Volume 1: Philosophical Papers Cambridge University Press
Lenzen, Wolfgang (2004). Leibniz's Logic. In Dov M. Gabbay, John Woods &
Akihiro Kanamori
Lukasiewicz, Jan (1951): Aristotle's Syllogistic from the Standpoint of Modern
Formal Logic. Oxford. Clarendon Press.
Lukasiewicz, Jan Estudios De Lgica Y Filosofa.

Edicin electrnica de

www.philosophia.cl / Escuela de Filosofa Universidad ARCIS.

Mates, Benson (1989): The Philosophy of Leibniz: Metaphysics and Language.
Oxford University Press.
Macbeth, Danielle (2005): Frege's Logic. Harvard University Press.
Muoz Garca, ngel (2005): Sobre el origen de las Leyes de Morgan. Enl@ce:
Revista Venezolana de Informacin, tecnologa y conocimiento, vol. 2, nm. 3,
septiembre-diciembre, pp. 13-36. Universidad del Zulia.
Nilsson, Nils (1971): Problem Solving Methods in Artificial Intelligence. McGrawHill Inc.
Ockham, William (1990): Philosophical Writings: A Selection. Hackett Pub Co.
Pogonowski, Jerzy (MEG). Lewis Carroll's Resolution and Tableaux. AALCS XII.
(eds.), Handbook of the History of Logic. Elsevier. 3--1.
Popper, Karl (1992): The Logic of Scientific Discovery. Routledge
Quine, W.V.O. (1980): From a Logical Point of View. Harvard University Press
Robinson, J. A.

(1965): A Machine-Oriented Logic Based on the Resolution

Principle. Journal of the ACM (JACM). Volume 12 Issue 1. Pages 23-41.

Rorty, Richard (1979.): Philosophy and the Mirror of Nature. Princeton University
Press.
Salisbury, John (1962): The Metalogicon. University of California Press

Styazhkin, N.I. (1969):History of Mathematical Logic from Leibnitz to Peano. The

MIT Press.
Venn, John (2012): Symbolic Logic. Forgotten Books.
Watson, J.D.

(2008): Complete Solutions to Dodgson's Hitherto Unsolved

Example Sorites. Copyright J.D. Watson, 2002-2008. All Rights Reserved.

Winston, Patrick Henry (1977): Artificial Intelligence. Addison-Wesley Educational
Publishers Inc.
Wittgenstein, Ludwig (1999): Tractatus Logico-Philosophicus. Alianza.
Wittgenstein, Ludwig (1988): Investigaciones Filosficas. Crtica
Wittgenstein, Ludwig (1999): Sobre la Certeza. Gedisa
Wittgenstein, Ludwig (1986): Observaciones sobre los fundamentos de la
matemtica. Alianza.

CRONOLOGA DE REALIZACIN