Lgica de los estoicos (Benson Mates) Durante ms de 2000 aos predominio lgica de Aristteles. C.

.S Peirce observ que los antiguos ab!an tenido notica de la "implicacin necesaria#. $u%asie&ic' seal que no slo la implicacin material( sino muc os otros conceptos ) m*todos importantes de la lgica moderna ab!an sido anticipados en los escritos de los primeros estoicos. $a lgica estoica ab!a di+erido de la lgica aristot*lica( la di+erencia radica en dos circunstancias, $a lgica estoica +ue una lgica de proposiciones mientras que la lgica aristot*lica +ue una lgica de clases -los valores de las variables que aparecen en las +rmulas estoicas son proposiciones -los sustitutos son enunciados. mientras que los valores de las variables aristot*licas son clases no vac!as -los sustitutos son los t*rminos que corresponden a esas clases.. $a lgica estoica teora de esquemas de inferencia mientras que lgica arist. teor!a de matrices lgicamente verdaderas. $u%asie&ic' mostr que los estoicos, ab!an usado de+iniciones veritativo/+uncionales para todas las conectivas proposicionales comunes. distingu!an claramente los argumentos delas proposiciones condicionales correspondientes ten!an una especie de clculo de esquemas de in+erencia0 establec!an como vlidos sin prueba 1 esquemas de in+erencia ) derivaban de ellos otros esquemas vlidos. 2enson 3ates 4 P5678S 39S A $AS C86C$5S:86;S D; $5<AS:;=:C>, ?. $os estoicos( en su teor!a semntica emplearon distinciones mu) similares a las de @rege o Carnap -como sentido ) denotacin e intencin ) eAtensin.. $a lgica estoica es una lgica de proposiciones ) no de enunciados. 2. Controversia estoica sobre las condiciones de B de las proposiciones "si...entonces# se an equivocado al poner que la "implicacin diodrica# era una versin antigua de la implicacion estricta. Crisipo su tipo de implicacin era "implicacin estricta#. C. SemenDan'a con el llamado "principio de condicionali'acin# ) con el "teorema de deduccin# de uno de los principios estoicos un argumento es vlido, si y slo si la conjuncin de las premisas y cuyo consecuente es la conclusin es lgicamente verdadera. 4. $os estoicos sostuvieron que su sistema de lgica proposicional era completo -en el sentido de que todo argumento vlido pod!a ser reducido a una serie de argumentos de 1 tipos bsicos.. Autores estoicos que veremos, >enn +undador de la escuela +ilos+ica estoica. :n+luencia escuelas socrticas, c!nicos -doctrina moral. ) megricos -lgica.. 3egricos @undador, ;uclides. Disc!pulo ms +amoso, >enn Diodoro Crono ) @iln importantes para la lgica estoica -opiniones acerca de las condiciones de verdad de los condicionales.. Diodoro Crono Dos de+iniciones, ?. una proposicin es posible( si ) slo si es verdadera o ser verdadera. 2. una proposicin condicional es verdadera( si ) slo si ni es ni +ue posible que el antecedente sea -ni +uera. verdadero ) el consecuente sea -ni +uera. +also. -@/B B pero B/

@ @.. Discuti con su disc!pulo @iln acerca de las condiciones de verdad de las proposiciones ipot*ticas. @iln ;n desacuerdo con Diodoro en lo concerniente a, la naturale'a de la posibilidad, pensaba que un peda'o de madera en el +ondo del mar debe considerarse combustible aunque no a)a de arder nunca. el criterio de la verdad de las proposiciones condicionales, daba la de+inicin moderna de la tabla de la verdad, un condicional es falso, si tiene el antecedente verdadero y el consiguiente falso; en los otros tres casos es verdadero. >enn ;scritos perdidos. Cleantes Crisipo. Crisipo, considerado el segundo +undador del estoicismo ) el lgico ms importante de los tiempos antiguos. ;scribi sobre casi todos los aspectos importantes de la lgica proposicional. Se le dedic la organi'acin +inal de la lgica estoica como un clculo. Se menciona su nombre cuando se citan los 1 argumentos bsicos indemostrados.

FUENTES E L! L"#$%! EST&$%! Prcticamente se an perdido todos( por lo que dependemos de +uentes secundarias. SeAto ;mp!rico el Enico que parece aber entendido algo de los estoicos. Problema me'cla entre las teor!as aristot*licas ) las estoicas.

%!'(TUL& $$) Signos* Sentido + enotacin, F;S53;6 Dos secciones, ?. Distincin estoica entre el signo( el signi+icado (lektn) ) el obDeto +!sico al que se re+iere el signo. 2. Comparacin entre las teor!as de los estoicos ) las teor!as modernas de @rege ) Carnap, SemeDan'as, ":ntensin# de las eApresiones lingG!sticas -Carnap. Di+erencias, ?. los estoicos restringieron la denotacin de las eApresiones a cuerpos ) 2. no consideraron los valores de verdad como denotaciones de los enunciados. ;HP8S:C:I6 D; $A 7;8FJA ;S78:CA SegEn los estoicos a) C cosas en coneAin, ?. Signi+icante o signo es el sonido 2. $o que eAiste obDeto que eAiste eternamente. -ambas cosas son cuerpos u obDetos +!sicos. C. Signi+icado el ente mismo indicado o revelado por el sonido ) que apre endemos en nuestro pensamiento. ;n terminos estoicos ablaremos del signi+icado como el lektn -lo que est signi+icado o mentado.. S-neca . 8bserva que a) una gran di+erencia entre lo que miento -el lektn. ) aquello acerca de lo cual ablo -el cuerpo.. igenes . ablar es di+erente de articular( )a que slo se articulan sonidos ) en cambio se abla de elementos del discurso( los cuales son los lekt. %risipo divid!a la lgica en dos partes, ?. 5na que trataba de los signos. 2. 8tra que se ocupaba de los signi+icados. AEn as!( a) muc a con+usin, !mnonio . el lektn de los estoicos es una entidad intermedia entre el pensamiento ) la cosa Simplicio . los lekt ) los pensamientos son id*nticos. Descripcin de Se/to Emprico de la teor!a estoica de los signos, 6os dice que el signo ser!a un obDeto material por contraste con el signi+icado. $as proposiciones las de+ine como una especie de lektn ) por tanto no son obDetos +!sicos. Por lo que no presenta a los signos como proposiciones. Divide los signos en, ?. Conmemorativos 2. :ndicativos proposiciones antecedentes en ciertos tipos de condicionales verdaderos. $o que implicar!a que +ueran este tipo de signos proposiciones. No s cmo explicar esta

dificultad. (p,01), Distincin estoica de las seales, ?. Conmemorativas son aquellas en las que la palabra nos ace recordar lo que +ue observado cuando el obDeto signi+icado no est patente. -;Demplo, emos observado muc as veces el umo ) el +uego en coneAin( por tanto( cuando vemos umo( )a lo asociamos al +uego.. 5so comEn. 2. :ndicativas mienta lo que es indicativo de algo no evidente. $a seal indicativa Dams puede observarse en coneAin con el obDeto signi+icado. -;Demplo, el alma( la cual nunca llega a nuestra percepcin de una manera clara.. 5so especial. ;Aiste cierta controversia a la ora de considerar si realmente las seales indicativas son obDetos +!sicos o no. SeAto acaba re+utando la opinin estoica que sostiene que las seales indicativas no son obDetos +!sicos sino ms bien lekt, es decir( concretamente proposiciones, pero a la ve' sostiene que "puesto ue todas las proposiciones son cosas significadas, y no cosas ue significan, se sigue ue la se!al no ser una proposicin. " %&NT2! $%%$"N3 Dentro de la propia escuela estoica eAiste esta controversia sobre si eAist!an los lekt o no. Sabemos que la opinin meta+!sica que prevaleci entre los estoicos pansomatismo, opinin de que slo los cuerpos eAisten. Por tanto( el combate sobre la eAistencia de los lekt es interminable.

De+inicin estoica del lektn " aquello que subsiste en con+ormidad con una representacin racional. Fepresentacin racional aquella en que lo que est representado puede ser transmitido por el discurso. -Siguen las contradicciones), Se/to + igenes . 6os dicen que dividen los lekt en dos especies, #. $ekt de+icientes aquellos cu)a enunciacin es incompleta -;Demplo, ";scribe# K LM5:N6O. %. $ekt completos poseen una enunciacin completa. Fespecto a los lekt de+icientes se dividen en dos clases, - ificultades a la 4ora de 5uscar un t-rmino en la traduccin) ?. Predicado -) lektn de+iciente que se combina con un suDeto para +ormar una proposicin. 2. SuDeto -) t*rmino general para las entidades eApresadas por nombres de individuos o nombres de clases. Presentacin de la teor!a estoica de las categor!as, Problemas a la ora de encontrar +uentes +iables no suficiente in6estigacin,

;n comparacin con las ?0 categor!as aristot*licas( los estoicos solo tendrn 4( ms una "nocin suprema# -denominada como "el algo de+inido# - ): $as categor!as eran, ?. 2. C. 4. SuDeto o substrato Cualidad Pbito Felacin

-7odas las categor!as estaban relacionadas( la categor!a precedente est contenida en la que le sucede adems de estar determinada con ms precisin por *sta.. -no se 4an encontrado e7emplos en que se usen las cuatro categoras), 8) %omparacin con teoras modernas, 7eor!a de @rege basndose en el art!culo &entido y denotacin. Punto de vista de Carnap 'eaning and necessity. -Comparacin de la distincin de Carnap entre intensin ) eAtensin con la que i'o @rege de sentido ) denotacin.. ;ncontraremos dos serias de+iciencias de la teor!a estoica comparndola con las de @rege ) Carnap, ?. 6o se puede allar ningEn principio de intercambiabilidad en ninguno de los +ragmentos estoicos. 2. 6o a) distincin de los problemas que surgen en coneAin con tal principio. Slo poseemos( por tanto( los elementos esenciales de la teor!a estoica -no a) eDemplos de la aplicacin de sus principios a la solucin de problemas concretos.. Distincin estoica +undamental Signo( signi+icado ) obDeto eAterno. Corresponder!a con la distincin de @rege -Signo( sentido ) denotacin. ) Carnap -Designator( intension ) eAtension.. ;n lo que respecta al lektn -signi+icado.( Sinn -signo. e intension no parece estar tan claro. $ektn " signo que designa o mienta ) que captamos que eAiste en estrec a coneAin con nuestro entendimiento. Sinn e intension( segEn Carnap se re+ieren al signi+icado en un sentido estricto( como aquello que capta cuando entendemos una eApresin sin conocer los ec os. Sentido de un signo en @rege modo en que est dado lo que est relacionado con un signo. Distincin entre representacin ) sentido en @rege, Fepresentacin subDetiva ) privada Sentido obDetivo ) pEblico. es el lektn de cada expresin lo mismo que su sentido (ordinario)? $os estoicos creern que el lektn que corresponde a un nombre de individuo es una caracter!stica peculiar de un individuo. @rege ) Carnap di+erirn con los estoicos en este punto pero coincidirn con ellos al considerar que la intensin de un nombre de clase es una propiedad que pertenece a los individuos que son miembros de la clase.ipo de Superioridad del punto de vista moderno sobre el antiguo los estoicos a+irmaron rotundamente

que los obDetos denotados por todas las eApresiones son cuerpos( como tambi*n son cuerpos los signos. ;n cambio( no a) ninguna opinin meta+!sica para la semntica de @rege o Carnap. Por tanto( los estoicos abr!an necesitado alguna clase de teor!a de tipos )a que sin ella( su anlisis abr!a eAcluido las proposiciones acerca de proposiciones. -No tenemos indicios so5re %"M& trataron el pro5lema). Conclusin de nuestra comparacin del punto de vista estoico con modernos puntos de vista semnticos, Diremos que son notablemente semeDantes( sobretodo en, ?. acuerdo entre las tres teor!as acerca de los entes elegidos como intensiones de los diversos tipos de eApresiones 2. las tres opiniones a+irman que la intensin de una parte de un enunciado es una parte de la intensin del enunciado.

Como )a sabemos problemas +alta de datos