Breve siitesis de lgica deductiva tradicional

LOUlS COCTUR.%T

CO~~PENDI DE O SILOGISTICA
ITrsiducziori de C ~ m i o iG.iirii i Trciijiiio,

En: Carmen Garca Trevijano: El arte de la lgica. Tecnos

LOUiS C0LTLFV.T (1868-1914)

Lgico. miremtico. filsofo lingiiiira. fue ardiente defensor en Francia de la nueva Ig~ica matemtica de Ruiiell, de quien era buen mgo y particip acriiamente en el descubrimiento y publicacin de una pane sustancial de la abra lgica de Leibniz. a quien consideraba el 16gico ms importante desde los tiempos de i\rirtteles Counirat fue a u ~ tor de obrar de gran relevancia. como De l'infinie rnothmriqiie (1896) ) La Logrque de Leibtii; (1901). al final de la cual re encuenua inserto. como Apendice pnmero, el Compendio de iilogiitica reproducido en este Anexo El cultiia de la lgica y del lenguqe lleiaron a Coururat a recorrer una senda ()a transitada par Leibniz) que deiembocda en la creacin de Ido un lenpuaje internacional coniuuido segn pnncipior Ioicoi i can un \ocabulano romado de las lenouaies eurooeos . exirrentes. Par falta de medios econmicai. esre pro)ecto no pudo prosperar ) sucumbi finalmente anre el xito de su mucho mas conocido nval. el lenD .

-~

LA PROPOSICI~NCATEG~RICA

Las ideas que considera la lgica cl6sica son los conceptos generales o abstiactos. o conceptos d e clases. de los que cada una representa una clase de objetor a individuos que tienen en comn un conjunto de cualidades, caracteres o propiedades diitinri\as El canjunro de esas caracteres conititu)e la -compreniinr. el conjunto d e objetos o indiiiduai que poseen esos caracteres constituye la -extensin. del concepto Se admite como caso panicular (caso limite) el concepto de un indiiiduo Un <<juicio,> categrico es la afirmacin de una relacin entre dos con^ ceptos mediante la cpula es A es B Esta relacin puede ser cancebida de das maneras desde el punta de vista de la comprensin este juicio significa oue el conceato A suiero) aoiee el eatnbuto- o oredicado B.

se B). lo cual quiere decir que la .extensin del concepto A eit cante nida en la eexteniinn del concepto B Es eiidente que las connotaciones de extensin y de comprensin de los dos conceptos san de alguna manera inversas la una con la otra Se puede decir que desde el punto de vista d e la extensin el sujeto eit contenido en el predicado, mientras que desde el d e la comprensin el sujeto contiene al predicado Dicho en otras palabras, el predicado es a la ves ms general y ms abstracto que el s.ujero

Loa juicios se ordenan en cuatro clases. que se distinguen tanto por la -cualidad coma por la cantidadi, Segn la -cualidad>i. los juicios ion a f m a t i i o i a negativos, segn la canridad, son unnersales o paniculares Un juicio uniiersal es aquel cuyo sujeto est romado en toda su extensin (toda A todos las A) un juicio pmicular es aquel cuyo sujeto est tomado slo en una pane de su extensin (algunos A) Se distinguen tambiin los ~ u i c i o sasingulares~.esta es. aquellas cuko sujeto es un individua. pero deide el punto de i i s m de la cantidad se los puede asimilar a

los juicios uniiersales puesto que el iujera esta tomado siempre en rada su exrenrin (reducido en esros casos a un soloindividuo) De la combinacin de estas dos dicotomias resulta la distincin enae cuatro clases de juicios, a los que se designa por lar cuatro pnmeias >ocales, segn las siguientes versos mnemarcnicor'
Asserir A. negar E isemon gsnemliter anibo, Arieiii i negnt O, sedpanicuiorirer ambo

Afirma A, niega E. pero ambas dc modo general. Afirma 1. niega 0,pero ambas p a n i c u l m e n t e

Y stos son loa rlpos de esas cuatro especies de juicios (donde el ro estdrepieseatadnpor S y el predicado par P)
1 'Juicio sunirersal afirmativa (Ai 2 ' Juicio -universal neeatiio (El 3.0 ~ u i c i o q a i r i c u ~ a aiirmativon r (1). 4'Juicio paniculu negativo (0)

iuje-

Todo S es P Ninen S es P

S es P Algn S no e$ P

Estas cuatro especies de juicios (supuesto que tengan el mismo iuleto ! el m i m o predicado) mantienen entre si lar relaciones definidas por la

figura.

COMPENDIO DE SUOGISTIC.4

207

LA INFERENCIA INMEDIATA

Estas relaciones de *oposicinr dan lugar a inferencias o deducciones inmediatas., es decir, que, dada la verdad o la falsedad de una de las cuatro proposiciones. se puede deducir inmediatamente. (sin intemediarias) la verdad o la falsedad de alguna de las atras. en virtud de las reglas siguientes
oa es falsa, si una es falsa, la otra es verdadera

1 'Regla de las contradictorias (A y O, E e 1) Si una es verdadera. la En atras palabras das

ia. la universal es falsa (no ha) inferencia posible en los owor cbcos) 3 ' Regla de las conanai (A y E, las dos umi,ersales) Dos proposiciones contranas no pueden ser verdaderas a la vez, pera s pueden ser falsas a un mismo tiempo Efectivamente si A er ierdadera. O es falsa (oor la reela de lar con^ tradictonas), par snto. E es falns (por la regla de las iubalternai) Pero, si A es falsa. O es verdadera. y de aqu no se puede concluir nada respecto a E.es decir. que E puede ser verdadera o falsa 4 ' Regla de lai subconvanas (1 ) O. 1 s dos pmiculares) Dos prOpoiIcionei iubcananhtpueden ser ierdaderas a la \ e l , pero no falsas a la vez Porque. si 1 e i verdadera E as falsa, y de aqu no puede concluirse nada respecto de 0. pero. si 1 es falsa. E es verdadera y, en consecuencia.

CONVERSI~N DE PROPOSICIONES

Hay todava un segundo mtodo de deduccin inmediata la conv ver^ s i j n ~Conienr , una proposicin es deducir otra prapoiicin equiialentc a ella (es decir igualmente verdadera o igualmente falsa) que tenga por predicado el sujeto ) por sujeto el predicada de la primera Las reglar de la conversin no pueden serlustificadas mbs que desde el piinro de iista de la extensin del predicado. Se ha senalado que la cantidad de una proposicin corresponde a la extensin del sUjeI0. de manera analoga. la extensin del predicado corresponde a la cualidad de la proposicin. en vmud de la regla siguiente En una proposicin negativa. el predicado es auniverialn, en una proponici6n ~afimiatiia~, es *panicular

208

EL ARTE DE L A LOGICA

En efecto. en una arooorici6n neeatira se excluve al mieto (tomado

decir, es idntica a una parte de esa extensin No re considera. por tanto. ms que una pane (indetemunada) de la extensin del predicado. y es $0lamente por esta pane por lo que figura en el juicio Dicho en pocas palabras roda comersin supone L a cuantificacin del predicado: lo cual es coherente, . pueiro que debe ser . ese predicada . transformado en un sujeto dorado de una cantidad- detemunada 1 ' Cowenidn simple E e 1 se comienen iimplemente. es decir. par simple intercambio del sujeto y el predicado Pingn S es P equivale a. Uingn P es S
Algn S es P

equivale a Algn P es S

Porque en E el predicado es uniierial. como el iulero. en 1 es panicular. como el sujero Se puede decir que E exclu)e arodo S de %todoPn: por ranto inieriaminre. atoda PB% de .<todo S. y que 1 identifica <<algn S con algn P. por tanto inieriamente. algn P con a l g n S 2 ~ Conierridn parcial (por accidente o por Iimlacin) A. por tenrr su suleto universal 1 su predicado particular no puede conenine m& que ..parcialrnenten. por limitacin de la extensin del predicada. A id en^ rifica atodo S. con algn P. por ranto no se puede dcducir de ella m& que la pmicular afimari\a (1).
Algn P e$ S
Puede obseri,arse que la conversin parcial de A equii'ale a la rubalternacion seguida de una conversin simple en efecto, de A se deduce la subalterna 1

Algn S es P y de ella se deduce, por conieriin simple

Algn P es S

De este modo podremos convenir A. E e 1, O no se deja convertir (al menos d e manera regular)

Pasemos a la deduccin mediata. esto es, a la que deduce una proposicin llamada conclusin a panir d e das o ms proposiciones dadas (supuestas ierdaderai) llamadas premsas El caso ms simple es aquel en el que no hay mas que dos premias. el razonamiento i e llama entances un iilogiimoii. El silogismo consiste en demostrar una conclurin (generalmente prevista a propuesta) mediante don premias que ponen reapectiiamente los dos trminos d e la conclusin en relacin con un tercer t m n o auxiliar. llamada atmuno medios A1 sujeto de la conclusin se le llama errmino menor-. y al predicado d m i n o mayar. De acuerdo con esto se llama premisa menor a la que contiene el sujeto de la conclusin. y premia mayor a la que contiene el pred~cado Es evidente que el rermino media debe aparecer en cada una d e las premias y. por el conrrario, no puede figurar e n la conclusin. Esras definiciones aparecen resumidas en las dos pnmeras reglas del silogismo

6.

LAS REGLAS DEL SUOGISh50

1

11

Temzn,,s esto rnpler: tnedius majorqiis minorque Hay (res tmunoi medio, mayor y menor ,Veqiioquam niediuni captar conc!usro fair es!

Es necesario que el medio no aparezca en la conclurin La tercera regla se enuncia 111 iarzui hos quam pinemissar concluiio noni iulr. La conclusin no puede ser mas amplia que las premias La conclusin no puede admitir que sus dos t m n o s tengan una extensin suwnor a la que tienen en las Dremsas la conclusin ea blida slo en la medida en que lo son las premias. y. si un tmuno es parricular en ellas. no puede ser universal en ia conclusin sin que sta sobrepse a las premsas, con lo que delaria de ser una consecuencia de ellas (dicho muy brevemente no se ouede concluir Tdos a aann de Alsunos)

es decir. si figurara en las dos premias tomado solamente en una pme de su exreniin, nada permitida afirmar que esas dos panes (indetemna das) san las mismas (incluso aunque sea parcialmente) y, por tanto. la identidad del trmino medio queda's incierta, pera esta identidad es la condicin indispensable de la validez del silogismo Un silogismo que violara esta regla seria un silogismo can cuaho tmunoi. y por tanto no conclusivo ooraue de don oremiras aue no tienen ninen tmuno en

como el t6rmino medio debe ser tomado una vez universalmente (de acuerdo con la regla IV), tenemos un tmuno universal de rnhi que no contiene la conclusin Para la aplicacin de erra reglacomiene observar que
A

E
1

contiene contiene contiene contiene

1 2 0
l

t m n o universal (S). trminos universales (S y P). trminos universales. r m n o unii,ersal (P)

Las cuatro reglas precedentes se refieren a los r r m n o i del silogismo Las cuatro que siguen son relativas a las -proposiciones que forman el silagisrno V. Arnbae nfiimanres nequeiznt generare negatirem Dos afirmativas no pueden generar una negativa. Efectivamente. del hecho de que los dos temunoi extremos estn un* dos. e, decir. parcialmente identificados, con el t 6 m n o medio. no se puede concluir que estn separados o que se excluyan (total o parcialmente) Utraqize si pineniiiia neget, riii inde sequzrur VI Si las dos premias son negatirai, nada se sigue de ellu Del hecho de que 10% dos trminos ensemoi estn reparados o excluidos del t 6 m n o media, no puede concluirse nada relauvo a la relacin de los externos. estar externos pueden indiferentemente estar unidos o separados VU Pejonm i e q u i t u i iemper concluiio ponern La conclusin sigue siempre la parre peor. Siendo considerada la negativa coma infenor a la a h a u i a , ) la panicular a la uniiersal. la conclusin uene siempre la cualidad y la cantidad inierior que posean las dos premsaz La demoiuacin de esta regla er doble, puesto que la regla se refiere tanta alacualidad cama a la cantidad

1 'Desde el punto de vista de la cualidad, si hay una premisa negatiba (y, segn laregla V I no puede haber ms que una). el t m n o medio esta unido a uno de los exvemos y separado del ovo, no puede. por tanto, unirlas. sino separarlos 2' Desde el lado de la cantidad si hav una oremsa aanicular. la conclusin no puede ser universal Supongamos que esa conclusin fuera uniierial afirmativa las das p r e m s a i tenddan que ser afirmativas (en vmud de la pnmera p u t e de esta regla) y adema$ contener dos trminos universales, puesto que la conclusin contiene uno. por tanto. esas premisas deberan ser las dos universales (cuyos predicados seran pmiculares) Supongamos ahora que la conclusin es universal negatiia. las dos premsas debeilan contener tres t e m n o s uniienalei. a una, una sola. ser negativa (tendr su predicado universal), por tanto, las dos sujetos debern ser universales, a sea, que las das premisai sern universales Asi, una conclusin universal no puede provenir jams de una p r e m i a panicular. y mucho menos de dos. VIU Ni1 sequirur gerninis epanicuionbui unquam Nada se siguelams de un par de paniculares Es evidente que un silogismo no puede rener nunca dos premisai particulares En efecto. si las dos premsas fueran afirmarivai, todos sus trm n o i seran pmicularei, lo que ea contrano a la regla VI. Si una de ellas fuera negativa, la conclusin deberia serlo tambin (en vinud de la regla V i i j y. por tanto. deberia haber dos t 6 m n o i universales en las premisas Pera entonces es uniiersal uno solo de los predicados. puesto que no puede haber ms de una premisa negativa. en este caso uno de las SUJetOi tiene que ser tambin negativo, y ello implica que una de las premsas es universal Podr observarse oue las ocho reelaa han .oodido ser demosEadas con u ngor matemuco graciai a la consideracin de la extensin y concretamente a la cuanuficacin implicita del predicado que de ella resulta

, .

-FiGCRAS Y MODOS DEL SILOGISMO

Para d e t e m n a r los modos concluyentei del silogismo, es preciso tener en cuenta la posicrn que ocupa el t m n o medio en las dos premisa$: es esta posicin la que pemute distinguir entre las distintas &uras Hay tantas figuras como disposiciones diierentes del tdrmino media. es decir, acuavo. Estas disposiciones estn resumidas en las siguientes >erras mnem~ICOS

Sub prae, turnpraeprae. rum sub sub. denique proe sub Subprae. despus piaeprae. despues sub sub. y finalmenteproe sub

Sub prae significa que, en la 1 figura. el termino medio es sujeto ~. (sub~ecium)en la mayor y predicado (proedicaturn) en la menor. pros piar significa que en la 2.' figura. el t6mina medio es predicado en las dos premisas. sub sub significa que, en la 3 " figura, el t m n o medio es iu)eto en l a dos premisas, y prne sub significa que, en la 4 ' figura. el temilno medio es predicado en la mayor y sujeto en la menor (el casa inverso de lo que ocurre en la 1 'figura) Representaremos cada figura (siguiendo el ejemplo de Kant) por un esquema de tres lneas, donde la pnmera represenm6 la premisa mayor la segunda la menor, y la tercera la conclusin. el sujeto de cada una de ellas e s t a 6 colocado a la izquierda y el predicado a la derecha El t-no menor ser6 S. el medio M. y el mayor P Conviene observar que las ocho reglas del silogismo son independienter tanto por su enunciada como por su demoiuacin. del lugar que ocupe el trmino medio. y que, por tanto. son coniunei a roda3 las figuras Qmaa a establecer las reglas especiales de cada figura, teniendo en cuenta el lugar del t m n o medio.
1 "Figura bf

P
M

1 La menor es afirmativa. Si fuera negariba. la conclusin debetia ser negativa. y la mayor aiumatiia Luego el tdmuno ma)ar seria universal en la conclusin y panicular en la mayar. lo que es conmano a la regla 111 2 La mayor ci universal Parque. coma la menor es afirmativa, su predicado M es particular. M debe por tanto. ser uniiersal en la mayor. y. como en ella hace de sujeto, la premisa tiene que ser universal Para obtener los modos concluyentes de la 1 ' figura. basta por tanto con combinar las ma)ores universales (A. E) con las menores afirmativas (4,1) y deteminar la conclusin que compom cada combinacin de premisas, en virtud de las reglas generales Mayor A. menor A, conclusin A Mayar A. menor 1. conclusin 1 Mayor E, menor A, conclusin E Mayar E, menor 1 conclusin O

Obteniendo asi los cuatro modos designados por las palabras artificiales (donde las vocales representan las tres proposiciones de un mismo moda) Barbara, Duii. Celarent. Ferio ObiervaciOn Las premiias A y A comportan tambien la conclusin 1 , y las premisas E y A, l a conclusin 0. lo cual es evidente. puesto que esras concluirones son las subalternas de las conclusiones universales A y E. sa es la razn de que no se las considere como generadaiai de modos dtstintoi

1 Lna de las premisa5 es negativa

El trmino medio. aue e i dos veces aredicada. debe ser tomada una vez universalmente, lo cual slo puede hacerse cuando una de las premias sea negati>a De lo cual se sigue que la conclusin sera tambin negatira

2 La mayor es universal En efecto. al ser la conclusin negatiia. el trmino mayor esta tomado uniierialmente y debe. par tanto, ser unneraal en la mayor. pcro. como en ella hace d e sujeta, esa premtiadebe ser universal Para obtener los modos concluyentes de la 2 ~ fieurs, basta con camb i n u la mayor A con las nienores anegativas- E y 0, ) la mayar E con las menores afirmativas>sA e 1.
Mayor A. menor E, conclusin E Mayar A. menor 0 , conclusin O Mayor E, menor A. concluiin E Mayor E. menor 1. conclusin O para obtener los cuatro modos denominados
Cameitrei, Baroco. Cesare, Feitino

3 'Figura

M M S

P S

1 La menor es afirmativa La m i m a demasuaci6n que para la regla 1 d e la 1 'figura 2 La conclusin es parriiular

214

EL ARTE DE LA L6GICA

Puesto que la menar es afirmativa. su predicado S esta tomado particularmente no puede. por tanto. ser mas que particular en la conclusin. lo cual significa que esla conclusin ha de ser particular Para obtener los modos concluyentes de la 3.Vgura. basta con tomar por mayor sucesivamente A. E, 1. O. y con combinar cada mayor con 1 s menores afimauias en la medida en que sean compatiblei, en v i m d de las reglas generales La conclusin no podr ser ms que 1 u O.

Mayar A, menor A, conclusin I Mayor A menar 1. concluri6n 1 Mayor E. menor A. conclusin O Mayor E. menor 1. conclusin O Mayor I menor A conclusin 1. Mayor O. menor A, conclusin O
Dando as los modos siguientes Darapri. Datirr Felapton. Fenson, Disarmi. Bocardo

4 ' Figura.

M S

M S P

1 Si la mayor er aiimatiia la menor es universal Porque el termino medio. siendo por hiptesis particular en la mayor. debed ser unnersal en la menor, lo cual obliga a que esta ltima proposicin sea universal 2 Si la menar es aiimativa, la conclusin es particular Pues. al ser el trmino menor predicado de la menor, es pairicular, por tanto debe ser rambi6n panicular en la conclusin, lo que hace de ella una proposicin particular 3 Si la conclusin es negatna. la mayor es universal. Porque, siendo el tamino mayor el predicado de la conclusin. es universal. luego es universal en la mayar, y como alli hace de sujeto, la propoiici6n es universal Para obtener todos las modos concluyentes de la 4'figura. baira con combinar suceiiiamente las mayores A, E, 1. O con las menores que sean compatibles con ellas en virtud de lar reglas generales y especiales Si la mayor es A, la menor no puede ser ms que A o E (regla 1) Si la menor es A la conclusin 1610 puede ser 1 M I Si la menar es E se puede obtener la conclusin E (la conclusin 0. subalterna de ella, no originaria un modo distinto) AEE

Si la mayor es E. la menor debe ser afirmativa, esta es. A a 1. y la conclusin particulai (por tanto, O) De aqu los dos modas. EA0 y E10 Si la mayor es 1 la menor debe ser universal Si sta es A. la conclusi6n es neceianamente 1 (IAI) Si es E. la conclusin ser negativa. y su predicado P ser universal Pero este predicado es el sqeto de la mayar y. par unto e5 pmcular Este modo (IU)) no ei concluyente Y, finalmente, la mayor no puede ser O porque entonces la conclusin se"= negauia, en cuyo caso la mayor debera ser universal No hay, por tanto, m& que cinco inodos concluyentes en la 4 * figura. que ion Bramantip. Camenei, Fesapa, Frerisan, Dimaris Resumiendo. hemos encontrado diecinueve modos, que enumeramos en el siguiente orden tradicional 1 Barbara. Celarent. Dwii. Ferio,
11. Ceawe, Cameitrei. Festino, Baraca, 111 Darapti. Disamis, Datisi. Felapton, Bocardo. Ferison.

N Bramantip. Carnenes. Dimaris. Fesapa. Fresison

8.
REDUCCIN DE SILOGISMOS

El propio metodo por el que han sido obtenidas esos diecinueve modos prueba que no puede haber otros modas vlidas Resta por probar que todos ellos lo ion Para esto, la lgica clsica empleaba el mdtodo dc areducc~nn de todos los modos a las de la 1.' figura. en efecto, Plrist6teles consideraba la l.' como la nica figura perfecta. porque en ella el ttmuno media es verdaderamente medio*, esto es. intermediario entre el menor y el mayar. Considerados como euidentes las cuatro modos de sta. los modos de las otras figuras quedarn juitificadoi si se les puede reducir a alguno de la l.' mediante uaniformacionei legitimas Y esas traniformacioner vienen precisamente indicadas por la camposici6n de las palabrai artificiales que designan cada una de los modos En pnmer lugar, cada moda eimperiecto,, se relaciona can el modo rperfecros. que tenga la misma inicial (B. C. D o F) A continuacin, las consonantes interiores del nombre de cada moda indican la manera de efectuar esta reduccin la letra - S significa que se debe canrertir -iimplemente la proposicin designada par la vocal que la preceda (.e a si,)).la letra p, que se la debe caniertir .parcialmente (la vocal es a,,); la letra -m significa que se deben permutar (mutare) las dos premisas

216

EL ARTE DE L A L ~ C I C A

El lector podr ejercitarse reduciendo. segn estas reglas, Cesare. Cameitres, Camenes- a Celarent, ~Darapti. Disamis. Datisi, Dimarisn a Dariis y Feitino, Felapton. Fenson. Ferapo. Fresiions a ~Ferio..
9

REDUCCIN 1-WIRECTA (O *REDuCCIN AL ABSURDO)

Quedan Baroco ( d i la 2 ' figura) 3 a B a c d o (de la 3 "1. que no se dejan reducir por este metodo a un modo de la 1 'Los dos se relacionan i o n Barbaras mediante la reduccin al absurdo. que consiste en tomar como premisai a la premisa A y a la contradictoria de la conclus~n, y deducir de ellas la contradictoria de la otra premisa. En efecto. si un modo es concluyente, esto es, 31 la ierdad de dos premias entraa necesariamente la verdad de la conclusin. la falsedad de la cancluii6n entraa necesariamente la falsedad de una de las premsas. de suerte que si se admite una de ellas como verdadera, se debe poder deducir la falsedad de la otra Efecruemos la reduccin de Baraca

Barocoz

Todo P es M Algn S m es M Algn S no es P Todo P es M Todo S es P Tadv S ca 41

Kegacin de la h-egacin de la

Mayor. conclusin menor

y obtenemos un silogismo en Barbaras (donde P es el r d m n o medio) Puesto que esre silogisrna es concluyente, el moda Barocon tambin lo es Reduzcamos igualmente Bocarda Bacardo~ Algn M no es P Todo M er S Algn S no es P Negacin de la conclusin Menor mayor Todo S es P Todo M es S Todo M es P

Pegaan de 1s

Es tqmbidn un rilogismo en .Barbara (donde S es el rbrmino medio), la que prueba que el modo ~Bocardones canc1u)ente. Leibnia ha tenida la idea de erigir esre procedimienra de reduccin al absurda en mtodo general de deduccin de las modas concluyentes ) de aplicarlv a todos las modos de las tres ltimas figuras.

C O ~ ~ P E U D DE I O SILUG~STICA

217

10 LA CCESTI6K D E LA 4 - FIGLRA

Muchos lgicos. siguiendo el qemplo d e Aristreles. no admiten la 4 ' figura (cuya invencin e i atribuida por Avenaes a Galeno). y consideran (con Teofraato) que sus cinco modos no ion ms que otros tantos modos .indirectos d e la 1 'figura, a los que llaman. Baralipton, Celanres, Dabirii, Fapesma, Fiiiesamorum~

Pero una de dni. l." O bien estos modas presentan la misma disposicin de trminos y d e premiias que los modas directos. y entonces eBaraliptans no es mdi que el subalrerno de Barbara. <<Celantesry d h b i i i s s son identicas a -Celarent. y rDarii. y Fapesmo y Frisesomorum no san concluyentes (el primero porque viola las reglas especiales de la 1 " figura. el segundo porque \iola las reglas generales del silogismo y no puede ser concluyente en ninguna figura). 2 ' 0 bien estos modos presentan una diipoiicion distinta de t ~ i m n o s y de premisa$, ) entonces ya no son modos de la 1 'figura Pero. por otra parte. tampoco son modai de la 4'. porque (salro &aralipton. cuyas preninaa san semqantei) todos elloa tienen iui premisa% traarocadai Celantea es en realidad .Camenei Dabitis es realmente Dimarisr. Fapesma es Fesapo. y sFrisesomorum er Fresiaon Pero p a ~ ra transformar un modo d e la 4 ' figura cn uno de la i ' no basta can intercambiar las premiiai para que la menor aparezca delante de la mayor: eso no es ms que un ardid que no cambia la verdadera -figuran de esos modos Es precisa convenir o bien la concluiin (intercambianda el trmino menor con el ma)or, con lo que la premisa rna)or se tornar en menor ) \ice\eisa). o bien las dos premisas Pero los modos que no se dejan relacionar con la I 'figura ms que por una a dos camersionei p e r ~ reneccn a ella tanto como cualquiera de los modas de la 2 ' o de la 3 ' q u e se ielscionan con la 1 'por el mismo procedimiento Por tanto loa modos en cuestin pertenecen a una figura especial tan legirima y tan independiente tambiln coma las orios modos Se alega adems. contra los modas de la 4 ~ figura, que no son anarurales.. que resultan chocantes y forzados Pero de hecho no ion mds barracoi que ~ B a c a r d o a~ Barato, > menas que la mayoria En definitna. no hay mdi que dos tesis aceptables o bien ha) que admitir las cuatro figuras como igualmente idlidas e independienres en!re si, o bien hay que considerar la 1 ' figura como la nica natural y aperfcctom. y las tres restantes como indirectas y derivadas esta es la ti~

iis sostenida por Kant S610 los modos de la 1 ' figura seria" simples y puras ) concluyentes por si m i m o s Los modos de las o r a s es seran mixtos o hibridor parque no resultan concluyentes ms que mediante una conversin que los relaciona con la 1 "gura (y sta era ya la apinin de Aristrelei) Pero esta tesir tropieza con el escollo de los modos Baroco y Bocarda. que no se resuelven por conversin en la 1 ' 6gura. y que bastarian pus probar la originalidad de la 2' y de la 3 ' figuras En todo caso, no ha) ninguna razn para admitir las hes primeras figuras coma primitivas y autnomas 5 rechazar la 4'. que es un legitip m a ) concluyente corno las dems