GOTTLOB FREGE

CONCEPTOGRAFA * LOS FUNDAMENTOS DE LA ARITMTICA

OTROS ESTUDIOS FILOSFICOS

Traduccin de HUGO PADILLA

UNIVERSIDAD NACIONAL AUTNOMA DE M ICO

INSTITUTO DE INVESTIGACIONES FILOSFICAS

!"#$

INSTITUTO DE INVESTIGACIONES FILOSFICAS Coleccin: FILOSOFA CONTEMPOR%NEA Serie: TE

TOS FUNDAMENTALES

Director: DR& FERNANDO SALMERN

Secretario: MTRO& ALE'ANDRO ROSSI

T()u*+, +ri-ina*e,. Begriffsschritt, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, Ha**e/ !0#" Die Grundlagen der Arithmetik, eine logisch-marhematische ntersuchung ueber den Begriff der !ahl, 1re,*au/ !002 eber die "issenschaftliche Berechtigung einer Begriffsschrift, #$$% Funktion und Begriff, 'ena/ !0"! eber Begriff und Gegenstand, !0"$ &as ist eine Funktion', !"32 Pri4era edicin en e,5a6+*. !"#$ DR 7 !"#$& Uni8er,idad Naci+na* Au)n+4a de M9:ic+ Ciudad Uni8er,i)aria& M9:ic+ $3/ D& F&

UNIVERSIDAD NACIONAL AUTNOMA DE M ICO DIRECCIN GENERAL

DE

PU1LICACIONES

I45re,+ ; <ec<+ en M9:ic+

CONCEPTOGRAFA a
UN LENGUA'E DE FORMULAS/ SEME'ANTE AL DE LA ARITMTICA/ PARA EL PENSAMIENTO PURO

PRLOGO
E* c+n+ci4ien)+ de una 8erdad cien)(=ica 5a,a/ c+4+ re-*a/ 5+r 8ari+, -rad+, de cer)idu4>re& ?ui@A c+nBe)urada a* 5rinci5i+ ,+>re *a >a,e de un nC4er+ in,u=icien)e de ca,+, 5ar)icu*are,/ una 5r+5+,icin -enera* ,e c+n,+*ida cada 8e@ 4A, ,e-ura4en)e a* c+>rar c+ne:in c+n +)ra, 8erdade, a )ra89, de cadena, de in=erencia,/ ;a ,ea Due de e**a ,e deri8en c+n,ecuencia, Due encuen)ren c+n=ir4acin de +)ra 4anera/ ;a ,ea Due/ a *a in8er,a/ ,e *a rec+n+@ca c+4+ c+n,ecuencia de 5r+5+,ici+ne, ;a e,)a>*ecida,& Se-Cn e,)+/ 5+r una 5ar)e ,e 5uede 5re-un)ar 5+r e* 4+d+ en Due -radua*4en)e ,e -ana una 5r+5+,icin ;/ 5+r *a +)ra/ 5+r *a 4anera en Due =ina*4en)e ,e *a =unda4en)a c+n 4A:i4a =ir4e@a& Aca,+ *a 5ri4era cue,)in ,ea c+n)e,)ada de 4+d+ di=eren)e 5+r di=eren)e, <+4>re,. *a C*)i4a e, 4A, de=inida ; ,u re,5ue,)a ,e c+nec)a c+n *a na)ura*e@a in)erna de *a 5r+5+,icin c+n,iderada& E, 5a)en)e Due *a 4A, =ir4e e, *a 5rue>a *-ica 5ura/ *a cua*/ 5re,cindiend+ de *a, carac)er(,)ica, 5ar)icu*are, de *a c+,a/ ,*+/ ,e =unda en *a, *e;e, ,+>re *a, Due de,can,a )+d+ c+n+ci4ien)+& P+r )an)+/ di8idi4+, en d+, c*a,e, )+da, *a, 8erdade, Due reDuieren una =unda4en)acinE 4ien)ra, Due *a 5rue>a 5ura4en)e *-ica 5uede 5receder a *a, una,/ *a, +)ra, de>en a5+;ar,e en <ec<+, e45(ric+,& Per+ e, 5er=ec)a4en)e c+45a)i>*e e* Due una 5r+5+,icin 5er)ene@ca a *a 5ri4era c*a,e ; Due/ ,in e4>ar-+/ Ba4A, **e-ara a ,er c+n,cien)e en una 4en)e <u4ana ,i n+ <u>iera ac)iF 8idad ,en,+ria*&! De e,)a 4anera/ n+ e, e* 4+d+ 5,ic+*-ic+ de 5r+ducir,e/ ,in+ e* )i5+ 4A, c+45*e)+ de 5rue>a *+ Due e,)A en *a >a,e de *a c*a,i=icacin& Mien)ra, 4e ,+4e)( a *a 5re-un)a de a cuA* de e,)a, d+, c*a,e, 5er)enecen *+, Buici+, 4a)e4A)ic+,/ de>( en,a;ar Du9 )an *eB+, ,e 5+dr(a **e-ar en (8) > *a ari)49)ica e:c*u,i8a4en)e 5+r 4edi+ de in=erencia,/ a5+;ad+ ,*+ en *a, *e;e, de* 5en,a4ien)+ Due ,e e*e8an ,+>re )+da, *a, 5ar)icu*aridade,& Mi 5r+cedi4ien)+ =ue 9,)e. 5ri4er+/ >u,Du9 re)r+)raer e* c+nce5)+ de +rdeF nacin en una ,erie a* de c+n,ecuencia lgica ; de aDu( 5r+-re,ar <a,)a e* c+nce5)+ de nC4er+& Ade4A,/ 5ara Due n+ 5udiera in)r+ducir,e inad8er)ida4en)e a*-+ in)ui)i8+/ ,e de>i **e-ar a ,uF 5ri4ir )+da *a-una en *a cadena de in=erencia,& A* 5r+curar cu45*ir *+ 4A, ri-ur+,a4en)e 5+,i>*e c+n e,)e reDueri4ien)+/ 4e enc+n)r9/ Bun)+ a )+da, *a, di=icu*)ade, Due ,ur-en de *a e:5re,in/ un +>,)Acu*+ en *a inadecuacin de* *en-uaBe. cuan)+ 4A, c+45*icada, eran *a, re*aci+ne, )an)+ 4en+, 5+F d(a a*can@ar *a e:ac)i)ud reDuerida 5+r 4i 5r+5,i)+& De e,)a, nece,idade, naci *a idea de *a 5re,en)e c+nce5)+-ra=(a& P+r *+ 5r+n)+/ 9,)a de>e ,er8ir 5ara 5r+>ar de *a 4anera 4A, ,e-ura *a 5reciF ,in de una cadena de in=erencia, ; 5ara denunciar )+da 5r+5+,icin Due Dui,iera c+ *ar,e inadF 8er)ida4en)e ; 5+der in8e,)i-ar*a en ,u +ri-en& P+r e**+/ ,e renuncia a e:5re,ar )+d+ aDue**+ Due care@F ca de ,i-ni=icad+ 5ara *a secuencia de inferencias( En G H/ <e de,i-nad+ c+4+ contenido conceptual e:c*u,i8a4en)e aDue**+ Due 4e era de i45+r)ancia& E,)a e:5*icacin ,e de>erA )ener ,ie45re en 4en)e ,i ,e Duiere en)ender c+rrec)a4en)e *a na)ura*e@a de 4i *en-uaBe de =r4u*a,& Ta4 >i9n de aDu( re,u*) e* n+4>re. Ic+nce5)+-ra=(aI& Pue,)+ Due 4e <e *i4i)ad+ a e:5re,ar/ 5+r 5ri4era 8e@/ re*aci+F ne, inde5endien)e, de *a, 5r+5iedade, e,5ec(=ica, de *a, c+,a,/ 5ude )a4>i9n e45*ear *a e:5re,in I*enF -uaBe de =r4u*a, 5ara e* 5en,a4ien)+ 5ur+I& La ,e4eBan@a/ Due <e indicad+ en e* )()u*+/ c+n e* *en-uaBe de =r4u*a, de *a ari)49)ica ,e re=iere 4A, a *a, idea, =unda4en)a*e, Due a *a, c+n=+r4aci+ne, 5ar)icu*are,& E,)u8+ de* )+d+ *eB+, de 4( cua*Duier 5r+5,i)+ de e,)a>*ecer una ,e4eBan@a ar)i=icia* 5+r en)ender a* c+nce5)+ c+4+ ,u4a de ,u, n+)a,& E* 4A, in4edia)+ c+n)ac)+ de 4i *en-uaBe de =r4u*a, c+n e* de *a ari)49)ica c+n,i,)e en e* 4+d+ de u)i*i@ar *a, *e)ra,& Cre+ 5+der <acer 4u; c*ara *a re*acin de 4i c+nce5)+-ra=(a c+n e* *en-uaBe c+4Cn ,i *a c+45ar+ c+n *a Due <a; en)re e* 4icr+,c+5i+ ; e* +B+& E,)e C*)i4+/ 5+r e* ca45+ de ,u a5*ica>i*idad ; *a 4+8i*idad c+n Due ,e ,a>e ada5)ar a *a, 4A, di8er,a, ,i)uaci+ne,/ 5+,ee -ran ,u5eri+ridad =ren)e a* 4icr+,c+5i+& C+n,iderad+ c+4+ a5ara)+ 5)ic+/ 4ue,)ra ,in duda 4uc<a, i45er=ecci+ne,/ *a, cua*e, 5a,an de,a5erci>iF da,/ 5+r *+ c+4Cn/ ,*+ c+4+ c+n,ecuencia de ,u e,)rec<a c+ne:in c+n *a 8ida 4en)a*& Per+ )an 5r+n)+ c+4+ *+, 5r+5,i)+, cien)(=ic+, e,)a>*ecen 4a;+re, e:i-encia, en *a 5reci,in de *a, di,)inci+ne,/ e* +B+ re,u*)a in,u=icien)e& P+r e* (9) c+n)rari+/ e* 4icr+,c+5i+ e, de *+ 4A, a5r+5iad+ 5ara )a*e, =ine,/ aunDue/ 5+r e**+/ n+ e, u)i*i@a>*e 5ara +)r+,& A,(/ e,)a c+nce5)+-ra=(a <a ,id+ ideada c+4+ un au:i*iar 5ara de)er4inad+, 5r+5,i)+, cien)(=ic+, ; n+ ,e *a 5uede ,en)enciar 5+rDue n+ ,ir8a 5ara +)r+,& Si de a*-Cn 4+d+ c+rre,5+nde a e,)+, =ine,/ n+ i4F 5+r)a Due ,e 5uedan ec<ar de 4en+, 8erdade, nue8a, en 4i )ra>aB+& Me c+n,+*ar(a/ ,+>re e,)+/ *a c+ncienF cia de Due )a4>i9n un de,arr+**+ de* 49)+d+ <ace 5r+,5erar a *a ciencia& Pue, 1ac+n c+n,ider 5re=eri>*e in8en)ar un 4edi+ 5+r e* cua* ,e 5udiera de,cu>rir =Aci*4en)e cua*Duier c+,a/ a de,cu>rir a*-+ 5ar)icu*ar/
!

Pue,)+ Due ,in 5erce5cin ,en,+ria* e, i45+,i>*e a*-Cn de,arr+**+ 4en)a* en *+, ,ere, Due n+, ,+n c+n+cid+,/ en)+nce, *+ C*)i4+ 8a*e 5ara )+d+, *+, Buici+,&

;/ 5+r cier)+/ )+d+, *+, -rande, 5r+-re,+, cien)(=ic+, recien)e, <an )enid+ ,u +ri-en en un 5er=ecci+naF 4ien)+ de* 49)+d+& Ta4>i9n Lei>ni@ c+n+ci *a 8en)aBa de un 4+d+ de ,i4>+*i@acin adecuad+& Su idea de una carac)eF r(,)ica -enera*/ de un calculus philosophicus o raciocinator/$ era )an -i-an)e,ca Due e* in)en)+ de de,arr+F **ar*a <u>+ de Duedar,e en *+, 4er+, 5re5ara)i8+,& E* en)u,ia,4+ Due 5rendi en ,u cread+r cuand+ 5+nF der e* in4en,+ incre4en)+ de *a ca5acidad 4en)a* <u4ana Due 5+dr(a ,ur-ir de un 49)+d+ de ,i4>+*i@aF cin a5r+5iad+ a *a, c+,a, 4i,4a,/ *+ <i@+ e,)i4ar de4a,iad+ e,)rec<a4en)e *a, di=icu*)ade, Due ,e +5+F nen a una e45re,a a,(& Per+ ,i )a45+c+ ,e 5uede a*can@ar )an a*)a 4e)a en un in)en)+/ n+ <a; Due de,e,5eF rar de +>)ener una a5r+:i4acin 4A, *en)a/ 5a,+ a 5a,+& Si una )area 5arece irre,+*u>*e en ,u 5*ena -eneF ra*idad/ 5r+8i,i+na*4en)e ,e *a <a de *i4i)arE 5ue,/ )a* 8e@/ ,e *a *+-re 8encer 5+r 4edi+ de a45*iaci+ne, -radua*e,& En *+, ,(4>+*+, ari)49)ic+,/ -e+49)ric+,/ Du(4ic+,/ ,e 5ueden 8er rea*i@aci+ne, de *a idea *ei>ni@iana re,5ec)+ a ca45+, 5ar)icu*are,& La c+nce5)+-ra=(a aDu( 5r+5ue,)a/ ade4A,/ a6ade una nue8a a 9,)a,/ ; cier)a4en)e una ,i)uada en e* 4edi+ 5areda6+ a *a, +)ra,& A 5ar)ir de aDu(/ 5+r )an)+/ ,e a>ren *a, 4A, a45*ia, 5er,5ec)i8a, 5ara **enar *a, *a-una, de *+, *en-uaBe, de =r4u*a, e:i,)en)e,/ 5ara c+nec)ar en un ,+*+ d+4ini+ ca45+, ,e5arad+, <a,)a a<+ra ; 5ara a45*iar,e a ca45+, en *+, Due )a* *en-uaBe =a*)a>a& S+>re )+d+/ c+n=(+ en una =e*i@ a5*icacin de 4i c+nce5)+-ra=(a cuand+ de>a ,er 5ue,)+ un 8a*+r e,F 5ecia* en *a 5reci,in de una 5rue>a/ c+4+ cuand+ ,e )ra)a de *+, =unda4en)+, de* cA*cu*+ di=erencia* e in)e-ra*& Me 5arece )+da8(a 4A, =Aci* e:)ender e* ca45+ de e,)e *en-uaBe de =r4u*a, a *a -e+4e)r(a& S*+ ,e <an de a6adir a*-un+, ,(4>+*+, 5ara *a, re*aci+ne, in)ui)i8a, Due a<( a5arecen& De e,)a 4anera ,e +>)enF dr(a una e,5ecie de anal)sis situs& (10) E* 5a,+ a *a )e+r(a de* 4+8i4ien)+ 5ur+/ ; aun a *a 4ecAnica ; a *a =(,ica/ 5+dr(an ,e-uir,e de aDu(& En *+, C*)i4+, ca45+,/ d+nde Bun)+ a *a nece,idad raci+na* ,e <ace 8a*er *a nece,idad na)ura*/ e, d+nde 5ri4er+ e, de 5re8er un 4a;+r de,arr+**+ de* 4+d+ de ,i4>+*i@acin de acuerd+ c+n e* 5r+-re,+ de* c+F n+ci4ien)+& Per+/ 5+r e,+/ n+ e, nece,ari+ e,5erar <a,)a Due 5are@ca e:c*uida *a 5+,i>i*idad de )a*e, )ran,F =+r4aci+ne,& Si e, una )area de *a =i*+,+=(a r+45er e* d+4ini+ de *a 5a*a>ra ,+>re *a 4en)e <u4ana a* de,F cu>rir *+, en-a6+, Due ,+>re *a, re*aci+ne, de *+, c+nce5)+, ,ur-en ca,i ine8i)a>*e4en)e en e* u,+ de* *en-uaBe/ a* *i>erar a* 5en,a4ien)+ de aDue**+, c+n Due *+ 5*a-a *a na)ura*e@a de *+, 4edi+, *inF -J(,)ic+, de e:5re,in/ en)+nce, 4i c+nce5)+-ra=(a/ 4A, de,arr+**ada 5ara e,)+, 5r+5,i)+,/ 5+F dr(a ,er un in,)ru4en)+ C)i* a *+, =i*,+=+,& Cier)a4en)e/ )a45+c+ 8+*8erA 5ur+, a *+, 5en,a4ien)+,/ c+4+ Due n+ e, 5+,i>*e +)ra c+,a c+n un 4edi+ de 5re,en)acin e:)ern+E 5er+/ 5+r una 5ar)e/ ,e 5ueden *i4i)ar e,)a, di,cre5ancia, a aDue**a, ine8i)a>*e, e in+cua, ;/ 5+r +)ra 5ar)e/ en 8ir)ud de Due ,+n de un )i5+ )+)a*4en)e di,)in)+ a* de *a, Due ,+n 5r+5ia, de* *en-uaBe/ ,e +=rece ;a una 5r+)ec cin c+n)ra/ una in=*uencia uni*a)era* de e,)e 4edi+ de e:5re,in& La 4era in8encin de e,)a c+nce5)+-raF =(a/ 4e 5arece/ <a <ec<+ 5r+,5erar a *a *-ica& E,5er+ Due *+, *-ic+,/ ,i n+ ,e deBan in)i4idar 5+r una 5ri4era i45re,in =ren)e a *+ e:)ra6+/ n+ ne-arAn ,u a,en)i4ien)+ a *a, inn+8aci+ne, a Due 4e 8i i45e*id+ 5+r una nece,idad in<eren)e a* a,un)+ 4i,4+& E,)a, di,cre5ancia, c+n *+ )radici+na* encuen)ran ,u Bu,)i=icacin en Due *a *-ica/ <a,)a a<+ra/ ,ie45re ,e <a aBu,)ad+ 4u; e,)rec<aF 4en)e a* *en-uaBe ; a *a -ra4A)ica& En e,5ecia*/ cre+ Due *a ,u,)i)ucin de *+, c+nce5)+, de su*eto ; predicado 5+r *+, de argumento ; funcin, ,e acredi)arA c+n e* )ie45+& E, =Aci* 8er c4+ *a a5re<en,in de un c+n)enid+ c+4+ =uncin de un ar-u4en)+ ,ur)e e* e=ec)+ de una a5re<en,in =+r4ad+ra de c+nce5)+,& MA, aCn/ *a de4+,)racin de *a c+ne:in en)re *+, ,i-ni=icad+, de *a, 5a*a>ra, ,(/ ; , no, +, e+iste, algunos, todos, e)c&/ 4erece a)encin& Ka Cnica4en)e reDuiere 4encin e,5ecia* *+ ,i-uien)e& La re,)riccin a un ,+*+ 4+d+ de in=erencia/ e:5re,ada en GL/ ,e Bu,)i=ica en 8ir)ud de Due en *a fundamentacin de una c+nce5)+-ra=(a de e,)e )i5+/ *+, c+45+nen)e, 5ri4i)i8+, ,e de>en )+4ar )an ,i45*e, c+4+ ,ea 5+,i>*e ,i ,e <a de 5r+ducir +rden ; c*ariF dad& E,)+ n+ e:c*u;e e* Due/ 5+,)eri+r4en)e/ )ran,ici+ne, de 8ari+, Buici+, a un+ nue8+/ )ran,ici+ne, Due ,e-Cn e,)e ,+*+ 4+d+ de in=erencia Cnica4en)e ,+n 5+,i>*e, de 4anera 4edia)a/ ,e )ran,=+r4en 5+r a>reF 8iacin en in4edia)a,& De <ec<+/ e,)+ ,e 5+dr(a rec+4endar (11) 5ara a*-una a5*icacin 5+,)eri+r& De e,)a 4anera/ 5ue,/ ,ur-ir(an 4A, 4+d+, de in=erencia& Su5*e4en)aria4en)e/ <e ,e6a*ad+ Due *a, =r4u*a, MH!N ; M2!N 5+dr(an reducir,e a

5+r *a Due ,+n 5+,i>*e, aCn a*-una, ,i45*i=icaci+ne,&

$

S+>re e,)+/ 89a,e. Trede*en>ur-/ Hi,)+ri,c<e 1ei)rO-e @ur P<i*+,+5<ie/ )+4+ III& 2

C+4+ <e ,e6a*ad+ a* 5rinci5i+/ *a ari)49)ica <a ,id+ e* 5un)+ de 5ar)ida de* cur,+ de 5en,a4ien)+ Due 4e <a c+nducid+ a 4i c+nce5)+-ra=(a& A e,)a ciencia/ 5+r )an)+/ 5en,9 a5*icar*a 5ri4er+/ )ra)and+ de ana*i@ar 4A, ,u, c+nce5)+, ; de =unda4en)ar 4A, a =+nd+ ,u, )e+re4a,& P+r *+ 5r+n)+/ en *a )ercera ,ecF cin c+4unic+ a*-+ Due a5un)a en e,)a direccin& La 5r+,ecucin de* ca4in+ indicad+/ *a e*ucidacin de *+, c+nce5)+, de nC4er+/ 4a-ni)ud/ e)c&/ ,erA +>Be)+ de +)ra, in8e,)i-aci+ne, Due a5arecerAn in4edia)aF 4en)e de,5u9, de e,)e e,cri)+&
'ena/ !0 de dicie4>re de !0#0&

I. DEFINICIN DE LOS SMBOLOS

1. En *a )e+r(a -enera* de *a, 4a-ni)ude,/ *+, ,(4>+*+, u,ua*e, ,e di8iden en d+, )i5+,& E* 5ri4er+ c+4F 5rende *a, *e)ra,/ cada una de *a, cua*e, re5re,en)a un nC4er+ Due ,e deBa inde)er4inad+ + una =uncin Due ,e deBa inde)er4inada& E,)a inde)er4inacin <ace 5+,i>*e Due *a, *e)ra, ,e e45*een 5ara e:5re,ar 8a*iF de@ -enera* de *a, 5r+5+,ici+ne,/ c+4+ en E* +)r+ )i5+ c+45rende aDue**+, ,(4>+*+, c+4+ Q/ R/ / 3/ !& $/cada un+ de *+, cua*e, )iene ,u ,i-F ni=icad+ 5ar)icu*ar& Adopto esta idea b,sica de distinguir dos tipos de s-mbolos, *+ cua* 5+r de,-racia n+ ,e rea*i@a c+n 5ure@a en *a )e+r(a de *a, 4a-ni)ude,/H para hacerla utili.able en el campo m,s amplio del pensamiento puro en general( P+r )an)+/ di8id+ )+d+, *+, ,(4>+*+, Due e45*e+ en a/u0llos ba*o los cuales se puede representar algo distinto, ; a/uellos /ue tienen un sentido totalmente determinado( L+, 5ri4er+, ,+n *a, letras, ; 9,)a, <an de ,er8ir 5rinci5a*4en)e 5ara e:5re,ar *a generalidad( Per+/ a 5e,ar de *a inde)er4inaF cin/ ,e de>e in,i,)ir en Due una *e)ra conser1e en e* 4i,4+ c+n)e:)+ e* ,i-ni=icad+ Due ;a ,e *e <a;a dad+&

EL JUICIO
2. Un Buici+ ,e e:5re,arA ,ie45re 5+r 4edi+ de* ,(4>+*+ c+*+cad+ a *a i@Duierda de *+, ,(4>+*+, + c+4>inaci+ne, de ,(4>+*+, Due indican e* c+n)enid+ de* Buici+& Si ,e +4i)e *a 5eDue6a (14) >arra 8er)ica* en e* e:)re4+ i@Duierd+ de *a <+ri@+n)a*/ e,)+ )ran,F =+r4a e* Buici+ en una mera combinacin de ideas acerca de *a cua* n+ e:5re,a/ Duien *a e,cri>e/ ,i rec+F n+ce + n+ 8erdad en e**a& P+r eBe45*+/ <a-a4+, Due ,i-ni=iDue e* Buici+. I*+, 5+*+, 4a-n9)ic+, +5ue,)+, ,e a)raenIE 2 en)+nce,/ n+ e:5re,arA e,)e Buici+/ ,in+ Due Cnica4en)e <a de 5r+8+car en e* *ec)+r *a re5re,en)acin deS *a a)raccin rec(5r+ca de *+, 5+*+, +5ue,)+,/ 5ara e8en)ua*4cn)e ,acar c+n,ecuencia, de e,)+ ;/ c+n e**a,/ 5r+>ar *a c+F rreccin de *a idea& En e,)e ca,+/ parafraseamos 5+r 4edi+ de *a, 5a*a>ra, 2la circunstancia de /ue2 + 2la proposicin de /ue2( N+ )+d+ c+n)enid+ 5uede c+n8er)ir,e en un Buici+ 5+rDue e,)9 an)e5ue,)+ a ,u ,(4>+*+E n+/ 5+r eBe45*+/ *a re5re,en)acin Ica,aI& P+r )an)+/ di,)in-ui4+, en)re c+n)enid+, *udicables ; no *udicables( P La barra hori.ontal, a 5ar)ir de *a cua* ,e =+r4a e* ,(4>+*+ / combina en un todo los s-mbolos /ue le siguen, ) a este todo se refiere la afirmacin e+presada por la barra 1ertical en el e+tremo i./uierdo de la hori.ontal( A *a >arra <+ri@+n)a* ,e *e 5uede **a4ar barra del contenido3 a *a 8er)ica*/ barra del *uicio( La >arra de* c+n)enid+ ,ir8e )a4>i9n/ ade4A,/ 5ara 5+ner en re*acin cua*Duier ,(4>+*+ c+n e* )+d+ de ,(4>+*+, Due ,i-ue a *a >arra& L+ Due ,i-ue a *a >arra de* c+n)enid+ de>e )ener ,ie45re un c+n)enid+ Budica>*e&

H 2

Pi9n,e,e en !/ *+-/ ,en/ *i4& U)i*i@+ *a, *e)ra, -rie-a, c+4+ a>re8iaci+ne,E ,i n+ *a, de=in+ e,5ec(=ica4en)e/ e* *ec)+r *e, 5uede a)ri>uir un ,en)id+ c+n8enien)e& P P+r +)ra 5ar)e/ *a circun,)ancia de Due <a; ca,a, M+ una ca,aN Mc=r& G!$N/ ,er(a un c+n)enid+ Budica>*e& Per+ *a re5re,en)acin Ica,aI e, ,*+ una 5ar)e de 9,)e& En *a 5r+5+,icin. I*a ca,a de Pr(a4+ era de 4aF deraI/ en e* *u-ar de Ica,aI n+ ,e 5+dr(a ,u,)i)uir Icircun,)ancia de Due <a; una ca,aI& Un eBe45*+ de +)r+ )i5+ 5ara un c+n)enid+ n+ Budica>*e/ ,e 8e Bun)+ a *a =r4u*a M0!N& L

 3. En 4i 4+d+ de re5re,en)ar un Buici+/n+ tiene lugar una di,)incin en)re su*eto ; predicado( Para Bu,F )i=icar e,)+/ ad8ier)+ Due *+, c+n)enid+, de d+, Buici+, 5ueden ,er di,)in)+, de d+>*e 4anera. 5ri4er+/ Due *a, c+n,ecuencia, Due ,e 5uedan deri8ar de un+/ en c+4>inacin c+n +)r+, Buici+, de)er4inad+,/ ,e ,i-an )a4>i9n de* +)r+/ en c+4>inacin c+n *+, 4i,4+, +)r+, Buici+,E en ,e-und+ *u-ar/ (15) Due n+ ,ea e,)e e* ca,+& La, d+, 5r+5+,ici+ne,. Ien P*a)ea derr+)ar+n *+, -rie-+, a *+, 5er,a,I ; Ien P*a)ea =uer+n derr+)aF d+, *+, 5er,a, 5+r *+, -rie-+,I/ ,e di,)in-uen de *a 5ri4era 4anera& Aun cuand+ ,e 5uede rec+n+cer una 5eDue6a di=erencia en e* ,en)id+/ *a c+nc+rdancia/ n+ +>,)an)e/ 5re8a*ece& A,(/ a aDue**a 5ar)e de* c+n)eniF d+ Due e, *a misma en a4>a,/ *a **a4+ e* contenido *udicable( Pue,)+ Due slo 0ste )iene ,i-ni=icad+ 5ara *a c+nce5)+-raF=(a/ n+ nece,i)+ <acer di,)incin a*-una en)re 5r+5+,ici+ne, Due )ienen e* 4i,4+ c+n)enid+ Budica>*e& Si ,e dice. I,uBe)+ e, e* c+nce5)+ de Due )ra)a e* Buici+I/ e,)+ c+n8iene )a4>i9n a* +>Be)+& P+r )an)+/ ,e 5uede decir Cnica4en)e. I,uBe)+ e, e* c+nce5)+ de Due )ra)a 5rinci5a*4en)e e* Buici+I& E* *u-ar de* ,uBe)+ en *a ,erie de 5a*a>ra, )iene 5ara e* *en-uaBe e* ,i-ni=icad+ de un *u-ar ,inF-u*ari@ad+/ en d+nde ,e 5+ne aDue**+ ,+>re *+ cua* ,e Duiere a)raer *a a)encin de Duien e,cuc<a M89a,e )a4>i9n G"N& E,)+/ 5+r eBe45*+/ 5uede )ener e* 5r+5,i)+ de indicar una re*acin de e,)e Buici+ c+n +)r+, ;/ c+n e**+/ =aci*i)ar a* +;en)e *a c+45ren,in de* c+n)e:)+ en)er+& A,(/ )+d+, *+, =en4en+, de* *en-uaBe Due ,ur-en ,*+ de *a in)eraccin de* 5ar*an)e ; e* +;en)e/ en Due/ 5+r eBe45*+/ e* 5ar*an)e )+4a en c+n,ideracin *a e:5ec)acin de* +;en)e e in)en)a 5+ner*+ ,+>re *a 5i,)a c+rrec)a aun an)e, de 5r+nunciar una 5r+5+,icin/ nada )ienen Due *e, c+rre,5+nda en 4i *en-uaBe de =r4u*a,/ ;a Due en *+, Buici+, ,*+ ,e c+n,idera aDue**+ Due in=*uF ;e en *a, posibles consecuencias( Ca>a*4en)e ,e e:5re,arA )+d+ *+ nece,ari+ 5ara una in=erencia c+rrec)aE 5er+ *+ Due n+ e, nece,ari+/ 5+r *+ -enera* )a45+c+ ,e indicarAE nada se de*ar, a la adi1inan.a( En e,)+ ,i-+ 5+r c+45*e)+ e* eBe45*+ de* *en-uaBe de =r4u*a, 4a)e4A)ic+/ en e* Due )a4>i9n ,*+ =+r@ada4en)e ,e 5uede di,)in-uir en)re ,uBe)+ ; 5redicad+& Se 5uede i4a-inar un *en-uaBe en e* cua* *a 5r+5+,icin. IArDu(4ede, 5ereci en *a )+4a de SiFracu,aI/ 5udiera e:5re,ar,e de *a ,i-uien)e 4anera. I*a 4uer)e 8i+F *en)a&de ArDu(4ede, en *a )+4a de Siracu,a e, un <ec<+I& Cier)a4en)e/ )a4>i9n aDu( ,e 5uede/ ,i ,e DuieF re/ di,)in-uir en)re ,uBe)+ ; 5redicad+/ 5er+ e* ,uBe)+ encierra e* c+n)enid+ c+45*e)+/ ; e* 5redicad+ ,*+ )iene e* 5r+5,i)+ de 5+ner a 9,)e c+4+ Buici+& Un lengua*e as-, tendr-a 4nicamente un predicado para todos los *uicios, a saber, 2es un hecho2( Se 8e Due en a>,+*u)+ 5uede <a>*ar,e aDu( de ,uBe)+ ; 5redicad+ en e* ,en)id+ <a>i)ua*& 5uestra conceptograf-a es un lengua*e as-, ) el s-mbolo es, en 0l, el predicado com4n para todos los *uicios( En e* 5ri4er e,>+@+ de un *en-uaBe de =r4u*a, 4e deB9 **e8ar 5+r e* eBe45*+ de* *en-uaBe +rdinari+/ c+45+niend+ *+, Buici+, c+n (16) ,uBe)+ ; 5redicad+& Per+ 5r+n)+ 4e 5er,uad( de Due e,)+ era c+n)rari+ a 4i 5r+5,i)+ ; de Due ,*+ c+nduc(a a 5r+*iBidade, inC)i*e,& 4. La, n+)a, ,i-uien)e, de>en e:5*icar e* ,i-ni=icad+ de *a, di,)inci+ne, Due/ 5ara nue,)r+, 5r+5,i)+,/ ,e <acen en re*acin a *+, Buici+,& Se di,)in-ue en)re Buici+, uni1ersales ; particulares: en 4anera a*-una e, 9,)a una di,)incin en)re *+, Buici+,/ ,in+ en)re *+, c+n)enid+,& Se de>er(a decir. 2un *uicio con contenido uni1ersal2, 2un *uicio con contenido particular2( E, decir/ e,)a, 5r+5iedade, c+rre,5+nden a* c+n)enid+/ aun cuand+ 9,)e n+ ,e 5+nF -a c+4+ Buici+/ ,in+ c+4+ 5r+5+,icin M89a,e G$N& L+ 4i,4+ 8a*e 5ara *a ne-acin& P+r eBe45*+ en una 5rue>a indirec)a ,e dice. I,u5+n-a Due *+, ,e-F 4en)+, A1 ; CD n+ =ueran i-ua*e,I& ADu(/ e* c+n)enid+ de Due *+, ,e-4en)+, A1 ; CD n+ ,ean i-ua*e,/ c+n)iene una ne-acinE 5er+ e,)e c+n)enid+/ ,i >ien a5)+ 5ara *a Budicacin/ n+ ,e 5r+5+ne c+4+ Buici+& P+r )an)+/ *a ne-acin ,e ad<iere a* c+n)enid+/ ;a ,ea Due 9,)e ,e 5re,en)e c+4+ Buici+ + n+& A,(/ )en-+ 5+r 4A, a5r+5iad+ c+n,iderar *a ne-acin c+4+ una n+)a de un c+n)enid+ Budica>*e& La di,)incin de *+, Buici+, en ca)e-ric+,/ <i5+)9)ic+, ;di,;un)i8+,/ 4e 5arece Due ,*+ )iene ,i-niF =icacin -ra4a)ica*&L E* Buici+ a5+d(c)ic+ ,e di,)in-ue de* a,er)ric+ en Due ,e ,u-iere *a e:i,)encia de Buici+, uni8er,a*e, de *+, cua*e, ,e 5uede in=erir *a 5r+5+,icin/ 4ien)ra, Due en e* a,er)ric+ =a*)a )a* ,u-erencia& Cuand+ deF ,i-n+ una 5r+5+,icin c+4+ nece,aria/ c+n e**+ d+; una indicacin ,+>re 4i, =unda4en)+, de Buici+& 6ero, puesto /ue con esto no se toca el contenido conceptual del *uicio, la forma del *uicio apod-ctico no tiene para nosotros importancia alguna( Cuand+ ,e 5+ne una 5r+5+,icin c+4+ 5+,i>*e/ + e* 5ar*an)e ,e a>,)iene de Buici+/ c+n *+ cua* indica Due n+ c+n+ce *e; a*-una de *a cua* 5+dr(a deri8ar ,u ne-acin/ + dice Due en ,u -enera*idad e, =a*,a *a ne-acin de *a 5r+5+,icin& En e* C*)i4+ ca,+/ )ene4+, un *uicio particular afirmati1o #, ,e-Cn *a den+4iF
L #

La ra@n ,era re,u*)ad+ de* *i>r+ en)er+& V9a,e G !$& #

nacin u,ua*& IE, 5+,i>*e Due *a )ierra a*-una 8e@ c<+Due c+n +)r+ cuer5+ ce*e,)eI/ e, un eBe45*+ de *+ 5ri4er+/ ; Iun re,=riad+ 5uede )ener c+4+ c+n,ecuencia *a 4uer)eI/ e, un eBe45*+ 5ara e* ,e-und+ ca,+&
(17)

LA CONDICIONALIDAD
5. Si A ; 1 ,i-ni=ican c+n)enid+, Budica>*e,/0 en)+nce, <a; *a, ,i-uien)e, cua)r+ 5+,i>i*idade, !N $N HN 2N A e, a=ir4ada ; 1 e, a=ir4adaE A e, a=ir4ada ; 1 e, ne-adaE A e, ne-ada ; 1 e, a=ir4adaE A e, ne-ada ; 1 e, ne-ada&

,i-ni=ica/ 5ue,/ e* Buici+ de /ue no tiene lugar la tercera de estas posibilidades, sino una de las otras tres( Se-Cn e,)+/ ,i ,e nie-a/

,i-ni=ica e,)+ Due *a )ercera 5+,i>i*idad )iene *u-ar/ 5+r )an)+/ Due A ,e nie-a ; 1 ,e a=ir4a& De *+, ca,+, en Due

,e a=ir4a/ <ace4+, re,a*)ar *+, ,i-uien)e,. !N A de>e ,er a=ir4ada& Lue-+/ e* c+n)enid+ de 1 e, c+45*e)a4en)e irre*e8an)e& P+r eBe45*+/ ,ea Due. ,i-ni=iDue Due H # T $! ; 1 ,i-ni=iDue *a circun,)ancia de Due e* ,+* >ri**a& ADu(/ ,*+ *+, Id+, 5ri4er+, de *+, cua)r+ ca,+, 4enci+nad+, ,+n 5+,i>*e,& N+ e, nece,ari+ Due ,e 5re,en)e una c+ne:in cau,a* en)re a4>+, c+n)enid+,& $N 1 ,e <a de ne-ar& Lue-+/ e* c+n)enid+ de A e, irre*e8an)e& P+r eBe45*+/ ,ea Due. 1 ,i-niF =iDue *a circun,)ancia de Due un perpetuum mobile e, 5+,i>*e ; A *a circun,)ancia de Due e* 4und+ e, in=ini)+& ADu(/ ,*+ e* ,e-und+ ; e* cuar)+ de *+, cua)r+ ca,+, ,+n 5+,i>*e,& N+ e, nece,ari+ Due e:i,)a una c+ne:in cau,a* en)re A ; 1& HN P+de4+, <acer e* Buici+

,in ,a>er ,i ,e <an de a=ir4ar + ne-ar A ; 1 ( P+r eBe45*+/ ,i-ni=iDue 1 *a circun,)ancia de Due *a *una e,)A en cuadra)ura ; A *a circun,)ancia de Due 5arece un ,e4ic(rcu*+& En e,)e ca,+/ ,e 5uede )raducir
(18)

c+n a;uda de* )er4in+ c+nBun)i8+ I,iI. I,i *a *una e,)A en cuadra)ura/ en)+nce, 5arece un ,e4ic(rcu*+I& La c+ne:in cau,a* Due ,e <a**a en *a 5a*a>ra I,iI/ ,in e4>ar-+/ n+ ,e e:5re,a 5+r 4edi+ de nue,)r+, ,(4>+F *+,/ aunDue un Buici+ de e,)e )i5+ ,*+ 5uede e4i)ir,e c+n >a,e en e,)+& Pue, e,)a c+ne:in e, a*-+ -eneF ra*/ 5er+ e,)+ n+ <a ,id+ e:5re,ad+ )+da8(a M89a,e G!$N& L*A4e,e barra de condicin/ a *a >arra 8er)ica* Due une a *a, d+, <+ri@+n)a*e,& La 5ar)e de *a >arra <+riF @+n)a* ,u5eri+r Due ,e encuen)ra a *a i@Duierda de *a >arra de c+ndicin e, *a >arra de* c+n)enid+ 5ara e* ,i-ni=icad+/ e:5*icad+ ;a/ de *a c+4>inacin de ,(4>+*+,

a e,)+ ,e unirA )+d+ ,(4>+*+ Due <a;a de re=erir,e a* c+n)enid+ )+)a* de *a e:5re,in& La 5ar)e de *a >arra <+ri@+n)a* Due e,)A en)re A ; *a >arra de c+ndicin e, *a >arra de* c+n)enid+ de A& La >arra <+ri@+n)a*/ a *a i@Duierda de 1/ e, *a >arra de* c+n)enid+ de 1& Se-Cn e,+/ e, =Aci* rec+n+cer Due

G$ 0

nie-a e* ca,+ en Due A e, ne-ada ; B )

y as como

,+n a=ir4ada,& Se de>e 5en,ar Due e,)+ ,e c+45+ne de

(19) ,e

c+45+ne de A ; 1& P+r *+ 5r+n)+/ )ene4+, *a ne-acin de* ca,+ en Due

,e nie-a ; ,e a=ir4a& Per+/ *a ne-acin de

,i-ni=ica Due A ,e nie-a ; 1 ,e a=ir4a& De aDu( re,u*)a *+ Due an)e, ,e +=reci& Si ,e 5re,en)a una c+F ne:in cau,a*/ en)+nce, )a4>i9n ,e 5uede decir. IA e, *a c+n,ecuencia nece,aria de 1 ; + ,i +curren *a, circun,)ancia, 1 ; / en)+nce, )a4>i9n +curre AI& N+ 4en+, ,e rec+n+ce Due

nie-a e* ca,+ en Due B e, a=ir4ada/ 5er+ A ; ,+n ne-ada,& Si ,e 5re,u5+ne una c+ne:in cau,a*/ en)re A ; 1/ en)+nce, ,e 5uede )raducir. I,i A e, *a c+n,ecuencia nece,aria de 1/ en)+nce, ,e 5uede in=erir Due )iene *u-arI& 6. De *a de=inicin dada en GP/ re,u*)a Due de *+, d+, Buici+,

,e ,i-ue e* nue8+ Buici+ De *+, cua)r+ ca,+, enu4erad+, an)e,/ e* )ercer+ ,e e:c*u;e 5+r

5er+ e* ,e-und+ ; e* cuar)+ ,e e:c*u;en 5+r a,( Due ,*+ Dueda e* 5ri4er+& E8en)ua*4en)c/ e,)a in=erencia 5+dr(a e,cri>ir,e a,(. (20)

E,)+ re,u*)ar(a 5r+*iB+/ ,i en *+, *u-are, de A ; 1 <u>iera e:5re,i+ne, 4a;+re,/ ;a Due cada una de e**a, ,e e,cri>ir(a d+, 8ece,& P+r e**+/ u)i*i@+ *a ,i-uien)e a>re8iacin& A cada Buici+ Due a5are@ca en e* c+n)e:)+ de *a 5rue>a ,e *e de,i-narA 5+r 4edi+ de un nC4er+/ e* cua* ,erA c+*+cad+ a *a derec<a de e,)e Buici+ cuand+ a5are@ca 5+r 5ri4era 8e@& A 4anera de eBe45*+/ ,ea de,i-nad+ e* Buici+

R+ un+ )a* Due c+n)en-a in=erencia a,(.

c+4+ ca,+ e,5ecia*R 5+r 4edi+ de & En)+nce,/ e,cri>+ *a

"

C+n e,)+/ ,e deBa a* *ec)+r c+45+ner e* Buici+

a 5ar)ir de ; ; 8er ,i e,)a ac+rde c+n e* Buici+ aducid+& Si/ a 4anera de eBe45*+/ e* Buici+ ,e de,i-na 5+r 4edi+ de / en)+nce, )a4>i9n e,F cri>+ *a 4i,4a in=erencia c+4+ ,i-ue

ADu(/ *+, d+>*e, 5un)+, indican Due / ,*+ a*udid+ 5+r 4edi+ de una 4anera di,)in)a a *a an)eri+r a 5ar)ir de *+, d+, Buici+, a5un)ad+,& (21) Si aCn/ di-a4+,/ ,e de,i-nara a* Buici+ r(an *+, d+, Buici+, 5+r 4edi+ de

/ ,e de>e c+n,)ruir de / en)+nce, ,e e,cri>iF

)+da8(a 4A, >re8e4en)e/ a,(.

C+n Ari,))e*e,/ 5+de4+, enu4erar en *-ica una ,erie c+45*e)a de 4+d+, de in=erenciaE ;+ ,*+ 4e ,ir8+ de 9,)e Ra* 4en+,/ en )+d+, *+, ca,+, en Due de 4A, de un ,+*+ Buici+ ,e deri8a un+ nue8+& A ,a>er/ *a 8erdad c+n)enida en +)r+, 4+d+, de in=erencia/ ,e 5uede e:5re,ar en un Buici+ de *a =+r4a. ,i 8a*e M ; ,i 8a*e N/ en)+nce, )a4>i9n 8a*e E en ,(4>+*+,.

De e,)e Buici+/ ; de ; / ,e ,i-ue/ en)+nce,/ / c+4+ ,e e:5re,a arri>a& A,(/ una in=erencia <ec<a ,e-Cn cua*Duier 4+d+ de in=erencia/ 5uede ,er reducida a nue,)r+ ca,+& Pue,)+ Due e, 5+,i>*e ,a*ir ade*an)e c+n un ,+*+ 4+d+ de in=erencia/ en)+nce, e, un 5rece5)+ de c*aridad <acer*+ a,(& Ade4A,/ ,ucede Due/ de e,)a 4anera/ )a45+c+ <a>r(a ra@n 5ara Duedar,e c+n *+, 4+d+, de in=erenF cia ari,)+)9*ic+,/ ;a Due ,ie45re ,e 5+dr(an a6adir/ inde=inida4en)e/ nue8+, 4+d+,. de cada Buici+ e:F 5re,ad+ en =r4u*a en GG!HF$$/ ,e 5+dr(a <acer un 4+d+ di=eren)e& C+n esta limitacin a un solo modo de inferencia, sin embargo, en manera alguna se /uiere e+presar una proposicin psicolgica, sino 4nicamente resol1er una cuestin de forma de la manera m,s e+pedita( ( 22) En G$$/ =r4u*a, MP"N/ ML$N/ ; MLPN/ ,e 5re,en)arAn a*-un+, de *+, Buici+, Due a5arecen en *u-ar de *+, 4+d+, de in=erencia ari,)+)9*ic+,&

LA NEGACIN
. Si ,e a6ade una 5eDue6a >arra 8er)ica* en *a 5ar)e in=eri+r de *a >arra de* c+n)enid+/ en)+nce, c+n e**+ ,e Duiere e:5re,ar *a circun,)ancia de Due el contenido no tiene lugar( P+r eBe45*+/ ,i-ni=ica IA n+ )iene *u-arI& A e,)a 5eDue6a >arra 8er)ica* *a **a4+ barra de negacin( La 5ar)e de *a >arra !3

<+ri@+n)a* Due ,e encuen)ra a *a derec<a de *a >arra de ne-acin e, *a >arra de* c+n)enid+ de AE en c+n)raF 5+,icin/ *a 5ar)e Due ,e encuen)ra a *a i@Duierda de *a >arra de ne-acin e, *a >arra de* c+n)enid+ de *a ne-acin de A& Sin *a >arra de Buici+ n+ ,e e4i)e aDu(/ c+4+ )a45+c+ en +)ra 5ar)e de *a c+nce5)+-ra=(a/ un Buici+& ,*+ in8i)a a =+r4ar *a re5re,en)acin de Due A n+ )iene *u-ar/ ,in e:5re,ar ,i e,)a re5re,en)acin e, 8erdadera& A<+ra c+n,idera4+, un ca,+ en e* Due ,e c+4>inan en)re ,( *+, ,(4>+*+, de c+ndici+na*iF dad ; de ne-acin&

,i-ni=ica. Ie* ca,+ en Due 1 e, de a=ir4ar ; e, de ne-ar *a ne-acin de A/ n+ )iene *u-arIE en +)ra, 5a*aF >ra,. In+ e:i,)e *a 5+,i>i*idad de a=ir4ar a4>a,/ A ; B23 o 2A ; 1 ,e e:c*u;en 4u)ua4en)eI& De e,)a 4aF nera/ Duedan ,*+ *+, ,i-uien)e, )re, ca,+,. A e, a=ir4ada ; 1 e, ne-adaE A e, ne-ada ; 1 e, a=ir4adaE A e, ne-ada ; 1 e, ne-ada& De acuerd+ c+n *+ 5receden)e/ e, =Aci* indicar Du9 ,i-ni=icad+ )iene cada una de *a, )re, 5ar)e, de *a >arra <+ri@+n)a* Due an)ecede a A&

,i-ni=ica. In+ e:i,)e e* ca,+ en Due A e, ne-ada ; e, a=ir4ada *a ne-acin de 1IE + Ia4>a,/ A ; 1/ n+ 5ueden ,er ne-ada,I& S*+ Duedan *a, ,i-uien)e, 5+,i>i*idade,.
(23)

A e, a=ir4ada ; 1 e, a=ir4adaE A e, a=ir4ada ; 1 e, ne-adaE A e, ne-ada ; 1 e, a=ir4ada& A ; 1 a-+)an/ Bun)a,/ )+da, *a, 5+,i>i*idade,& La, 5a*a>ra, I+I ; I+& &&+I/ 5ue,/ ,e u,an de d+, 4anera,. IA + B2 ,*+ ,i-ni=ica/ en 5ri4er *u-ar/ *+ 4i,4+ Due 5+r )an)+/ Due =uera de A ; 1 nada e, 5en,a>*e& P+r eBe45*+/ ,i ,e ca*ien)a una 4a,a -a,e+,a/ en)+nce, auF 4en)a ,u 8+*u4en + ,u 5re,in& En ,e-und+ *u-ar/ *a e:5re,in IA + B2 aCna *+, ,i-ni=icad+, de ) de 4+d+ Due/ en 5ri4er *u-ar/ =uera de A ; 1 n+ <a; )ercera 5+,i>i*idad/ ; Due/ en ,e-und+ *u-ar/ A ; 1 ,e e:c*u;en& De *a, cua)r+ 5+,i>i*idade,/ 5ue,/ ,*+ Duedan *a, d+, ,i-uien)e,. A e, a=ir4ada ; 1 e, ne-adaE A e, ne-ada ; 1 e, a=ir4ada& De *a, d+, 4anera, de u,ar *a e:5re,in IA + 1I/ *a 5ri4era/ ,e-Cn *a cua* *a c+e:i,)encia de A ; 1 n+ ,e e:c*u;e/ e, *a 4A, i45+r)an)e ; nosotros utili.aremos la palabra 2o2 en este sentido( ?ui@A e, a5r+F 5iad+ <acer *a di,)incin en)re I+I ; I+&& &+I/ de 4+d+ Due ,*+ *a C*)i4a )iene e* ,i-ni=icad+ ,ecundari+ de *a e:c*u,in 4u)ua& P+r )an)+/ 5+de4+, )raducir

(24)

5+r IA + 1I& A,i4i,4+/

)iene e* ,i-ni=icad+ de 2A o B o 2(

!!

,i-ni=ica. I,e nie-a

+ I+curre e* ca,+ en Due a4>a,/ A ; 1/ ,+n a=ir4ada,I& En ca4>i+/ *a, )re, 5+,i>i*idade, Due Duedan ,eF -Cn

,e e:c*u;en& Se-Cn e,)+/

,e 5uede )raducir. Ia4>a,/ A ; 1/ ,+n <ec<+,I& FAci*4en)e ,e 8e )a4>i9n Due

,e 5uede )ra,*adar 5+r IA ; 1 ; 2 Si ,e Duiere re5re,en)ar en ,(4>+*+, I+ A + B2, c+n e* ,i-ni=icad+ ,eF cundari+ de *a e:c*u,in 4u)ua/ en)+nce, ,e de>e e:5re,ar ) E,)+ 5r+duce + )a4>i9n

En *u-ar de e:5re,ar/ c+4+ aDu( ,ucede/ e* I;I 5+r 4edi+ de ,(4>+*+, de c+ndici+na*idad ; de ne-aF cin/ ,e 5+dr(a )a4>i9n/ a *a in8er,a/ re5re,en)ar *a c+ndici+na*idad 5+r 4edi+ de un ,(4>+*+ 5ara I;I ; e* ,(4>+*+ de ne-acin& Se 5+dr(a in)r+ducir/ di-a4+,/
(25)

c+4+ ,(4>+*+ 5ara e* c+n)enid+ )+)a* de ; d / ; re5r+ducir/ 5+r )an)+/

5+r 4edi+ de

He 5re=erid+ *a +)ra 4anera/5+rDue 4e 5arece Due a,( ,e e:5re,a 4A, ,enci**a4en)e *a in=erencia& La di,F )incin en)re I;I ; I5er+I e, de* )i5+ Due n+ c+>ra e:5re,in en e,)a c+nce5)+-ra=(a& E* 5ar*an)e u)i*i@a I5er+I cuand+ Duiere +=recer una indicacin de Due *+ Due ,i-ue e, di,)in)+ de *+ Due ,e 5+dr(a ,u5+ner de in4edia)+&

,i-ni=ica. I+curre *a )ercera de *a, cua)r+ 5+,i>i*idade,/ a ,a>er/ Due A ,e nie-a ; 1 ,e a=ir4aI& P+r )an)+/ ,e 5+dr(a )raducir. I1 ; M5er+N n+ A )iene *u-arI& La c+4>inacin de ,(4>+*+,

!$

,e 5+dr(a )raducir 5+r *+ 4i,4+&

(26) ,i-ni=ica.

I+curre e* ca,+ en Due a4>a,/ A ) B, ,e nie-anI& P+r )an)+/ ,e 5uede )raducir.

Ini A ni 1 e, un <ec<+I& La, 5a*a>ra,. I+I/ I;I/ Ini& & &niI/ ,*+ en)ran aDu( en c+n,ideracin/ 5+r ,u5ue,)+/ en )an)+ Due unan contenidos *udicables(

LA IGUALDAD DE CONTENIDO
!. La i-ua*dad de c+n)enid+ ,e di,)in-ue de *a c+ndici+na*idad ; *a ne-acin en Due ,e re=iere a n+4>re,/ n+ a c+n)enid+,& Ade4A,/ 4ien)ra, *+, ,(4>+*+, ,+n 4era4en)e re5re,en)an)e, de ,u, c+n)enid+,/ de 4anera Due )+da c+4>inacin en *a Due a5arecen e:5re,a ,*+ una re*acin de ,u, c+nF )enid+,/ de 5r+n)+ ,e 4ue,)ran e**+, 4i,4+, cuand+ ,e c+4>inan 5+r 4edi+ de* ,(4>+*+ de *a i-ua*dad de c+n)enid+E 5ue,/ c+n e**+/ ,e e:5re,a *a circun,)ancia de Due d+, n+4>re, )ienen e* 4i,4+ c+n)enid+& P+r )an)+/ a* in)r+ducir un ,(4>+*+ 5ara *a i-ua*dad de c+n)enid+/ neceF ,aria4en)e ,e 5r+duce una di,+ciacin en e* ,i-ni=icad+ de )+d+, *+, ,(4>+*+,/ ;a Due )an 5r+n)+ e,)An en 8e@ de ,u c+n)enid+/ )an 5r+n)+ en 8e@ de ,( 4i,4+,& L+ 5ri4er+ Due e,)+ de,F 5ier)a e, *a i45re,in de Due aDu( ,e )ra)a de a*-+ Due c+rre,5+nde a *a e+presin ,+*a4en)e/ n+ al pensamiento, ; de Due en 4anera a*-una ,e reDuieren ,(4>+*+, di=eren)e, 5ara e* 4i,4+ c+n)enid+ ;/ 5+r )an)+/ )a45+c+ ,(4>+*+ a*-un+ 5ara *a i-ua*dad de c+n)enid+& Para ac*arar *a ine=ec)i8idad de e,)a a5ariencia/ e*iB+ e* ,i-uien)e eBe45*+ )+4ad+ de *a -e+4e)r(a& En una circun=erencia <a; un 5un)+ =iB+ A/ a*reded+r de* cua* ,e <ace -irar un ra;+& Cuand+ 9,)e =+r4a un diA4e)r+/ **a4a4+, a* e:)re4+ +5ue,)+ a A e* 5un)+ 1 a,+ciad+ a e,)a 5+,icin de* ra;+& Ade4A,/ *ue-+ **a4a4+, a* 5un)+ de in)er,eccin de a4>a, *(nea, e* 5un)+ B a,+ciad+ a *a 5+,icin de* ra;+ en cada ca,+/ Due ,e 5r+duce a 5ar)ir de *a re-*a de Due a 8ariaci+ne, c+n)inua, de *a 5+,icin de* ra;+/ de>en c+rre,5+nder ,ie45re 8aF riaci+ne, c+n)inua, de *a 5+,icin de B( P+r )an)+/ e* n+4>re B ,i-ni=ica a*-+ inde)er4inad+/ 4ien)ra, n+ ,e e,5eci=iDue *a 5+,icin a,+ciada de* ra;+& A,(/ ,e 5uede 5re-un)ar. Ua Du9 5un)+ ,e a,+cia *a 5+,icin de* ra;+ cuand+ 9,)e e, 5er5endicu*ar a* diA4e)r+V La re,5ue,)a ,erA. a* 5un)+ A& P+r )an)+/ en e,)e ca,+/ e* n+4>re 1 )iene e* 4i,4+ c+n)enid+ Due e* n+4>re AE ;/ ,in e4>ar-+/ n+ ,e 5+dr(a u,ar de an)e4an+ un ,+*+ n+4>re/ (27) ;a Due 5ri4+rdia*4en)e *a Bu,)i=icacin de 9,)e ,e da a )ra89, de *a re,5ue,)a& E* 4i,4+ 5un)+ ,e de)er4ina de d+, 4anera,. !& $& in4edia)a4en)e/ 5+r *a in)uicin/ c+4+ 5un)+ 1 a,+ciad+ a* ra;+ 5er5endicu*ar a* diA4e)r+&

A cada un+ de e,)+, d+, 4+d+, de de)er4inacin/ c+rre,5+nde un n+4>re 5ar)icu*ar& La nece,idad de un ,(4>+*+ 5ara *a i-ua*dad de c+n)enid+ ,e =unda/ 5+r )an)+/ en *+ ,i-uien)e. e* 4i,4+ c+n)enid+ ,e 5uede de)er4inar 5*ena4en)e de di=eren)e, 4+d+,E 5er+ Due en un ca,+ 5ar)icu*ar ,e 8e rea*4en)e lo mismo 5+r 4edi+ de dos maneras de determinarlo, e, e* c+n)enid+ de un *uicio( An)e, de <acer 9,)e/ ,e de>en a,i-F nar d+, n+4>re, di,)in)+, c+rre,5+ndien)e, a a4>+, 4+d+, de de)er4inacin/ a *+ de)er4inad+ 5+r e**+,& Para ,u e:5re,in/ e* Buici+ reDuiere/ e45er+/ un ,(4>+*+ de *a i-ua*dad de c+n)enid+ Due c+nec)e e,)+, d+, n+4>re,& De aDu( re,u*)a Due *+, n+4>re, di,)in)+, 5ara e* 4i,4+ c+n)enid+ n+ ,ie45re ,+n 4eraF 4en)e una +ci+,a cue,)in de =+r4a/ ,in+ Due a)a6en a *a na)ura*e@a de* a,un)+ cuand+ ,e c+nec)an c+n di=eren)e, 4+d+, de de)er4inacin& En e,)e ca,+/ e* Buici+ Due )iene 5+r +>Be)+ *a i-ua*dad de c+n)enid+ e, ,in)9)ic+ en ,en)id+ Wan)ian+& Una ra@n 4A, e:)r(n,eca 5ara in)r+ducir un ,(4>+*+ de *a i-ua*dad de c+n)enid+/ c+n,i,)e en Due/ a 8ece,/ e, c+n8enien)e in)r+ducir una a>re8iacin en *u-ar de una e:5re,in e:)en,a& De e,)a 4anera/ ,e )iene Due in)r+ducir *a i-ua*dad de c+n)enid+ de *a a>re8ia)ura ; *a =+r4a +riF -ina*&

,i-ni=iDue/ 5ue,/ Due el s-mbolo A ) el s-mbolo B tienen el mismo contenido conceptual, de modo /ue, en cual/uier caso, se puede poner 1 en lugar de A(

!H

LA FUNCIN
". Si/ e:5re,ada en nue,)r+ *en-uaBe de =r4u*a,/ 5en,a4+, *a circun,)ancia de Due e* <idr-en+ e, 4A, *i8ian+ Due e* an<(drid+ car>nic+/ en)+nce, en e* *u-ar de* ,(4>+*+ de* <idr-en+ 5+de4+, 5+ner e* ,(4F >+*+ de* +:(-en+ + de* ni)r-en+& A* <acer e,)+/ ,e ca4>ia e* ,en)id+ de 4anera Due I+:(-en+I + Ini)r-eF n+I a5arecen en *a re*acin en *a Due an)e, e,)a>a I<idr-en+I& A* 5en,ar de e,)a 4anera una e:5re,in 8aria>*e/ ,e de,c+45+ne *a 4i,4a en un c+45+nen)e e,)a>*e/ Due re5re,en)a *a )+)a*idad de *a, re*aci+ne,/ ; e* ,(4>+*+/ c+n,iderad+ c+4+ re45*a@a>*e 5+r +)r+,/ Due (28) ,i-ni=ica e* +>Be)+ Due ,e encuen)ra en e,)a, re*aci+ne,& A* 5ri4er c+45+nen)e *+ **a4+ =uncin/ ; a* C*)i4+/ ,u ar-u4en)+& E,)a di,)incin nada )iene Due 8er c+n e* c+n)enid+ c+nce5)ua*/ ,in+ Due e, cue,)in de 5un)+, de 8i,)a& Mien)ra, Due de,de e* 5un)+ de 8i,)a a*udid+ an)e,/ I<idr+-en+I era e* ar-u4en)+ ; I,er 4a, *i8ian+ Due e* an<(drid+ car>nic+I era *a =uncin/ )a4>i9n 5+de4+, 5en,ar e* 4i,4+ c+n)enid+ c+nce5)ua* de 4+d+ Due Ian<(drid+ car>niF c+I ,ea e* ar-u4en)+/ ; I,er 4a, 5e,ad+ Due e* <idr+-en+I ,ea *a =uncin& S*+ nece,i)a4+,/ en)+nce,/ 5en,ar Ian<(drid+ car>nic+I c+4+ re45*a@a>*e 5+r +)ra, re5re,en)aci+ne,/ di-a4+,/ IAcid+ c*+r<(dric+I + Ia4+n(ac+I& ILa circun,)ancia de Due e* an<(drid+ car>nic+ e, 4A, 5e,ad+ Due e* <idr-en+I/ ; ILa circun,)ancia de Due e* an<(drid+ car>nic+ e, 4A, 5e,ad+ Due e* +:(-en+I/ ,+n *a 4i,4a =uncin c+n di,)in)+, ar-u4en)+,/ ,i ,e c+n,idera I<idr-en+I ; I+:(-en+I c+4+ ar-u4enF )+,E 5+r e* c+n)rari+ ,+n di,)in)a, =unci+ne, c+n e* 4i,4+ ar-u4en)+/ ,i c+4+ )a* ,e c+n,idera Ian<(drid+ car>nic+I& Sir8a/ aun/ c+4+ eBe45*+/ I*a circun,)ancia de Due e* cen)r+ de 4a,a de* ,i,)e4a ,+*ar n+ )iene aceF *eracin/ en e* ca,+ de Due ,*+ ac)Cen =uer@a, in)erna, en e* ,i,)e4a ,+*arI& ADu(/ I,i,)e4a ,+*arI a5arece en d+, *u-are,& P+r )an)+/ 5+de4+, c+nce>ir e,)+ de 8aria, 4anera, c+4+ =uncin de* ar-u4en)+ I,i,)e4a ,+*arIE ,e-Cn e,)+/ 5+de4+, 5en,ar I,i,)e4a ,+*arI c+4+ re45*a@a>*e 5+r a*-+ di,)in)+ en e* 5ri4er+/ en e* ,e-und+/ + en a4>+, *u-are, Ren e* C*)i4+ ca,+/ e45er+/ en *+, d+, *u-are, 5+r *+ 4i,4+& E,)a, )re, =unci+ne, ,+n )+da, di,)in)a,& La 5r+5+,icin de Due Ca)n 4a)+ a Ca)n/ 4ue,)ra *+ 4i,4+& Si 5en,a4+, aDu( ICa)nI c+4+ re45*aF@a>*e en e* 5ri4er *u-ar/ en)+nce, I4a)ar a Ca)nI e, *a =uncin. ,i 5en,a4+, ICa)n c+4+ re45*a@a>*e en e* ,e-und+ *u-ar/ en)+nce, I,er 4a)ad+ 5+r Ca)nI e, *a =uncinE =ina*4en)e/ ,i 5en,a4+, ICa)+nI c+4+ re45*a@a>*e en a4>+, *u-are,/ en)+nce, I4a)ar,e a ,i 4i,4+I e, *a =unF cin& A<+ra e:5re,a4+,/ en -enera*/ e* a,un)+. ISi en una e+presin cu)o contenido no necesita ,er *udiciable, aparece un s-mbolo simple + c+4F 5ue,)+ en uno + 4A, lugares, ) ,i *+ 5en,a4+, c+4+ reempla.able en todos o en algunos de e,)+, *u-are, por algo distinto, pero siempre por lo mismo, entonces a la(29) parte de la e+presin /ue aparece sin cambio la llamamos funcin ) a la parte rempla.ahle, su argumento2( Pue,)+ Due/ ,e-Cn e,)+/ a*-+ 5uede a5arecer c+4+ ar-u4en)+ ;/ a *a 8e@/ en *u-are, )a*e, de *a =unF cin Due n+ ,e *e 5ien,e c+4+ re45*a@a>*e/ di,)in-ui4+, en *a =uncin *+, *u-are, de* ar-u4en)+ de *+, *u-are, re,)an)e,& Se de>e )ener 5recaucin de una i45re,in =a*,a/ a *a cua* da +ca,in e* u,+ *in-J(,)ic+ =Aci*4en)e& Si ,e c+45aran *a, d+, 5r+5+,ici+ne,. Ie* nC4er+ $3 e, re5re,en)a>*e c+4+ *a ,u4a de cua)r+ cuadrad+,I ; I)+d+ nC4er+ en)er+ 5+,i)i8+ e, re5re,en)a>*e c+4+ *a ,u4a de cua)r+ cuadrad+,I/ en)+nce, 5arece ,er 5+,i>*e c+nce>ir c+4+ =uncin I,er re5re,en)a>*e c+4+ *a ,u4a de cua)r+ cuadrad+,I/ *a cua* )iene una 8e@ c+4+ ar-u4en)+ Ie* nC4er+ $3I/ ; +)ra 8e@ I)+d+ nC4er+ en)er+ 5+,i)i8+I& Se rec+n+ce e* err+r de e,)a c+nce5cin a* ad8er)ir Due Ie* nC4er+ $3I ; I)+d+ nC4er+ en)er+ 5+,i)i8+I n+ ,+n c+nce5)+, de *a 4i,4a c*a,e& L+ Due ,e 5uede 5redicar de* nC4er+ $3/ n+ ,e 5uede 5redicar/ en e* 4i,4+ ,en)id+/ de I)+d+ nC4er+ en)er+ 5+,i)i8+I/ aunDue/ cier)a4en)e/ <a; circun,)ancia, en Due ,e 5uede 5redicar de )+d+ nC4er+ en)er+ 5+,i)i8+& La e:5re,in I)+d+ nC F 4er+ en)er+ 5+,i)i8+I/ 5+r ,( 4i,4a/ n+ 5r+5+rci+na/ c+4+ Ie* nC4er+ $3I& una re5re,en)acin inde5endien)e/ ,in+ Due 5ri4+rFdia*4en)c adDuiere un ,en)id+ 5+r e* c+n)e:)+ de 5r+5+,iF ci+ne,& Para n+,+)r+,/ carecen de i45+r)ancia *+, di,)in)+, 4+d+, en Due e* 4i,4+ c+n)enid+ c+nce5F )ua* 5ueda ,er 5en,ad+ c+4+ =uncin de 9,)e + de aDue* ar-u4en)+/ 4ien)ra, =uncin ; ar F -u4en)+ e,)9n 5*ena4en)e de)er4inad+,& Per+ ,i e* ar-u4en)+ e,)a inde)er4inad+/ c+4+ en e* Buici+. !2

I5uede, )+4ar c+4+ ar-u4en)+ de S,er re5re,en)a>*e c+4+ ,u4a de cua)r+ cuadrad+,S un nCF 4er+ en)er+ 5+,i)i8+ cua*Duiera. *a 5r+5+,icin ,i-ue ,iend+ c+rrec)aI/ en)+nce, *a di,)incin en)re =uncin 8 ar-u4en)+ c+>ra un ,i-ni=icad+ sustanti1o( A *a in8er,a/ )a4>i9n ,e 5uede deF )er4inar e* ar-u4en)+/ aunDue *a =inci+n e,)e inde)er4inada& En a4>+, ca,+,/ *a )+)a*idad/ ,e-Cn e* c+n)enid+ ; n+ ,+*+ ,e-Cn e* 5un)+ de 8,)a/ ,e de,c+45+ne en funcin ) argumento de acuerd+ c+n *a c+n)ra5+,icin en)re *+ determinado ) *+ indeterminado, + en)re *+ mas ) *+ menos de)er4inad+ (30) Si en una funcin en algunos o en todos los lugares donde aparece, se piensa como rempla.able un s-mbolo considerado hasta entonces como irrempla.able/" entonces, por medio de esta concepcin, se obtiene una funcin /ue tiene un argumento nue1o aparte de los /ue )a tu1iera( A,(/ 5+r eBe45*+/ I*a cirF cun,)ancia de Due e* <idr-en+ e, 4A, *i8ian+ Due e* an<(drid+ car>nic+I ,e 5uede c+nce>ir c+4+ =unF cin de *+, d+, ar-u4en)+,/ I<idr-en+I ; Ian<(drid+ car>nic+I& Ha>i)ua*4en)e/ en *a 4en)e de* 5ar*an)e e* ,uBe)+ e, e* ar-u4en)+ 5rinci5a*E *+ Due ,i-ue en i45+rF )ancia a5arece c+n =recuencia c+4+ +>Be)+& P+r +5cin en)re =+r4a, ; 5a*a>ra, c+4+ ac)i8+ R 5a,i8+ 4A, 5e,ad+ R 4A, *i8ian+ dar R reci>ir/ e* *en-uaBe )iene *a *i>er)ad de <acer a5arecer/ a di,crecin/ 9,)e + aDue* c+45+nen)e de *a 5r+5+,icin c+4+ ar-u4en)+ 5rinci5a*/ una *i>er)ad Due/ ,in e4>ar-+/ e,)A *i4i)ada 5+r *a 5+>re@a de *9:ic+& 1#. Para e:5re,ar una =uncin inde)er4inada de* ar-u4en)+ A/ <ace4+, ,e-uir A/ encerrada en)re 5aF r9n)e,i,/ a una *e)raE 5+r eBe45*+.
e

Asimismo,
=

significa una funcin de dos argumentos, A ) B, /ue no est, m,s determinada( A/u-, los lugares de A ) B en los par0ntesis, representan los lugares /ue ocupan A ) B en la funcin, *+ 4i,4+ ,i 9,)+, ,+n Cnic+, Due ,i ,+n 4C*)i5*e,/ )an)+ 5ara A c+4+ 5ara 1& 6or tanto,

en general es distinto de La, =unci+ne, inde)er4inada, de 4A, ar-u4en)+, ,e e:5re,an de un 4+d+ c+rre,5+ndien)e&

(31)

,e 5uede *eer. IA )iene *a 5r+5iedad I& Se 5uede )raducir

5+r 2B e,)A en *a re*acin re,5ec)+ a AI + I1 e, re,u*)ad+ de una a5*icacin de* 5r+cedi4ien)+ ,+F >re e* +>Be)+ AI& Pue,)+ Due en *a e:5re,in $A% e* ,(4>+*+ a5arece en un *u-ar/ ; 5ue,)+ Due 5+de4+, 5en,ar re45*a@ad+ 5+r +)r+, ,(4>+*+,/ / Rc+n *+ cua* ,e e:5re,ar(an +)ra, =unci+ne, de* ar-u4en)+ AR/ se puede, as- concebir $A% como una funcin del argumento . Re,u*)a/ de aDu(/ e,5ecia*4en)e c*ar+ Due e* c+nce5)+ de =uncin en e* anA*i,i,/ a* cua* 4e <e ad<erid+ en -enera*/ e, 4uc<+ 4A, *i4i)ad+ Due e* Due <e de,arr+**ad+ aDu(&

"

Un ,(4>+*+ 5en,ad+ 5re8ia4en)e c+4+ ree45*a@a>*e& A,i4i,4+ 5uede ,er c+n,iderad+ a<+ra c+4+ reF e45*a@a>*e/ )a4>i9n en aDue**+, *u-are, en d+nde <a,)a en)+nce, =uera c+n,iderad+ c+4+ =iB+& !P

LA GENERALIDAD
11. En *a e:5re,in de un Buici+ ,e 5uede c+n,iderar ,ie45re a *a c+4>inacin de ,(4>+*+, Due e,)A a *a derec<a de c+4+ =uncin de un+ de *+, ,(4>+*+, Due a<( a5arecen& Si en el lugar de este argumento se coloca una letra gtica, ) si a la barra del contenido se le hace una conca1idad en la cual se pone esta misma letra, como en

entonces esto significa el *uicio de /ue esa funcin, sea lo /ue fuere lo /ue se considere como su argumento, es un hecho( Pue,)+ Due una *e)ra u)i*i@ada c+4+ ,(4>+*+ de =uncin/ di-a4+, en $A%/ 5uede ,er c+n,iderada e**a 4i,4a c+4+ ar-u4en)+ de una =uncin/ en)+nce, en e* *u-ar de *a 4i,4a 5ueF de en)rar una *e)ra -)ica/ en e* ,en)id+ e,5eci=icad+ an)e,& E* ,i-ni=icad+ de una *e)ra -)ica ,*+ e,)A ,uF Be)+ a *a *i4i)acin/ c+45ren,i>*e de ,u;+/ de Due *a Budica>i*idad MG$N de una c+4>inacin de ,(4>+*+, Due ,i-ue a una >arra de c+n)enid+ <a de 5er4anecer ina=ec)ada ; de Due cuand+ *a *e)ra -)ica a5arece c+4+ ,(4>+*+ de =uncin/ ,ea )+4ada en cuen)a e,)a circun,)ancia& 7odas las restantes condiciones a /ue se tiene /ue su*etar lo /ue puede ser puesto en el lugar de una letra gtica, se han de incorporar al *uicio( P+r )an)+/ de )a* Buici+ ,ie45re ,e 5uede deducir una can)idad di,creci+na* de *uicios con menor contenido general, 5+niend+ en e* (32) *u-ar de *a *e)ra -)ica a*-+ di,)in)+ en cada ca,+/ c+n *+ cua* de,a5aF rece de nue8+ *a c+nca8idad en *a >arra de* c+n)enid+& La >arra <+ri@+n)a* Due ,e encuen)ra a *a i@Duierda de *a c+nca8idad en

e, *a >arra de* c+n)enid+ 5ara Due 8a*-a MaN - / ,ea *+ Due =uere *+ Due ,e c+*+ca en e* *u-ar de

aE *a >arra <+ri@+n)a* Due ,e encuen)ra a *a derec<a de *a c+nca8idad e, *a >arra de* c+n)enid+ de MaN/ c+n *+ cua* ,e 5uede 5en,ar a*-+ de)er4inad+ 5ue,)+ en e* *u-ar de a.
De,5u9, de *+ Due ,e diB+ an)e, ,+>re e* ,i-ni=icad+ de *a >arra de* c+n)enid+/ e, =Aci* 8er Du9 ,i-niF =ica una e:5re,in c+4+ ,)a 5uede a5arecer c+4+ 5ar)e de un Buici+ c+4+ + E, e8iden)e Due de e,)+, Buici+, n+ ,e 5ueden deri8ar Buici+, 4en+, -enera*e,/ a* ,u,)i)uir a*-+ de)er4inaF d+ en e* *u-ar de a c+4+ ac+n)ece de P+r 4edi+ de ,e nie-a Due & Ma) ,ea ,ie45re un <ec<+/ ,ea *+ Due =uere *+ Due ,e 5+n-a

en e* *u-ar de a& C+n e**+/ en 4anera a*-una ,e nie-a Due ,e 5+dr(a dar un ,i-ni=icad+ 5ara a/ de 4aF nera Due & M N ,ea un <ec<+&

,i-ni=ica Due e* ca,+ en Due ,e a=ir4a ; A ,e nie-a/ n+ +curre& C+n e**+/ en 4anera a*-una ,e nie-a Due e* <ec<+ de Due & M N ,e a=ir4a ; A ,e nie-a/ +curreE a,i/ c+4+ <e4+, 8i,)+ an)e,/ & M N 5uede ,er a=ir4ada ;/ ,in e4>ar-+/ ,er ne-ada

& P+r e**+/ )a45+c+ ,e 5uede 5+ner a*-+ ar>i)rari+ en e* *u-ar de a / ,in arrie,-ar *a Bu,)i=iF cacin de* Buici+& E,)+ ac*ara 5+r Du9 e, nece,aria *a c+nca8idad c+n *a *e)ra -)ica in,cri)a a<i. delimita el dominio al /ue se refiere la generalidad indicada por medio de la letra( Slo dentro de su dominio mantiene (33) su significado la letra gtica3 en un Buici+/ *a 4i,4a *e)ra -)ica 5uede a5arecer en di=erenF )e, d+4ini+, ,in Due e* ,i-ni=icad+ Due ,e adBudica en un+ ,e e:)ienda a *+, re,)an)e,& E* d+4ini+ de una *e)ra -)ica 5uede inc*uir e* de +)ra/ c+4+ 4ue,)ra e* eBe45*+.

En e,)e ca,+/ de>en e,c+-er,e diferentes3 n+ ,e 5+dr(a 5+ner a en *u-ar de e& De,de *ue-+/ e,)A 5er4i)iF d+ ,u,)i)uir una *e)ra -)ica en )+d+ ,u d+4ini+ 5+r +)ra de)er4inada/ ,ie45re ; cuand+ en *+, *u-are, d+nde an)e, e,)a>an *e)ra, di,)in)a,/ Dueden 5+,)eri+r4en)e )a4>i9n *e)ra, di,)in)a,& E,)+ n+ a=ec)a a* c+nF )enid+& Se permiten otras sustituciones cuando la conca1idad sigue inmediatamente a la barra de *uicio, !L

de 4anera Due e* c+n)enid+ de* Buici+ c+45*e)+ ,e aBu,)e a* d+4ini+ de *a *e)ra -)ica& En 8ir)ud de Due e,)e ca,+ e, 4u; ,in-u*ar/ Duier+ in)r+ducir *a ,i-uien)e a>re8iacin& na letra latina tiene siempre como dominio el contenido del *uicio completo, ,in Due e,)+ ,e )en-a Due ,e6a*ar 5+r 4edi+ de una c+nca8idad en *a >arra de* c+n)enid+& Si a5arece una *e)ra *a)ina en una e:5re,in a *a Due n+ 5receda una >arra de Buici+/ en)+nce, e,)a e:5re,in carece de ,en)id+& na letra latina siempre puede ser sustituida por una gtica /ue a4n no apare.ca en el *uicio3 a* <acer e,)+/ ,e c+*+ca *a c+nca8idad in4edia)a4en)e de,5u9, de *a >arra de Buici+& P+r eBe45*+/ en *u-ar de ,e 5uede 5+ner ,i a ,*+ a5arece en *+, *u-are, de* ar-u4en)+ de & MaN& 7ambi0n es patente /ue de

se puede deri1ar

si A es una e+presin en la /ue a no aparece, ; ,i a slo est, en el lugar del argumento de MaN& Si ,e nie-a / en)+nce, ,e (34) de>e indicar un ,i-ni=icad+ 5ara a, de 4anera Due ,e nie-ue MaN A,(/ ,i ,e ne-ara ; A ,e a=ir4ara/ en)+nce, ,e de>er(a indicar un ,i-ni=icad+ 5ara a, de 4anera Due A =uera a=ir4ada ; 8a9 ne-ada& Per+/ en 8ir)ud de

e,)+ n+ ,e 5uedeE 5ue, e,)+ ,i-ni=ica Due/ ,ea *+ Due =uere a, ,e e:c*u;e e* ca,+ en Due MaN ,e nieF -a ; A ,e a=ir4a& P+r )an)+/ n+ ,e 5uede ne-ar ; a=ir4ar AE e,)+ e,/

I-ua*4en)e/ de

,e 5uede ,e-uir

,i a n+ a5arece en A ; 1/ ; MaN ,*+ c+n)iene a a en e* *u-ar de* ar-u4en)+& E,)e ca,+ ,e 5uede reduF cir a *+, an)eri+re,/ dad+ Due en *u-ar de

,e 5uede 5+ner

a ,u 8e@/ ,e 5uede )ran,=+r4ar en

!#

(35) C+,a

,e4eBan)e 8a*e cuand+ e,)An 5re,en)e, aCn 4A, >arra, de c+ndicin&

12. C+n,idere4+, a<+ra a*-una, c+4>inaci+ne, de ,(4>+*+,&

,i-ni=ica Due ,e 5+dr(a enc+n)rar a*-+/ 5+r eBe45*+/ de 4anera Due ,e ne-ara )raducir. IHa; a*-una, c+,a, Due n+ )ienen *a 5r+5iedad I& Di=iere de e,)+ e* ,en)id+ de

M N& P+r )an)+/ ,e 5uede

E,)a =r4u*a ,i-ni=ica. I,ea *+ Due =uere a ,ie45re e, de ne-ar & MaN IE +. In+ e:i,)e a*-+ Due )en-a *a 5r+5iedad IE +/ cuand+ **a4a4+, un a a*-+ Due )iene *a 5r+5iedad . In+ e:i,)en I& ,e nie-a 5+r

P+r )an)+/ e,)+ C*)i4+ ,e 5uede )raducir c+4+. Ie:i,)en '&!3

,i-ni=ica. I,ea *+ Due =uere Due ,e 5+n-a en e* *u-ar de a / e* ca,+ de Due P MaN de>iera ,er ne-ad+ ; & MaN a=ir4ad+/ n+ +curreI& E, 5+,i>*e/ a,(/ Due c+n a*-un+, ,i-ni=icad+, Due ,e 5ueden dar a P MaN ,ea de a=ir4ar ; & MaN ,ea de a=ir4arE c+n +)r+, P MaN ,ea de a=ir4ar ; & MaN ,ea de ne-arE ; aun c+n +)r+, P MaN ,ea de ne-ar ; & MaN ,ea de ne-ar& P+r *+ 5r+n)+/ ,e 5uede )raducir. I,i a*-+ )iene *a 5r+5iedad PI + I)+d+ e, un PI/ + I)+d+, *+, , ,+n P,I&
(36) :ste

a/

/ en)+nce, )a4>i9n )iene *a 5r+5iedad

es el modo en /ue se e+presan las cone+iones causales(

,i-ni=ica. Ia a n+ ,e 5uede dar un ,i-ni=icad+ )a* Due a4>a,/ P MaN ; MaN& 5udieran ,er a=ir4ada,I& P+r )an)+/ ,e *e 5uede )raducir. I*+ Due )iene *a 5r+5iedad / n+ )iene *a 5r+5iedad PI/ + Inin-Cn e, un P2

nie-a

;/ 5+r )an)+/ ,e 5uede )ra,*adar 5+r Ia*-un+, ' n+ ,+n P'I& E,)+ e, de en)ender,e a,(. Due inc*u;e e* ca,+ I<a; un I& P+r eBe45*+/ ,i $x% ,i-ni=ica *a circun,)anF cia de Due x e, una ca,a/ en)+nce,
!3

dice I<a; ca,a, + a* 4en+, una ca,aI& V9a,e G$/ n+)a P& !0

nie-a Due nin-Cn M ,ea P ;/ 5+r )an)+/ ,i-ni=ica Due Ia*-un+, P2( A,(/ ,e +>)iene e* cuadrad+ de +5+,icin *-ica.

!!

M' ,+n P'IE + Ie, 5+,i>*e Due un M ,ea

(37)

II. REPRESENTACIN ( DE ALGUNOS JUICIOS DEL PENSAMIENTO PURO

DEDUCCIN

13. Ka en *a 5ri4era ,eccin ,e 5re,en)ar+n a*-un+, de *+, 5rinci5i+, =unda4en)a*e, de* 5en,a4ien)+/ c+n e* +>Be)+ de )ran,=+r4ar*+, en re-*a, 5ara *a a5*icacin de nue,)r+, ,(4>+*+,& E,)a, re-*a, ; *a, *e;e,/ de *a, cua*e, ,+n i4A-ene,/ n+ 5ueden ,er e:5re,ada, en *a c+nce5)+-ra=(a 5+rDue e,)An en ,u >a,e& En e,)a ,eccin ,e <an de 5re,en)ar en ,(4>+*+, a*-un+, Buici+, de* 5en,a4ien)+ 5ur+/ 5+r *+, cua*e, e, 9,)e 5+,i>*e& Parece na)ura* deri8ar *+, 4A, c+45*icad+, de e,)+, Buici+, de *+, 4A, ,i45*e,/ n+ 5ara <acer*+, 4A, cier)+,/ *+ cua* -enera*4en)e ,er(a innece,ari+/ ,in+ 5ara <acer re,a*)ar *a, re*aci+ne, de *+, Buici+, en)re ,(& E, 5a)en)e Due n+ e, *+ 4i,4+ c+n+cer 4era4en)e *a, *e;e, Due c+n+cer )a4>i9n c4+ ,e c+4F 5adecen una, c+n +)ra,& De e,)a 4anera/ ,e +>)iene un 5eDue6+ nC4er+ de *e;e, en *a, cua*e,/ ,i ,e ace5F )an *a, c+n)enida, en *a, re-*a,/ ,e inc*u;e e* c+n)enid+ de )+da,/ aunDue n+ de,arr+**ad+& Ta4>i9n e, una 8en)aBa de* 4+d+ deduc)i8+ de 5re,en)acin e* Due en,e6e a c+n+cer e,e nCc*e+& Pue,)+ Due de *a ina>arF ca>*e can)idad de *e;e, =+r4u*a>*e, n+ ,e 5uede enu4erar )+da,/ en)+nce, n+ ,e a*can@arA *a )+)a*idad/ c+4+ n+ ,ea >u,cand+ aDue**a, Due/ por su *uer.a, c+n)en-an en ,( a )+da,& AunDue/ cier)a4en)e/ ,e de>e ad4i)ir Due *a reduccin n+ ,*+ e, 5+,i>*e de e,)e 4+d+& De aDu( Due n+ )+da, *a, re*aci+ne, de *a, *e;e, de* 5en,a4ien)+ ,e 5+n-an en c*ar+ 5+r 4edi+ de )a* 4+d+ de 5re,en)acin& Ta* 8e@ <a;a aCn +)ra ,erie de Buici+, de *+, Due/ en )+d+ ca,+/ c+n *a ace5)acin de aDue**+, c+n)enid+, en *a, re-*a,/ ,e 5+dr(a deducir )+da *e; de* 5en,ar& De cua*Duier 4anera/ c+n e* 4+d+ de reduccin +=recid+ aDu( ,e e:5*ica )a* can)idad de re*aci+ne, Due cua*Duier +)ra deri8acin ,e =aci*i)arA 4uc<+& Nue8e e, e* nC4er+ de 5r+5+,ici+ne, Due c+n,)i)u;en e* nC4er+ de *a ,i-uien)e 5re,en)acin& Para *a e:5re,in de )re, de 9,)a,/ *a, =r4u*a, M!N/ M$N ; M0N& ,e reDuiere/ a5ar)e de *a, *e)ra,/ ,*+ de* ,(4>+*+ de c+ndici+na*idadE )re,/ *a, =r4u*a, M$0N/ MH!N ; M2!N/ c+n)ienen/ ade4A,/ e* ,(4>+*+ de ne-acinE d+,/ *a, =r4u*a, MP$N ; MP2N/ e* de i-ua*dad de c+n)enid+/ ; en una/ en *a =r4u*a MP0N/ a5arece en u,+ *a c+nca8iF dad de *a >arra de* c+n)enid+& La ,i-uien)e deri8acin re,u*)ar(a can,ada 5ara e* *ec)+r ,i Dui,iera ,e-uir*a en )+da, ,u, 5ar)icu*ariF dade,E *a deri8acin ,*+ )iene e* 5r+5,i)+ de di,5+ner *a re,5ue,)a 5ara cua*Duier 5re-un)a ,+>re *a deF duccin de una *e;& (38) 14. M!N

dice. I,e e:c*u;e e* ca,+ en Due a ,ea ne-ada/ b a=ir4ada ; a a=ir4adaI& E,)+ e, e8iden)e/ 5ue,)+ Due a n+
!!

La 5a*a>ra Xa*-un+,Y e, de en)ender,e ,ie45re a,(. Due inc*u;e e* ca,+ XunY& MA, e:5*(ci)a4en)e/ ,e dir(a. Xa*-un+, + a* 4en+, un+Y& !"

5uede ,er ne-ada ; a=ir4ada a *a 8e@& Ver>a*4en)e/ e* Buici+ )a4>i9n ,e 5uede e:5re,ar a,(. I,i una 5r+5+F ,icin a 8a*e/ en)+nce, )a4>i9n 8a*e en ca,+ de Due una 5r+5+,icin cua*Duiera/ b, 8a*-aI& P+r eBe45*+/ ,ea Due. a ,i-ni=iDue *a 5r+5+,icin de Due *a ,u4a de *+, An-u*+, en e* )riAn-u*+ ABC, a,ciende a d+, rec)+,E ; b *a 5r+5+,icin de Due e* An-u*+ ABC e, rec)+& O>)ene4+,/ en)+nce,/ e* Buici+. I,i *a ,u4a de *+, An-u*+, en e* )riAn-u*+ ABC a,ciende a d+, rec)+,/ en)+nce, e,)+ 8a*e )a4>i9n en e* ca,+ de Due e* AnF -u*+ ABC ,ea rec)+I& E* M!N a *a derec<a de

e, e* nC4er+ de e,)a =r4u*a&

,i-ni=ica. Ie* ca,+ en Due

M$N

(39)

,e nie-a ;

,e a=ir4a/ n+ )iene *u-arI& Per+

,i-ni=ica *a circun,)ancia de Due ,e e:c*u;e e* ca,+ en Due a ,e nie-a/ b ,e a=ir4a ; c ,e a=ir4a& La ne-acin de

dice Due

,e nie-a ;

,e a=ir4a& Per+ *a ne-acin de

,i-ni=ica Due a ,e nie-a ;

c ,e a=ir4a& La ne-acin de

,i-ni=ica/ 5ue,/ Due a ,e nie-a/ c ,e a=ir4a ; La a=ir4acin de P+r )an)+/ *a ne-acin de

,e a=ir4a&

; c, e45er+/ i45*ica *a a=ir4acin de b(

(40)

)iene c+4+ c+n,ecuencia *a ne-acin de a ; *a a=ir4acin de b ; c( Preci,a4en)e/ *a a=ir4acin

de

$3

e:c*u;e a e,)e ca,+& A,(/ n+ 5uede )ener *u-ar e* ca,+ en Due

,e nie-ue/ ;

,e a=ir4e/ ; e,)+ a,e8era e* Buici+

En ca,+ de Due ,e 5re,en)en c+ne:i+ne, cau,a*e,/ e,)+ ,e 5uede e:5re,ar )a4>i9n a,(. I,i una 5r+5+,icin 8a9 e, c+n,ecuencia nece,aria de d+, 5r+5+,ici+ne, 8b ; c9, e,)+ e,/ ,i

; ,i una de e**a,/ 8b9( e, a ,u 8e@ c+n,ecuencia nece,aria de +)ra/ McN/ en)+nce, *a 5r+5+,icin 8a9, e, *a c+n,ecuencia nece,aria de e,)a C*)i4a/ 8c9, ,+*aSS& (41) P+r eBe45*+/ ,ea Due c ,i-ni=iDue Due en una ,erie nu49rica/ Z/ cada )9r4in+ ,uce,+r e, 4a;+r Due e* 5redece,+rE b ,i-ni=iDue Due un )9r4in+ M e, 4a;+r Due ;( a ,i-ni=iDue Due e* )er4in+ N e, 4a;+r Due L& A,(/ +>)ene4+, e* ,i-uien)e Buici+. I,i de *a, 5r+5+,ici+ne, de Due en *a ,erie nu49rica Z cada )9r4in+ ,uce,+r e, 4a;+r Due e* 5reF dece,+r ; de Due e* )9r4in+ M e, 4a;+r Due L/ ,e 5uede in=erir Due e* )9r4in+ N e, 4a;+r Due L/ ; ,i de *a, 5r+5+,ici+ne, de Due en *a ,erie nu49rica Z/ cada )9r4in+ ,uce,+r e, 4a;+r Due e* 5redece,+r/ ,e ,i-ue Due M e, 4a;+r Due L/ en)+nce, *a 5r+5+,icin de Due N e, 4a;+r Due L ,e 5uede in=erir de *a 5r+5+,icin de Due cada )er4in+ ,uce,+r en *a ,erie nu49rica Z e, 4a;+r Due e* 5redece,+r&I

$!

 15.

(3)
E* $ a *a i@Duierda ,i-ni=ica Due *a =r4u*a M$N e,)A a ,u derec<a& La in=erencia Due ,e e=ec)Ca 5a,and+ de M$N ; M!N a MHN/ ,e a>re8ia/ de acuerd+ c+n e* GL& De)a**ada4en)e/ ,e e,cri>ir(a a,(.
(42)

(3)

(43)

La 5eDue6a )a>*a Due a5arece >aB+ e* M!N/ ,ir8e 5ara <acer 4A, =Aci*4en)e rec+n+ci>*e *a 5r+5+,icin $$

M!N en *a =+r4a 4A, de,arr+**ada c+n Due aDu( a5arece& E,)a>*ece Due en

,e <a de/ 5+ner

en e* *u-ar de a, ;

en e* *u-ar de b(

(44)

La )a>*a >aB+ M$N ,i-ni=ica Due en

(4)

en *+, *u-are, de a, b, c, ,e de>en 5+ner *a, e:5re,i+ne, Due ,e encuen)ran a *a derec<a de e**a,/ c+n *+ cua* ,e +>)iene

$H

(45)

FAci*4en)e ,e 8e c4+ M2N ,e ,i-ue de e,)+ ; de MHN&

E* ,i-ni=icad+ de *+, d+>*e, 5un)+, ,e e:5*ica en e* GL& EBe45*+ 5ara M PN& Sea a *a circun,)ancia de Due *a 5ie@a de acer+ E ,e 4a-ne)i@aE b *a circun,)ancia de Due 5+r e* a*a4>re D =*u;e una c+rrien)e -a*8Anica. c *a circun,)ancia de Due ,e +5ri4e *a **a8e T& A,(/ +>)ene4+, e* Buici+. I,i 8a*e *a 5r+5+,icin de Due E ,e 4a-ne)i@a )an 5r+n)+ =*u;e una c+rrien)e -a*8Anica 5+r DE ; ,i 8a*e *a 5r+5+,icin de Due =*u;e una c+rrien)e -a*8Anica 5+r D )an 5r+n)+ ,e +5riF 4e T. en)+nce,/ E ,e 4a-ne)i@a ,i ,e +5ri4e TI& Si ,e 5re,u5+nen c+ne:i+ne, cau,a*e,/ en)+nce, MPN ,e 5uede e:5re,ar a,(. I,i b e, una c+ndicin ,u=icien)e 5ara a, ,i c e, una c+ndicin ,u=icien)e 5ara b, en)+nce, c e, una c+ndicin ,u=icien)e 5ara a2(

$2

(46)

E,)a 5r+5+,icin ,*+ ,e di,)in-ue de MPN en Due en *u-ar de *a c+ndicin c/ a5arecen d+,/ c ; d EBe45*+ 5ara M#N& Sea Due d ,i-ni=iDue *a circun,)ancia de Due e* 94>+*+ K de una >+4>a (47) de aire ,e 4ue8e de ,u 5+,iF cin e:)re4a i@Duierda a ,u 5+,icin e:)re4a derec<aE c ,i-ni=iDue *a circun,)ancia de Due *a 8A*8u*a ) ,e encuen)ra en *a 5+,icin IE b ,i-ni=iDue *a circun,)ancia de Due *a den,idad D de* aire en e* reci5ien)e de *a >+4>a de aire ,e reduce a *a 4i)adE a ,i-ni=iDue *a circun,)ancia de Due *a a*)ura ) de* re-i,)r+ de* >ar4e)r+ c+nec)ad+ c+n e* inF )eri+r de *a >+4>a de aire de,ciende a *a 4i)ad& A,(/ +>)ene4+, e* Buici+. I,i 8a*e *a 5r+5+,icin de Due *a a*)ura ) de* >ar4e)r+ de,ciende a *a 4i)ad/ )an 5r+n)+ ,e reduF ce a *a 4i)ad *a den,idad D de* aireE ; ,i 8a*e *a 5r+5+,icin de Due *a den,idad D de* aire de,ciende a *a 4i)ad/ ,i e* 94>+*+ K ,e 4ue8e de *a 5+,icin e:)re4a i@Duierda a *a 5+,icin e:)re4a derec<a/ ; ,i *a 8A*8u*a ) ,e encuen)ra en *a 5+,icin I. ,e ,i-ue Due *a a*)ura ) de* re-i,)r+ de* >ar4e)r+ de,ciende a *a 4i)ad/ ,i e* 94>+*+ K ,e 4ue8e de *a 5+,icin e:)re4a i@Duierda a *a 5+,icin e:)re4a derec<a 4ien)ra, *a 8A*8u*a H ,e encuen)ra en *a 5+,icin I2( $P

 16.

M0N ,i-ni=ica Due n+ )iene *u-ar e* ca,+ en Due a ,e nie-ue/ 5er+ b ; d ,e a=ir4enE ni=ica *+ 4i,4+/ ; M0N dice (48) Due ,e e:c*u;e e* ca,+ en Due ,e nie-a ; ,e ,i-F

a=ir4a& E,)+ )a4>i9n ,e 5uede e:5re,ar a,(. I,i una 5r+5+,icin e, c+n,ecuencia de d+, c+ndici+ne,/ enF )+nce, e, indi=eren)e ,u +rdenI&

S*+ de 4anera n+ e,encia* ,e di,)in-ue e,)a 5r+5+,icin de MPN&

(49)

M!!N.

$L

E,)a, =r4u*a, ,e 5ueden )raducir a,(. I,i *a 5r+5+,icin de Due b )iene *u-ar + c n+ )iene *u-ar e, c+ndicin ,u=icien)e 5ara a, en)+nce, b, ,+*a/ e, una c+ndicin ,u=icien)e 5ara a2(

M!$N La, 5r+5+,ici+ne, M!$N a M!#N ; *a M$$N/ 4ue,)ran c4+ ,e 5uede ca4>iar e* +rden cuand+ <a; 8aF ria, c+ndici+ne,&

12

(50)

(51)

$#

(52)

(53)

E,)a 5r+5+,icin di=iere de M#N ,*+ de una 4anera n+ e,enF cia*&

(54)

(55)

$0

(56)

N+ ,e 5uede Ma *a 8e@N a=ir4ar a ; ne-ar a(

1 .

,i-ni=ica. Ie* ca,+ en Due ,i-ni=ica Due ,e e:c*u;e 5+r Due ,e a=ir4a ;

,e nie-a ;

,e a=ir4a/ n+ )iene *u-arI& La ne-acin de

,e nie-aE e, decir/ Due a ,e nie-a ; b ,e a=ir4a& E,)e ca,+

E,)e Buici+ Bu,)i=ica e* 5a,+ de modus ponens a modus tollens( P+r eBe45*+/ ,ea

b ,i-ni=iDue *a 5r+5+,icin de Due e* <+4>re M 8i8eE $"

a ,i-ni=iDue *a 5r+5+,icin de Due M re,5ira& A,(/ )ene4+, e* Buici+ I,i de *a circun,)ancia de Due M 8i8e ,e 5uede in=erir Due re,5ira/ en)+nce, de *a circun,)ancia de Due n+ re,5ire ,e 5uede in=erir ,u 4uer)eI& (57)

Si b ; c ,+n c+ndici+ne, ,u=icien)e, 5ara a, en)+nce, de *a ne-acin de a ; de *a a=ir4acin de una c+ndiF cin c, ,e 5uede in=erir *a ne-acin de *a +)ra c+ndicin&

1!.

,i-ni=ica *a ne-acin de *a ne-acin/ 5+r )an)+/ *a a=ir4acin de a( A,(/ n+ ,e 5uede ne-ar a ; Ma *a 8e@N a=ir4ar Duple+ negatio affirmat( La ne-acin de *a ne-acin e, a=ir4acin&

(58)

H3

Si a + b )iene *u-ar/ en)+nce, b + a )iene *u-ar&

Si *a a5aricin de *a circun,)ancia c, a* ce,ar e* +>,)Acu*+ b, )iene c+4+ c+n,ecuencia e* Due a )en-a *u-ar/ en)+nce, de Due n+ )en-a *u-ar a, a* a5arecer c, ,e 5uede in=erir *a a5aricin de* +>,)Acu*+ b(

(59)

E* ca,+ en Due b ,e nie-a/ a ,e a=ir4a ; ,e a=ir4a/ n+ +curre& E,)+ ,e 5uede e:5re,ar a,(. I,i a +cuF rre en)+nce, )iene *u-ar una de a4>a,/ a + b2(

H!

Si a e, *a c+n,ecuencia nece,aria de Due +curra b + c, en)+nce, a e, *a c+n,ecuencia nece,aria de c ,+*a& P+r eBe45*+/ ,ea Due b ,i-ni=iDue *a circun,)ancia de Due e* 5ri4er =ac)+r de un 5r+duc)+ P e, 3 c ,i-ni=iDue *a circun,)ancia de Due e* ,e-und+ =ac)+r de P e, 3 a ,i-ni=iDue *a circun,)ancia de Due e* 5r+duc)+ P e, 3& A,(/ )ene4+, e* Buici+. I,i e* 5r+duc)+ P e, 3/ en ca,+ de Due e* 5ri4er+ + e* ,e-und+ de *+, =ac)+re, ,ea 3/ en)+nce, de *a de,a5aF ricin de* ,e-und+ =ac)+r ,e 5uede in=erir *a de,a5aricin de* 5r+duc)+& (60)

1".

La a=ir4acin de a nie-a *a ne-acin de a(

H$

Si ,*+ <a; +5cin en)re a ; a, en)+nce, a )iene *u-ar& P+r eBe45*+/ ,e )iene Due di,)in-uir d+, ca,+, Due a-+)an )+da, *a, 5+,i>i*idade,& A* ,e-uir *a 5ri4era/ ,e **e-a a* re,u*)ad+ de Due a )iene *u-arE *+ 4i,4+ ,i ,e ,i-ue *a ,e-unda& A,(/ *a 5r+5+,icin a 8a*e& (61)

Si a 8a*e )an)+ en e* ca,+ de Due +curra c c+4+ en e* ca,+ de Due c n+ +curra/ en)+nce, a 8a*e& O)ra e:5reF ,in e,. I,i +curre a + c( ; ,i e* Due +curra c )iene c+4+ c+n,ecuencia nece,aria a a( en)+nce, a )iene *uF -arI&

62

E,)a 5r+5+,icin )a4>i9n ,e 5uede e:5re,ar a,(. I,i )an)+ c c+4+ b e, una c+ndicin ,u=icien)e 5ara a, ; ,i b + c )iene *u-ar/ en)+nce, *a 5r+5+,icin a 8a*eI& E,)e Buici+ ,e a5*ica cuand+/ en una 5rue>a/ <a; Due di,)in-uir d+, ca,+,& Cuand+ a5arecen 4A, ca,+,/ ,ie45re ,e *+, 5uede reducir a d+,/ a* c+n,iderar a un+ de 9,)+, c+4+ e* 5ri4er+ ; a *a )+)a*idad de *+, re,)an)e, c+4+ e* ,e-und+ ca,+& A *+, C*)i4+, ,e *e, 5uede HH

di8idir de nue8+ en d+, ca,+,/ ; e,)+ ,e 5uede 5r+,e-uir <a,)a Due *a di8i,in ,ea 5+,i>*e&

Si d e, una c+ndici+n nece,aria 5ara Due b + c )en-a *u-ar/ ; ,i )an)+ b c+4+ c ,+n c+ndici+ne, ,u=icienF )e, 5ara a/ en)+nce, d e, una c+ndicin ,u=icien)e 5ara a& Un eBe45*+ de una a5*icacin/ *+ +=rece *a deriF 8acin de *a =r4u*a M!3!N (63)

(64)

H2

 2#.

E* ca,+ en Due e* c+n)enid+ de c e, i-ua* a* c+n)enid+ de d, ; en Due f 8c9 ,e a=ir4a ; f 8d9 ,e nie-a/ n+ )ieF ne *u-ar& E,)a 5r+5+,icin e:5re,a Due en -enera* d ,e 5+dr(a 5+ner en *u-ar de c, ,i c d( En f 8c9, c )a4>i9n 5uede a5arecer en +)r+, *u-are,/ ade4a, de en *+, de* ar-u4en)+& P+r )an)+/ c inc*u,+ 5uede )a4F >i9n e,)ar inc*uida en f 8d9(

21.

E* c+n)enid+ de c e, i-ua* a* c+n)enid+ de c(

(65)

22.

a& P+r )an)+/ ,i ,e a=ir4a/ en)+nce, f 8c9 n+ 5uede ,er ne-ada& E,)+ e:5re,a nue,)ra 5r+5+,icin& ADu(/ a ,*+
5uede a5arecer en *+, *u-are, de* ar-u4en)+ en f/ ;a Due e,)a =uncin )a4>i9n a5arece/ en e* Buici+/ =uera HP

,i-ni=ica Due f MaN )iene *u-ar/ ,ea *+ Due =uere *+ Due ,e en)ienda 5+r

de* d+4ini+ de a (

EBe45*+& Sea Due b ,i-ni=iDue un a8e,)ru@/ e, decir/ un ani4a* indi8idua* Due 5er)enece a e,)a e,5ecieE g MAN ,i-ni=iDue IA e, un 5ABar+IE f MAN ,i-ni=iDue IA 5uede 8+*arI& A,(/ )ene4+, e* Buici+. I,i e,)e a8e,)ru@ e, un 5ABar+ ; n+ 5uede 8+*ar/ en)+nce, de e,)+ ,e in=iere Due a*-un+, 5ABar+, n+ 5ueF den 8+*arI& !$ (66) Se 8e c+4+ e,)e Buici+ re45*a@a un 4+d+ de in=erencia/ a ,a>er/ Fe*a5)+n + Fe,a5+/ en)re *+, cua*e, n+ ,e <ace aDu( di,)incin a*-una/ 5ue,)+ Due n+ ,e de,)aca un ,uBe)+&

E,)e Buici+ re45*a@a a* 4+d+ de in=erencia 1ar>ara/ cuand+ *a 5re4i,a 4en+r - M+N )iene un c+n)enid+ 5ar)icu*ar&
(67)

!$

V9a,e G !$/ n+)a !!& HL

(68)

a en d+, d+4ini+,/ ,in Due e,)+ indiDue una re*acin e,5ecia*& En e* 5ri4er d+4ini+ )a4F >i9n ,e 5+dr(a <a>er e,cri)+ e en *u-ar de a& E,)e Buici+ re45*a@a a* 4+d+ de in=erencia 1ar>ara/ cuand+
ADu( a5arece *a 5re4i,a 4en+r

)iene un c+n)enid+ uni8er,a*& E* *ec)+r Due ,e <a;a =a4i*iari@ad+ c+n e* 4+d+ de deri8acin de e,)a c+nF ce5)+-ra=(a/ e,)arA )a4>i9n en 5+,icin de deri8ar *+, Buici+, Due c+rre,5+nden a +)r+, 4+d+, de in=erenF cia& ADu( >a,)an e,)+, c+4+ eBe45*+, H#

(69)

III. ALGUNAS CUESTIONES DE UNA TEORA GENERAL DE LAS SERIES

23. La, ,i-uien)e, deri8aci+ne, de>en dar una idea -enera* de *a 4ani5u*acin de e,)a c+nce5)+-ra=(a/ aun cuand+ Dui@a n+ >a,)en 5ara <acer )+)a*4en)e rec+n+ci>*e ,u u)i*idad& ,)a ,+*+ a5arecerA c+n 4a;+r c*aridad en 5r+5+,ici+ne, 4a, c+45*icada,& Ade4a,/ en e,)+, eBe45*+, ,e 8e c4+ e* 5en,a4ien)+ 5ur+/ Due 5re,cinde de )+d+ c+n)enid+ dad+ 5+r *+, ,en)id+, + inc*u,+ 5+r una in)uicin a priori, 5er4i)e R,*+ de* c+n)enid+ Due nace de ,u 5r+5ia na)ura*e@aR 5r+ducir Buici+, Due/ a 5ri4era 8i,)a/ ,+*+ 5arecen ,er 5+,i>*e, c+n >a,e en a*-una in)uicin& E,)+ ,e 5uede c+45arar c+n *a c+nden,acin 5+r 4edi+ de *a cua* ,e *+-ra )ran,=+r4ar e* aire/ Due 5ara una c+nciencia in=an)i* da *a i45re,in de ,er nada/ en un =*uB+ ,enF ,i>*e Due =+r4a -+)a,& La, 5r+5+,ici+ne, ,+>re ,erie, de,arr+**ada, en *+ Due ,i-ue/ ,u5eran en -enera*iF dad/ c+n 4uc<+/ a )+da, *a, ,e4eBan)e, Due ,e 5ueden deri8ar a 5ar)ir de/ cua*Duier in)uicin de ,erie,& P+r )an)+/ ,i ,e 5udiera )ener 5+r 4a, c+n8enien)e 5+ner una idea in)ui)i8a de ,erie, c+4+ >a,e/ en)+nce, n+ ,e +*8ide Due *a, 5r+5+,ici+ne, *+-rada, de e,)a 4anera/ aunDue )endr(an ca,i *a 4i,4a =ra,e+*+-(a Due *a, Due aDu( ,e +=recen/ ni c+n 4uc<+ ,e 5+dr(a decir/ ,in e4>ar-+/ Due =ueran c+4+ 9,)a,/ ;a Due ,*+ )endr(an 8a*ide@/ en e* d+4ini+ 5reci,+ de *a in)uicin en Due ,e =undar+n& (70) 24

H0

E,)a 5r+5+,icin ,e di,)in-ue de *a, c+n,iderada, <a,)a a<+ra/ en Due *+, ,(4>+*+, Due a5arecen en e**a n+ <an ,id+ de=inid+, 5re8ia4en)eE e**a 4i,4a da e,)a de=inicin& N+ dice. Ie* *ad+ derec<+ de *a i-ua*dad )iene e* 4i,4+ c+n)enid+ Due e* i@Duierd+I/ ,in+ Ide>e )ener e* 4i,4+ c+n)enid+I& P+r )an)+/ e,)a 5r+5+,iF cin n+ e, un Buici+ ;/ en c+n,ecuencia/ )a45+c+ un *uicio sint0tico, 5ara ,er8ir4e de una e:5re,in WanF )iana& Indic+ e,)+/ 5+rDue [an) )en(a 5+r ,in)9)ic+, a )+d+, *+, Buici+, de *a 4a)e4A)ica& A,(/ ,i ML"N =uera un Buici+ ,in)9)ic+/ en)+nce, <a>r(a 5r+5+,ici+ne, deri8ada, de 9*& Per+ n+, *a 5+de4+, 5a,ar ,in *a n+)aF cin in)r+ducida 5+r 4edi+ de e,)a 5r+5+,icin ;/ 5+r )an)+/ ,in e**a 4i,4a c+4+ ,u de=inicin. nada ,e ,i-ue de e**a Due n+ ,e 5udiera in=erir ,in e**a& Ta*e, de=inici+ne, ,*+ )ienen e* 5r+5,i)+ de 5r+ducir una ,i45*i=icacin e:)r(n,eca 5+( 4edi+ de* e,)a>*eci4ien)+ de una a>re8iacin& Ade4A,/ ,ir8en 5ara de,)acar una e,5ecia* c+4>inacin de ,(4>+*+, =ren)e a* )+d+ de *a, c+4>inaci+ne, 5+,i>*e, ;/ c+n e**+/ +>)ener una 8i,in 4A, ,e-ura de *a idea& De e,)a 4anera/ aunDue *a 4enci+nada ,i45*i=icacin e, a5ena, 5erce5F )i>*e de>id+ a* e,ca,+ nC4er+ de Buici+, 5re,en)ad+, aDu(/ ,in e4>ar-+/ )a45+c+ <e ad4i)id+ e,)a =r4u*a c+n 4+)i8+ de *+, eBe45*+,& Si >ien +ri-inaria4en)e ML"N n+ e, un Buici+/ de in4edia)+ ,e )ran,=+r4a en )a*E ;a Due una 8e@ Due ,e <a =iBad+ e* ,i-ni=icad+ de *+, nue8+, ,(4>+*+,/ adDuiere 8a*ide@ ;/ 5+r )an)+/ *a =r4u*a ML"N 8a*e )a4F >i9n c+4+ Buici+/ 5er+ c+4+ Buici+ ana*()ic+/ 5+rDue ,*+ <ace re,a*)ar +)ra 8e@ *+ in)r+ducid+ en *+, nueF 8+, ,(4>+*+,& E,)a dua*idad de *a =r4u*a ,e indica 5+r 4edi+ de *a du5*icacin de *a >arra de Buici+& En re=erencia a *a, ,i-uien)e, deri8aci+ne,/ 5+r )an)+/ ML"N ,e 5uede )ra)ar c+4+ Buici+ +rdinari+& ;as letras griegas min4sculas, /ue por primera 1e. aparecen a/u-, no representan contenido independiente alguno, c+4+ *a, *e)ra, -)ica, ; *a, *a)ina,& En e**a, ,*+ <a; Due a)ender a ,u i-ua*dad + diF 8er,idad/ de 4+d+ Due ,e 5ueden 5+ner cua*e,Duiera +)ra, *e)ra, -rie-a, en *+, *u-are, de a ; , c+n )an ,*+ +cu5ar c+n i-ua*e, *e)ra, *+, *u-are, +cu5ad+, an)e, c+n *e)ra, i-ua*e,/ ; ,ie45re Due n+ ,e ,u,)i)uF ;an *e)ra, di,)in)a, 5+r *e)ra, i-ua*e,& <sta igualdad o di1ersidad de las letras griegas, empero, slo tiene significado dentro (71) de la frmula para la /ue se ha)an introducido especialmente, como lo fueron para

Sir1en al propsito de /ue, de la frmula abre1iada

se pueda siempre reproducir la frmula detallada

sin ambig=edad( P+r eBe45*+/

,i-ni=ica *a e:5re,in

4ien)ra, Due

carece de ,en)id+& Se 8e Due *a e:5re,in de)a**ada/ ,in i45+r)ar Du9 )an c+45*icada, 5uedan ,er *a, =unF ci+ne/ F ; f , 5uede ,er reFenc+n)rada ,ie45re/ e:ce5)+ ,i <a; una e*ecc+n ar>i)raria de *e)ra, -)ica,&

,e 5uede )ra,*adar 5+r 2 e, re,u*)ad+ de una a5*icacin de* 5r+cedi4ien)+ f ,+>re 2, o 5+r 2 e, e* +>Be)+ de una a5*icacin de* 5r+cedi4ien)+ f/ cu;+ re,u*)ad+ e, 2, + 5+r 2 e,)A en *a re*acin f re,F 5ec)+ a 2, + 5+r > e,)A en *a re*acin in8er,a a f re,5ec)+ a 2, e:5re,i+ne, Due ,e <an de )+4ar c+4+
(72)

H"

eDui8a*en)e,&

,e 5uede )raducir. I*a circun,)ancia de Due *a 5r+5iedad F ,e <ereda en *a ,erie f2( ?ui@A e* ,i-uien)e eBe4F 5*+ 5ueda <acer ace5)a>*e e,)a e:5re,in& Sea Due $M* N% ,i-ni=iDue *a circun,)ancia de Due N e, <iB+ de M& $P% ,i-ni=iDue *a circun,)ancia de Due P e, un <+4>re& A,(/

e, *a circun,)ancia de Due cada <iB+ de un <+4>re e, un <+4>re a ,u 8e@/ + de Due *a 5r+5iedad de ,er <+4>re ,e <ereda& Inciden )a*4en)e/ ,e 8e Due *a re5r+ducci+n en 5a*a>ra, 5uede ,er di=(ci* ; aun i45+,iF >*e/ ,i en *+, *u-are, de F ; f a5arecen =unci+ne, 4A, c+45*icada,& Se-Cn e,)+/ *a 5r+5+,icin ML"N ,e e:F 5re,ar(a 8er >a*4en)e a,(. ISi de la proposicin de /ue tiene la propiedad F, sea lo /ue fuere , se puede inferir en general /ue cada resultado de una aplicacin del procedimiento f sobre tiene la propiedad F, entonces digo: ?la propiedad F se hereda en la serie f 2 25.

(73)

23

Si la propiedad F se hereda en la serie f3 si + tiene la propiedad F e ; e, resultado de una aplicacin del procedimiento f sobre :. entonces ; tiene la propiedad F(

(74)

2!

Si + tiene una propiedad F /ue se hereda en la serie f, entonces cada resulatdo de una aplicacion el procedimiento f sobre + tiene la propiedad F

(75)

Si de la proposicin de /ue tiene la propiedad F, sea lo /ue fuere , se puede inferir /ue cada resultado de una aplicacin del procedimiento f sobre tiene la propiedad F, entonces la propiedad F se hereda en la serie f(

2$

 26

,)a e, *a de=inicin de *a c+4>inacin de ,(4>+*+, Due e,)A a *a derec<a/

& En cuan)+ a *a

du5*icacin de *a >arra de Buici+ ; a *a, *e)ra, -rie-a,/ re4i)+ a* *ec)+r a* G$2& N+ 5r+ceder(a e,cri>ir ,i45*e4en)e en *u-ar de *a e:5re,in an)eri+r/ ;a Due/ en una =uncin de + e ) de)a**ada4en)e e,cri)a/ e,)a, *e)ra,/ inF c*u,+/ 5+dr(an a5arecer =uera de *+, *u-are, de* ar-u4en)+ ;/ en)+nce,/ n+ ,e 5+dr(a 8er Du9 *u-are, <aF >r(a Due c+n,iderar c+4+ *u-are, de* ar-u4en)+& E,)+, C*)i4+,/ 5+r )an)+/ ,e de>en indicar c+4+ )a*e,& E,)+ ,e <ace aDu( 5+r 4edi+ de *+, (ndice, ; & Se *+, de>e e*e-ir di,)in)+, en c+n,ideracin a* enca,+ Due *+, d+, ar-u4en)+, =ueran i-ua*e, en)re ,(& Ad+5)a4+, *a, *e)ra, -rie-a,/ ade4A,/ 5ara )ener una cierF )a +5cin ; en ca,+ de Due

inc*u;era en ,( una e:5re,in e,)ruc)urada ,i4i*ar4en)e/ 5+da4+, e*e-ir *a n+)acin 5ara *+, *u-are, de* ar-u4en)+ en *a e:5re,in inc*uida di=eren)e a *a de *a inc*u;en)e& ;a igualdad ) di1ersidad de las letras griegas, slo tiene significado, a/u-, dentro de la e+presin
(76)

5ueden a5arecer *a, 4i,4a, *e)ra, =uera/ ,in Due c+n e**+ ,e ,e6a*e re*acin a*-una c+n 9,)a,& Traduci4+,

5+r 2) ,i-ue a + en *a ,erie f23 e:5re,in Due/ cier)a4en)e/ ,*+ e, 5+,i>*e ,i *a =uncin f e,)A de)er4inada& Se-Cn e,)+/ M#LN ,e 5uede e:5re,ar 8er>a*4en)e a,(. Si de ambas proposiciones, de /ue cada resultado de una aplicacin del procedimiento f sobre + tiene la propiedad F, ) de /ue la propiedad F se hereda en la serie f, sea lo /ue fuere F, se puede inferir /ue ) tiene la propiedad F, entonces digo: 2) sigue a + en la serie f23 + 2+ precede a ) en la serie f2 !H 2 .

(77)

!H

Para <acer 4A, c*ara *a -enera*idad de* c+nce5)+ Due ,e +=rece aDu( 5ara e* ,e-uir,e en una ,erie/ ,u,ciF )+ e* recuerd+ de a*-una, 5+,i>i*idade,& 1aB+ e,)+ n+ ,*+ ,e c+nce5)Ca una ,eriacin ,uce,i8a/ c+4+ *a Due *a, 5er*a, 4ue,)ran en una ,ar)a/ ,in+ )a4>i9n una ra4i=icacin c+4+ *a de* Ar>+* -enea*-ic+/ una unin de 8aria, ra4a, )an)+ c+4+ un 5r+ce,+ circu*ar Due re)+rna a ,(& 2H

De acuerd+ c+n e* G!3/ <a; Due c+n,iderar aDu( a FM)N/ FM a N ; F8a9 c+4+ di=eren)e, =unci+ne, de* ar-u4en)+ F& M##N ,i-ni=ica. Si ) sigue a + en la serie f3 si la propiedad F se hereda en la serie f3 si cada resultado de una aplicacin del procedimiento f sobre + tiene la propiedad F: entonces, ) tiene la propiedad F(

(78)

Pue,)+ Due en M#2N ) ,*+ a5arece en 22

(79)

en)+nce,/ ,e-Cn e* G!!/ *a c+nca8idad de>e 5receder in4edia)a4en)e a e,)a e:5re,in cuand+ ,e ,u,)iF

)u;e ) 5+r *a *e)ra -)ica a M0!N ,e 5uede )raducir a,(. Si + tiene una propiedad F /ue se hereda en la serie f, ) si ; sigue a + en la serie f, entonces ) tiene la propiedad F& !2 P+r eBe45*+/ ,ea F *a 5r+5iedad de ,er un 4+n)n de =riB+*e,E ,ea f e* 5r+cedi4ien)+ de Dui)ar un =riF B+* de un 4+n)n de =riB+*e,/ de 4+d+ Due f Ma, bN ,i-ni=ica *a circun,)ancia de Due b c+n)iene )+d+, *+, =riB+*e, de* 4+n)n a, 4en+, un+/ ; nada 4A,& P+r )an)+/ ,e-Cn nue,)ra 5r+5+,icin/ ,e **e-ar(a a* re,u*)ad+ de Due un+ ,*+ +/ inc*u,+/ nin-Cn =riB+* e, un 4+n)n de =riB+*e, ,i *a 5r+5iedade, de ,er un 4+n)n ,e <ereda en *a ,erie f& Sin e4>ar-+/ en -enera* 9,)e n+ e, e* ca,+/ ;a Due <a; un cier)+ . ,e-Cn e* cua* F M . N n+ e, Budica>*e en 8ir)ud de *a inde)er4inacin de* c+nce5)+ I4+n)nI&

(80)

(81)

(82)

!2

En e,)+ de,can,a *a induccin >ern+u**iana& 2P

Ver>a*4en)e/ *a deri8acin de e,)a 5r+5+,icin dirA a5r+:i4ada4en)e *+ ,i-uien)e. M N ) ,i-ue a + en *a ,erie fE M N cada re,u*)ad+ de una a5*icacin de* 5r+cedi4ien)+ f ,+>re : )iene *a 5r+5iedad FE 8 9 *a 5r+5iedad F ,e <ereda en *a ,erie f( Se-Cn M0PN/ de e,)+, 5re,u5ue,)+, ,e ,i-ue. 8 9 ) )iene *a 5r+5iedad F& A<+ra/ 8 9 ,ea . re,u*)ad+ de una a5*icacin de* 5r+cedi4ien)+ f ,+>re )(

Se-Cn M#$N/ a,(/ de $ %, $ %/ $%, ,e ,i-ue. . )iene *a 5r+5iedad F& P+r )an)+. Si @ e, resultado de una aplicacin del procedimiento f sobre un ob*eto ) /ue en la serie f sigue a +, ) si cada resultado de una aplicacin del procedimiento f sobre + tiene la propiedad F /ue se hereda en la serie f, entonces . tiene esta propiedad(

(83)

2L

 2!

(84)
!P

De4+, aDu(/ 8er>a*4en)e/ *a deri8acin de *a 5r+5+,icin M"!N& De *a 5r+5+,icin. M N Icada re,u*)ad+ de una a5*icacin de* 5r+cedi4ien)+ f ,+>re : )iene *a 5r+5iedad I/ ,ea *+ Due =uere / ,e 5uede in=erir. cada re,u*)ad+ de una a5*icacin de* 5r+cedi4ien)+ f ,+>re + )iene *a 5r+5iedad & P+r )an)+/ de *a 5r+5+,icin M N ; de *a 5r+5+,icin de Due *a 5r+5iedad , ,ea *+ Due =uere / ,e <ereda en *a ,erie f/ ,e 5uede in=erir )a4>i9n. cada re,u*)ad+ de una a5*icacin de* 5r+cedi4ien)+ f ,+>re : )iene *a 5r+5iedad & P+r )an)+/ ,e-Cn M"3N/ 8a*e *a 5r+5+,icin. cada resultado de una aplicacin de un procedimiento f sobre un ob*eto + sigue en la serie f a este +( "1

!P

En re=erencia a *a c+nca8idad c+n / 89a,e G!!&

2#

(85)

(86)

Cada resultado de una aplicacin del procedimiento f sobre un ob*eto /ue sigue a + en la serie f, sigue a + en la serie f(

(87)

;a propiedad de seguir a + en la serie f, se hereda en la serie f(

Si en la serie f ) sigue a +, ) si en la serie f . sigue a ), entonces . sigue a + en la serie f(

20

 2".

Re4i)+ aDu( a *+ dic<+/ en re*acin a *a, =r4u*a, ,(4>+*+,& Se 5uede )raducir

ML"N

; M#LN/ acerca de *a in)r+duccin de nue8+,

5+r I. 5er)enece a *a ,erie f Due c+4ien@a c+n +2, + 5+r 2+ 5er)enece a *a ,erie f Due )er4ina c+n .?( De e,)a 4anera/ 8er>a*F4en)e M""N dice a,(. Si . es lo mismo /ue + o sigue a + en la serie f, entonces digo: 2. pertenece a la serie f /ue comien.a con +23 o 2+ pertenece a la serie f /ue termina con .2(
(88)

!L

(89)

De4+, aDu(/ 8er>a*4en)e/ *a deri8acin de M!3$N&

!L

En re*acin a *a C*)i4a in=erencia/ 89a,e G L& 2"

Si . e, *+ 4i,4+ Due +, en)+nce,/ ,e-Cn M"$N/ cada re,u*)ad+ de una a5*icacin de* 5r+cedi4ien)+ f ,+>re ., ,i-ue a + en *a ,erie f( Si . ,i-ue a + en *a ,erie f/ en)+nce,/ ,e-Cn M"LN/ cada re,u*)ad+ de una a5*icacin de f ,+>re . ,i-ue a + en *a ,erie f& Se-Cn M!33N/ de e,)a, d+, 5r+5+,ici+ne, ,e ,i-ue. Si . pertenece a la serie f /ue comien.a con +, entonces cada resultado de una aplicacin del procedimiento f sobre . sigue a + en la serie f(

(90)

;o /ue sigue a + en la serie f, pertenece a la serie f /ue comien.a con +(

P3

(91)

De4+, aDu(/ 8er>a*4en)e/ *a deri8acin de M!30N& Si ) 5er)enece a *a ,erie f Due c+4ien@a c+n ./ en)+nce,/ ,e-Cn M!3$N/ cada re,u*)ad+ de una a5*iF cacin de* 5r+cedi4ien)+ f ,+>re ), ,i-ue a @ en *a ,erie f( Se-Cn M!3LN/ 5ue,/ cada re,u*)ad+ de una a5*icacin de* 5r+cedi4ien)+ f ,+>re )/ 5er)enece a *a ,erie f Due c+4ien@a c+n .&

P+r *+ )an)+. Si ) pertenece a la serie f /ue comien.a con @/ entonces cada resultado de una aplicacin del procedimiento f sobre ), pertenece a la serie f /ue comien.a con .(

;a propiedad de pertenecer a la serie f /ue comien.a con ., se hereda en la serie f(

(92)

P!

L+ Due ,i-ue e,/ 8er>a*4en)e/ *a deri8acin de M!!!N& Si ) 5er)enece a *a ,erie f Due c+4ien@a c+n ./ en)+nce,/ ,e-Cn M!30N/ cada re,u*)ad+ de una a5*iF cacin de* 5r+cedi4ien)+ f ,+>re ;/ 5er)enece a *a ,erie f Due c+4ien@a c+n .( P+r )an)+/ en)+nce,/ cada re,u*)ad+ de una a5*icacin de* 5r+cedi4ien)+ f ,+>re ;/ 5er)enece a *a ,erie f Due c+4ien@a c+n . + 5recede a @ en *a ,erie f( P+r *+ )an)+. Si ; pertenece a la serie f /ue comien.a con ., entonces cada resultado de una aplicacin del procedimiento f sobre ;/ pertenece a la serie f /ue comien.a con ., o precede a . en la serie f(

(93)

P$

L+ Due ,i-ue e,/ 8er>a*4en)e/ *a deri8acin de e,)a =r4u*a. Sea Due. + 5er)enece a *a ,erie f Due c+4ien@a c+n .( En)+nce,/ ,e-Cn M!32N/ . e, *+ 4i,4+ Due +E + + ,i-ue a . en *a ,erie f( Si . e, *+ 4i,4+ Due +/ en)+nce,/ ,e-Cn M!!$N/ . 5er)enece a *a ,erie f Due c+4ien@a c+n +& De *a, d+, C*)i4a, 5r+5+,ici+ne, ,e ,i-ue. . 5er)enece a *a ,erie f Due c+4ien@a c+n +E + + ,i-ue a . en *a ,erie f( P+r *+ )an)+. Si + pertenece a la serie f /ue comien.a con ., entonces . pertenece a la serie f /ue comien.a con :E + : sigue a . en la serie f(
!#

(94) Tradu@c+

5+r I*a circun,)ancia de Due e* 5r+cedi4ien)+ f e, un(8+c+I& A,(/ M!!PN ,e 5uede )ra,*adar de e,)a 4aneF ra. Si de la circunstancia de /ue e es resultado de una aplicacin del procedimiento f sobre b/ sea lo /ue fuere b , se puede inferir /ue cada resultado de una aplicacin del procedimiento f sobre b es lo mismo /ue e/ entonces digo: 2el procedimiento f es un-1oco2(

(95)
!#

(96)

Cfr( G $2& PH

(97)

De4+, aDu(/ 8er>a*4en)e/ *a deri8acin de *a, =r4u*a, M!$$N ; M!$2N& Sea + re,u*)ad+ de una a5*icacin de* 5r+cedi4ien)+ un(8+c+ f ,+>re )& A,(/ ,e-Cn M!$3N/ cada re,u*)ad+ de una a5*icacin de* 5r+cedi4ien)+ f ,+>re )/ e, *+ 4i,4+ Due +( P+r *+ )an)+/ ,e-Cn M!!$N cada re,u*)ad+ de una a5*icacin de* 5r+cedi4ien)+ f ,+>re )/ 5er)enece a *a ,erie f Due c+4ien@a c+n +&

A,(. Si + es resultado de una aplicacin del procedimiento un-1oco f sobre ;/ entonces cada resultado de una aplicacin del procedimiento f sobre ;/ pertenece a la serie f /ue comien.a con + M=r4uF *a !$$N& Sea Due. m ,i-ue a ) en *a ,erie f& De e,)a 4anera/ de M!!3N ,e deduce. ,i cada re,u*)ad+ de una a5*icacin de* 5r+cedi4ien)+ f ,+>re ; 5er)enece a *a ,erie f Due c+4ienF @a c+n +/ en)+nce, m 5er)enece a *a ,erie f Due c+4ien@a c+n +( E,)+/ Bun)+ c+n M!$$N/ 4ue,)ra Due ,i + e, re,u*)ad+ de una a5*icacin de* 5r+cedi4ien)+ un(8+c+ f ,+>re ;/ m 5er)enece a *a ,erie f Due c+4ien@a c+n +( A,(. S- + es resultado de una aplicacin del procedimiento un-1oco sobre ), ; si m sigue a ) en la serie f, entonces m pertenece a la serie f /ue comien.a con + M=r4u*a M!$2N&

P2

(98)

L+ Due ,i-ue e,/ 8er>a*4en)e/ *a deri8acin de e,)a, =r4u*a,& Sea + re,u*)ad+ de una a5*icacin de* 5r+cedi4ien)+ un(8+c+ f ,+>re )( Si-a m a ) en *a ,erie f& A,(/ ,e-Cn M!$2N/ m 5er)enece a *a ,erie f Due c+4ien@a c+n +& C+n,ecuen)e4en)e/ ,e-Cn M!!2N/ : 5er)enece a *a ,erie f Due c+4ien@a c+n m3 + m ,i-ue a : en *a ,erie f& E,)+ )a4>i9n ,e 5uede e:5re,ar a,(. + 5er)enece a *a ,erie f Due c+4ien@a c+n m + 5recede a m en *a ,erie f( P+r *+ )an)+. Si m sigue a ) en la serie f, ) si el procedimiento f es un-1oco, entonces cada resultado de una aplicacin del procedimiento f sobre )/ pertenece a la serie f /ue comien.a con m, o precede a m en la serie f(
(99)

PP

(100)

Ver>a*4en)e/ M!$"N dice a,(. Si el procedimiento f es un-1oco, ) si ) pertenece a la serie f /ue comien.a con m + precede a m en @d serie f, entonces cada resultado de una aplicacin del procedimiento f sobre ), pertenece a la serie f /ue comien.a con m, o precede a m en la serie f(

PL

(101)

(102) Ver>a*4en)e/

M!H!N dice a,(.

Si el procedimiento f es un-1oco, entonces en la serie f se hereda la propiedad de pertenecer a la serie f /ue comien.a con m, o la de preceder a m en la serie f(

P#

(103)

Ver>a*4en)e e,)a 5r+5+,icin dice a,(. S- el procedimiento f es un-1oco, ) si m e ) siguen a + en la serie f, entonces ) pertenece a la serie f /ue comien.a con m, o precede a m en la serie f( En ,e-uida <a; una )a>*a 5+r *a cua* ,e 8e en Du9 *u-are, ,e <i@+ u,+ de una =r4u*a 5ara *a deri8aF cin de +)ra,& Un+ ,e 5uede ,er8ir de e**a, 5ara re8i,ar *a, 4anera, de a5*icar una =r4u*a& A 5ar)ir de e**a )a4>i9n/ ,e ad8ier)e *a =recuencia de a5*icacin de una =r4u*a& A *a derec<a a5arece ,ie45re e* nC4er+ de *a =r4u*a en cu;a deri8acin ,e e45*e *a =r4u*a 4enF ci+nada a *a i@Duierda&

P0

1 1 1 1 1 1 1 2 2 2 2 2 3 4 5 5 5 5 5 5 5 5 5 5 5 5 5 5 6 7 7

3 5 11 24 26 27 36 3 4 39 73 79 4 5 6 7 9 12 14 16 18 22 25 29 34 45 80 90 7 32 67

7 7 7 8 8 8 8 8 8 8 8 8 8 8 8 9 9 9 9 9 9 9 9 9 9 10 11 12 12 12 12

94

12

35 49 60 85

23 24 24 25

48 25 63 111 27 42 29 33 30 59 32 33 34 46 35 36 40 37 38 83

47 48 49 50 51 52 52 52 52 52 53 53 54 55 55 56 57 57 58 58

49

63

91 65 66 __ 68 70 77

84 85 86 87 88 89 90

98 86 87 88 95 90 91 93 92

109 110 110 124 111 129

107 12 113 12 9 10 12 17 26 38 53 62 66 74 84 96 10 11 19 21 37 56 61 12 12 13 14 15 16 16 16 17 17 18 18 18 18 18 18 19 19 19

101 64 50 51 65 66

112 113 112 122 113 114 114 126 115 116 116 117

127 26 14 15 88 17 18 22 50 78 19 20 23 51 64 82 20 21 71 86 27 28 28 29 30 31 32 33 33 34 34 35 36 36 36 37 38 39

128 67 53 57 89 68 68 68

116 90 70 75 71 72 73 74 87 81 97 91 92 93 94 95 96 96 97 98

105 69 75 55 92 55 56 69 70 71 72 72

102 117 118 94 95 96 97 118 119 119 120 120 121 121 122

104 73 57 68 74 75

102 122 123 98 __ 123 124 124 125

100 75 59 60 61 62 67 72 75 76 76 77 77 78

109 99 131 99 77 89 78 85 79

100 125 126 105 126 127

100 101 127 128 100 103 128 129 101 102 129 130 102 108 130 131 103 104 131 132

106 58 39 40 43 42 43 44 45 46 47 48 58 58 58 58 58 59 60 61 62 62

117 19 130 19 132 19 30 19

103 40 119 41 123 42 121 43 125 44 44 47 23 45 46 47

118 78 120 79 __ 93 65 63 64 80 81 81 82 83

110 104 114 132 133 80 81 82 84 83 105 106 133 __ 105 112 106 107 107 108 108 109

112 20 13 15 16 24 20 21 21 22

133 108 111

P"

En e,)e en,a;+ Fre-e u,a )re, )i5+, de *e)ra,. *a c+4Cn Ren e,)a 8er,in de \+rd en 7ime 5e" Aoman/ *a -rie-a Ren e,)a 8er,in. S)mbol/ ; *a -)ica Ren e,)a 8er,i+n. La>ri) Due adBun)+ a* arc<i8+ ]rar& > E,)+, nu4er+, en r+B+ ; en)re 5ar9n)e,i,^ indican e* nC4er+ de 5a-ina de* +ri-ina*& c Le)ra Ga44a 4a;C,cu*a& d Le)ra De*)a 4a;C,cu*a e Le)ra P<i = Le)ra P,i La *e)ra XaY en -)ica *a e,cri>+ c+n *a =uen)e. ;abrit& A*-un+, de *a, e:5e,i+ne, Due u,a Fre-e. P M aN MaN

& M aN

& M N

M aN

M aN

$x%