UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

FACULTAD DE LETRAS Y CIENCIAS HUMANAS E.A.P. DE FILOSOFA

Lgica como semitica, una aproximacin peirceana

TESIS para optar el ttulo de Licenciada en Filosofa

AUTORA Lilia Beatriz Pizarro Pacheco

Lima Per 2009

A la comunidad sanmarquina de Letras

NDICE

INTRODUCCIN .............................................................................

04

CAPTULO 1 ANTECEDENTES HISTRICOS DE LA TEORA LGICA SEMITICA 09 1.1. La tradicin lgica y la semitica 09 1.2. Peirce y la lgica de la poca moderna temprana.. 18

CAPTULO 2 LA TEORA TRIDICA DEL SIGNO .. 2.1. Las categoras faneroscpicas. 2.1.1. Las categoras y la fenomenologa 2.1.1.1. Las tres categoras de experiencia .. 2.1.2. Elementos de la semitica peirceana 2.1.2.1. La teora de los signos 2.1.2.2. La descripcin lgica de la semiosis 2.1.2.3. La divisin del signo 2.1.3. Jerarqua de las categoras y clases de signos. 2.2. La semitica y las categoras faneroscpicas..

20 20 21 23 25 29 31 33 39 41

CAPTULO 3 LA LGICA CONSIDERADA COMO SEMITICA 43 3.1. Las ciencias teorticas de investigacin .. 43 3.1.1. La clasificacin de las ciencias en 1903. 45 3.2. Una definicin de la lgica....... 51 3.3. La divisin de la lgica...... 55 3.3.1. Gramtica especulativa, lgica crtica, metodutica.. 55 3.3.2. Logica utens y logica docens ... 58 3.4. Sobre la clasificacin natural de los argumentos. 60 3.4.1. Abduccin, induccin y deduccin..... 60

CONCLUSIONES....................... 66 BIBLIOGRAFA ......................67

INTRODUCCIN

El ttulo de la tesis Lgica como semitica, una aproximacin peirceana es la respuesta de explorar una teora general acerca de la naturaleza de la lgica a travs de la interpretacin de la posicin del refundador de la ciencia de la lgica: Charles Sanders Peirce (1839-1914). El objetivo central de nuestro trabajo es definir la lgica en un sentido amplio para diferenciarla del sentido estricto o formal que le damos actualmente. Segn Susan Stebbing, la coleccin de doctrinas que se han reunido en diferentes pocas bajo el nombre singular de lgica no es, pues, una mera coleccin fortuita, aunque es indudable que la seleccin de ciertas doctrinas dentro de un solo libro que reclama para s el ttulo comprensivo de lgica ha sido frecuentemente fortuita (Stebbing, 538). Por esta razn, Francisco Mir Quesada advierte que, al iniciar el estudio de las formas del pensamiento, es necesario tomar toda clase de precauciones para evitar las exposiciones mal fundamentadas, as como para eludir las confusiones entre teoras accesorias o pasajeras y aquellas que constituyen adquisiciones realmente definitivas. l revela que es tan grande la dificultad para evitar estos peligros, sobre todo cuando se trata de los aspectos ms generales de la Lgica, como la esencia del pensamiento, la estructura del concepto y del juicio, etc., que la mayora de las veces lo ms que se puede hacer es exponer las principales teoras sin decidirse por ninguna de ellas. Tal vez, esta sugerencia desalent a continuar elucidando las diversas concepciones del estudio de la lgica.

Sin embargo, al indagar sobre los nuevos desarrollos en este campo, redescubrimos a un filsofo de la talla de Peirce (conocedor de la lgica de Aristteles, la de los comentaristas griegos, la de los pensadores del siglo XI, la de los grandes doctores escolsticos, la de los lgicos modernos franceses, ingleses y alemanes) quien intenta dilucidar el problema de una definicin ampliada. Charles S. Peirce naci en Cambridge, Massachusetts, en 1839. Benjamn Peirce, su padre, era un profesor de matemticas y astronoma en Harvard College, a la vez un hombre de una curiosidad insaciable. l fue quien lo inici desde muy temprano en aquellas temticas por las que, andando el tiempo, iba a mostrar mayor inters: la matemtica, la lgica y la filosofa. As, Charles creci en el crculo cientfico de Cambridge. Obtuvo el grado de Bachiller en Harvard en 1859, y se gradu en Qumica con la calificacin de summa cum laude en el Lawrence Scientific School en 1863. Trabaj como investigador cientfico en el Servicio Geodsico y Costero de los Estados Unidos, entre 1859 y 1891, y al mismo tiempo laboraba en el observatorio del Harvard College, 1867-1875; crtico especialmente de libros cientficos, de filosofa y de matemticas en la revista The Nation, de 1869 a 1908 (tambin paralelamente en el neoyorquino Evening Post, 1890-1908); tuvo un contrato como lecturer de lgica que le hace la Johns Hopkins University de Baltimore, entre los aos 1879 y 1884, coincidiendo este perodo con el momento de mxima preocupacin por cuestiones de lgica, el campo al que, sin duda, va a dedicar los mayores esfuerzos durante los mejores aos de su vida. De ah que, los primeros trabajos sistemticos de Peirce sobre el lgebra de la lgica datan de 1880 y 1885. Adems, cabe reconocer tres invenciones: las de los

cuantificadores (1880-1883); la de la funcin denominada de Sheffer (1880) por el nombre de su reinventor en 1921, estipula que todas las operaciones booleanas pueden reducirse nicamente a la negacin de la disyuncin alternativa ni -ni-; la de la lgica trivalente (1909), diez aos antes que Lukasiewicz. Tambin, se observa la anticipacin de Peirce sobre Wittgenstein con respecto a la construccin de Wittgenstein (1922). Con este breve pasaje de su biografa, pretendo resaltar que Peirce fue un versado cientfico, formado en el estudio de la lgica y la metodologa de la investigacin en sus distintos niveles, aunque fue un pensador cuyo nombre fue soslayado despus de la fama que tuvo en el ambiente en el que vivi. Por otra parte, la seleccin de sus Collected Papers no fue publicada inmediatamente despus, y fue una tarea que llev muchos aos. Recin desde 1981 se est publicando lentamente, en orden cronolgico, su obra completa. En los ltimos aos, gracias al impulso recibido por William Morris en un principio y luego por el auge de la semitica, el nombre de Peirce recobra un puesto que sin duda merece. El estudio de la epistemologa plantea evaluar cmo la lgica es aplicada en los diversos campos de investigacin y distinguir entre una buena y mala investigacin. Esta distincin es el eje del estudio de la lgica como indagacin que propone Peirce. Esta concepcin general trata del arte de inventar mtodos de investigacin, esa es la idea verdadera y valiosa de la ciencia. La metodologa expositiva de esta tesis se ha basado en los principios de explicar de lo simple a lo complejo y de lo claro a lo oscuro. las tablas de verdad: Peirce (1902),

El trabajo comprende tres captulos. El primero resume el reconocimiento que Deladalle hace de los antecedentes histricos de la teora lgica semitica en las lecturas de Aristteles, los estoicos, los epicreos y los escpticos. Por otro lado, se menciona la influencia de los maestros escolsticos de lgica en la tarea que se propuso Peirce. A parte de eso, notar que l siguiendo a Locke llama semitica a la teora general de los signos, y como las categoras de Kant y Hegel le ayudaron a configurar su fenomenologa que no tiene relacin con la de Husserl a pesar de ser coetneos. En el segundo captulo, abordo la teora tridica del signo que surge a partir de considerar las categoras faneroscpicas que se deducen de On a New List of Categories, sus primeros escritos sobre filosofa y teora lgica en 1867. Para esto, siguiendo al especialista su aparato conceptual ha sido desarticulado pretendiendo dejar al descubierto la columna vertebral de su teora lgica semitica que nos permita concebir el objeto de la representacin y las relaciones tridicas, a travs del recorrido de casi todos sus conceptos y categoras, desde las ms abstractas, simples y accesibles hasta las ms concretas y complejas. As, exponemos lo que es un signo y culminamos hasta establecer la jerarqua de las categoras y las clases de signos. El tercer captulo presenta a la lgica considerada como semitica. Este se inicia identificando las ciencias teorticas de investigacin en 1903, donde la lgica es clasificada como ciencia normativa. Luego, cmo Peirce define y divide el quehacer lgico estableciendo las tres ramas de este: la gramtica especulativa, la lgica pura y la retrica pura o metodutica. La primera de ellas tratando el anlisis y clasificacin de los signos en general, la segunda ocupndose de hacer esto mismo con una categora especial de signos: los

argumentos. En cuanto a la tercera, a ella le competen los mtodos que deben seguirse en la investigacin, exposicin y aplicacin de la verdad. Muestro adems que estos mtodos constituyen las clases de razonamientos: abduccin, induccin y deduccin. Las conclusiones destacan como Peirce efectu una reflexin histrica de todas las definiciones y concepciones de la lgica que le permitieron sustentar la suya de forma bastante general, pero no reconocida incluso por los especialistas en filosofa de la lgica. La variedad de su trabajo al distinguir las funciones del signo y a partir de ellas hacer el estudio ms completo posible de las argumentaciones en particular y de sus funciones en las matemticas y en las ciencias. Resaltar que a pesar del carcter matemtico de gran parte de su obra, Peirce no acept la idea de que la lgica es una investigacin puramente formal. La nocin de lgica se amplia, pues para Peirce todo pensamiento se realiza en signos y a su vez todo razonamiento consiste en una inferencia lgica que tiene como finalidad la indagacin, es decir, el esfuerzo para producir un establecimiento de opinin. As, la lgica es la ciencia que ensea si tales esfuerzos estn correctamente dirigidos o no. La actualidad de la epistemologa peirceana se presenta con el descubrimiento de un tipo de argumentacin como la abduccin o hiptesis explicativa que da inicio al mtodo de indagacin lgica. Por ltimo, reconocer el papel de los diagramas en el razonamiento. Finalmente, agradezco las palabras de aliento que recibo de los profesores y colaboradores del Departamento Acadmico de Filosofa para afianzar mi labor en nuestra querida alma mter.

CAPTULO 1 ANTECEDENTES HISTRICOS DE LA TEORA LGICA SEMITICA

En Deladalle, se puede apreciar un interesante resumen de la formacin histrica de la teora lgica semitica con las lecturas de Aristteles, los estoicos, los epicreos y los escpticos (109 -120). 1.1. La tradicin lgica y la semitica Cuando se lee a Aristteles, los estoicos, los epicreos y los escpticos, se constata que no separan la lgica de la semitica. Para todos, la semitica es otro nombre de la lgica. En los Primeros Analticos, Aristteles define el signo () como una proposicin demostrativa () necesaria o probable y el entimema, no como un silogismo incompleto, sino como un verosmiles o de signos. La premisa

silogismo que parte de premisas

verosmil es una proposicin simplemente probable, en tanto que el signo es una proposicin demostrativa, como ya se ha sealado. Entonces, si se enuncia una sola premisa, se obtiene solamente un signo: pero si se toma adems la otra premisa, se obtiene un silogismo (Tratados II: 27, 70 a). Para los estoicos el signo es una proposicin que es el antecedente en un razonamiento vlido y que muestra el consecuente1. Por supuesto, hay diferencias importantes entre las lgicas aristotlica y estoica, aunque ms no fuera porque esta es proposicional y aquella predicativa. La nica regla de la lgica estoica es que el razonamiento parte de lo verdadero para llegar a lo verdadero. Sexto Emprico escribe que solo el

Vase Sexto Emprico, Hipotiposis pirrnicas, Madrid, Reus, 1926, citado por Deladalle (110).

10

razonamiento que comienza por lo verdadero para llegar a lo falso es vicioso, y los dems son vlidos2. En Aristteles, la fuerza demostrativa reside en el sentido que tiene el signo, segn el lugar que ocupe el trmino medio en las figuras. Por ejemplo, la prueba de que una mujer ha dado a luz porque tiene leche resulta de la primera figura, pues tener leche es el trmino medio: se puede representar dar a luz con A, tener leche con B, y mujer con C y el silogismo se leer en los Primeros Analticos: Toda mujer que tiene leche (B) ha dado a luz (A) Esta mujer (C) tiene leche (B) Por lo tanto, esta mujer (C) dio a luz (A). (Tratados II: 27, 70 a). Cuando se trata de dividir el signo, mientras que Aristteles se limita a distinguir las clases de signos segn el lugar que ocupa el trmino medio en las figuras del silogismo, los estoicos recurren a algo exterior al razonamiento implicativo, y distinguen signos de evocacin que son o bien naturales como el humo, que es signo del fuego3,o bien convencionales, como los signos de reconocimiento4 o las palabras5, y los signos de indicacin, como los movimientos del cuerpo que son los signos del alma6. Pero, estas diferencias son menores comparadas a lo que une a Aristteles y los estoicos que los opone a los epicreos y los escpticos. Para todos, la lgica o semitica es el estudio de la inferencia a partir de los signos, pero mientras que para los primeros los dogmticos la inferencia es analtica y los signos, signos de las ideas que tenemos de las cosas, para los segundos

2 3 4 5 6

Ibd. Lase Sexto Emprico, op., cit., II, 100, Vase Sexto Emprico, Contre les mathmaticiens, VIII, pp.193, 200, y 202. Ibd., pp. 289-290. Lase la primera nota: Sexto Emprico, Hipotiposis pirrnicas, II, 101.

11

los empricos la inferencia es inductiva y los signos, signos de las cosas. Los empricos as como los dogmticos no estn de acuerdo en todo, pero se comprender mejor lo que los une y los opone si se resitan sus respectivas concepciones del signo y de la inferencia a partir de los signos en la controversia entre los estoicos y los epicreos, tal como aparece en uno de los papiros griegos mejor conservados hallado en las ruinas de Herculano. Se titula Acerca del signo y la semiosis y su autor es Filodemo de Gadara, quien, despus de haber estudiado el epicuresmo en Atenas, fund una escuela epicrea en Npoles7. Por cierto, Filodemo no es ms que el portavoz de una escuela y para interpretar la lgica epicrea, hay que tener en cuenta otras fuentes disponibles, en especial las cartas de Epicuro referidas por Digenes Laercio y exposiciones y discusiones de Sexto Emprico, quien defiende el punto de vista escptico tanto contra los estoicos como contra los epicreos. El inters particular que presenta el texto de Filodemo es que Peirce se interes en l suficientemente para aceptar que uno de sus estudiantes, Allan Marquand, hiciera de su traduccin el tema de su tesis. Peirce estudi a Filodemo con Marquand, y la introduccin a su traduccin (The Logic of the Epicureans) recibi la aprobacin de Peirce8. Por otra parte, se sabe que Peirce tom el trmino semiosis de Filodemo, para denominar la inferencia a partir de signos, cuya teora es la semitica (CP 5:484):La doctrina

Vase Filodemo, On Methods of Inference, traduccin inglesa y comentarios de Philip H. De Lacy y Estelle A. De Lacy, Npoles, Bibliopolis, 1978, citado por Deladalle.

Lase Max H. Fisch, Peirces Arisbe. The Greek influence on his later philosophy, Transactions of the Charles S. Peirce Society, 1971, citado por Deladalle.

12

es la naturaleza esencial y de las variedades fundamentales de las semiosis posibles (CP 5:448). Sobre los signos y las semiosis traducira en un espritu peirceano el

de Filodemo.
Para los epicreos, segn Marquand, la funcin de la lgica consiste en inferir de lo que es observado lo que no es observado9. Los epicreos, continua Marquand, consideraban el signo como un fenmeno cuyas caractersticas nos permitiran inferir las caractersticas de otros fenmenos en condiciones de existencia suficientemente similares. Para ellos, el signo era un objeto sensorial10. Siguiendo la tradicin, distinguan el signo general (o comn,) y el signo particular.
Describan un signo general como un fenmeno que puede existir, exista o no la cosa significada, o tenga o no un rasgo particular. Un signo particular es un fenmeno que slo puede existir a condicin de que la cosa significada exista realmente. La relacin entre el signo y la cosa significada en el primer caso es la semejanza; en el segundo, es secuencia invariable o causalidad11.

Los epicreos distinguan tres tipos de signo, si bien Filodemo describe solamente dos. Es evidente que un escptico como Sexto Emprico no poda admitir la divisin epicrea del signo ms que la estoica, no porque rechazara totalmente el signo particular o de indicacin hay, segn l, una igualdad manifiesta de las razones aportadas a favor o en contra de su existencia12; pero lo nico empricamente seguro, o al menos verosmil, es el signo de

10 11 12

Lase Allan Marquand, The Logic of the Epicureans, in Studies by Members of the Johns Hopkins University, reeditado en la coleccin Foundations of Semiotics, Achim Eschbach, (comp.) Amsterdam Filadelfia, Benjamins, 1983, p.4, citado por Deladalle. Ibd., p.6. Ibd. Vase la primera nota: Sexto Emprico. Hipotiposis pirrnicas, II, 103.

13

evocacin que se vuelve verosmil por la prctica de la vida: el humo que se ha visto es signo de fuego, una cicatriz que se ha observado es signo de una herida antigua13. Sexto Emprico se une a Filodemo para criticar la manera en que los estoicos pasan del antecedente al consecuente de una proposicin condicional por contraposicin o modus tollens; dicho de otro modo, mostrando que de la negacin del consecuente [sigue] la negacin del antecedente14. Por una parte para los empricos, el signo es objeto de aprehensin directa a travs de los sentidos y no objeto de pensamiento. Por la otra, Filodemo dice:
cuando se infiere a partir de los hombres que nos rodean y se concluye, respecto de todos los hombres, que son mortales, por el hecho de que aquellos cuyas vidas son conocidas por la historia y los que hemos observado son todos mortales y que no hay prueba de lo contrario, se infiere por analoga; y el enunciado de que los hombres que nos rodean, en la medida en que son hombres, son mortales, que es equivalente al enunciado de que los hombres que tienen este rasgo son hombres, es confirmado por este mismo hecho. Ninguno de aquellos que filosofan mediante el mtodo y el procedimiento de la contraposicin aportan una confirmacin como aquella15.

Por lo tanto, no se llega a proposiciones y mucho menos ser punto de partidani por contraposicin ni por silogismo, sino por induccin. De hecho, la contraposicin se apoya en la induccin. Para refutar el mtodo por analoga, Filodemo dice:
Nos presentan razonamientos que inventan como su confirmacin. As, por ejemplo,oponen a la inferencia Si todas las criaturas vivas que nos rodean son corruptibles, las que se encuentran en lugares inadvertidos tambin lo son, y dicen para defender su posicin que ciertas criaturas vivas, aunque de especie similar, difieren unas de otras segn el aire, el alimento y otras cosas bastante numerosas, parten de lo que aparece en nuestro entorno y terminan por formular juicios similares sobre cosas que se encuentran en otra parte. Lo mismo ocurre con los dems razonamientos, que terminan invirtiendo completamente su posicin16.

Sexto Emprico est de acuerdo con Filodemo en defender el

13 14 15 16

Ibd., II, 102 Vase Allan Marquand, op. cit., p.6 Vase Filodemo, op.,cit., p.24 Ibid., p. 46

14

razonamiento emprico contra la contraposicin u otros razonamientos. En la vida, los hombres viajan por tierra y por mar, equipan navos y casas, tienen hijos, sin ocuparse de los discursos en contra del movimiento y la generacin17. Pero, a condicin de limitar el razonamiento emprico solamente a las cosas observadas, pone en duda que pueda aportarse la prueba () de lo que no se observa, como la causalidad,18 y rechaza la induccin, sea aristotlica o epicrea.
Como de este modo quieren hacer probable lo general partiendo de lo particular, lo harn examinando enteramente lo que es particular, o examinndolo parcialmente. Si lo examinan parcialmente, la induccin no ser segura, ya que ser posible oponer a lo general algunas de las cosas particulares dejadas de lado en la induccin, si lo examinan en su totalidad, sera intentar lo imposible, pues lo particular es infinito e indefinido.19

De modo que en la crtica de la contraposicin que hace Filodemo, Sexto Emprico no concluira que es posible descubrir por analoga que todos los hombres son mortales, sino que nosotros tambin somos mortales.20 Cul es la posicin de los epicreos sobre este tema. Es necesario examinar todos los casos de un fenmeno o solo cierto nmero de casos? Filodemo responde citando a su maestro de Atenas, Zenn de Sidn:
No es necesario tomar en consideracin todos los fenmenos que son accesibles para nosotros, ni simplemente algunos fenmenos tomados al azar, sino tomar fenmenos numerosos y diversos del mismo tipo general, de manera que del conocimiento que tenemos y que la historia nos transmite podamos establecer el carcter inseparable de cada uno de los casos particulares, y de stos pasar a todos los dems. Por ejemplo, si se comprueba que los hombres difieren unos de otros en todo aspecto, pero que al respecto (de la mortalidad) no difieren, por qu no podramos decir con certeza, fundndonos en los hombres que hemos encontrado y aquellos de los que tenemos un conocimiento histrico, que todos los hombres estn sujetos al envejecimiento y la enfermedad? Cuando esto queda establecido y no hay prueba en contrario, debemos decir que se equivocan los que dicen Y los hombres son incorruptibles.21

17 18 19 20 21

Lase Sexto Emprico, Hipotiposis pirrnicas, II, pp. 244-245. Ibid., I p.181 Ibid, II, 202. Vase Sexto Emprico, Contre les mathmaticiens, VII, 279 Ver la sptima nota: Filodemo, op. cit., p. 35.

15

Marquand resume la teora de Zenn en dos reglas o cnones en los cuales, partiendo de la idea de que segn los epicreos la naturaleza est ya dividida en clases y subclases, la inferencia inductiva procede de una clase a otra, no al azar, sino de una clase a la que ms se le parece. Canon I.- Si examinamos casos numerosos y variados de un fenmeno, y descubrimos un rasgo que es comn a todos sin excepcin alguna, este rasgo puede ser atribuido a todos los dems individuos no examinados de la misma clase, e incluso de las otras clases que estn en relacin con ella. Canon II.- Si en nuestra experiencia comprobamos que un rasgo dado vara, podemos inferir que existe una variacin correspondiente ms all de nuestra experiencia22. No debe sorprender que Marquand23 y Peirce hayan comparado a Filodemo con John Stuart Mill (CP 8:379). Por cierto, hay diferencias, pero stas no se refieren ni a la naturaleza de los signos ni a la naturaleza inductiva de la inferencia. Para Mill, los nombres son los signos de las cosas y no los signos de nuestras concepciones de las cosas: Cuando digo: El Sol es la causa del da, no quiero decir que mi idea del Sol cause o excite en m la idea del da, sino que el objeto fsico, el Sol mismo, es la causa a la que sigue como efecto su fenmeno exterior, el da (Mill, 232). La inferencia inductiva de Mill se basa en el principio de la uniformidad de la naturaleza, principio que permite la inferencia de lo particular a lo general que justifican las reglas o cnones bien conocidos de la concordancia, la diferencia, los residuos y las variaciones concomitantes.

22 23

Vase la novena nota: Allan Marquand, op. cit., p. 9. Ibd., p.1

16

Es evidente para quien ha frecuentado a Peirce, aunque fuera un poco, que su lgica est ms cerca de la lgica emprica de los epicreos que de las dems lgicas de la Antigedad griega, incluyendo la lgica formal de los estoicos, si bien l mismo fue uno de los primeros en revivirla.

Despus de esto, la perspectiva lgica se mantiene en la tradicin medieval aunque fertilizada por la investigacin lingstica. Los frutos ms sabrosos los encontraremos en las diversas gramticas especulativas en las que las perspectivas gramaticales y lgicas aparecen plenamente integradas, pero tambin plantean un problema que se convertir en un tpico, el de los modi significandi o modos de significar.

A la vez, se encuentra la influencia escolstica, de la que Peirce era gran conocedor (Beuchot, 17), debido a que la lgica de Kant comenz a despertar dudas de l, en parte sealadas por Benjamin Peirce. Peirce se volc al estudio de otros autores: Locke, Berkeley, Hume, Aristteles y los medievales: San Agustn, Abelardo, Juan de Salisbury, Santo Toms, Duns Escoto y Guillermo de Occam. Peirce llama a estos ltimos maestros escolsticos de lgica (CP 1:560). Peirce estudi arduamente durante dos aos para encontrar respuestas a las aporas de la lgica formal kantiana (CP 4:2).

Murphey propone la hiptesis de que estos aos habran transcurrido en 1862 y 1863, y los estudios lgicos habran comenzado hacia 1864. A partir de 1865 comienzan a aparecer las referencias escolsticas en los trabajos de Peirce (Murphey, 56). Sin duda, el referente escolstico ms importante de Peirce fue

17

Duns Escoto, quien lo ayud a trascender el elemento binario de la lgica kantiana y a revalorizar la trada expresada en el silogismo. Conocida es hoy sobre todo la Grammatica speculativa que durante mucho tiempo se atribuy a Duns Escoto, pero que Martn Grabmann demostr fue escrita por Toms de Erfurt. La importancia de la proposicin depende de su funcin en la inferencia. Adems, se puede afirmar que existe una correspondencia entre la primera definicin que da de signo y la doctrina de la suposicin de los trminos de los escolsticos (Murphey, 84).

18

1.2 Peirce y la lgica de la poca moderna temprana

Todas estas tradiciones mencionadas justifican una identificacin entre lgica y semitica que, ya en los tiempos modernos, testifica Locke de forma eminente cuando, al final de su Ensayo, se refiere a la divisin de las ciencias en tres ramas: fsica, prctica (tica) y semitica o teora de los signos. Locke comenta que a la tambin se la puede llamar con suficiente exactitud (lgica) (IV, 21). Al justificar su propia concepcin de la semitica, Peirce utiliza un argumento similar al de Locke: si la lgica se ocupa de las leyes del pensamiento y ste slo es posible gracias a los signos, la lgica ha de ser una semitica. (CP 1:444, 2:227). Por otra parte, Peirce escribi en 1898 que hacia 1860 se adhera

fervientemente a Kant, al menos respecto de la analtica trascendental en la Crtica de la Razn Pura. La lgica trascendental, que es la parte de la lgica que ms desarrolla Kant, se ocupa de los conceptos puros. Dentro de la lgica, Kant descubre la analtica trascendental, que busca descomponer la facultad intelectiva para hallar en ella los conceptos puros a priori. La analtica es el camino que Kant sigue para llegar a su tabla de conceptos puros que despertaba tanto inters en el joven Peirce. No obstante, es importante recordar que la deduccin trascendental de Peirce y su sistema tridico de categoras es el fruto de dos tradiciones de pensamiento. Por un lado, la impronta idealista trascendental, de la mano de Kant y de Hegel. Peirce denomin a los tres estados del pensamiento de Hegel las categoras universales, distinguindolas de las categoras particulares de la Enciclopedia.

19

Para Peirce, sus propias categoras se corresponden con las categoras universales de Hegel, junto con las tres categoras implcitas en cada una de las cuatro tradas de Kant. Kant organiz su tabla de conceptos puros en cuatro grupos de triadas (segn la cantidad, la cualidad, la relacin, y la modalidad) y reconoci que, en cada trada, la tercera categora surge de la combinacin de la segunda con la primera. Peirce fue continuador de esta intuicin, en su propia tabla de categoras, an ms generales que las de Kant. Charles Sanders Peirce es un lgico. Su lgica, sin embargo, comprende terrenos tradicionalmente reservados a la psicologa y a la metafsica. Lo que hara que la lgica resuelva problemas psicolgicos y metafsicos. La justificacin de este proceder radica, no como una ampliacin de la jurisdiccin de la lgica, sino como otro modo de concebir su naturaleza en opinin de Evandro Agazzi (Agazzi, 57).

20

CAPTULO 2 LA TEORA TRIDICA DEL SIGNO

2.1. Las categoras faneroscpicas

On a New List of Categories fue presentada ante la Academia Americana de Artes y Ciencias para su publicacin en mayo de 1867. En esa obra C.S. Peirce busca desplegar una lista de categoras o nociones fundamentales. El punto de partida es la proposicin como condicin de posibilidad de la unificacin de la experiencia, y en esto Peirce concuerda con Kant. Sin embargo, en el planteo de Peirce, la importancia de la proposicin se encuentra en que ilustra la relacin de signos (Murphey, 284). Esta ltima constituye la relacin sinttica fundamental. Adems, Peirce confiere a la representacin el estatuto de categora en su sistema tridico. Por el mtodo que Peirce

denomina abstraccin separacin que resulta de la atencin a un elemento y la no consideracin del otro (CP 1:549) se obtiene una gradacin de los conceptos fundamentales y una nueva lista de cinco categoras. De hecho, Peirce, luego de la New List, redujo la lista de las categoras a tres, dejando de lado el ser y la sustancia por ser estos trminos vacos. La abstraccin permite a Peirce llegar hasta el ncleo del conocimiento, que se encuentra en la comparacin. Kant tambin trata de la comparacin cuando se refiere a la formacin de los conceptos (Murphey, 76). Sin embargo, en Kant la comparacin no implica la relacin de un tercero. Esta es la novedad de Peirce: la referencia a un interpretante que funda una relacin tridica entre una representacin, un relato y un correlato.

20

21

2.1.1. Las categoras y la fenomenologa A partir de 1890, Peirce comenz a desarrollar una teora para fundamentar las categoras en la experiencia, a travs de un mtodo inductivo aplicado a los fenmenos, con el objeto de justificar la necesidad de utilizar predicados con valores de uno a tres, y junto con esto, darnos los materiales para la construccin de una concepcin slida de la verdad(Hookway, 102). Esta teora es la fenomenologa, luego denominada faneroscopia

(phaneroscopy), la cual constituye una ciencia pre-lgica que depende solo de la matemtica, entendida esta ltima como ciencia de todo razonamiento deductivo o necesario. El hecho de que la fenomenologa preceda a la lgica en la jerarqua de las ciencias significa que dicha disciplina no considera el concepto de verdad, y que, por lo tanto, no admite un crtica lgica de sus resultados. El objeto de la fenomenologa es el fenmeno universal, o phaneron, que es el todo colectivo de la que en cualquier modo o en cualquier sentido est presente a la mente, independiente de que represente una cosa real o no(CP 1:284). Despus de la New List las tres categoras que perduraron en el sistema de Peirce fueron las accidentales: cualidad, relacin y representacin, que se corresponden con la mnada, la dada y la trada respectivamente. No obstante, si bien la formalidad numrica encontr un lugar en el sistema posterior de la fenomenologa, la materialidad de las categoras cambi sustancialmente. La categora de la cualidad que se encontraba en la cima del sistema de 1867 como la abstraccin pura, se convirti en la base del sistema posterior. En la dcada del 90, Peirce busc poner sobre sus pies el sistema de conceptos puros, y lo hizo descansar sobre la cualidad como sensacin.

22

Del mismo modo, la relacin binaria, que era la categora de la referencia a un correlato, se desarroll en la fenomenologa como la categora de las acciones y reacciones entre los objetos. Por ltimo, la representacin mediadora pas a designar lo racional en general en contraposicin con las categoras irracionales anteriores, y se convirti en la idea de ley, pensamiento, aprendizaje, entre otras nociones tradicas. Los dos primeros elementos que Peirce como fenomenlogo identifica en el fenmeno son la Primeridad y la Secundidad.

23

2.1.1.1. Las tres categoras de experiencia: primeridad, secundidad y terceridad

Los nombres de las categoras vienen de la concepcin kantiana del nmero: unidad de la sntesis de lo mltiple de una intuicin cualquiera de elementos homogneos (Crtica de la razn pura, A.143). Dado que las categoras y los nmeros son las funciones de la unidad en lo mltiple, las categoras son nmeros: Uno, Dos, Tres, Primero, Segundo, Tercero, o principios del nmero: Primeridad, Secundidad, Terceridad. La primeridad consiste en ser o existir independientemente de cualquier otra cosa; es el espritu, la cosa en s, el numeno que escapa al entendimiento humano (CP 1: 357), pero del cual sin embargo puede tomarse conciencia: es sentimiento (feeling). A travs de ella se alcanza la unidad del universo, pero ms ac de lo expresable, de modo que no es ms que un posible (CP 1:304) que siempre se aleja: es lo irrealizable. Es el origen de las cosas, considerado no como conducente a algo, sino en s. Luego, es fenmeno, punto de inicio. En tanto que, para Kant, el fenmeno no dice nada del numeno, para Peirce, por su primeridad, el fenmeno es de la naturaleza del numeno, simple posible, irrealizable numeno, partida sin llegada, y sin embargo noumnico. La secundidad es la concepcin del ser relativo a otra cosa. Es la categora de la existencia, el encuentro con el hecho bruto del mundo exterior, la sensacin de reaccin, la materia el trmino de las cosas. Decir que una mesa existe, es decir que [] produce efectos inmediatos sobre los sentidos, y tambin que produce efectos puramente fsicos (CP 1:457).
23

24

La influencia de Kant deja el lugar aqu a la de Duns Escoto: Respecto a la secundidad de los individuos, lo singular de Duns Escoto, determinado, operacional, implicatorio de un modo de ser o de perfeccin que le es propio, puede ser considerado como la fuente escolstica de la categora peirceana. La terceridad de 1890 da testimonio de la influencia del evolucionismo a expensas de la de Kant. En 1867, la terceridad es la categora de la Representacin, la ltima concepcin antes de pasar del ser a la sustancia, no une una concepcin a la sustancia como las otras dos referencias, sino que une directamente lo mltiple de la sustancia misma(CP1:554). En

1891,Tercera es la concepcin de la mediacin por la cual un primero y un segundo se ponen en relacin. Es la concepcin general, el proceso de interaccin, de unificacin, la Evolucin. Por ende, la terceridad es la categora del devenir, es tanto que la secundidad es la categora del pasado y la primeridad la categora del presente. La terceridad es la categora por excelencia de lo general, pero de una generalidad teleolgica; su naturaleza modal es la del futuro condicional que debe considerarse como una potencialidad real en nuestra experiencia y en la naturaleza misma.

25

2.1.2 Elementos de la semitica peirceana

Los signos, utilizados para transmitir pensamientos, informacin, rdenes, etc., son la base del pensamiento humano y de la comunicacin. Desde los albores de la civilizacin hasta nuestros das, siempre se ha reconocido en la cultura occidental -al menos implcitamente- que existe una conexin intrnseca entre el cuerpo, la mente y la cultura, y que el proceso que une estas tres dimensiones de la existencia humana es la semiosis, la produccin y la interpretacin de los signos.

La semitica es el trmino comnmente utilizado para referirnos al estudio de la capacidad innata de los seres humanos para producir y comprender signos de todas clases (desde los pertenecientes a simples sistemas de signos psicolgicos hasta aquellos que revelan una estructura simblica altamente compleja). La etimologa del trmino se rastrea en la palabra griega sema signo marca que es tambin la raz del trmino afn semntica, el estudio del significado. En todas las conceptualizaciones ms importantes de la semiosis, los componentes primarios de este proceso mental son el signo (una imagen representativa o cono, una palabra, etc.) el objeto referido (que puede ser concreto o abstracto) y el significado que resulta cuando el signo y el objeto se unen por asociacin. Parece que el sistema cognitivo humano opera en la base de este nexo tridico. En efecto, actualmente muchos semiticos afirmaran que sirve de base a la estructura misma de la mente. As, por ejemplo, la palabra gato es un signo verbal que sirve para relacionar el animal (su objeto)

26

con el significado gato(el mamfero carnvoro domstico con uas retrctiles que mata ratones, ratas, etc.). De forma similar, el uso del dedo ndice para sealar un objeto en una habitacin produce una relacin existencial concreta de significacin entre el llamado signo indexical (el dedo que seala) y el objeto. Siguiendo a Charles S. Peirce, la mayor parte de los semiticos aaden ahora la nocin de interpretante al proceso de semiosis. Este es el trmino de Peirce para la interpretacin particular del individuo sobre la interpretacin de la relacin tridica que es inherente a la semiosis.

Una de las contribuciones ms significativas a la teora de la semiosis ha sido el sostener de forma convincente que este proceso es inherente a la habilidad innata de la mente para transformar las impresiones de los sentidos en modelos experienciales recordables. Aunque todas las especies participan por instinto en el universo experimental, los humanos estn particularmente bien dotados de la capacidad de modelar cognoscitivamente sus impresiones sensoriales. Cuando estas transformaciones de nuestras experiencias corporales se codifican en signos y en sistemas de signos, se transforman permanentemente en forma de unidades cognoscitivas, fenomenolgicamente libres de sus unidades psicolgicas de aparicin.

Ahora identifiquemos con ms detalle cada elemento perteneciente a la semiosis peirceana:

27

El signo o representamen es algo que est en el lugar de alguna cosa para alguien en ciertos aspectos.

Diagrama 1. El signo relacin tridica

El representamen (el signo mismo) mantiene una relacin con un objeto, relacin que a su vez implica un interpretante. El objeto es lo representado por el signo-representamen, aunque un poco ms complicado que eso, porque puede ser: Un objeto inmediato: el objeto tal como es representado por el signo. Un objeto dinmico: el objeto independiente del signo que lleva a la produccin de ste. El interpretante es el ms engaoso del grupo. No es el intrprete. Ms bien es un efecto del significado propiamente dicho. Casi siempre se le concibe como el signo mental que es el resultado de un encuentro con un signo. Este es un buen punto de partida, aunque es ms exacto considerar al interpretante como un tipo de resultado. Por ejemplo, yo podra sealar el cielo y usted, en lugar de limitarse a registrar el significado de cielo, mirar en la direccin que estoy sealando. As, se produce un interpretante.

28

Sin embargo, al igual que en el caso del objeto, hay ms de un tipo de interpretante. El interpretante inmediato: se manifiesta en el correcto entendimiento del signo, por ejemplo, mirar al cielo y ver precisamente la estrella que el dedo est sealando. El interpretante dinmico es el resultado directo del signo, por ejemplo, mirar al cielo en general en respuesta al dedo que seala. El interpretante final es el resultado relativamente inusual al signo que funciona a pleno en cada ocasin en que se lo utiliza, por ejemplo, mirar justo la estrella sealada y darse cuenta de que el dedo que seala indica que ella es especficamente Alpha Centauri. Bajo la forma de interpretante tambin puede cumplir la funcin de otro signo-representamen. Esto lo coloca en relacin con otro objeto que, a su vez, implica un interpretante, que se transforma en un signo-representamen en relacin con otro objeto que a su vez, implica un interpretante, que se transforma en un signo-representamen en relacin con otro objeto, lo que da lugar a otro interpretante, y as ad infinitum. Este principio segn el cual un interpretante produce otros signos, es en trminos cotidianos, bastante conocido. Todos estamos familiarizados con la forma en que un solo signo dispara una cadena de asociaciones que finalmente parecen bastante alejadas del signo inicial.

29

2.1.2.1 La teora de los signos

Dado que todos los pensamientos y conocimientos son signos, se sigue que todos los pensamientos deben dirigirse ellos mismos a otros

pensamientos, puesto que tal es la esencia del signo (CP 5:253). El signo es una cualidad material que se aplica de un modo puramente denotativo o demostrativo y que tiene la funcin de representar. La originalidad de la teora de Peirce reside en la concepcin de las dos ltimas caractersticas: el signo posee cualidades intrnsecas sin relacin con el significado. La palabra diamante, por ejemplo, se compone de ocho letras. Peirce distingue la aplicacin denotativa de un signo de su funcin representativa. Una es real; la otra, simblica. La aplicacin denotativa de un signo es el hecho, para ese signo, de estar ligado fsicamente a su objeto, ya sea directa o indirectamente, dado su vnculo con otro signo (CP 5:287). En cuanto a la funcin representativa, sta no reside ni en su cualidad material, ni en su pura aplicacin demostrativa, porque es algo que el signo es, no en s mismo o en una relacin real con su objeto, sino respecto de un pensamiento (CP 5:287) que lo interpreta o, segn la expresin de Peirce que conservaremos, respecto de un interpretante. Cul es la naturaleza de ese interpretante? Cuando Peirce habla de pensamiento que interpreta, con pensamiento no designa a un sujeto pensante, sino, directamente, a un pensamiento o conocimiento. Ahora bien, dijimos que todo pensamiento es un signo. La primera observacin que debe hacerse es, pues, que el interpretante de un signo es otro signo, y que el signo interpretante de un signo requiere l mismo de otro signo interpretante, sin que

30

sea posible, al parecer, detenerse en un interpretante final. No obstante, Peirce afirma que no hay ninguna excepcin a la ley segn la cual todos los pensamientos-signos son traducidos o interpretados por los pensamientossignos siguientes, salvo en el caso del fin brutal de todo pensamiento en la muerte(CP 5:284). Lo que puede querer decir que si el sujeto de la lgica, el hombre, desaparece, la serie de los signos se quiebra, pero que, en esta muerte, el ltimo signo habra tenido un signo subsecuente, un interpretante. Lo que es final no es el signo, sino la vida del hombre que ha llegado a su trmino. En resumen, el mundo pensado es un mundo de signos. Cada signo es a la vez interpretante e interpretado: interpretante del que antecede, e interpretado por el que sigue. Se abre as la posibilidad de semisfera ilimitada. concebir una

31

2.1.2.2. La descripcin lgica de la semiosis

La teora de la inferencia semitica peirceana es una teora lgica, y no psicolgica. La semitica es otro nombre de la lgica a la vez formal (anlisis) y material (proceso de inferencia). Por lo tanto, ninguno de los trminos empleados debe ser comprendido como estado, acto o funcin psquica; lo cual no quiere decir que la inferencia semitica no sea consciente. No slo puede serlo, sino que casi siempre lo es. Lo que se analiza, sin embargo, son las marcas o expresiones pblicas de la inferencia. De la representacin solo se analizar la funcin de delegacin, lo que Peirce denomina el representamen; de la interpretacin, el signo interpretante; y de la atribucin, la relacin objetiva del signo y lo que este representa. Toda semiosis es, pues una relacin lgica tridica entre un

representamen, un interpretante y un objeto, que podemos simbolizar en el siguiente diagrama:

Diagrama 2. La semiosis

La semiosis es una inferencia por medio de signos. Un signorepresentamen hace que un signo-interpretante remita o refiera a su objeto.

31

32

No olvidemos que Peirce distingue el signo-accin, que es otro nombre de la semiosis, y el signo-representamen que es el punto de partida de la inferencia semitica.

Un signo, o representamen, escribe Peirce, es algo que est para alguien en lugar de algo bajo, algn aspecto o disposicin. Se dirige a alguien, es decir, crea en la mente de esa persona un signo equivalente o tal vez ms desarrollado. Lo que se crea, lo denomino el interpretante del primer signo. Este signo est en lugar de algo: su objeto. Est en lugar de ese objeto, no en cuanto a su totalidad, sino por referencia a una suerte de idea que alguna vez llam el fundamento del representamen (CP 2: 228).

La descripcin psicolgica del signo El signo es una representacin en el sentido de funcin de delegacin para el objeto cuyo mandatario es el signo. Solo es representacin en el sentido de imagen perceptiva para quien percibe el signo, como caso particular de la funcin de delegacin. La atribucin de un signo a un objeto es un proceso de inferencia por el cual una representacin determina en quien la recibe una interpretacin mental que consiste en remitir la representacin al objeto que esta representa. El anlisis de un signo descompone la inferencia en sus tres momentos: representacin, interpretacin y atribucin.

33

2.1.2.3. La divisin del signo

El signo se divide segn las tres tricotomas del representamen (el signo en s mismo), el objeto (el signo respecto de su objeto) y el interpretante (el signo en relacin con el interpretante que lo remite a su objeto), distribuyendo el signo en cada tricotoma por medio de las tres categoras faneroscpicas de la primeridad, secundidad y terceridad, de la manera siguiente:

Cualidad Sensacin Representamen Primeridad Objeto Secundidad Interpretante Terceridad Cualisigno cono Rema

Relacin Hechos en bruto Sinsigno ndice Dicisigno

Representacin Ley Legisigno Smbolo Argumento

Grfico 1. Generador de signos

La interaccin entre los aspectos formales de los signos y los aspectos de la existencia se puede concebir en trminos de un grfico generador de signos. Las filas comprenden las categoras: primeridad, secundidad, terceridad, segn se relacionan con cada elemento de la trada del signo. Las columnas comprenden las categoras segn se relaciona con la existencia: cualidad, hechos en bruto, leyes generales. Dado que el signo es tridico, su expresin debera comprender siempre la denominacin del representamen bajo su forma sustantiva, por ejemplo: legisigno, y las denominaciones del objeto y del interpretante bajo su forma

34

adjetiva, sea respectivamente para el objeto: icnico, indicial o simblico, y para el interpretante: remtico, dicente o argumental.

La dimensin del representamen

El examen faneroscpico permite dividir el representamen en cualisigno, sinsigno y legisigno. El signo no analizado se presenta siempre primero como sinsigno, como signo existente nico: singular. Tomado entre el cualisigno que es, en un sentido, el fundamento del sinsigno, y el legisigno que es el signo en un sistema organizado, el sinsigno se definir de diferente modo segn sea simple sinsigno (fuera de todo sistema de signos) o rplica de un legisigno. Tanto en un caso como en el otro, ser un existente singular, pero en tanto simple materializacin de un cualisigno, el sinsigno propiamente dicho no podr establecer relacin tercera con su objeto, lo que s podr hacer la rplica porque es la materializacin de un legisigno tercero. Esto es lo que dice Peirce de la divisin del representamen:

En s, un signo es o bien una apariencia, lo que yo llamo un cualisigno, o bien un objeto o acontecimiento individual, lo que llamo un sinsigno (la slaba sin es la primera slaba de semel, simul, singular, etc.), o bien un tipo general lo que llamo un legisigno. Como empleamos el trmino palabra en la mayora de los casos, cuando decimos que el es una palabra que un es otra palabra, una palabra es un legisigno. Pero cuando decimos de una pgina de un libro que tiene doscientos cincuenta palabras,veinte de las cuales son el, la palabra es un sinsigno. Un sinsigno que encierra as un legisigno lo denomino una rplica del legisigno. La diferencia entre un legisigno y un cualisigno, es que un legisigno tiene una identidad bien determinada, aun cuando admita por lo general una gran diversidad de apariencias. As, &, y y el sonido no forman ms que una sola palabra. El cualisigno, por el contrario, no tiene ninguna identidad. Es la pura cualidad de una apariencia y no es exactamente el mismo cuando reaparece por segunda vez. En lugar de identidad, tiene una gran similitud, y no puede diferir mucho sin que se lo considere como otro cualisigno (CP 8: 334).

35

La dimensin del objeto

El signo-representamen puede establecer tres relaciones diferentes con el objeto que representa. Puede parecrsele como un mapa geogrfico se parece a la parte de la Tierra que representa. Se dir que esta relacin es icnica. El signo-representamen puede estar en lugar del objeto, porque este determina que sea lo que es. Tomemos el ejemplo del sntoma de una enfermedad. La relacin del sinsigno sntoma es indicial respecto al objeto de la enfermedad que el sinsigno designa. (Por supuesto, desde el momento que hay medicina el sntoma se vuelve rplica de un legisigno). El signo-representamen, por ltimo, slo puede tener una relacin directa con su objeto como ocurre con la mayora de las palabras de una lengua. Se dir que esta relacin es simblica. Pero por indirecta que sea, la relacin simblica presupone las dos relaciones de indicialidad y de iconicidad, y la relacin indicial, por directa que sea, presupone la relacin de iconicidad, como lo explica Peirce en el siguiente texto:

El cono es un signo que poseera el carcter que lo hace significante, aunque su objeto no exista. Ejemplo: un trazo de lpiz que representa una lnea geomtrica. Un ndice es un signo que perdera inmediatamente el carcter que hace de l un signo si su objeto fuera suprimido, pero no perdera este carcter si no hubiera interpretante. Ejemplo: un muro con un agujero de bala como signo de un disparo, pues sin el disparo no habra habido agujero; sin embargo, hay all un agujero, por ms que exista o no alguien con la idea de atribuirlo o no a un disparo. Un smbolo es un signo que perdera el carcter que hace de l un signo si no hubiera interpretante. Ejemplo: todo discurso que significa lo que significa por el solo hecho de que se comprenda que tiene esa significacin (CP 2:304).

36

La dimensin del interpretante

La relacin del signo-representamen con el signo-interpretante es del orden de la expresin: el interpretante dice la relacin el signo-representamen con el objeto, relacin que l mismo establece en tanto que signo, tanto con el representamen como con el objeto: signo equivalente desarrollado (CP 2:228). Dado que es del orden o tal vez ms del decir, ser

respectivamente trmino o, para ser ms precisos, segn la lgica moderna, predicado: rema, como corre, es la capital de, etc.; proposicin o mejor an, puesto que la semitica peirceana se refiere a todo signo, dicisigno: se dir que Peirce es un filsofo norteamericano es una proposicin, pero que un retrato de Peirce con su nombre debajo es un dicisigno, si bien la cuestin es ms matizada (CP 2:309-322); o argumento, que no debe comprenderse en el sentido de razonamiento, aunque puede serlo, es verdad, pero en el sentido de sistema interpretativo: argumento de una obra de teatro, pero tambin reglas de juego: bridge, soneto, cortesa, etc. En pocas palabras, y citando a Peirce:
() un rema es un signo que es comprendido como representante de su objeto solamente en sus caractersticas; un dicisigno es un signo que es comprendido como representante de su objeto en relacin con la existencia real; y un argumento es un signo que es comprendido como representante de su objeto en su carcter de signo. (...) la proposicin expresa estar realmente afectada por el existente real o la ley real a las cuales remite. El argumento emite la misma pretensin, pero no es su pretensin principal. El rema no emite pretensiones de este tipo (CP 2:252).

37

Los diagramas La divisin ms fundamental de los signos es en conos, ndices y smbolos (CP 2: 275). En un nivel siguiente de esta divisin inicial de los signos, Peirce llama diagramas a cierta clase de conos. l da a los signos icnicos el nombre de hipoconos y en seguida los clasifica:
() un signo puede ser icnico, esto es, puede representar a su objeto principalmente por su semejanza, sin importar cual sea su modo de ser. Si se requiere un sustantivo, un representamen icnico puede denominarse un hipoicono. Cualquier imagen material, como una pintura, es ampliamente convencional en su modo de representacin, pero en s misma, sin ninguna leyenda o rtulo, puede denominarse un hipoicono (CP 2: 276).

Los hipoiconos pueden dividirse de forma burda de acuerdo al modo de Primeridad del que participan. Aquellos que participan de cualidades simples, o Primeridades Primeras, son imgenes; aquellos que representan relaciones, principalmente didicas, o consideradas as, de las partes de una cosa mediante relaciones anlogas en sus propias partes, son diagramas; aquellos que representan el carcter representativo de un representamen representando un paralelismo en algo distinto, son metforas (CP 2: 277).

Las citas siguientes presentan como Peirce reconoce el papel de los diagramas:
Volviendo ahora a la evidencia retrica, es un hecho familiar que hay representaciones tales como los conos. Cada imagen es esencialmente una representacin de esa clase. Tambin lo es todo diagrama, incluso aunque no haya parecido sensorial entre l y su objeto, sino solo una analoga entre las relaciones de las partes de cada uno. Particularmente merecedores de atencin son los conos en los que el parecido es ayudado por reglas convencionales. De este modo, una frmula algebraica es un cono, convertido en tal por las reglas de conmutacin, asociacin y distribucin de los smbolos. Puede parecer a primera vista que llamar cono a una expresin algebraica es una clasificacin arbitraria, que podra tambin, o mejor considerarse como un signo convencional compuesto. Pero no es as, pues una gran propiedad distintiva del cono es que mediante su observacin directa pueden descubrirse ms verdades relativas a su objeto que aquellas que bastan para determinar su construccin. De este modo, por medio de dos fotografas puede trazarse un mapa, etc. Dado un signo convencional u otro signo general de un objeto, para deducir alguna verdad distinta a aquella que significa explcitamente, es necesario, en todos los casos, reemplazar ese signo por un cono. Esa capacidad de revelar la verdad inesperada es precisamente aquello en lo que consiste la utilidad de las frmulas algebraicas, de modo que el carcter icnico es el que prevalece (CP 2: 279).

38

Que los conos de clase algebraica, aunque normalmente muy simples, existen en todas las proposiciones gramaticales ordinarias es una de las verdades filosficas que la lgica booleana saca a la luz. En toda escritura primitiva, como los jeroglficos egipcios, hay conos de clase no-lgica, los ideogramas. En la forma de habla ms temprana, haba probablemente un gran elemento de imitacin. Pero en todas las lenguas conocidas, tales representaciones han sido reemplazadas por signos auditivos convencionales. Estos, sin embargo, son tales que solo pueden explicarse mediante conos. Pero en la sintaxis de cada lengua hay conos lgicos de los que son ayudados por reglas convencionales (CP 2: 280).

Muchos diagramas no se parecen en absoluto a sus objetos en la apariencia, sus parecidos consisten solo en las relaciones de sus partes. De este modo, podemos mostrar la relacin entre las diferentes clases de signos mediante una llave: Signos: conos ndices Smbolos Esto es un cono, pero el nico aspecto en el que se parece a su objeto es en que la llave muestra que las clases de conos, ndices y smbolos han de estar relacionadas unas con otras y con la clase general de signos, como realmente lo estn, de una forma general. Cuando en lgebra escribimos ecuaciones una debajo de otra en un orden regular, especialmente cuando ponemos letras parecidas para coeficientes correspondientes, ese orden es un cono. Este es un ejemplo: a[1]x + b [1]y = n [1], a[2]x + b [2]y = n [2]. Este es un cono en tanto que hace que parezcan semejantes las cantidades que estn en relaciones anlogas con el problema. De hecho, toda ecuacin algebraica es un cono en tanto que exhibe por medio de los signos algebraicos (que en s mismos no son conos), las relaciones de las cantidades implicadas. Puede cuestionarse si todos los conos son semejanzas o no. Por ejemplo, si se exhibe un hombre bebido para mostrar, por contraste, la excelencia de la templanza, eso es ciertamente un cono, pero puede dudarse si es o no una semejanza. La cuestin parece algo trivial (CP 2: 282).

39

2.1.3. Jerarqua de las categoras y clases de signos

Dado que no basta con ser posible para existir, ni existir para estar dentro de la norma (cualquiera que sea), las categoras, como vemos, estn jerarquizadas: un primero es lo que es en relacin a s mismo y a nada ms; un segundo presupone un primero, pero no puede en ningn caso determinar un tercero; un tercero presupone un segundo y un primero. En consecuencia, un signo no puede pertenecer ms que a una de las diez clases siguientes, aunque la combinacin de las nueve divisiones del signo nos d un nmero de veintisiete clases posibles, porque solo diez de estas clases respetan la jerarqua de las categoras. Primera clase: El cualisigno icnico remtico: un sentimiento de rojo, antes de que sea sentido; el afecto simple de Maine de Biran. Segunda clase: El sinsigno icnico remtico: un retrato sin leyenda. Tercera clase: El sinsigno indicial remtico: un grito espontneo del tipo Ay!. Cuarta clase: El sinsigno indicial dicente: una veleta, un termmetro. Quinta clase: El legisigno icnico remtico: un diagrama, independientemente de su individualidad factual, como el esquema de la semiosis reproducido. Sexta clase: El legisigno indicial remtico: un pronombre demostrativo, un nombre propio. Sptima clase: El legisigno indicial dicente: un grito de la calle (vendedor de frutas, afilador). Octava clase: El legisigno simblico remtico: un sustantivo comn.

39

40

Novena clase: El legisigno simblico dicente: una proposicin. Dcima clase: El legisigno simblico argumental: todas las reglas. Un argumento es un signo cuyo interpretante representa su objeto en tanto signo ulterior por intermedio de una ley (CP 2:263).

41

2.2. La semitica y las categoras faneroscpicas

Toda inferencia semitica o semiosis es una experiencia nica singular y no general, concreta y no abstracta. Es del orden de los hechos. Corresponde a lo que Peirce llama la secundidad.

La secundidad es una de las tres categoras gracias a las cuales unificamos la multiplicidad de todo lo que aparece: fenmeno o fanern. Peirce forj el neologismo fanern a partir de la palabra griega phanern (neutro de phaners): lo que se muestra para significar el carcter no psicolgico del fenmeno. El fanern restringe el aparecer a lo que es el caso y no a la subjetividad de aquel a quien aparece el fenmeno. Lo cual no implica de ningn modo una reduccin emprica radical o nominalista. La secundidad

existencial slo conserva un aspecto del fanern. Las otras dos categoras de la primeridad y la terceridad se encargan de sus aspectos generales.

Toda semiosis es segunda, pero su existencia o aparicin hic et nunc no es sino la encarnacin, la concrecin, la realizacin de una posibilidad que ella revela, una posibilidad entre otras no reveladas an (y que tal vez jams lo sern) y que constituyen el universo de la primeridad. La primeridad es la categora de la posibilidad, de la cualidad, en tanto que tal, antes que venga a la existencia: la rojidad antes, digamos, de la creacin del mundo. La primeridad es, pues, general, pero de una generalidad particular: rica, profusa, extravagante.
41

42

La semiosis comporta otro elemento de generalidad, sin el cual no sera, porque sin l, no habra inferencia: la regla, la ley misma de la inferencia, que corresponde a la categora de la generalidad de la relacin lgica cuya validez es independiente de los trminos en relacin. La primeridad es la categora de la generalidad exuberante; la terceridad, la categora de la generalidad ordenada; la secundidad, la categora de la unin existencial de las otras dos.

43

CAPTULO 3 LA LGICA CONSIDERADA COMO SEMITICA

3.1 Las ciencias teorticas de investigacin

Peirce deba determinar a qu llamar ciencia. Para este propsito ha unido bajo una ciencia estudios tales que un mismo hombre, en el estado de la ciencia en 1903, pudiera muy bien seguir. Para esto se ha guiado por la observacin de cmo los cientficos se agrupan en sociedades, y qu contribuciones son comnmente admitidas en una revista, estando en guardia frente a la supervivencia de tradiciones de estados pasados de la ciencia. A eso que forma la materia de las sociedades y revistas ms exclusivas, de modo que cualquier estudiante de cualquier parte de ella debera estar informado de cada parte de una forma bastante completa, le llama una especie de la ciencia. A esa rama en la que el estudiante de cualquier parte est bien calificado para emprender cualquier otra parte, excepto que pueda no estar suficientemente familiarizado con los hechos en detalle, le llama un gnero de la ciencia. Si la nica preparacin nueva para pasar de una parte a otra es una mera cuestin de habilidad, y las concepciones generales permanecen las mismas, llama al campo una familia de la ciencia. Si se trata de diferentes clases de concepciones en las diferentes familias de un campo, pero el tipo general de investigacin es el mismo, lo llama un orden de la ciencia. Si los tipos de investigacin de los variados rdenes de un campo son diferentes, pero esos rdenes estn unidos de modo que los estudiantes sienten que estn revisando la misma gran materia, llama al campo una clase de la ciencia. Si hay diferentes clases, de modo que estudiantes diferentes, parecen vivir en mundos diferentes, pero sin embargo hay un motivo general que lo anima, llama al

44

campo una rama de la ciencia. Por supuesto, habr sub-ramas, sub-clases, etc., descendiendo hasta sub-variedades, e incluso a veces sub-subdivisiones. A modo de ejemplo, llama a la ciencia pura y a la ciencia aplicada ramas diferentes, y llama a las matemticas y a las ciencias especiales clases diferentes, dice que la fsica general, la biologa y la geologa pertenecen a diferentes rdenes de la ciencia. La astronoma y la geognosia son diferentes familias. ptica y elctrica son de diferentes gneros. Entomologa e ictiologa son especies diferentes de un gnero. El estudio de Kant y el estudio de Spinoza son variedades diferentes de una especie.

45

3.1.1 La clasificacin de las ciencias en 1903

Esta clasificacin, que pretende basarse a s misma en las principales afinidades de los objetos clasificados, atae no a todas las ciencias posibles, no a tantas ramas del conocimiento, sino a las ciencias en su condicin presente en 1903. El propsito de esta clasificacin es parecido al de Comte, a saber, organizar un catlogo de las ciencias que exhiba lo ms importante de las relaciones de dependencia lgica entre ellas. La clasificacin se ha realizado con gran detalle, pero solamente se darn aqu sus divisiones ms comprensivas. Toda ciencia es ciencia de descubrimiento o ciencia de revisin, o ciencia prctica. La ciencia del descubrimiento es matemticas o filosofa, o ideoscopia. Las matemticas estudian lo que es o lo que no es lgicamente posible, sin hacerse responsables de su existencia actual. La filosofa es ciencia positiva, en el sentido de descubrir que es realmente la verdad, pero se limita a s misma, a cuanta verdad puede inferirse de la experiencia comn. La ideoscopa abraza todas las ciencias especiales, que se ocupan primordialmente de la acumulacin de hechos nuevos. Las matemticas pueden ser divididas en (a) matemticas de la lgica, (b) matemticas de las series discretas, y (c) matemticas de los continuos y los pseudocontinuos. La rama (b) apela a la rama (a) y la rama (c) a la rama (b).

46

La filosofa se divide en fenomenologa, ciencia normativa, y metafsica. La fenomenologa investiga y estudia las clases de elementos universalmente presentes en el fenmeno; se entiende por fenmeno todo lo que es presente en cualquier tiempo a la mente de cualquier modo. La ciencia normativa distingue entre lo que debe ser y lo que no debe ser, y hace muchas otras divisiones y disposiciones subordinadas a su distincin dualstica primaria. La metafsica trata de dar una explicacin del universo de la mente y la materia. La ciencia normativa descansa en gran manera sobre la fenomenologa y las matemticas, la metafsica sobre la fenomenologa y la ciencia normativa. La ideoscopa tiene dos ramas: a) las ciencias fsicas y b) las ciencias humanas o psquicas. Las ciencias humanas toman a prstamo continuamente principios de las ciencias fsicas, estas ltimas muy poco de aquellas. Las ciencias fsicas son (a) nomolgicas o fsica general, (b) fsica clasificatoria, y (c) fsica descriptiva. La fsica nomolgica descubre los fenmenos omnipresentes del universo fsico, formula sus leyes y mide sus constantes. Se coloca bajo la metafsica y las matemticas para los principios. La fsica clasificatoria describe y clasifica las formas fsicas y trata de explicarlas dentro de las leyes descubiertas por la fsica nomolgica, con la cual tiende a fundirse en ltimo trmino.

47

La fsica descriptiva describe objetos individuales -la tierra y los cielos-, se esfuerza por explicar sus fenmenos por los principios de la fsica nomolgica y clasificatoria y tiende ella misma a ser clasificatoria. Las ciencias humanas o psquicas son a) psicologa nomolgica o general; b) psquica clasificatoria y c) psquica descriptiva. La psicologa nomolgica descubre los elementos generales y leyes de los fenmenos mentales. Est notoriamente influida por la fenomenologa, la

lgica, la metafsica y la biologa (una rama de la fsica clasificatoria). La psquica clasificatoria ordena productos de la mente y se esfuerza por clasificarlos y explicarlos segn principios psicolgicos. En tiempos de Peirce, estaba en su infancia como para aproximarse muy de cerca a la psicologa. Pide prstamos a la psicologa y la fsica. La psquica descriptiva se esfuerza en primer lugar por describir manifestaciones individuales de la mente, si son obras o acciones permanentes, y para esta tarea se une para explicarlos con los principios de la psicologa y la etnologa. Toma prestado de la geografa, (rama de la fsica descriptiva), de la astronoma (otra rama) y de otras ramas de las ciencias fsicas y psquicas. Considera las subdivisiones de esas ciencias, en la medida en que estn tan holgadamente separadas como los grupos de investigadores que las estudian. La fenomenologa es un estudio aislado en 1903. La ciencia normativa tiene tres divisiones holgadamente separadas: esttica, tica y lgica.

48

Esttica es la ciencia de los ideales, o de aquello que objetivamente admirable sin ms razn ulterior. Peirce no esta familiarizado con esa ciencia, pero debe basarse en la fenomenologa. tica, o ciencia de lo correcto y lo errneo, debe apelar a la Esttica como ayuda para determinar el summum bonum. Es la teora de la conducta autocontrolada o deliberada. Lgica es la teora del pensamiento autocontrolado o deliberado, y como tal debe apelar a la tica para sus principios. Depende, pues, de la fenomenologa y de las matemticas. Siendo todo pensamiento puesto en marcha a travs de el significado de los signos, la lgica debe ser considerada como la ciencia de las leyes generales de los signos. Tiene tres ramas: 1. Gramtica especulativa, o teora general de la naturaleza y significado de los signos, ya sean conos, ndices o smbolos; 2. Crtica, que clasifica los argumentos y determina la validez y el grado de fuerza de cada clase y gnero; 3. Metodutica, que estudia los mtodos que deben ser seguidos en la investigacin, en la exposicin y en la aplicacin de la verdad. Cada divisin depende de la que le precede. La metafsica puede dividirse en metafsica general u ontologa psquica o religin, que se refiere principalmente a las cuestiones de la divinidad, libertad, e inmortalidad, y metafsica fsica, que discute la naturaleza real del tiempo, espacio, leyes de la naturaleza, materia, etctera. Las ramas segunda y tercera parecen, contemplarse con supremo desprecio.

49

La clasificacin de las ciencias en 1903* A. Ciencia terica I. Ciencia de descubrimiento i. Matemticas ii. Filosofa 1. Categoras [= fenomenologa o faneroscopa] 2. Ciencias normativas a. Esttica b. tica
c. Lgica [= semitica] [Gramtica especulativa] [Lgica crtica] [Retrica o metodutica] (Methodeutic) 3. Metafsica

iii. Ideoscopia o ciencia especial 1. Las ciencias humanas o psquicas a. Psicologa nomolgica o general b. Psquica clasificatoria . Lingstica . Crtica . Etnologa c. Descriptiva . Biografa . Historia . Arqueologa 2. Las ciencias fsicas. a. Fsica nomolgica o general . Dinmica 1. De partculas 2. De agregados . Elatrica [Elaterics] y termtica . ptica y elctrica b. Clasificatoria . Cristalografa . Qumica . Biologa c. Descriptiva . Astronoma . Geognosia II. Ciencia de revisin (Naturaleza del Cosmos de Humboldt, Filosofa Positiva de Comte) B. Ciencia Prctica o las Artes

Un bosquejo de la clasificacin de las ciencias est publicada en Charles S. Peirce. Escritos filosficos. El Colegio de Michoacn, Mxico, 1997, p.103.
*

50

Por ciencias de revisin entiende el trabajo de los que se ocupan de ordenar los resultados de los descubrimientos, empezando con recopilaciones y continuando con el esfuerzo para formar una filosofa de la ciencia. Tal es la Naturaleza del cosmos, de Humboldt, la Filosofa positiva, de Comte, y la Filosofa sinttica, de Spencer. La clasificacin de las ciencias pertenece a este departamento. La clasificacin de las ciencias prcticas ha sido elaborada por Peirce, pero no sern tratadas aqu.

51

3.2. Una definicin de la lgica La lgica, en su sentido general, es solo otro nombre de la semitica, segn Peirce, una lgica inferencial abarcadora, a la vez experimental y formal. Esto no es original. La lgica era ya una teora de la inferencia a partir de los signos entre los griegos, como se ha esbozado en el primer captulo de este trabajo, y lo sigue siendo hoy, tanto en Wittgenstein como en Frege. Por eso, Eco expresa el deseo que un da u otro esas investigaciones se reconozcan como una rama especfica de la semitica general(Tratado, 20). La semiosis, que es un proceso de inferencia, es el objeto propio de la semitica. Por cierto, la semiosis es una experiencia que hace cada uno en todo momento de su vida; pero la semitica, que es su teora, es otro nombre de la lgica, como Peirce dice:
la doctrina cuasi necesaria, o formal, de los signos. Al describir la doctrina como cuasi necesaria,o formal quiere decir que observamos los caracteres de los signos y, a partir de tal observacin, por un proceso que no objetar sea llamado abstraccin, somos llevados a aseveraciones, en extremo falibles, y por ende en cierto sentido innecesarias, concernientes a lo que deben ser los caracteres de todos los signos unidos por una inteligencia cientfica, es decir, por una inteligencia capaz de aprender por la experiencia. En lo que respecta a ese proceso de abstraccin, l es en s mismo, una suerte de observacin (CP 2:227).

Decir de una semiosis que es una inferencia, no es, pues, hacer de ella exclusivamente un objeto de anlisis formal. La inferencia es un mtodo de pensar. Es por ello que la semitica peirceana, ms que otro nombre de la lgica en sentido formal que le damos hoy a este trmino, es otro nombre de la epistemologa. La epistemologa entendida como la crtica de los principios de la lgica que intervienen en la investigacin cientfica. La semitica peirceana responde a la pregunta cmo pensamos? la inferencia es sinnimo de induccin o de deduccin?

52

La respuesta de Peirce es peculiar. Segn l, no estamos sujetos al imperio de los hechos ni al imperio de las leyes. Pensar es buscar, indagar, tantear, creer que se ha encontrado y hacer como si por un tiempo, antes de reiniciar esa bsqueda de la verdad que Peirce califica de falibilista y por la cual la verdad es
esa concordancia de un enunciado abstracto con el lmite ideal hacia el cual tender la bsqueda que no tendr fin, para producir la creencia cientfica, concordancia que el enunciado abstracto puede tener en virtud de su inexactitud y su carcter parcial confesos, y esta confesin es un elemento esencial de la verdad (CP 5:565).

En la epistemologa de Peirce, el pensamiento es un proceso dinmico, esencialmente una accin que oscila entre los estados mentales de duda y creencia. Mientras que la esencia del segundo es la instauracin de un hbito que determina nuestras acciones (CP 5:388), con la cualidad de ser un estado satisfactorio y apacible en el que todo humano quisiera permanecer, primero nos estimula a indagar hasta autodestruirse (CP 5:373). Y se caracteriza por ser un estado turbulento e insatisfactorio del que todo humano lucha por liberarse: La irritacin de la duda provoca una contienda para alcanzar el estado de creencia. Ntese que Peirce habla de estado de creencia y no de conocimiento. As, la pareja duda-creencia es de hecho un ciclo entre dos estados diametralmente opuestos, mientras que la creencia es un hbito, la duda es la privacin del mismo. Sin embargo, la duda, nos dice Peirce, no es un estado que se genere voluntariamente haciendo una pregunta, de modo que debe existir una duda real y autntica:
La duda autntica siempre tiene un origen externo, usualmente viene de la sorpresa; siendo imposible para un hombre tanto producir una duda autntica voluntariamente, como sera el imaginarse la condicin de un teorema matemtico, y como sera generar una sorpresa por un simple acto de voluntad ( CP 5:443).

el

53

De esa forma, Peirce no solo argumenta que para romper un hbito, debe existir una duda autntica, sino que la identifica con la sorpresa, y de hecho, parece usar estos dos trminos indistintamente: La creencia, mientras dura, es un hbito fuerte, y como tal, fuerza al hombre a creer hasta que una sorpresa rompe el hbito (CP 5:524). El hombre acta porque cree en la eficacia de su accin. Creencia no significa fe religiosa, sino hbito mental que determina nuestras acciones. Sin embargo, la accin del hombre no es corporal; es tambin racional, y el razonamiento depende entonces, como la accin, de ese hbito mental que es la creencia. De la cual, Peirce identifica sus caracteres:
Los caracteres de la creencia son tres. Primero, hay una determinada sensacin respecto a una proposicin. Segundo, hay una disposicin a estar satisfecho con la proposicin. Y tercero, hay un impulso claro, en consecuencia, de actuar de determinadas maneras (CP 7:313).

Cuando creemos, hay una proposicin que de acuerdo con alguna regla determina nuestras acciones. Una gua de ese tipo es denominada como un principio rector de inferencia. Pero, lo que est primero no es la verdad sino el hbito, creencia o certeza que puede ser falsa, porque buscamos una creencia que pensamos verdadera y desde luego, pensamos que cada una de nuestras creencias es verdadera. De esta nocin surge el deseo de llegar a un establecimiento de opinin que es una conclusin que ser independiente de todas las limitaciones humanas, independiente del capricho, de la tirana, de los accidentes de la situacin, una conclusin a la que llegara todo hombre que persiguiera el mismo mtodo y que lo llevara lo suficientemente lejos. El esfuerzo para producir un establecimiento de opinin tal se denomina investigacin.

54

La lgica es la ciencia que ensea si tales esfuerzos estn correctamente dirigidos o no lo estn. Por otro lado, la lgica, dice Peirce, empieza ya a ser una ciencia positiva, puesto que hay algunas cosas respecto de las que el lgico no tiene libertad para suponer que son o que no son, sino que reconoce que hay algo que le obliga a afirmar lo uno y negar lo otro. As, por ejemplo, el lgico se ve forzado por la observacin positiva a admitir que hay un estado como la duda, que algunas proposiciones son falsas, etc. Pero, este hecho conlleva al compromiso correspondiente a no admitir nada que no se vea forzado a admitir. La lgica se puede definir como la ciencia de las leyes del establecimiento estable de creencias. Por consiguiente, la lgica exacta ser aquella doctrina de las condiciones del establecimiento de creencias estables que se basa en observaciones absolutamente indudables y en el pensamiento matemtico, es decir, diagramtico e icnico. Nosotros que somos partidarios de la lgica exacta, en general, opinamos que los que sigan estos mtodos lograrn escapar a todo error, salvo aquellos que podrn corregirse tan pronto como se los descubra.

55

3.3. La divisin de la lgica 3.3.1 Gramtica especulativa, lgica crtica, metodutica (Methodeutic)

La lgica exacta, en su sentido ms amplio, tal como lo concibe Peirce, consta de tres partes. En primer lugar ser necesario estudiar aquellas propiedades de las creencias, al margen de su estabilidad. Este estudio equivale a lo que Duns Scoto

llamaba gramtica especulativa, pues ha de analizar una afirmacin en sus elementos esenciales, independientemente de la estructura del lenguaje en que pueda ser expresada. Tambin ha de dividir las afirmaciones en categoras de acuerdo con sus diferencias esenciales. La segunda parte considerar que condiciones ha de satisfacer una afirmacin para poder corresponder a la realidad, esto es, para que la creencia que expresa pueda ser estable. Esto es lo que ms en concreto se entiende por la palabra lgica. Esta parte ha de considerar, en primer lugar, el razonamiento necesario y en segundo lugar, el probable. En tercer lugar, la teora general ha de abarcar tambin el estudio de aquellas condiciones generales bajo las cuales un problema se presenta para su solucin y de aquellas bajo las que un problema lleva a otro. No sera inapropiado denominar a este tipo de estudio retrica especulativa, ya que completa una trada de estudios. Esta divisin la propuso Peirce en 1867, pero normalmente a esta tercera parte la ha designado con el nombre de lgica objetiva (Escritos Lgicos, 227). Pero, el objeto de investigacin de su lgica objetiva y el de la gramtica especulativa es, en esencia, el mismo el sujeto en tanto signo, dado que para Peirce los pensamientos son signos, la mente

56

es un signo y, en definitiva, el hombre mismo es un signo:

No existe ningn elemento de la conciencia del hombre que no tenga algo que le corresponda en la palabra; y la razn es obvia. Es que la palabra o signo que el hombre usa es el hombre mismo. Porque el hecho de que todo pensamiento es un signo, junto con el hecho de que la vida es una corriente de pensamiento, prueba que el hombre es un signo (El hombre, un signo 100).

En otros contextos, Peirce denomina gramtica pura a la gramtica especulativa (asignndole el cometido de determinar qu es lo que debe ser cierto del signo o del representamen para que pueda encarnar algn significado), llama lgica propiamente dicha (o bien lgica exacta) a la ciencia de lo que es cuasi necesariamente verdadero de los representmenes para que puedan ser vlidos para algn objeto, o sea, verdaderos, y distingue una tercera rama de estudio semitico, la retrica pura, que debe determinar las leyes mediante las cuales un signo da nacimiento a otro signo y un pensamiento a otro pensamiento. La consecuencia ms relevante de esta propuesta es la unificacin semitica de las condiciones de verdad de los signos respecto de sus objetos y las condiciones de generacin de los mismos. Su triedro conceptual dice de la coextensividad existente entre una semntica extensional y una semntica intensional, si las entendemos, respectivamente, como una teora de la referencia y una teora de la significacin. Segn Eco, Peirce posterga esta oposicin, propuesta en el dominio semitico por algunos investigadores actuales (Tratado, 251). Para Peirce la referencia es inconcebible sin la operacin tridica de la representacin. La estrecha correlacin existente entre las tres ramas de la semitica de Peirce y la comunidad problemtica deriva de que las mismas son consecuencia del hecho de que cada signo o representamen esta simultneamente relacionado con tres instancias: su Interpretante, su ground o Fundamento y su Objeto.

57

En otras palabras, la ampliacin de la lgica que la semitica lleva a cabo es clara y manifiesta cuando Peirce establece y define las tres ramas de esta ltima: la gramtica especulativa, la lgica pura, y la retrica pura o metodutica (CP 1:444, 2:229, 4:9). Passmore anota que ellas aparecen distinguidas entre s de diversos modos, el ms claro de los cuales tal vez sea el empleado en un fragmento escrito alrededor de 1897. En primer lugar est la gramtica pura, que considera aquello que ha de ser verdadero de un signo tal como es empleado por una inteligencia cientfica. Luego est la lgica propiamente dicha o lgica crtica, que describe las caractersticas de todos los signos que son valederos de los objetos. Finalmente, est la retrica pura o metodologa que trata de descubrir las leyes por las que un signo, y en especial un pensamiento, da lugar a otro. As, la divisin de la lgica en estas tres partes puede ser justificada desde el interior mismo de la teora semitica: la gramtica especulativa, recogiendo la tradicin medieval de los modi significandi, se ocupa de las condiciones que deben darse para que algo sea un signo; la lgica pura o lgica propiamente dicha, conservara la funcin de la lgica tradicional, es decir, se ocupara de las condiciones de verdad; la retrica especulativa se ocupara ya de los sujetos y, de la forma ms concreta, como un signo da nacimiento a otro signo y, especialmente, un pensamiento da nacimiento a otro pensamiento (CP 2:229).

58

3.3.2 Logica utens y logica docens

Hay pocas personas que se preocupan de estudiar lgica, porque todos se consideran lo suficientemente expertos en el arte de razonar. Peirce observa, sin embargo, que esta satisfaccin se limita a la capacidad de raciocinio de uno mismo, no extendindose a la de los dems hombres. Todo razonador tiene un mtodo general de lo que es razonar bien. Esta constituye una teora de la lgica. Los escolsticos la llaman la logica utens del razonador, en contraposicin al resultado del estudio cientfico al que se denomina logica docens. La distincin de logica utens y logica docens va en esta direccin entre el uso de la lgica y la doctrina lgica. Los razonamientos estn determinados por ciertos hbitos generales de razonar, a cada uno de los cuales, se les ha dado aprobacin. As, podemos reconocer dos tipos: razonamientos A y razonamientos B. En los primeros, hay muy pocos que incurran seriamente en error, pero ninguno te permite avanzar en el conocimiento. Entre los razonamientos B puedes pensar que todos los que hay buenos son extremadamente valiosos por ensear una enormidad. Con todo podemos darnos cuenta que una gran parte de estos carecen de valor, percatndonos de su error al comprobar que entran en conflicto con los razonamientos A. Se percibir por esta descripcin que los razonamientos B son poco ms que conjeturas. Nos sentiremos justificados de adherirnos a aquellos hbitos del razonar que producen razonamientos B, por considerar de que, al adherirnos a ellos, se eliminarn bsicamente con el curso del tiempo los efectos perjudiciales de los malos oponiendo razonamientos A, los cuales

59

no podran nunca aportar demasiado conocimiento positivo. Esta ilustracin imaginaria sirve para mostrar cmo puede ser que, de modo consistente, considerar que la actual logica utens es excesivamente insatisfactoria, y sin embargo, se justifica adherirnos a ella hasta disponer de un sistema mejor. De modo general, sobreestimamos el valor de los razonamientos B, que son slo conjeturas, muchas de las cuales consideramos como inducciones. Si, este es el caso, el estudio de la logica docens, nos capacita para estimar con mayor precisin los razonamientos B, y sustituir la mitad de ellos por razonamientos que no defrauden con frecuencia, y que a la vez perfeccionen enormemente la cualidad de los que queden an como ms o menos conjeturales. Este perfeccionamiento, se limita a los razonamientos lgicos, de los que quiz no realicemos demasiados. Aquellos actos mentales que dependen del instinto quedarn sin afectar, excepto en que se reconocer su verdadero carcter, aclara Peirce. La posesin plena de nuestra capacidad de extraer inferencias es algo que hay que alcanzar, ya que no es tanto un don natural como un arte prolongado y difcil. Los escolsticos medievales, siguiendo a los romanos, considerndola como muy fcil, hicieron de la lgica el primero de los estudios de un nio despus de la gramtica. As es como la entendieron. El principio fundamental para ellos era el de que todo conocimiento reposa bien sobre la autoridad, bien sobre la razn; pero que todo lo que se deduce por la razn depende, en ltima instancia, de una premisa derivada de la autoridad. Consiguientemente, tan pronto como un nio dominaba perfectamente el procedimiento silogstico se consideraba que haba completado ya su pertrechamiento intelectual.

60

3.4 Sobre la clasificacin natural de los argumentos

3.4.1 Abduccin, induccin y deduccin

El desarrollo de una lgica de la indagacin ocup el pensamiento de Peirce desde el inicio de su labor intelectual. En un principio esta lgica est compuesta por tres modos de razonamiento: deduccin, induccin, e hiptesis (CP 2:777), cada uno de los cuales es un proceso independiente de prueba y corresponde a una forma silogstica, que ilustramos en el siguiente ejemplo, usualmente citado (CP 2: 623): DEDUCCIN Regla: Todas las alubias de este saco son blancas Caso: Estas alubias son de este saco Resultado: Estas alubias son blancas INDUCCIN Caso: Estas alubias son de este saco Resultado: Estas alubias son blancas Regla: Todas las alubias de este saco son blancas HIPTESIS Regla: Todas las alubias de este saco son blancas Resultado: Estas alubias son blancas Caso: Estas alubias son de este saco

De estos tres, la deduccin es el nico tipo de razonamiento completamente certero, en la que se infiere su Resultado como conclusin necesaria. La induccin produce una Regla que se valida solamente a la larga (CP 5: 170), y la hiptesis, la menos certera de las tres, simplemente sugiere que algo puede ser el caso (CP 5: 171).

60

61

Posteriormente, Peirce considera a estos tres tipos de razonamiento como tres etapas en un mtodo para la indagacin lgica, en donde la hiptesis, ahora denominada abduccin, es la primera de ellas: De su sugerencia (abductiva), la deduccin puede inferir una prediccin que puede ser puesta a prueba por la induccin (CP 5:171). La nocin de abduccin se hace ms compleja y se convierte en el proceso de construir una hiptesis explicativa (CP 5:171) y la forma silogstica se sustituye por la siguiente forma lgica (CP 5:189): Se observa el hecho sorprendente C Pero si A fuera verdadera, C sera una cosa normal Por lo tanto, hay una razn para sospechar que A es verdadera Peirce propone dos aspectos ms para determinar que tan prometedora es una hiptesis abductiva: se debe poder poner a prueba y debe ser econmica. As, una abduccin es una explicacin si da razn de los hechos conforme a la forma lgica arriba citada; su estatus es el de una sugerencia hasta que no se pone a prueba, lo cual explica el segundo criterio. Las motivaciones del criterio de economa son dos: la respuesta al problema prctico de manejar un sinfn de hiptesis explicativas, as como la necesidad de contar con un criterio para seleccionar la mejor explicacin dentro de las que son sujetos de experimentacin. Para Peirce, el razonamiento abductivo es fundamental en toda pesquisa humana. La abduccin juega un papel en la percepcin, en donde la

sugerencia abductiva nos viene como un destello (CP 5:181).Y tambin est presente en el proceso general de la invencin: Ella [la abduccin] es la nica operacin lgica que incorpora nuevas ideas (CP 5:171).

62

As, la abduccin parece ser tanto un acto de intuicin como uno de inferencia, como lo ha propuesto Anderson, sugiriendo un doble aspecto intuitivo y racional (Aliseda, 264). A manera de ejemplo, Peirce afirma que cuando se encuentran restos fsiles de peces en el interior de un pas, cabe suponer que en otro tiempo el mar cubri aquella tierra. Toda una tradicin paleontolgica previa parece apoyar tal abduccin. Pero, por qu no privilegiar otra explicacin, por ejemplo, que son los restos de una merienda celebrada all por unos monstruos extraterrestres, o que es un director de cine preparando esta escenografa para rodar El hombre de Neanderthal contraataca? Ceteris paribus. Si no hay actores ni otra gente del cine por el lugar, si los peridicos no han informado recientemente de misteriosos fenmenos debido a una probable accin de invasores extraterrestres, etc., la explicacin paleontolgica ser la ms econmica. Umberto Eco es el que muestra este ejemplo en su investigacin sobre tres tipos de abduccin(Los Lmites, 260).

63

La deduccin La deduccin es estudiada por los artculos de Jaakko Hintikka (C.S. Peirces first real discovery and its contemporary relevance, pp. 304-315) y de Charles J. Dougherty (Peirces phenomenological defense of deduction, pp.364-374), citado por Deladalle (179). El problema que se plantea es saber si la deduccin es puramente formal, como afirman ciertos lgicos modernos de Frege a Russell, pasando por Hilbert. Los antiguos no sostenan esta opinin, comenzando por los matemticos, como lo hace notar Peirce. Euclides distingua la apodeixis de la ekthesis, en otras palabras, la demostracin de la exposicin (CP 4: 616). La primera no basta por s misma y no necesita de figuras que la sostengan; la segunda no puede prescindir de figuras. Esto condujo a Peirce a distinguir dos tipos de deduccin: la corolarial y la deduccin teoremtica.
Una deduccin corolarial es una deduccin que representa las condiciones de la conclusin en un diagrama, y observando ese diagrama tal como se encuentra la verdad de la conclusin. Una deduccin teoremtica es una deduccin que, habiendo representado las condiciones de la conclusin en un diagrama, realiza una experimentacin ingeniosa sobre el diagrama y observando el diagrama as modificado, comprueba la verdad de la conclusin (CP 2:267).

Peirce generaliza lo que no era ms que una simple distincin de procedimientos matemticos y hace de ella una distincin lgica fundamental en la manera de razonar: la deduccin es o bien formal o bien experimental, pero de todas formas diagramtica. Ese es, segn Hintikka, el primer descubrimiento real de Peirce. Cualesquiera sean las condiciones histricas que hayan podido hacer posible esta generalizacin y en particular el desarrollo de la lgica de relaciones, esta se apoya en ltima instancia en la faneroscopa peirceana.

64

Sin embargo, Hintikka insiste con razn en el carcter icnico de la deduccin. No olvidemos, sin embargo, que los conceptos peirceanos de ndice, cono y smbolo describen slo una dimensin de las relaciones de signo, la de su relacin con su objeto. Hay otras dos dimensiones, segn los conceptos remitan al signo, a s mismo o a su interpretante. Y estrictamente hablando, la descripcin de un signo que no apelar ms que a su relacin con el objeto, sin decir lo que es respecto de s mismo y lo que se pueda decir de l, dado lo que es en s y la manera en que se remite a su objeto, no sera simplemente incompleta, dejara de ser una descripcin. Dicho esto, puesto que todo signo lgico es un legisigno o un signo de ley, su relacin con el objeto puede ser icnica, indicial o simblica (no podra ser slo icnica o indicial si el signo fuera un sinsigno, como lo es una pintura que representa a un personaje o a un paisaje, por ejemplo). En cuanto a su relacin con el interpretante, depende de la relacin con el objeto ya sea remtica, dicente o argumental. La deduccin, dice Peirce, es diagramtica, qu es un diagrama? Un legisigno desde luego,pero adems?, simblico en el sentido de puramente formal? Un diagrama responde Peirce, aunque por lo comn tenga rasgos simblicos, tanto como rasgos de naturaleza similar a la de los ndices, sin embargo es en lo esencial un cono de las formas de las relaciones constitutivas de su objeto (CP 4: 531).

65

Y esto explica el carcter formal de la deduccin corolarial y el carcter experimental de la deduccin teoremtica. En la primera, la necesidad de la conclusin aparece por simple inspeccin del diagrama; en la segunda, se requiere una experimentacin sobre el diagrama. Peirce describe el asunto de este modo:

Formamos en nuestra imaginacin una suerte de representacin diagramtica, es decir, icnica, de los hechos, tan esquemtica como sea posible, por lo comn una imagen visual, o una mezcla de visual y de muscular .Si es visual, ser o bien geomtrica, es decir, tal que relaciones espaciales familiares hagan las veces de relaciones expresadas en las premisas, o bien algebraica, donde las relaciones sean expresadas mediante objetos que se imaginan sometidos a ciertas reglas convencionales o experienciales. Se observa entonces ese diagrama construido para representar, intuitiva o semiintuitivamente, las relaciones expresadas de manera abstracta en las premisas y se presenta en la mente la hiptesis de que hay cierta relacin entre alguna de sus partes, o tal vez esa hiptesis ya se ha presentado en la mente. Para ponerla a prueba, se hacen diversos cambios. Es un procedimiento muy similar a la induccin, de la cual difiere mucho, sin embargo, en el sentido de que tiene que ver con un curso de experiencia, sino con la cuestin de saber si cierto estado de cosas puede ser imaginado o no. Ahora bien, dado que la hiptesis implica que solo un tipo muy limitado de condiciones puede afectar el resultado, la experimentacin necesaria puede realizarse muy rpidamente, y se ve que la conclusin est obligada a ser verdadera por las condiciones mismas de la construccin de ese diagrama (CP 2:778).

Por consiguiente, Peirce no solamente renueva la concepcin de la induccin, sino tambin la de la deduccin. Al fin de cuentas, nos invita a repensar la teora del conocimiento, pero con una mentalidad muy distinta de la del positivismo nominalista (Deladalle, 181).

66

CONCLUSIONES

1. Peirce efecta una reflexin histrica epistemolgica de la naturaleza de la lgica y la define, aunque esta no ha sido reconocida incluso por los especialistas en filosofa de la lgica. 2. La variedad del trabajo de Peirce responda al propsito de distinguir los tipos de semiosis, o funciones del signo, y a partir de ellas hacer el estudio ms completo posible de las argumentaciones en particular y de sus funciones en las matemticas y en las ciencias. 3. Si una semiosis es una inferencia, no es exclusivamente un objeto de anlisis formal. 4. Todo pensamiento se realiza en signos y, a su vez, todo razonamiento consiste en una iferencia lgica que tiene como finalidad la adquisicin de creencias que conlleva la creacin de nuevos hbitos, ya sean estos epistmicos o de accin. De este modo, su lgica es, en buena medida, una teora de la investigacin en la que no es extrao introducir consideraciones psicolgicas, sociales e incluso ticas. 5. La lgica, en sentido amplio, no es otra cosa que la teora general de los signos a la que l siguiendo a Locke llama semitica. Esta teora incluye tres ramas: la gramtica especulativa, la lgica crtica (la lgica en sentido estricto) y la retrica especulativa. Esta divisin tripartita se basa en la definicin de Peirce del signo como algo que representa para alguien algo en algn respecto o capacidad, es decir, como algo que requiere para su definicin una relacin polidica. La lgica es una semitica porque su objetivo medular es dar cuenta del signo posible. 6. El descubrimiento sencillo, y el ms importante a la vez, fue lo que l denominaba hiptesis primero, y abduccin despus; es un tipo de argumentacin diferente tanto de la deduccin como de la induccin, e indispensable tanto en las matemticas como en las ciencias. 7. Todo pensamiento es diagramtico, ergo tiene un carcter icnico cuya estructura sera analizada por la lgica.

66

67

BIBLIOGRAFIA

AGAZZI, Evandro. La lgica simblica. Barcelona: Editorial Herder, 1986. ALBERTO de Sajonia. Perutilis lgica o lgica muy til (o utilsima). Mxico: Universidad Autnoma de Mxico, 1988. ALCHOURRN, Carlos, (ed.). Enciclopedia Iberoamericana de Filosofa. Vol.7 Lgica. Madrid: Editorial Trotta, 1995. ALISEDA, Atocha.Abduccin y pragmaticismo en Charles S. Peirce en Samuel Cabanchik, et al.(comps.). El giro pragmtico en la filosofa. Barcelona: Editorial Gedisa, 2003. ARISTTELES. Retrica. Madrid: Editorial Gredos, 1990. Tratados de Lgica. (rganon), vols. I y II. Madrid: Editorial Gredos, 1995. ARNAULD, Antoine y Pierre NICOLE. La lgica o arte del pensar. Madrid: Alfaguara, 1987. BERTUCCELLI, Marcela. Qu es la pragmtica. Barcelona: Ediciones Paids Ibrica, 1996. BEUCHOT, Mauricio. Estudios sobre Peirce y la escolstica. Pamplona: Cuadernos de Anuario Filosfico, 2002. BOBENRIETH, Andrs. Inconsistencias por qu no? Bogot: Tercer Mundo Editores, 1996. BOCHENSKI, I.M. Ancient Formal Logic. msterdam: North Holland, 1963. Los mtodos actuales del pensamiento. Madrid: Ediciones Rialp, 1957. Historia de la Lgica Formal. Madrid: Editorial Gredos, 1966. BOOLOS, George. Logic, Logic, and Logic. Cambridge, Massachusetts: Harvard University Press, 1998. CARROLL, Lewis. El juego de la lgica. Madrid: Alianza Editorial, 1996. CASTAARES, Wenceslao. La semitica de C.S. Peirce y la tradicin lgica. 4 de abril de 2005, <http://wwwunav.es/gep/ArticulosOnLineEspaol.html. COPI, Irving y Carl COHEN. Introduccin a la Lgica. Mxico: Limusa, 1997. DEAO, Alfredo. Las concepciones de la lgica. Madrid: Taurus, 1980.
67

68

DELADALLE, Grard. Leer a Peirce hoy. Barcelona: Editorial Gedisa, 1996. DEWEY, John. Lgica: Teora de la investigacin. Mxico: Fondo de Cultura Econmica,1950. DEZ, Amparo. Introduccin a la Filosofa de la Lgica. Madrid: Universidad Nacional de Educacin a Distancia, 2005. ECO, Umberto. Los lmites de la interpretacin. Barcelona: Ediciones Lumen, 1992. Tratado de Semitica General. Barcelona: Ediciones Lumen, 2000. ENRQUEZ, Federico. Para la historia de la lgica. Los principios y orden de la ciencia en el concepto de los pensadores matemticos. Buenos Aires: Espasa-Calpe, 1949. FABBRI, Paolo. El giro semitico. Barcelona: Editorial Gedisa, 2000. FERRATER, Jos. Qu es la Lgica. Buenos Aires: Editorial Columba, 1965. FLAMENT, Claude. Teora de grafos y estructuras de grupo. Madrid: Editorial Tecnos, 1972. FRPOLLI, Mara. Filosofa de la Lgica. Madrid: Editorial Tecnos, 2007. GORTARI, Eli de. Lgica General. Mxico: Editorial Grijalbo, 1971. GUTMANOVA, Alexandra. Lgica. Mosc: Progreso, 1989. HAACK, Susan. Filosofa de las lgicas. Madrid: Ediciones Ctedra, 1982. Dos falibilistas en bsqueda de la verdad, 27 de noviembre del 2006, 14:00h. <http://www. unav.es/gep/AF69/AF69Haack.html. HIERRO, Jos. Principios de filosofa del lenguaje. Madrid: Alianza Editorial, 1986. HINTIKKA, Jaakko. El lugar de C.S. Peirce en la historia de la teora lgica en El viaje filosfico ms largo. De Aristteles a Virginia Woolf. Barcelona: Editorial Gedisa, 1998. HOOKWAY, Christopher. Peirce. London: Routledge and Kegan Paul, 1992. HUNTER, Geoffrey. Metalgica. Introduccin a la metateora de la lgica clsica de primer orden. Madrid: Paraninfo, 1981.

69

HUSSERL, Edmund. Investigaciones lgicas. Madrid: Revista de Occidente, 1967. KANT, Immanuel. Tratado de lgica. Buenos Aires: Araujo, 1938. Crtica de la razn pura. Madrid: Alfaguara, 2000. KNEALE, W. y M. KNEALE. El desarrollo de la lgica. Madrid: Tecnos, 1972. KNELLER, George. La lgica y el lenguaje en la educacin. Buenos Aires: El Ateneo, 1969. LAKOFF, George y Mark JOHNSON. Metforas de la vida cotidiana. Madrid: Ediciones Ctedra, 1995. LOCKE, John. Ensayo sobre el entendimiento humano. Madrid: Aguilar, 1961. MILL, John Stuart. A System of Logic. London: Routledge and Sons, 1843. MIR QUESADA, Francisco. Lgica. Lima: Biblioteca de la Sociedad Peruana de Filosofa, 1946. MURPHEY, Murray. The Development of Peirces Philosophy. Indianapolis: Hackett, 1993. NIDDITCH, P.H. El desarrollo de la lgica matemtica. Madrid: Ctedra Coleccin Teorema, 1995. OOSTRA, Arnold.Acercamiento lgico a Peirce en Boletn de Matemticas, Nueva Serie, volumen VII, N 2, 2000, 12 de setiembre de 2009. 14:00h. <http://wwwunav.es/gep/ArticulosOnLineEspaol.html. PASSMORE, John. Nuevos desarrollos en el campo de la lgica en 100 aos de filosofa. Madrid: Alianza Universidad, 1981. PEIRCE, Charles S. Collected Papers of Charles Sanders Peirce, vols.1-8, C. Harsthorne, P. Weiss y A. W. Burks, (eds.) Cambrige, Massachusetts: Harvard University Press, 1931-1958. Writings of Charles S. Peirce: a Chronological Edition, vols. 1-6, M. H. Fisch et. al. (eds.).Bloomington: Indiana University Press, 1982-2000. Chance love and logic: philosophical essays. London: Kegan Paul, Trench, Trubner & C. Ltd., 1923. La ciencia de la semitica. Buenos Aires: Ediciones Nueva Visin, 1974. Deduccin, induccin e hiptesis. Buenos Aires: Aguilar, 1978. Obra lgico- semitica. Madrid: Taurus, 1987. El hombre, un signo. Barcelona: Crtica, 1988. Escritos lgicos. Madrid: Alianza Editorial, 1988.

70

PISCOYA, Luis. Lgica General. Lima: Fondo Editorial de la Universidad Nacional Mayor de San Marcos, 2007. QUESADA, Daniel. La lgica y su filosofa. Barcelona: Editorial Barcanova, 1985. QUEZADA, scar. El concepto-signo natural en Ockham. Lima: Fondo Editorial de la Universidad Nacional Mayor de San Marcos, 2002. QUINE, Willard V. Filosofa de la lgica. Madrid: Alianza Editorial, 1973. Los mtodos de la lgica. Barcelona: Planeta-Agostini, 1993. SANGUINETI, Juan. Lgica. Pamplona: Ediciones Universidad de Navarra, 2002. SANTO TOMS, Juan de. Sobre la naturaleza de la lgica. Mxico: Universidad Autnoma de Mxico, 1994. SEBEOK, Thomas. Signos: una introduccin a la semitica. Barcelona: Editorial Paids, 1996. SEBEOK, Thomas y Jean UMIKER-SEBEOK. Sherlock Holmes y Charles S. Peirce: El mtodo de la investigacin. Barcelona: Editorial Paids, 1994. SEIFFERT, Helmut. Introduccin a la lgica. Barcelona: Herder, 1977. SORENSEN, Roy. Breve historia de la paradoja. La filosofa y los laberintos de la mente. Barcelona: Tusquets Editores, 2007. STAHL, Gerald. Introduccin a la lgica simblica. Santiago de Chile: Editorial Universitaria, 1962. STEBBING, Susan. Introduccin moderna a la lgica. Mxico: Universidad Nacional Autnoma de Mxico, 1965. STRAWSON P. F. Introduccin a una teora de la lgica. Buenos Aires: Editorial Nova, 1969. TUGENDHAT, Ernst y Ursula WOLF. Propedutica lgica-semntica. Barcelona: Anthropos Editorial, 1997. VAZ FERREIRA, Carlos. Lgica viva. Buenos Aires: Editorial Losada, 1962. ZALAMEA, Fernando. Signos tridicos. Nueve estudios de caso Latinoamericanos en el cruce matemticas - esttica - lgica. Bogot: Premio de Ensayo Literario Hispanoamericano Lya Kostakowsky, 2000.