Lukasiewicz Jan - Estudios de Logica Y Filosofia (PDF)

ESTUDIOSDELGICAY FILOSOFA
Janukasiewicz
(edicinyseleccinacargode AlfredoDeao)

Edicinelectrnicade www.philosophia.cl/Escuelade FilosofaUniversidadARCIS.

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

NDICE
ELEMENTOSCREATIVOSENLACIENCIA ............................................................................................................ 3 LECCINDEDESPEDIDAPRONUNCIADAPORELPROFESORJANUKASIEWICZENELAULAMAGNADELA UNIVERSIDADDEVARSOVIAEL7DEMARZODE1918 .................................................................................... 15 SOBRELALGICATRIVALENTE ........................................................................................................................ 18 SOBREELDETERMINISMO ................................................................................................................................ 20 OBSERVACIONESFILOSFICASSOBRELOSSISTEMASPOLIVALENTESDELGICAPROPOSICIONAL................. 34 PARALAHISTORIADELALGICADEPROPOSICIONES .................................................................................... 56 LOGSTICAYFILOSOFA ................................................................................................................................... 60 ENDEFENSADELALOGSTICA ......................................................................................................................... 74
/2 /

ELEMENTOSCREATIVOSENLACIENCIA* Tantoloscientficoscomolosprofanospiensanmuchasvecesqueloquelaciencia persigue es la verdad, y entienden la verdad como el acuerdo entre el pensamiento y lo queexiste.Deahqueconsiderenquelatareadelcientficoconsisteenreproducirhechos mediante juicios verdaderos, de igual modo que una placa fotogrfica reproduce luces y sombras y un fongrafo reproduce sonidos. El poeta, el pintor y el compositor trabajan creativamente;elcientficonocreanada:simplemente,descubrelaverdad1. Este nudo de ideas, a la vez que suscita en el cientfico un sentimiento de injustificada arrogancia, lleva al artista a tomarse la ciencia a la ligera. Tales puntos de vista han abierto un vaco entre ciencia y arte, y en ese vaco ha desaparecido la comprensindeesainapreciablecualidadqueeselelementocreativoenlaciencia. Cortemosestenudodeideasconlaespadadelespritucrticolgico. *** 1. No todos los juicios verdaderos son verdades cientficas. Hay verdades que son demasiado ftilescomoparaformarpartedelaciencia.DiceAristfanesenLasnubes2:
PreguntabahapocoQuerefonaScratescuntasvecessaltaba lo largo de sus patas una pulga que haba picado a Querefon en unacejaysehabalanzadoluegoalacabezadeScrates. Scrates dio caza a la pulga y sumergi sus patas en cera fundida; qued, as, la pulgacomoconzapatos.Luegoladescalz,ylosutilizparamedirladistancia.Heaqu una verdad acerca del salto de la pulga que lleg a preocupar a Scrates. Pero el lugar apropiadoparaverdadestalesestenunacomedia,ynoenlaciencia. Lamentehumana,cuandoestproduciendociencia,nopersiguelaomnisciencia.Si as fuera, tendramos que ocuparnos hasta de las verdades ms ftiles. En realidad, la
Publicadoporverprimera,conelttuloOtwrczociwnauceenKsigapamitkowakuuczczeniu 250rocznicyzaloeniaUniwersytetuLwowskiego,Lww,1912,yreimpreso,enunaversinabreviada, con el ttulo de O nauce [Sobre la ciencia], en Poradnik dla samoukw, Vol. 1, Varsovia, 1915. Publicado de nuevo en la edicin de 1961 de Z zagadnie logiki i filozofii [Problemas de lgica y filosofa]. 1 Cuando ya tena redactada la introduccin a este escrito encontr en una obra de Xnopol, conocidometodlogodelascienciashistricas,lassiguientesformulaciones:Laciencianoesuna creacin de nuestro espritu, a la manera del arte La ciencia no es ms que la reproduccin intelectualdeluniverso(Cf.Lathoriedelhistoire,Pars,1908,pg.30). 2 [Versos 144147. Hemos utilizado la versin de Federico de Barbar y Zumrraga. Comedias de Aristfanes.Tomoprimero.Madrid,LibrerayCasaEditorialHernando.2ed.,1962.]
*
/3 /

omnisciencia parece un ideal religioso, ms que cientfico. Dios conoce todos los hechos, porqueEleselCreadorylaProvidenciadelmundo,yeljuezdelashumanasaccionese intenciones.Comodiceelsalmista, MiraYahvdesdeloscielos/contemplaatodosloshijosdelos hombres. Desdelamoradaenqueseasienta/observatodosloshabitantes delatierra. Elhaplasmadotodosloscorazones/yconoceafondotodassus obras.3 Cundiferenteeslaideaaristotlicadeconocimientoperfecto!TambinAristteles piensaqueunsabioloconocetodo;peronoconocehechosdetallados,sinoqueslotieneun conocimientodelogeneral.Y,comoconocelogeneral,enunciertosentidoconocetodoslos detalles que lo general abarca. De modo que, en potencia, conoce todo lo que puede ser conocido.Perosloenpotencia:laomniscienciaenactonoeselidealdelEstagirita4.

2.Puestoquenoesciertoquetodoslosjuiciosverdaderosformenpartedelaciencia,algn otro valor habr, adems de su verdad, que confiere a determinados juicios el rango de verdades cientficas. YaScratesysusgrandescontinuadorespensaronqueesevaloradicionaleraelde la generalidad. Aristteles deca que el conocimiento cientfico se ocupa, no de eventos incidentales(comoelsaltodelapulgadesdelacejadeQuerefon),sinodehechosquese repiten de manera constante, o al menos con frecuencia. Esos hechos quedan reflejados en juiciosgenerales,yslotalesjuiciosformanpartedelaciencia5. Sin embargo, la generalidad no es ni una caracterstica necesaria ni una caracterstica suficiente de las verdades cientficas. No es necesaria: porque podemos no eliminar de la ciencia los juicios singulares. La proposicin singular Wadysaw Jagieo fueelvencedordelabatalladeGrunwaldserefiereaunimportanteeventohistrico;el juicio singular que, sobre la base de ciertos clculos, previ la existencia de Neptuno fue unodelosmayorestriunfosdelaastronoma.Sinjuiciossingulares,lahistoriadejarade existircomociencia,ylaciencianaturalseverareducidaaretazosdeteora. La generalidad no es una caracterstica suficiente de las verdades cientficas. La siguienteestrofadecuatroversos,obradeMickiewicz: Nakadymmiejscuiokadejdobie, gdziemztobpaka,gdziemsiztobabawi, wszdzieizawszebdjaprzytobie,
Salmo 33 (Exultate iusti in Domino), versos 2930. Cf. tambin Salmo 139. [Hemos utilizado la versindeE.NcaryA.Colunga.Madrid,B.A.C.,4aed.,1970]. 4Metafsica,A,2,982a8yss.,21yss. 5Metafsica,E.2,1027a20,21,26.
3
/4 /

bomwszdzieczstkmejduszyzostawi.* puedeserobjetodelossiguientesjuiciosgenerales: Entodoslosversosaparecelaletras, Entodoslosversosenlosqueaparecelaletram,staaparecedosveces, Entodoslosversos,elnmerodevecesenqueaparecelaletramesunafuncin delnmerodevecesenqueaparecelaletrasexpresadaporlafrmula:m=s25s+6.6 Podemosproducirindefinidamenteverdadesgeneralescomostas.Habremosde incluirlasenlaciencia? 3. Aristteles, al adoptar la generalidad como la caracterstica de la verdad cientfica, estaba sucumbiendo al encanto del valor metafsico. Tras los hechos constantemente repetidospercibalunaexistenciapermanentedistintadelosfenmenosevanescentesdel mundo de los sentidos. Hoy en da, los cientficos se sienten ms inclinados a ver en la generalidadunvalorprctico. Los juicios generales, al definir las condiciones bajo las cuales tienen lugar los fenmenos,hacenposiblepronosticarelfuturo,provocarfenmenostilesyevitarquese produzcan los dainos. De aqu procede la concepcin segn la cual las verdades cientficassonjuiciosvaliososparalaprctica,reglasdelaaccineficaz7. Peroelvalorprcticonoes,tampoco,niunapropiedadsuficienteniunapropiedad necesaria de las verdades cientficas. El teorema de Gauss segn el cual todo nmero primo de la forma 4n + 1 es un producto de dos nmeros conjugados no tiene valor prctico8.Porotraparte,lainformacinproporcionadaporlapolicadequeciertosobjetos
Dejamos sin traducir el ejemplo original debido a que la referencia del autor no est dirigida al significadodelpoema,sinoalapresenciaenldeciertasletras. 6EstoscuatroversoscomponenlaterceraestrofadelpoemaDoM***(AM***),quecomienzaconlas palabrasPreczzmoichoczu.AdamMickiewicz,Dziela[Obras],SociedadLiterariaAdamMickiewicz, Lww,1896,Vol.1,pg.179.Sesiguedelafrmulaquem=2paras=1(versosunoydos),m=0 paras=2(versotres)ym=2paras=4(versocuatro). 7A.Comte(cf.Coursdephilosophie,2ed.,Pars,1864,Vol.1,pg.51)definalarelacinentreciencia yaccindelsiguientemodo:Ciencia,y,deah,previsin;previsin,y,deah,accin.PeroComte, sinembargo,noveaenlaprediccinnienlaaccinelobjetivodelaciencia(cf.lanota3alpedela pgina 6). Actualmente, el pragmatismo identifica la verdad con la utilidad, y H. Bergson, al reemplazar, en Lvolution cratice (5 ed., Pars, 1909, pg. 151), el trmino homo sapiens por homo faber(cosaqueyaCarlylehabahechoantes:elhombreesunanimalqueutilizainstrumentos.Sartor Resarius, Libro 1, captulo 5), quiere que la mente entera del hombre se ponga al servicio de los objetivos de la actividad prctica. H. Poincar, en su libro La valeur de la science (Pars, 1911, pg. 218)[HayversincastellanadeA.B.BesioyJ.Banfi.Madrid,EspasaCalpe,1947]citalasiguiente afirmacin de Le Roy, uno de los seguidores de Bergson: La ciencia no es ms que una regla de accin. 8Gauss,Theoriaresiduorumbiquadraticorum,commentatiosecunda,33.Ejemplos:5=(1+2i)(12i),13 =(2+3i)(23i),etc.ElteoremadeGaussesequivalentealteoremadeFermatsegnelcualtodo nmeroprimodelaforma4n+1sepuederepresentarcomounasumadedosnmeroscuadrados; e.g.,5=12+22,13=22+32,etc.
*
/5 /

robados han sido recuperados es,desde todos los puntos de vista prcticos, muy valiosa paralospropietariosdelosustrado.Porlodems,cuntosfenmenospuedenpreverse,y cuntospercancespuedenconjurarseenvirtuddelasiguienteley,desconocidaparaGali leoenestaformulacinqueledamos:TodosloslpicesfabricadosporMajewskiyCa.,S. L., de Varsovia, cuando nada los sostiene ni en nada se apoyan, caen con una velocidad queseincrementaenproporcinalperiododecada! Los que quieren convertir a la ciencia en una sierva de las necesidades cotidianas tienenunabajaopinindelaciencia.Mssublime,aunquenomejor,eralaideadeTolstoi decondenarlascienciasexperimentalesypedirdelacienciaquenosinstruyeratansloen las cuestiones ticas9. La ciencia tiene una importancia inmensa en los asuntos prcticos; puede elevar ticamente al hombre; y puede resultar una fuente de satisfaccin esttica; peroloesencialdesuvalorestenotraparte. 4. Aristteles vio el origen de la ciencia en el asombro. Los griegos se asombraron al descubrirqueladiagonalyelladodeuncuadradoeraninconmensurables10.Elasombroes un estado psicolgico de naturaleza a la vez intelectual y emocional. Hay otros estados semejantesal,comopuedenserlacuriosidad,eltemoralodesconocido,laincredulidad,la incertidumbre.Hastaahoranohansidoestudiadosdeunamaneracompleta,perobastacon unanlisissumarioparapercatarsedequetodosellosconllevan,juntoafactoresemocio nales,unelementointelectualquenoessinoundeseodeconocimiento11. Estedeseoserefiereahechosquesonimportantesparaalgunosindividuosopara todosloshombres.Unhombrequeestenamoradoysesientetorturadoporladudadesi lapersonaamadalecorresponde,tendraintersenconoceresehechotanimportantepara l.Perotodohombrevelamuertecontemorycuriosidadcuandointentaenvanosondear su misterio. La ciencia no tiene que ver con los deseos de ciertos individuos; investiga aquelloquepuededespertardeseodeconocimientoentodohombre. Siloqueacabamosdedecirescierto,entonceselvaloradicional,ademsdelaverdad, quetodojuiciodebeposeerparaperteneceralacienciapuededefinirsecomolacapacidaddedesper tar,odesatisfacer,directaoindirectamente,necesidadesintelectualescomunesatodalahumanidad. esdecir,necesidadesquetodohombreconunciertogradodedesarrollointelectualpuedesentir. 5. La verdad relativa al salto de lapulga desde la ceja deQuerefon no forma parte de la cienciaporquenidespiertanisatisfaceningunadenuestrasnecesidadesintelectuales.La
L.Tolstoiincluysusobservacionessobrelosobjetivosdelacienciaenlaconclusindesulibro contraelartemoderno(Sloconozcoeselibroentraduccinalemana:GegendieModernKunst.V. alem.deW.Thal.Berln,1898,pgs.171yss.).H.PoincarcitaaTolstoiensuartculoLechoixdes faits,incluidoensulibroScienceetmthode(Pars.1908,pg.7).[HayversincastellanadeM.G. MirandayL.Alonso.Madrid,EspasaCalpe,1944]. 10Metafsica,A2,982b11ss.Comte(loc.cit.)dicequeelconocimientodelasleyesquegobiernanlos fenmenos satisface esa urgente necesidad de la mente humana que se expresa en el asombro, tonnement. 11Losestadosdeincertidumbre,enlamedidaenquesedanenlosdeseos,hansidoanalizadospor W.WitwickienAnalizapsychologiczanaobjawwwoli(Anlisispsicolgicodelasmanifestacionesde lavoluntad),Lww,1904,pgs.99yss.
9
/6 /

informacinproporcionadaporlapolicarelativaalarecuperacindelorobadopuedeser de inters, a lo sumo, para las personas afectadas. Asimismo, nadie est interesado en saber cuntas veces aparecen las letras m y s en un determinado poema, o cul es la relacin entre esos dos nmeros. Ni siquiera el juicio acerca de la cada de los lpices fabricados por Majewski y Ca., encontrara su lugar en un libro de fsica, puesto que nuestrodeseodeconocimientoquedasatisfechoporunaleygeneralacercadelacadade loscuerpos. ElteoremadeGaussacercadelafactorizacindelosnmerosprimosdelaforma 4n+1ennmeroscomplejossloloconocen unospocoscientficos.Sinembargo, forma partedelaciencia,porquerevelalaexistenciadeunaextraaregularidadenlasleyesque gobiernanlosnmeros,loscuales,siendounpoderosoinstrumentodeinvestigacin,des piertancuriosidadentodohombrequepiense.Notodoelmundonecesitaocuparsedela existenciadeNeptuno,peroesehechoconfirmalateorasintticadeNewtonacercadela estructuradelsistemasolar,ydeestemodo,aunqueseaindirectamente,ayudaasatisfacerla necesidadintelectualquelahumanidadhasentidodesdelosmstempranostiempos.La victoria de Jagieo quiz sea, como tal, de poco inters para un japons, pero ese hecho tuvosuimportanciaenlahistoriadelasrelacionesentredosnaciones,ylahistoriadeuna nacinpuedenoresultarindiferenteaunindividuoculto. Mientras que el arte parti de un anhelo de belleza, la ciencia se form en una bsqueda del conocimiento. Pretender encontrar los objetivos de la ciencia fuera de la esferadelintelectoesunerrortangroserocomorestringirelartemedianteconsideraciones deutilidad.Lasconsignaslacienciaporlacienciayelarteporelartesonigualmente legtimas. 6. Toda necesidad intelectual que no puede satisfacerse inmediatamente de una manera emprica da lugar al razonamiento. Todo aquel que se sienta asombrado por la inconmen surabilidaddeladiagonalconelladodeuncuadradoquerrencontrarunaexplicacinde ese hecho; busca, entonces, razones de las que el juicio sobre la inconmensurabilidad puedaserunaconsecuencia.Todoelquesientatemoranteelpasodelatierraatravsde lacoladeuncometaintentarinferir,basndoseenlasleyesconocidasdelanaturaleza,las consecuenciasdetalsuceso.Unmatemticoquenoestsegurodesilaecuacinxn+vn=zn no tiene solucin entre enteros positivos con n > 2 buscar una demostracin, es decir, buscarjuiciosfidedignosquejustifiquenelfamosoteoremadeFermat.Unapersonaque sufra de alucinaciones y que en un momento dado no cree lo que ve, querr verificar la naturalezaobjetivadeloqueve;buscar,portanto,lasconsecuenciasquesederivandel supuestodequenosufrealucinaciones.Porejemplo,preguntaraotraspersonassivenlo mismoquel.Laexplicacin,lainferencia,lademostracinylaverificacinsontiposde razonamiento12.
ElProfesorK.Twardowskifueelprimeroenutilizareltrminorazonamientocomountrmino general para cubrir inferencia y demostracin en Zasadnicze pojecia dydaktyki i logiki (Los conceptos fundamentales de los mtodos de enseanza y de la lgica) Lww, 1901, pg. 19, pargrafo 97. Como prolongacin de sus puntos de vista introduzco la teora del razonamiento bosquejadaen7.
12
/7 /

Todorazonamientosecomponecuandomenosdedosjuiciosentrelosquesedala relacindeconsecuencia.Unconjuntodejuiciosconectadosmedianteesasrelacionespuede recibir el nombre de sntesis. Puesto que toda necesidad intelectual que sea comn a la humanidadsepuedesatisfacermedianteelsolorazonar,ynomediantelaexperiencia,que porsumismanaturalezaesindividual,laciencianoincluyejuiciosaislados,sinosolosntesisde juicios.

7.Todasntesisdejuiciosincluyecomofactornecesariolarelacinformaldeconsecuencia. El silogismo Si todo S es M, y todo M es P, entonces todo S es P, es el ejemplo ms corriente, aunque no el nico, de juicios conectados por medio de esa relacin lgica. La relacin de consecuencia que se mantiene entre las premisas de un silogismo y su conclusin se llama formal porque se mantiene con independencia del significado de los trminosS,MyPqueconstituyenlamateriadelsilogismo. La relacin formal de consecuencia es nosimtrica, es decir, tiene la propiedad de que,cuandolarelacindeconsecuenciasemantieneentreunjuiciooconjuntodejuiciosA yB,lamismarelacinpuedeperonotienenecesariamentequemantenerseentreBy A. El juicio A, del que B es una consecuencia, es la razn, y B es la consecuencia*. La transicin de la razn a la consecuencia determina la direccin de la relacin de consecuencia. El razonamiento que parte de razones y busca consecuencias recibe el nombre de deduccin;elquepartedeconsecuenciasybuscarazonerecibeelnombredereduccin.Enel casodeladeduccinladireccindelrazonamientoestdeacuerdoconladelarelacinde consecuencia;enlareduccin,ambasdireccionessoncontrarias. Elrazonamientodeductivopuedeserobienunainferenciaobienunaverificacin, y el razonamiento reductivo puede presentarse como una explicacin o como una demostracin.Siapartirdejuiciosfidedignosdeducimosunaconsecuencia,estamosinfi riendo; si buscamos razones para determinados juicios fidedignos estamos explicando. Si buscamosjuiciosfidedignosqueseanconsecuenciasdedeterminadosjuiciosnofidedignos, estamos verificando; si buscamos juicios fidedignos de los que determinados juicios no fidedignosseanconsecuenciasestamosdemostrando. 8.Hayunelementocreativoentodorazonamiento;dondesemanifiestaconmsfuerzaes enlaexplicacin. Lainduccinincompletaesuntipodeexplicacin.Esunmododerazonarque,para determinadosjuiciossingularesfidedignosS1esP,S2esP,S3esP,buscaunaraznen formadeunjuiciogeneralTodoSesP. Como todo razonamiento reductivo, la induccin incompleta no justifica el resultado del razonamiento por su punto de partida. En efecto: S1, S2, S3 no agotan la extensin del concepto S, e inferir un juicio general a partir de unos pocos juicios singu laresnoesformalmentepermisible.Heaqularazndequeunargumentoporinduccin
Comosehabrobservado,conunnicotrmino,consecuencia,estamosrefirindonosadoscosas distintas(queukasiewiczdesignacondostrminosdiferentes):alarelacindeconsecuenciaentre juicios,yaljuicioquesesiguedeotro,siendosteltimoelfundamentoorazndeaqul.
*
/8 /

incompletanosea,comotal,unjuiciofidedigno,sinoslounjuicioprobable13. La generalizacin Todo S es P se puede interpretar, bien como un conjunto de descripciones singulares, bien como la relacin si algo es S, entonces es P. Si una generalizacinesunconjuntodejuiciossingulares,entoncesabarcanosloaquelloscasos quehansidoyainvestigados,sinotambincasosnoconocidoshastaahora.Enelsupuesto de que los casos no conocidos sean como los conocidos, nosotros no estamos reproduciendo hechosempricamentedados,sinoqueestamoscreandonuevosjuiciossegnelmodelode losjuiciosacercadecasosconocidos. Si una generalizacin expresa una relacin, entonces est introduciendo un factor que es ajeno a la experiencia. Desde los tiempos de Hume slo nos est permitido decir que percibimos una coincidencia o una secuencia de eventos, pero no una relacin entre ellos14. As, pues, un juicio acerca de una relacin no reproduce hechos que estn empri camente dados, sino que, una vez ms, constituye una manifestacin del pensamiento creativodelhombre. Y esta es todava una actividad creativa de poca monta; tendremos ocasin de conocerotrademayorentidad. 9.PensemosenlageneralizacindeGalileo:Todosloscuerpospesados,cuandonadalos sostieneniennadaseapoyan,caenconunavelocidadqueseincrementaenproporcinal tiempo de cada. Esta generalizacin incluye una ley que expresa la relacin funcional entrelavelocidadvyeltiempodecadat,relacinquevienedadaporlafrmula:v=gt. La cantidad t puede tomar valores que se expresan mediante enteros, fracciones, nmeros irracionales y nmeros trascendentales. Esto conduce a un nmero infinito de juiciosacercadecasosquenadiehaobservadonuncaoquenadiepodrnuncaobservar. Esteesuncasodepensamientocreativoqueyahemosmencionadoantes. El otro elemento est inserto en la forma de la relacin. Ninguna medicin es exacta. Por tanto, es imposible afirmar que la velocidad es exactamente proporcional al tiempodecada.As,pues,tampocolaformadelarelacinreproducehechosqueestnemp ricamente dados: la relacin entera es un producto de la actividad creativa de la mente humana. Porlodems,sabemosquelaleyquegobiernalacadadelosgravesslopuedeser verdaderaaproximativamente,puestoquesuponecondicionesquenosedan,talescomo una aceleracin gravitatoria constante o una falta de resistencia por parte del aire. Por consiguiente,noreproducelarealidad,sinoquetansloaludeaunaficcin. He aqu por qu la historia nos dice que la ley no surgi de la observacin de fenmenos, sino que naci a priori en la mente creativa de Galileo. Fue slo despus de
Esta concepcin de la naturaleza de la inferencia inductiva est de acuerdo con la denominada teoradelainduccincomoinversin,formuladaporJevonsySigwart(cf.mitrabajoOindukcji jako inwersji dedukeji (Sobre la induccin como la inversin de la deduccin, en Przeglad Filozoficzny6(1903),pg.9. 14 Cf. David Hume, Enquiry Concerning Human Understanding: no podemos, en un solo caso aislado,descubrirposibilidadalgunadeconexinnecesaria.
13
/9 /

formularsuleycuandoGalileoverificenloshechossusconsecuencias15. Taleselpapelde laexperienciaentodateoradelaciencianatural:servirdeestimuloaideascreativasypropor cionarmaterialesparasuverificacin. 10.Otrotipodeexplicacinconsisteenlaformulacindehiptesis.Formularunahiptesis significa asumir la existencia de un hecho, no confirmado empricamente, con vistas a deducir de un juicio acerca de ese hecho que aparece como su razn parcial un juicio fidedignodadocomoconsecuencia.Porejemplo:unapersonasabequealgnSesP,pero nosabeporqu.Comoquiereencontrarunaexplicacin,daporsupuestoqueesemismoS esM,aunquenoloverificaempricamente.PerolsabequetodoslosMsonP,demodo quesidaporsupuestoqueSesM,entoncesdeestosdosjuiciospuedeconcluirqueSesP. EljuicioacercadelaexistenciadeNeptunoera,antesdequeelhechoseconfirmara empricamente, una hiptesis. El juicio acerca de la existencia de Vulcano, un planeta situadomscercadelSolqueMercurio,estodavaunahiptesis.Lasconcepcionessegn las cuales existen los tomos, los electrones o el ter sern siempre hiptesis16. Toda la paleontologa est basada en hiptesis; por ejemplo, el enunciado de que ciertas masas grisesdecalizaqueseencontraronenPodoliasonrastrosdelosbraquipodosquevivie ronenelSilricoyenelDevnico inferiorataeafenmenosquenosonaccesiblesala observacin. La historia es un inmenso tejido de hiptesis que, por medio de juicios generales,extrados,enlamayoradeloscasos,delaexperiencia,explicanempricamente determinados datos, tales como monumentos histricos, documentos, instituciones y costumbresqueexistenahora. Todas las hiptesis son productos de la mente humana, porque una persona que asume un hecho que no est empricamente confirmado est creando algo nuevo. Las hiptesissonelementospermanentesdelconocimientoynoideastransitoriasquemediante la verificacin pueden transformarse en verdades establecidas. Un juicio acerca de un hechodejadeserunahiptesisslosiesehechosepuedeconfirmarmedianteexperiencia directa. Esto slo tiene lugar en casos excepcionales. Y demostrar que las consecuencias de una hiptesis concuerdan con los hechos no significa convertir una hiptesis en una verdad,porquelaverdaddelaraznnosesiguedelaverdaddelaconsecuencia. 11. Hay otros tipos de razonamiento que, a diferencia de la explicacin, no contienen elementoscreativosprimarios.Estoocurreasporquedemostrarconsisteenbuscarrazones
Cf.E.Mach,DieMechanikinihrerEntwickelung,6ed.,Leipzig,1908,pgs.129yss. EnelescritodelDr.BronislawBiegeleisenOtwrczosciwnaukachscisych(Sobreelementos creativosenlascienciasexactas),publicadoenPrzegladFitozoficzny13(1910),pgs.263,387,secitan muchos ejemplos que sealan la presencia de elementos creativos en la fsica. El Dr. Biegeleisen llamalaatencinsobrelavisualizacindeteorasfsicasmediantemodelosmecnicos(pgs.389y ss.).Entreunmodeloqueexplicaunateorayunainvencin,quees,sinduda,untrabajocreativo, hay slo una diferencia, que se refiere a los objetivos y aplicaciones de ambos. Hay tambin modelosenlgica:porejemplo,elbacolgicodeJevons(vaseeldiseoensulibroThePrinciples ofScience,Londres,1883)olasmquinaslgicasdeMarquand(cf.StudiesinLogicbyMembersofthe JohnHopkinsUniversity,Boston,1883.pgs.12yss.)
15 16
/10 /

conocidas, y la inferencia y la verificacin desarrollan las consecuencias que estn ya contenidasenlaspremisasencuestinSinembargo,entodorazonamientohaysiempre razonamientocreativoformal:unprincipioderazonamientodecarcterlgico. Un principio de razonamiento es un juicio que enuncia que la relacin de conse cuencia se cumple entre ciertas formas de juicios. El silogismo si S es M, y M es P, entoncesSesPesunprincipioderazonamiento17. Los principios de razonamiento no reproducen hechos que estn empricamente dados;porquenilarelacinnosimtricadeconsecuenciaesobjetodeexperiencia,nilas formasdejuicios,talescomoSesPenuncianfenmenos. Las relaciones nosimtricas nunca ligan entre s objetos reales. Porque llamamos nosimtricaaunarelacinquepuedeperonotienequemantenerseentreByAsise mantiene entre A y B. Y si A y B existen realmente, entonces toda relacin o bien se mantieneentreellosonosemantiene.Larealidadexcluyelaposibilidad. Laposibilidadestpresentetambinenlasformasdelosjuicios.LostrminosSyP sonvariablesquenodenotannadadefinido,sinoquepuedendenotaralgo.Elelementode posibilidad es suficiente para hacernos considerar los principios de razonamiento como creacionesdelamentehumana,ynocomoreproduccionesdehechosreales. La lgica es una ciencia a priori. Sus teoremas son verdaderos sobre la base de definiciones y axiomas derivados de la razn y no de la experiencia. Esta ciencia es un mbitodepuraactividadmental. 12.Lalgicadalugaralasmatemticas.Lamatemtica,segnRussell,esunconjuntode juiciosdelaformapimplicaq,dondelosjuiciospyqslopuedencontener,ademsde lasvariables,constanteslgicas18.Lasconstanteslgicasincluyenconceptostalescomola relacindeconsecuencia,larelacindepertenenciaquesemantieneentreunindividuoy unaclase,etc,*.Sitodalamatemticaesreductiblealalgica,entoncestambinellaesun productopuramentemental. Unanlisisdelasdiversasdisciplinasmatemticasllevaalamismaconclusin.El punto, la lnea recta, el tringulo, el cubo, todos los objetos que la geometra investiga tienentanslounaexistenciaideal;noestnempricamentedados.Ynodigamosnadade lasfigurasnoeucldeasodelosslidosmultidimensionales.Nohay,enelmundodelos fenmenos, nmeros integrales, irracionales, imaginarios ni conjugados. Dedekind deca de los nmeros que eran productos libres del espritu humano19. Y los nmeros son el
PorloqueserefierealconceptodeprincipioderazonamientoestoyendeudaconelprofesorK. Twardowski(cf.Zasadniczepojeciadydaktykiitogiki(Losconceptosfundamentalesdelosmtodosde enseanzaydelalgica),Lww,1901,pg.30,pargrafo64). 18B.Russell,ThePrinciplesofMathematics,Cambridge,1903,pg.3.[HayversincastellanadeJ.C. Grimberg.BuenosAires,EspasaCalpe,1948]. * Parece como si ukasiewicz se refiriera aqu al smbolo de la implicacin y al smbolo 0 que denotalarelacindepertenenciaquesedaentreunobjetoyunconjuntodelqueeseobjetoesun elemento. 19 R. Dedekind, Was sind und was sollers die Zahlen. Braunschweig, 1888, pg. VI: die Zahlen sind freieSchpfungendesmenschlichenGeistes.
17
/11 /

fundamentodetodoelanlisis. Lalgica,juntoconlamatemtica,sepuedecompararaunafinaredquesearroja al inmenso abismo de los fenmenos para obtener esas perlas que son las sntesis cient ficas. Es un instrumento poderoso de investigacin, pero slo un instrumento. Los juicios lgicosymatemticosslosonverdadesenelmundodelasentidadesideales.Probable mentenuncasabremossiestasentidadestienensuscorrespondenciasenalgunosobjetos reales20. Las construcciones mentales a priori, que estn contenidas en toda sntesis, empapan la cienciaenteraenunelementoidealycreativo. 13.Hallegadoelmomentodeexaminarlasiguientecuestin:culesverdadescientficas sonpurasreproduccionesdehechos?Porquesilasgeneralizaciones,lasleyesylashiptesis, yportantotodaslasteorasdelascienciasempricasyelmbitoenterodelascienciasa priori,sonunresultadodeltrabajocreativodelamentehumana,entoncesprobablemente pocosjuicioshabrenlacienciaqueseanpuramentereproductivos. Larespuestaaestacuestinparecefcil.Slounenunciadosingularacercadeunhecho que est directamente dado en la experiencia, puede ser un juicio puramente reproductivo. Por ejemplo: Aqu crece un pino, Esta aguja magntica se desva ahora (de su posicin anterior), en esta habitacin hay dos sillas. Pero si alguien examina estos juicios con mayoratencinquizencuentretambinenelloselementoscreativos.Laspalabraspino, aguja magntica y dos representan conceptos, y, por tanto, encierran un trabajo del espritu.Todosloshechosformuladosenpalabrasestn,porprimitivosquesean,interpre tados por el hombre. Un hecho crudo, intocado por la mente humana, se antoja un conceptolimite. En cualquier caso, tenemos la sensacin de que la capacidad creativa de la mente humananoesilimitada.Lossistemasidealistasdeepistemologanoconsigueneliminarla sensacindequeexistealgunarealidadindependientedelhombreydequehadebuscarse enlosobjetosdeobservacin,enlaexperiencia.Desdehacemuchotiempolagrantareadela filosofahasidoinvestigarquelementosdeesarealidadvienendelamentehumana21. 14. En la ciencia hay que distinguir dos tipos de juicios: de algunos se supone que reproducenhechosdadosenlaexperiencia;losotrosestnproducidosporlamentehumana. Losjuiciosdelprimertiposonverdaderos,porquelaverdadconsisteenelacuerdoentreel pensamientoyloqueexiste.Sontambinverdaderoslosjuiciosdelsegundotipo?
EnmilibroOzasadziesprzecznosciuArystotelesa(Sobreelprincipiodecontradiccinenlasobras deAristteles),Cracow,1910,pgs.133yss.,intentdemostrarquenopodemostenerlaseguridad dequelosobjetosrealesestnsometidosalprincipiodecontradiccin. 21LaideacopernicanadeKant,queintentdemostrarquelosobjetossiguenalconocimientoms bien que al revs, incluye puntos de vista que favorecen la tesis de la presencia de elementos creativosenlaciencia.Yo,sinembargo,heintentadodemostraresatesisnosobrelabasedealguna determinada teora del conocimiento, sino sobre la base del realismo comn, por medio de la investigacinlgica.PorlamismaraznnohetomadoenconsideracinelpragmatismodeJamesni elhumanismodeSchiller.
20
/12 /

Nopodemosafirmarcategricamentequeseanfalsos.Loquelamentehumanaha producido no tiene por qu ser necesariamente una fantasa. Pero tampoco estamos autorizadosaconsiderarloscomoverdaderos,porquenormalmentenosabemossitienensu correspondencia en lo que realmente existe. Sin embargo, los incluimos en la ciencia si estnligadosporrelacionesdeconsecuenciaajuiciosdelprimertipoysinoconducena consecuenciasqueestnendiscordanciaconloshechos. Por tanto, es errneo pensar que el objetivo de la ciencia sea la verdad. La mente humana no trabaja creativamente buscando la verdad. El objetivo de la ciencia es construir sntesisquesatisfaganlasnecesidadesintelectualescomunesatodalahumanidad. Esas sntesis incluyen juicios verdaderos acerca de los hechos; ellos son los que fundamentalmente suscitan necesidades intelectuales. Son elementos reconstructivos. Pero esas sntesis incluyen tambin juicios creativos; stos son los nicos que satisfacen necesidades intelectuales. Son elementos constructivos. Los elementos del primero y del ltimotiposecombinanenuntodomedianterelacioneslgicasdeconsecuencia.Sonestas relacioneslasquedanalassntesisdejuiciossucarctercientfico. Lacreatividadpoticanodifieredelacreatividadcientficaenqueencierremayor cantidad de fantasa. Cualquiera que, como Coprnico, haya cambiado a la Tierra de posicinylahayaenviadoahacerrevolucionesentornoalSol,oque,comoDarwin,haya percibidoenlasnieblasdelpasadolastransformacionesgenticasdelasespecies,puede codearse con el mayor de los poetas. Pero el cientfico difiere del poeta en que, en todo tiempoylugar,razona.Nonecesitanipuedejustificarlotodo,perotodoloqueafirmetiene que ligarlo mediante lazos lgicos en un todo coherente. El fundamento de ese todo consiste en juicios acerca de hechos, y ello sostiene la teora, que explica, organiza y predicehechos. Asescomosecreaelpoemadelaciencia22. Estamosviviendounperododeafanosarecoleccindehechos.Fundamosmuseos deciencianaturalyhacemosherbolarios.Confeccionamoslistasdelasestrellasytrazamos mapasdelaLuna.OrganizamosexpedicionesalosPolosdenuestrogloboyalaselevadas montaas del Tbet. Medimos, computamos y recolectamos datos estadsticos. Acumulamosartefactosprocedentesdecivilizacionesprehistricasyespecimenesdearte popular. Exploramos tumbas antiguas en busca de nuevos papiros. Publicamos fuentes histricas y damos listas bibliogrficas. Nos gustara preservar de la destruccin todo fragmentodepapelimpreso.Todoestoesuntrabajovaliosoynecesario. Pero una coleccin de hechos no es todava ciencia. Un verdadero cientfico es el quesabecmotrabarloshechosparaformarsntesis.Parahacerestonobastaconadquirir elconocimientodeloshechos;estambinnecesarioaportarpensamientocreativo.
Ignacy Matuszewski, en su trabajo Cele sztuki (Los objetivos del arte), incluido en el libro Turczositwrcy(Creacinycreadores),Varsovia,1904,ofrecepuntosdevistasimilaressobrelos elementoscreativosenlaciencia.Susestudios,emprendidosconpropsitosdiferentesydesdeun diferentepuntodevista,lehanconducidoalosmismosresultadosaquemehanconducidoam lasconsideracioneslgicas.
22
/13 /

Cuanto ms adiestre una persona su mente y su corazn, y cuanto ms estrechamenteseunaconlasgrandesmentescreativasdelahumanidad,tantomayorser el nmero de ideas creativas que pueda formar en su frtil espritu. Y quiz en un momento feliz se vea iluminado por una chispa de inspiracin que le har procrear algo grande.Porque,comohadichoAdamMckewicz23,Todaslascosasgrandesquehayen el mundo las nacionalidades, la legislacin, las viejas instituciones, todos los credos anterioresalavenidadeCristo,todaslasciencias,losinventos,losdescubrimientos,todas las obras maestras de la poesa y el arte han tenido su origen en la inspiracin de profetas,sabios,hroesypoetas.
Estaformulacin,extradadelascartasdeOdyniec,aparececitadaporW.Biegaskiensuescrito OfilozofiiMickiewicza(SobrelafilosofadeMickiewicz)enPrzeglpdFilozoficzny10(1907),pg. 205.

23
/14 /

LECCINDEDESPEDIDAPRONUNCIADAPORELPROFESORJANUKASIEWICZENELAULA MAGNADELAUNIVERSIDADDEVARSOVIAEL7DEMARZODE1918 Enestaleccindedespedidaquieroofrecerunasntesisdemtrabajoinvestigador, basadaenconfesionesautobiogrficas.Quierodescribirelfondoemocionalsobreelquese hanidodesarrollandomispuntosdevista. Hedeclaradounaguerraespiritualencontradetodacoercinquerestrinjalalibre actividadcreativadelhombre. Haydosclasesdecoercin.Unadeellaseslacoercinfsica,quesepresentabien comounafuerzaexternaqueponecadenasalalibertaddemovimientos,bienenlaforma deunaimpotenciainternaquehaceimposibletodaaccin. De esa coercin podemos liberarnos. Tensando nuestros msculos podemos rom per las cadenas, y ejercitando nuestra voluntad podemos vencer la inercia del cuerpo. Y cuandotodaslasmedidasfracasan,todavaquedalamuertecomolagranliberadora. Laotraclasedecoercineslacoercinlgica.Notenemosmsremedioqueaceptar los principios que son evidentes, as como los teoremas que de ellos se derivan. Esa coercinesmuchomsfuertequelafsica;nohayesperanzadeliberacin.Nohayfuerza, nifsicaniintelectual,quepuedavenceralosprincipiosdelalgicaylamatemtica. Esa coercin surgi con la aparicin de la lgica deAristteles y la geometra de Euclides. Haba nacido el concepto de ciencia como sistema de principios y teoremas conectados mediante relaciones lgicas. El concepto vino de Grecia y ha mantenido su soberana. El universo se conceba sobre el modelo de un sistema cientfico: todos los eventosyfenmenosestninterconectadosporlazoscausalesysesiguenlosunosdelos otros como los teoremas de una teora cientfica. Todo lo que existe est sujeto a leyes necesarias. Eneluniversoasconcebidonohaylugarparaunactocreativoqueresulte,node una ley, sino de un impulso espontneo. Los impulsos, adems, estnsometidos a leyes, tienensuorigenenlanecesidadypodranserprevistosporunseromnisciente.Antesde queyovengaaestemundo,misaccioneshansidopredeterminadashastaensusmenores detalles. Estaideainvadeinclusolavidaprctica.Resultaquelaaccinsujetaaleyes,tanto naturales como sociales, y, por ende, ordenada e intencional, es siempre efectiva. Si la nacinenterapudierallegaraconstituirunmecanismocuyaestructurareprodujeraladel sistema cientfico, adquirira tan enorme fuerza que podra aspirar a convertirse en la dueadelmundo. Lamentecreativasesublevacontraestaconcepcindelaciencia,deluniversoyde la vida. Un individuo valiente, consciente de su valor, no se resigna a ser un simple eslabn en la cadena de causa y efecto, sino que quiere dejar sentir su influencia en el cursodelosacontecimientos.
/15 /

Aquhaestadosiempreelfondodelaoposicinentrecienciayarte.Peroheaqu que los artistas permanecen ajenos a los resultados de la ciencia y no son sensibles a la coercinlgica.Quhadehacer,entonces,uncientfico? Tiene dos vas para escoger: o bien hundirse en el escepticismo y abandonar la investigacin,obienvrselasconelconceptodecienciabasadoenlalgicaaristotlica. Por mi parte, he escogido esta segunda va. Lenta y gradualmente he llegado a comprender cul es el objetivo ltimo de la campaa que ahora estoy llevando a cabo. Inclusotodomitrabajoanteriorserva,inconscientemente,elmismopropsito. Enmiintentodemodificarel conceptodecienciabasadoenlalgicaaristotlica, me vea obligado a forjar armas ms poderosas que esa lgica. La lgica simblica se convirtiparamenesaarma. Somet a examen, a la luz de esa lgica, los grandes sistemas filosficos que proclaman la universalidad de la causalidad entre los fenmenos. Adquir la certeza de que todos ellos, sin excluir la filosofa crtica de Kant, se reducen a nada cuando se los somete a la crtica lgica. Se convierten en una coleccin de ideas sueltas, a veces brillantes, pero desprovistas de valor cientfico. En absoluto constituyen amenazas a la libertad. Lascienciasempricaslleganaleyesgeneralesmedianteelrazonamientoinductivo. Yo somet a examen la estructura lgica de las conclusiones obtenidas por induccin. EmpecporlasinvestigacionesdeJevonsySigwarteintentdemostrarquelainduccin esunrazonamientoreductivoquebuscarazonesparadeterminadasconsecuenciasdadas. Un razonamiento de ese tipo jams lleva a resultados seguros: slo a hiptesis. Tambin aqu,portanto,dejadefuncionarlacoercinlgica. Lasleyesyteorasdelaciencianatural,porserhiptesis,nosonreproduccionesde hechos,sinoproductoscreativosdelpensamientohumano.Deberacomparrselos,nocon unafotografa,sinoconuncuadropintadoporunartista.Elmismopaisajepuedeaparecer interpretadodediferentesmanerasenobrasdeartistasdiferentes;digamos,poranaloga, queteorasdiferentespuedenservirparaexplicarlosmismosfenmenos.Enestoveoyo unaprimeracercanaentreeltrabajocientficoyelartstico. La coercin lgica se manifiesta con mayor fuerza en las ciencias a priori. Aqu la disputa se planteaba por todo lo alto. En 1910 publiqu un libro sobre el principio de contradiccinenlaobradeAristteles,enelqueintentabademostrarqueeseprincipiono estanevidentecomosecrea.Yaentoncesaspirabaaconstruirunalgicanoaristotlica. peroenvano. Ahoracreoquetuvexitoenesto.Micaminomevenaindicadoporlasantinomias, que demostraban que la lgica aristotlica tiene lagunas. El rellenarlas me llev a una modificacindelosprincipiostradicionalesdelalgica. El estudio de este tema fue el objeto de mis ltimas clases. He demostrado que, ademsdeproposicionesverdaderasyfalsas,hayproposicionesposibles,alasquecorres pondelaposibilidadobjetivacomountercervalorademsdelserydelnoser. Estodioorigenaunsistemadelgicatrivalente,quedesarrollendetalleduranteel veranopasado.EsesistemaestancoherenteyconsistentecomolalgicadeAristteles,y resultamuchomsricoenleyesyfrmulas.
/16 /

Esa nueva lgica, al introducir el concepto de posibilidad objetiva, destruye el primitivo concepto de ciencia basado en la necesidad. Los fenmenos posibles no tienen causas, aunque ellos mismos puedan constituir el punto de partida de una secuencia causal.Elactodeunindividuocreativopuedeserlibreyalmismotiempoafectarelcurso delmundo. La posibilidad de construir sistemas lgicos diferentes muestra que la lgica no estlimitadaalareproduccindehechos,sinoqueesunproductolibredelhombre,como unaobradearte.Lacoercinlgicaseevaporaensumismafuente. Talfuemitrabajoinvestigador,sutrasfondoemocionalyelobjetivoporelquese guiaba. Y ahora he de abandonar mi trabajo por algn tiempo y someterme yo mismo a coercinyatenermealeyesyregulacioneseinclusovelarporellas.Noserlibre,aunque el no serlo lo habr decidido por mi propia voluntad. Pero cuando me sienta libre de nuevo, volver a la ciencia. Volver a ella y quizs os ponga a vosotros o a los que os sucedan ante la tarea de continuar esa lucha ideal en pro de la liberacin del espritu humano.
/17 /

SOBRELALGICATRIVALENTE* La lgica aristotlica, al operar sobre la base de que toda proposicin es o bien verdaderaobienfalsa,distingueslodostiposdevaloreslgicos:laverdadylafalsedad. Sisimbolizamoslaverdadpor1,lafalsedadpor0,laidentidadpor=ylaimplicacinpor <, podemos deducir todas las leyes de la lgica aristotlica a partir de los siguientes principiosydefiniciones: I. Losprincipiosdeidentidaddelafalsedad,deidentidaddelaverdadyde noidentidaddelaverdadylafalsedad:(0=0)=1,(l=l)=1,(0=l)=(1=0) =0. II. Losprincipiosdelaimplicacin:(0<0)=(0<1)=(1<1)=1,(1<0)=0. III. Lasdefinicionesdenegacin,adicinymultiplicacin:a=(a<0),a+b=[(a <b)<b],ab=(a+b). Enestasdefiniciones,aybsonvariablesquepuedentomarslodosvalores:0y1. Todas las leyes lgicas, expresadas por medio de variables, se pueden verificar sustitu yendolasletraspor0y1;porejemplo(a=1)=aesverdadera,porque(0=l)=0y(l=1)=l. Lalgicatrivalenteesunsistemadelgicanoaristotlica,puestoqueoperasobre labasedeque,ademsdeproposicionesverdaderasyfalsas,haytambinproposiciones quenosonniverdaderasnifalsas,y,portanto,dequeexisteuntercervalorlgico.Este tercer valor lgico se puede interpretar como la posibilidad y se puede simbolizar por **.Siqueremosformularunsistemadelgicatrivalente,hemosdeaadir,alosprincipios relativosa0y1,principiosrelativosa.Estopuedehacersedevariasmaneras;elsistema adoptadoporesteautorenelestadoactualdesusinvestigaciones,desvindoselomenos posibledelalgicabivalenteeselsiguiente: I. Principiosdeidentidad:(0=)=(=0)=(1=)=(=1)=,(=)=1. II. Principiosdeimplicacin:(0<)=(<1)=(<)=1,(<0)=(1<)=. Losprincipiosantesespecificadosrelativosa0y1,ylasdefinicionesdenegacin, adicin y multiplicacin siguen siendo los mismos en lgica trivalente, con la nica diferenciadequelasvariablesaybpuedentomartresvalores:0,1,y.
PublicadooriginalmentecomoOlogicetrjwartosciowejenRuchFilozoficzny,5(1920),pgs.170 171. **Enesteescritoukasiewiczutilizabaelsmbolo2paradenotaruntercervalorlgico;enescritos posterioresutilizsiempreelsmboloconesemismosentido.
*
/18 /

Las leyes de la lgica trivalente difieren en parte de las de la lgica bivalente. Algunas de las leyes dela lgica aristotlica son slo posibles en lgica trivalente: por ejemplo,elprincipiodelsilogismoenlaformulacinordinaria:(a<b)(b<c)<(a<c){sin embargo, el principio del silogismo en la formulacin (a < b) < [(b < c) < (a < c)] es verdadero},elprincipiodecontradiccinaa=0,elprincipiodetercioexclusoa+a=l,etc. Algunasdelasleyesdelalgicabivalentesonfalsasenlgicatrivalente,entreellaslaley (a=a)=0,puestoqueparaa=elenunciadoa=aesverdadero.Estoexplicaelhechode queenlgicatrivalentenohayaantinomias. Esteautoresdelaopinindequelalgicatrivalentetienesobretodoimportancia terica como medio para construir un sistema de lgica noaristotlica. Si este nuevo sistema de lgica tiene o no importancia prctica es algo que slo podr determinarse cuandoseexaminenendetallefenmenoslgicos,yenespeciallosfenmenoslgicosque sedanenlascienciasdeductivas,ycuandolasconsecuenciasdelafilosofaindeterminista, queeselsustratometafsicodelanuevalgica,secomparenconlosdatosempricos.
/19 /

SOBREELDETERMINISMO* Estearticuloeslaversinrevisadadeunaconferenciaquepronunci,comoRector delaUniversidaddeVarsovia,enlaInauguracindelcursoacadmico19221923.Como de costumbre, habl sin el auxilio de notas. Ms tarde, redact mi discurso, pero nunca hastaahoralohabapublicado. En el curso de los ltimos veinticuatro aos volv con frecuencia sobre mi confe rencia,perfeccionandosuformaysucontenido.Lasideasfundamentales,y,enparticular, el examen crtico de los argumentos en favor del determinismo, quedaron, sin embargo, comoestaban. Poreltiempoenquepronuncimconferencia,loshechosyteorasque,dentrodel campodelafsicaatmica,siguieroninmediatamentealsocavamientodeldeterminismo, eran todava desconocidos. Para no desviarme demasiado del contenido original de la conferencia,nitampocointerferirconl,herenunciadoaampliarmiartculoaadindole argumentostomadosdeestaramadelconocimiento. Dubln,noviembrede1946. *** 1.Esunaviejacostumbreacadmicaqueel Rectorabra un nuevoperodolectivo con una disertacin inaugural. Se supone que en ese discurso debe exponer su credo intelectualyofrecerunasntesisdesusinvestigaciones. Lasntesisdeunasinvestigacionesfilosficasseexpresaenunsistemafilosfico,en una visin comprehensiva del mundo y de la vida. Me siento incapaz de presentar un sistemadeesetipo,porquenocreoquehoyendasepuedasentarunsistemafilosfico quesatisfagalasexigenciasdelmtodocientfico. Formo,juntoconunospocoscompaerosdetrabajo,ungrupotodavapequeode filsofosymatemticosquehanescogidolalgicamatemticacomotemaobasedesus investigaciones.EstadisciplinafueinauguradaporLeibniz,elgranmatemticoyfilsofo, pero sus esfuerzos haban cado en olvido cuando, hacia mediados del siglo diecinueve, George Boole se convirti en su segundo fundador. Gottlob Frege enAlemania, Charles PeirceenlosEstadosUnidosyBertrandRussellenInglaterrahansidolosrepresentantes msprominentesdelalgicamatemticaennuestrostiempos. En Polonia el cultivo de la lgica matemtica ha producido resultados ms abun
Nota editorial tomada de Polish Logic 19201939, ed. por Storrs McCall, Oxford, The Clarendon Press, 1967: Este escrito, titulado O Determinizmie se public por vez primera en Z zagadnie logiki i filozofii, una antologa de las obras de ukasiewicz editada por J. Slupecki, Varsovia, 1961. TraducidoporZ.Jordan.
*
/20 /

dantes y fructferos que en muchos otros pases. Hemos construido sistemas lgicos que desbordan con mucho no slo la lgica tradicional, sino tambin los sistemas de lgica matemticaformuladoshastaahora.Hemoscomprendido,quizmejorqueotros,ques un sistema deductivo y cmo deben construirse tales sistemas. Hemos sido los primeros encaptarlaconexindelalgicamatemticaconlosantiguossistemasdelgicaformal. Sobretodo,hemosalcanzadonivelesdeprecisincientficaquesonmuysuperioresalas exigenciashastaahoraaceptadas. Comparada con estos nuevos niveles de precisin, la exactitud de la matemtica, considerada antes como un modelo sin igual, deja mucho que desear. El grado de precisin que le bastaba al matemtico ya no nos satisface. Nosotros exigimos que cada rama de la matemtica sea un sistema deductivo correctamente construido. Queremos saberculessonlosaxiomassobrelosquesebasacadasistemaylasreglasdeinferencia delasquehaceuso.Pedimosquelasdemostracionessellevenacabodeacuerdoconesas reglas de inferencia, que sean completas y susceptibles de contrastacin mecnica. Ya no nos sentimos satisfechos con las deducciones matemticas usuales, que por lo general comienzan de algn modo por la mitad, revelan frecuentes vacos, y hacen constantes apelaciones a la intuicin. Si la matemtica no ha pasado la prueba del nuevo nivel de precisin, cmo han de pasarlo las dems disciplinas, menos exactas que ella? Cmo podrlafilosofa,enlaquelasinvestigacionessistemticassevenamenudosofocadaspor fantsticasespeculaciones,sobrevivir? CuandonosacercamosalosgrandessistemasfilosficosdePlatnodeAristteles, deDescartesodeSpinoza,deKantodeHegel,conloscriteriosdeprecisinestablecidos porlalgicamatemtica,esossistemascaenenpedazoscomosifuerancastillosdenaipes. Susconceptosbsicosnoestnclaros,sustesismsimportantessonincomprensibles,sus argumentacionesydemostracionessoninexactas,ylasteoraslgicasqueconfrecuencia subyacen a ellas son prcticamente todas errneas. La filosofa ha de ser reconstruida desde sus mismos fundamentos; tendra que inspirarse en el mtodo cientfico y basarse enlanuevalgica.Ningnindividuopuedesoarconcumplirlsoloestatarea.Esuna labordegeneracionesydeintelectosmuchomspoderososquelosnacidoshastaahora. 2. Este es mi credo cientfico. Puesto que no puedo ofrecer un sistema filosfico, intentar hoy discutir un problema que ninguna sntesis filosfica puede ignorar y que estestrechamenteconectadoconmisinvestigacioneslgicas.Quisieraconfesaryadesde ahoraquenosoycapazdeexaminaresteproblema,entodossusdetalles,conlaprecisin cientficaquemeexijoammismo.Loqueofrezcoesslounensayomuyimperfecto,del que quiz alguien pueda algn da beneficiarse para establecer, sobre la base de estas indagacionespreliminares,unasntesismsexactaymadura. Quierohablardeldeterminismo.Entiendopordeterminismoalgomsquelacre enciaquerechazalalibertaddelavoluntad.Empezarexplicandomedianteunejemplolo quepretendodecir. Juan se encontr con Pablo en la Plaza de la Ciudad Vieja de Varsovia ayer a medioda.Elhechodelencuentrodeayeryanoexistehoy.Sinembargo,esehechodeayer noeshoyunamerailusin,sinounaciertapartedelarealidadquetantoJuancomoPablo tienenquetomarenconsideracin.Ambosrecuerdansuencuentrodeayer.Losefectoso
/21 /

rastros de ese encuentro existen de algn modo en ellos hoy. Cualquiera de ellos podra jurar ante un tribunal que vio al otro en la Plaza de la Ciudad Vieja de Varsovia ayer a medioda. Sobrelabasedeestosdatosyodigoesverdadencualquierinstantedeldadehoy que Juan se encontr con Pablo en la Plaza de la Ciudad Vieja de Varsovia ayer a medioda.Con esto no pretendosostenerque lafraseJuanseencontrconPabloenla PlazadelaCiudadViejadeVarsoviaayeramediodaseaverdaderaentodoinstantedel dadehoy,porqueesafrase,sinadielausaopiensaenella,puedenoexistirenabsoluto. Hago uso de la expresin es verdadero en el instante t que p donde instante significa un punto inextenso de tiempo y p cualquier enunciado de hecho como equivalente a es el caso en el instante z que p. Por el momento soy incapaz de dar un mayoranlisisdeestaltimaexpresin. Estamosenlacreencia dequelo quehatenidolugarno hapodidonoserhecho: factainfectafierinonpossunt.Loqueeraverdaderoenunaocasinsiguesiendoverdadero para siempre. Toda verdad es eterna. Estos enunciados parecen intuitivamente ciertos. Estamos,portanto,enlacreenciadequesiunobjetoAesbenelinstantet,esverdaden cualquierinstanteposterioratqueAesbenelinstantet.SiJuanseencontrconPabloen laPlazadelaCiudadViejadeVarsoviaayeramedioda,esverdadencualquierinstante posterior al medioda de ayer que Juan se encontr con Pablo en la Plaza de la Ciudad ViejadeVarsoviaayeramedioda. Seplantealacuestindesieratambinverdaderoencualquierinstanteanterioral medioda de ayer que Juan se encontrara con Pablo en la Plaza de la Ciudad Vieja de Varsovia ayer a medioda. Era verdadero anteayer y hace un ao, en el momento del nacimientodeJuanyencualquierinstantequeprecedieraaesenacimiento?Acasotodo loquehadesucederydeserverdaderoenalgntiempofuturoesverdaderoyahoy,yha sidoverdaderodesdetodalaeternidad?Eseternatodaverdad? La intuicin en este caso no nos sirve, y el problema se hace controvertido. El determinismo responde a la cuestin afirmativamente, y el indeterminismo con una negativa.PordeterminismoentiendolacreenciaenquesiAesbenelinstantetesverdad encualquierinstanteanterioratqueAesbenelinstantet. Nadiequehagasuyaestacreenciapuedetratarelfuturodemododiferenteacomo trata el pasado. Si todo lo que ha de ocurrir y llegar a ser verdadero en algn tiempo futuroesverdaderoyahoy,yhasidoverdaderodesdetodalaeternidad,elfuturoesttan determinadocomoelpasadoyslosediferenciadelpasadoenquenohapasadotodava. El determinista contempla los eventos que tienen lugar en el mundo como si fueran un dramarodadoenpelculaproducidoporalgnestudiocinematogrficodeluniverso.Nos encontramosenplenarealizacinynoconocemoselfinal,aunquecadaunodenosotroses noslounespectador,sinotambinunactordeldrama.Peroelfinalestah,existedesde el comienzo de la realizacin, porque la imagen entera est completa desde toda la eternidad.Enellatodasnuestrascualidades,todaslasaventurasyvicisitudesdenuestra vida, todas nuestras decisiones y actos, tanto buenos como malos, estn fijados por anticipado.Inclusoelmomentodenuestramuerte,ladeustedesylama,estestablecido deantemano.Slosomosttereseneldramadeluniverso.Nonosquedasinocontemplar
/22 /

elespectculoyesperarpacientementesufinal. Esstaunaconcepcinextraayenmodoalgunoevidente.Hay,sinembargo,dos argumentos,depoderpersuasivoconsiderable,queseconocendesdehacemuchotiempo y que proporcionan apoyo al determinismo. Uno de ellos, que tiene su origen en Aristteles,estbasadoenelprincipiolgicodetercioexcluso,yelotro,conocidoyade losEstoicos,enelprincipiofsicodecausalidad.Intentarpresentarestosdosargumentos, apesardelodifcilesyabstractosqueson,delmodomsfcilquemeseaposible. 3.Dosenunciadosdelosqueunoeslanegacindelotrosellamancontradictorios. VoyailustrarestanocinmedianteunejemplotomadodeAristteles.Maanahabruna batallanavalyMaananohabrunabatallanavalsonenunciadoscontradictorios.Dos famososprincipiosderivadosdeAristteles,elprincipiodecontradiccinyelprincipiode tercioexcluso,hacenreferenciaaenunciadoscontradictorios.Elprimerodeellosenuncia quedosenunciadoscontradictoriosnosonverdaderosalavez,esdecir,queunodeellos debeserfalso.EnloquesiguenomeocupardeesteimportanteprincipioqueAristteles, yconlotrosmuchospensadores,consideraroncomoelmsprofundosostndenuestro pensamiento. Me ocupar aqu del principio de tercio excluso. Este establece que dos enunciados contradictorios no son falsos a la vez, es decir, que uno de ellos ha de ser verdadero. O bien habr maana una batalla naval o bien no habr maana una batalla naval.Tertiumnondatur.Nohaytrminomedioentrelosargumentosdeestaalternativa: no hay una tercera cosa que, siendo verdadera, invalidara sus dos argumentos. Puede ocurriravecesquedospersonasendisputa,delasqueunaconsiderablancoloqueotra consideranegro,estnambasequivocadas,yquelaverdadestenalgnpuntoentreesas dosaserciones.Nohaycontradiccin,sinembargo,entreconsiderarunacosacomoblanca yconsideraresamismacosacomonegra.Slolosenunciadosqueafirmanquelamisma cosaesynoesblancaserancontradictorios.Encasossemejantes,laverdadnopuedeestar entreesosenunciadosofueradeellos,sinoenunodeellos. Volvamosanuestroejemplocotidiano.Sisecumpleelprincipiodetercioexcluso,y si Pedro dice hoy Juan estar en casa maana a medioda y Pablo lo niega diciendo Juan no estar en casa maana a medioda, entonces uno de ellos dice la verdad. No podemossaberhoyculdelosdoseselqueladice,perolosabremoshaciendounavisita a Juan maana a medioda. Si encontramos a Juan en casa, Pedro hizo una afirmacin verdadera,ysiJuannoest,Pablodijolaverdadhoy. Por lo tanto, o bien es ya verdadero hoy que Juan estar en casa maana a medioda o es verdadero hoy que Juan no estar en casamaana amedioda. Si alguien profiere el enunciado p, y alguna otra persona profiere su negacin, nop, entonces uno de ellos hace una afirmacin verdadera no slo hoy sino en cualquier instante t; porqueobienpobiennopesverdadero.Noimportaquealguienexpresedehecho estosenunciadosopienseenellos;pareceestarenlanaturalezamismadelcasoqueobien es verdadero en el instante t que p o es verdadero en el instante t que nop. Esta alternativapareceintuitivamenteverdadera.Aplicadaanuestroejemplo,tomalasiguiente forma:
/23 /

(a) O bien es verdadero en el instante t que Juan estar en casa maana a medioda o es verdaderoenelinstantetqueJuannoestarencasamaanaamedioda. Retengamosesteenunciadocomoprimerapremisadenuestrorazonamiento. Lasegundapremisanoestbasadaenningnprincipiolgicoysepuedeexpresar demanerageneralenlasiguienteformacondicional:siesverdaderoenelinstantetque p, entoncesp. En este condicional, p representa cualquier enunciado, sea afirmativo o negativo.SisustituimospporelenunciadonegativoJuannoestarencasamaanaa mediodaobtenemos: (b) Si es verdadero en el instante t que Juan no estar en casa maana a medioda, entonces Juannoestarencasamaanaamedioda. Estapremisatambinpareceintuitivamenteverdadera.Siesverdaderoenunins tantecualquiera,t,porejemplo,ahora,queJuannoestarencasamaanaamedioda porquesabemosquesehamarchadoaunlugarlejanoporlargotiemponohalugara llamarasupuertamaanaamedioda.Tenemoslacertezadequenoloencontraremosen casa. Aceptamosambaspremisassindemostracincomointuitivamenteciertas.Latesis del determinismo se basa en estas premisas. Su demostracin se desarrollar rigurosa mentedeacuerdoconlallamadateoradeladeduccin. 4.Graciasalalgicamatemticasabemoshoyqueelsistemabsicodelgicanoes elpequeofragmentodelalgicadetrminosconocidacomolasilogsticadeAristteles, sino la lgica de proposiciones, incomparablemente ms importante que la silogstica. Aristteles utiliz intuitivamente la lgica de proposiciones, y slo los estoicos, con Crisipo a la cabeza, la formularon de manera sistemtica. En nuestros das, la lgica de proposicionesfueconstruidaenunaformaaxiomticacasiperfectaporGottlobFregeen 1879;fuedescubierta,independientementedeFrege,yenriquecidaconnuevosmtodosy teoremasporCharlesPeirceen1895;ybajoelnombredelateoradeladeduccinfue convertida por Bertrand Russell, en 1910, en la base de la lgica y la matemtica. Fue tambinBertrandRussellquiendivulgsuconocimientoentrelacomunidaddecientficos ensentidoamplio. Lateoradeladeduccindeberaconvertirseenalgotanuniversalmenteconocido comolaaritmticaelemental,porquecomprendelasreglasdeinferenciamsimportantes utilizadasenlacienciayenlavidadiaria.Nosenseaautilizarcorrectamentepalabrastan comunescomono,y,o,sientonces.Enelcursodeestaexposicin,queempezar connuestrasegundapremisa,nosencontraremoscontresreglasdeinferenciaqueperte necenalateoradeladeduccin. Lasegundapremisaesuncondicionaldelaformasi,entoncesno,donde representaelenunciadoesverdaderoenelinstantetqueJuannoestarencasamaanaa mediodayelenunciadoJuanestarencasamaanaamedioda.Enelconsecuente de la premisa (b) aparece la negacin del enunciado , es decir, el enunciado no. Juannoestarencasamaanaamedioda.Deacuerdoconlateoradeladeduccin,la
/24 /

premisa si , entonces no implica la conclusin si , entonces no. Porque si implica no entonces y se excluyen entre s, y, por tanto, implica no. Siguiendoestaregladeinferencia,lapremisa(b)setransformaenelenunciado: (c) SJuanvaaestarencasamaanaamedioda,entoncesnoesverdaderoenelinstantetque Juannovaaestarencasamaanaamedioda. Pasemosahoraalaprimerapremisa,alaalternativadelaformao,donde significa el enunciado es verdadero en el instante t que Juan estar en casa maana a mediodayelmismoenunciadoqueantes:esverdaderoenelinstantetqueJuanno estarencasamaanaamedioda.Delateoradeladeduccinsesiguequelapremisa oimplicalaconclusinsino,entonces.Porqueunaalternativaesverdaderasi yslosialmenosunodesusargumentosesverdadero.Sielsegundoargumentoesfalso, elprimerohadeserverdadero.Deacuerdoconestaregladeinferencialapremisa(a)se transformaenelenunciado: (d) SinoesverdaderoenelinstantetqueJuannoestarencasamaanaamedioda,entonces esverdaderoenelinstantetqueJuanestarencasamaanaamedioda. Comparemosahoralosenunciados(c)y(d).Ambossoncondicionales,yelconse cuentede(c)tienelamismaformaqueelantecedentede(d);estosdosenunciadostienen laformasi,entoncesnoysino,entonces.Segnlateoradeladeduccin,esas dospremisasimplicanlaconclusinsi,entonces.Porquesiesverdaderoquesilo primero,entonceslosegundoysilosegundo,entonceslotercero,entoncesestambin verdaderoquesiloprimero,entonceslotercero.Estaeslaleydelsilogismohipottico, comosabemosporAristteles.SirecordamosquerepresentaelenunciadoJuanestar en casa maana a medioda y el enunciado es verdadero en elinstante t que Juan estarencasamaanaamedioda,obtenemoslaconclusin: (e) SiJuanvaaestaren casamaanaamedioda,entoncesesverdaderoenelinstantetque Juanestarencasamaanaamedioda. Elinstantetesuninstantecualquiera;porlotanto,obienesanteriorobiensimul tneoobienposterioramaanaamedioda.DeellosesiguequesiJuanvaaestarencasa maanaamedioda, entonces es verdadero en un instante cualquiera que Juan estar en casamaanaamedioda.Dichodemanerageneral:sehademostradosobrelabasedeun ejemploconcretoquesiAesbenelinstantet,entoncesesverdaderoencualquierinstante y,porlotanto,encualquierinstanteanterioratqueAesbenelinstantet.Haqueda dodemostradalatesisdeldeterminismodeducindoladelprincipiodetercioexcluso. 5.Elsegundoargumentoenfavordeldeterminismoestbasadoenelprincipiode causalidad.Noesfcilpresentaresteargumentodeunmodocomprensible,porquenila palabra causa ni la proposicin conocida como principio de causalidad han adquirido un significado establecido en la ciencia. Simplemente estn asociados con un cierto sig
/25 /

nificadointuitivoquemegustaraexplicitardandoalgunasexplicaciones. Yodigoqueelsonidodeltimbreenlapuertadeentradademicasaenesteinstante esunhechoqueestteniendolugarahora.YoconsiderolapresenciadeJuanencasaenel instante t como un hecho que ocurre en el instante t. Todo hecho se produce en alguna parteenalgnmomento.Lasafirmacionesdehechosonsingulareseincluyenunaindica cindetiempoylugar. ElhechoFquetienelugarenelinstantessellamacausadelhechoGquetienelugar enelinstantet,yelhechoG,efectodelhechoF,sielinstantesesanterioralinstantet,ysi loshechosFyGestnconectadosentresdetalmodoquepormediodeleyesconocidas vigentesentrelosrespectivosestadosdecosasesposibleinferirlaafirmacindehechoGa partirdelaafirmacindehechoF*.Porejemplo,yoconsideroquelapresinsobreelbotn de un timbre elctrico es la causa de su sonido, porque el timbre es presionado en un instante anterior a aquel en el que suena, y yo puedo deducir el enunciado del segundo hechoapartirdelenunciadodelprimeropormediodelasconocidasleyesdelafsicaen lasquesebasalaconstruccindeuntimbreelctrico. La definicin de causa implica que la relacin causal es transitiva. Esto significa queparacualesquierahechos,F,GyH,siFeslacausadeGyGeslacausadeH,entonces FeslacausadeH. Por principio de causalidad entiendo la proposicin de que todo hecho G que se produce en el instante t tiene su causa en algn hecho F que se produce en el instante s anteriorat,yqueentodoinstanteposteriorasyanterioratseproducenhechosquesona lavezefectosdelhechoFycausasdelhechoG. Estasexplicacionesseproponenhacerexplcitaslassiguientesintuiciones.Elhecho queescausatienelugarantesqueelhechoqueesefecto.Yoprimeropresionoelbotndel timbre,yeltimbresuenadespus,aunquenosparezcaqueamboshechosocurrensimult neamente. Si se produce un hecho que es la causa de algn otro hecho, entonces este ltimohecho,queeselefectodelprimero,sigueinevitablementealacausa.As,pues,si yo aprieto el botn, entonces el timbre suena. Es posible inferir el efecto a partir de la causa.Ascomolaconclusinesverdaderasiempreycuandosuspremisasseanverdade ras,astambin,demanerasimilar,elefectotienequeproducirsesiempreycuandoexista su causa. Nada sucede sin causa. El timbre no suena por s mismo; si suena es debido a algunos hechos anteriores. En el conjunto de hechos que se suceden, ordenados por la relacincausal,nohaynivacosnisaltos.Entreelinstanteenqueseaprietaelbotnyel instante en que suena el timbre se producen constantemente hechos, cada uno de los cuales es simultneamente un efecto de la presin del botn y una causa del sonido del timbre.Adems,cadaunodeestoshechosqueseproducenanteseslacausadecadauno delosqueseproducendespus. 6.Trasestasexplicacionespuederesultarmsinteligibleelargumentomedianteel
Esta definicin del concepto de causa difiere de la definicin aceptada por ukasiewicz en su ensayoAnalizaikonstrukcjapojeciaprzyczyny(Anlisisyconstruccindelconceptodecausa), Przeglad Filozoficzny 9 (1906), pgs. 105179, reimpreso en la edicin de 1961 Z zagadnie logigi i filozofii.Ambasdefinicionesestablecen,sinembargo,quelarelacindecausalidadestransitiva,y estepuntoesderelevanteimportanciaenlasinvestigacionessubsiguientesdeukasiewicz.
*
/26 /

cualsededucelatesisdeldeterminismoapartirdelprincipiodecausalidad.Supongamos queunciertohechoFocurreenelinstantet;porejemplo,queJuanestencasamaanaa medioda. El hecho F tiene su causa en algn hecho F1, que tiene lugar en el instante t, anteriorat1.Asuvez,elhechoF1tienesucausaenalgnhechoF2,quetienelugarenel instantet2,anteriorat1.Puestoquedeacuerdoconelprincipiodecausalidadtodohecho tienesucausaenalgnhechoan error,esteprocedimientopuedeserrepetidounayotra vez.Porlotanto,obtenemosunasecuenciainfinitadehechosqueregresaindefinidamente Fn,Fn1,,F2,F1,F porqueloshechostienenlugareninstantessiempreanteriores tn,tn1,,t2,t1,t En esta secuencia todo hecho anterior es la causa de todo hecho posterior, porque la relacincausalestransitiva.Adems,sielhechoFn,queseproduceenelinstantetn,esla causadelhechoFqueseproduceenelinstantet,entonces,deacuerdoconelprincipiode causalidad,entodoinstanteposterioratn,yanterioratseproducenhechosquesonsimul tneamente efectos del hecho Fn, y causas del hecho F. Puesto que estos hechos son infinitos ennmero, nonos es posible ordenarlos todos en la secuencia, y slo podemos designaralgunos,como,porejemplo,Fn1,F2,oF1. Hasta aqu todo parece estar en orden. Pero es ahora cuando viene el paso ms importanteenelargumentodeldeterminista.Surazonamientotomaraprobablementeel siguientecurso. ComolasecuenciadehechosqueocurrenantesqueFyquesonlascausasdeese hechoFesinfinita,entodoinstanteanterioraty,portanto,entodoinstantepresentey pasadoocurrealgnhechoqueeslacausadeF.SieselcasoqueJuanvaaestarencasa maana a medioda, entonces la causa de este hecho existe ya hoy y tambin en todo instanteanterioramaanaamedioda.Silacausaexisteoexisti,todoslosefectosdeesta causadebeninevitablementeexistir.Porlotanto,esyaverdaderoahorayhasidoverda derodesdetodalaeternidadqueJuanestaraencasamaanaamedioda.Engeneral,siA esbenelinstantet,esverdaderoentodoinstanteanterioratqueAesbenelinstantet; porqueentodoinstanteanterioratexistenlascausasdeestehecho.As,pues,latesisdel determinismosepuededemostrarpormediodelprincipiodecausalidad. Estossonlosdosargumentosdemayorfuerzaquepuedenaducirseenapoyodel determinismo. Hemos de desistir y aceptarlos? Hemos de creer que todo en el mundo tiene lugar de maneranecesaria yque todo acto libre y creativo es slo una ilusin? O, por el contrario, hemos de rechazar el principio de causalidad junto con el principio de tercioexcluso? 7. Escribe Leibniz que hay dos famosos laberintos en los que nuestra razn se pierdeamenudo.Unodeelloseselproblemadelalibertadylanecesidad,yelotrohace referencia a la continuidad y la infinitud. Cuando Leibniz escriba esto no pensaba que estos dos laberintos pudieran constituir un todo nico y que la libertad, si es que existe,
/27 /

pudieraestarocultaenalgnrincndelainfinitud. Si las causas de todos los hechos que pudieran ocurrir alguna vez existieran en todoinstante,entoncesnohabralibertad.Porfortuna,elprincipiodecausalidadnonos obligaaaceptarestaconsecuencia.Lainfinitudylacontinuidadvienenennuestrorescate. Hay un error en el argumento que deriva la tesis del determinismo a partir del principiodecausalidad.PorquenoeselcasoquesiJuanestencasamaanaamedioda, entonceslasecuenciainfinitadecausasdeestehechodebaalcanzarelinstantepresentey todoinstantepasado.Estasecuenciapuedetenersulmiteinferiorenuninstanteanterior alinstantepresente:uninstanteque,porlotanto,nohallegadotodavaapasar.Estoeslo queclaramenteimplicanlassiguientesconsideraciones. Consideremos el tiempo como una lnea recta y establezcamos una correspon dencia uno a uno entre un cierto intervalo de tiempo y el segmento (0, l) de esa lnea. Supongamosqueelinstantepresentecorrespondealpunto0,queunciertohechofuturo ocurreenelinstante1(correspondientealpunto1),yquelascausasdeestehechoocurren eninstantesdeterminadospornmerosrealesmayoresque.Estasecuenciadecausases infinita y no tiene comienzo, es decir, causa primera. Porque esta primera causa tendra quetenerlugarenelinstantecorrespondientealmenornmerorealmayorque,yese nmerorealnoexiste;comotampocoexisteelmenornmeroracionalmayorque.Enel conjunto de los nmeros reales, y de modo similar en el conjunto ordenado de los nmerosracionales,nohaydosnmerosquesesucedaninmediatamenteelunoalotro,es decir, tales que uno de ellos sea el predecesor inmediato y otro el sucesor inmediato del otro; entre dos nmeros cualesquiera hay siempre otro, y, en consecuencia, hay infinitos nmerosentrecualesquieradosdeellos.Deacuerdoconelprincipiodecausalidad,todo hecho de la secuencia sometida a consideracin tiene su causa en algn hecho anterior. Aunquetieneunlmiteinferiorenelinstante,queesposterioralinstantepresente0y que no ha sido todava alcanzado, la secuencia es infinita. Adems, esta secuencia no puede rebasar su lmite inferior, y, por lo tanto, no puede regresar hasta el instante presente. Esterazonamientomuestraquepuedenexistirsecuenciascausalesinfinitasqueno han comenzado todava y que pertenecen enteramente al futuro. Esta concepcin es no slolgicamenteposible,sinoquetambinparecemsprudentequelacreenciasegnla cual hasta el menor hecho futuro tiene sus causas actuando desde el comienzo del universo.Nodudoenabsolutodequehayaalgunoshechosfuturoscuyascausasexistan yahoyyhayanexistidodesdetodalaeternidad.Medianteobservacionesyconayudade lasleyesdelmovimientodeloscuerposcelesteslosastrnomosprediceneclipsesdeluna y de sol con gran precisin y con muchos aos de anticipacin. Pero nadie es capaz de predecirhoyqueunamoscaquenoexistetodavazumbarenmiodoalmediodadel7 de septiembre del ao prximo. La creencia en que esta conducta futura de esta mosca futura tiene sus causas ya hoy y las ha tenido desde toda la eternidad se antoja una fantasa ms bien que una proposicin apoyada por una mnima sombra de validacin cientfica. Porlotanto,elargumentobasadoenelprincipiodecausalidadcaeporlossuelos. Sepuedetenerelfirmeconvencimientodequenadasucedesincausa,ydequetodohecho
/28 /

tiene su causa en algn hecho anterior, sin por ello ser un determinista. Nos queda por examinarelargumentobasadoenelprincipiodetercioexcluso. 8.Aunqueelargumentobasadoenelprincipiodetercioexclusoesindependiente del que se deriva del principio de causalidad, ciertamente el primero se hace completa mente inteligible si todo hecho tiene sus causas existiendo desde toda la eternidad. Explicarloquequierodecirmedianteunejemplotomadodelavidadiaria*.Supongamos que Juan estar en casa maana a medioda. Si las causas de todos los hechos existen desde toda la eternidad, tendramos que reconocer que en el momento actual existe la causadelapresenciadeJuanensucasamaanaamedioda.Porlotanto,esverdadero,o, dichodeotromodo,eselcasoenelmomentopresentequeJuanestarencasamaanaa medioda. La expresin algo confusa es el caso en el instante t que p, donde p representaenunciadosacercadeeventosfuturos,expresinqueanteshesidoincapazde clarificar,sehaceahoraperfectamenteinteligible.EselcasoenelinstanteactualqueJuan estar en casa maana a medioda implica, en primer lugar, que en el instante actual existeunhechoqueeslacausadelapresenciadeJuanencasamaanaamedioda,y,en segundolugar,queesteefectofuturoestcomprendidoenesacausadelmismomodoque unaconclusinestincluidaensuspremisas.Lacausadelhechofuturo,queelenunciado penunciayqueexisteenelinstantet,esuncorrelatorealdelaoracineselcasoenel instantetquep. SisupusiramosqueJuannoestarencasamaanaamedioda,podramosseguir elmismocursoderazonamiento.Siaceptamosquelascausasdetodohechoexistendesde toda la eternidad, debemos aceptar tambin el hecho de que la causa de la ausencia de Juandesucasamaanaamediodaexisteyaenelinstanteactual.Porlotanto,laoracin esverdadero,esdecir,eselcasoenelinstanteactualqueJuannoestarencasamaanaa medioda tiene su correlato real en la causa del hecho enunciado, y esta causa existe actualmente. PuestoqueJuanobienestarobiennoestarencasamaanaamedioda,existeo bien la causa de su presencia en casa o bien la causa de su ausencia de ella maana a medioda,supuestoquelascausasdetodosloshechosexistendesdetodalaeternidad.Por lo tanto, o bien es verdadero en el instante actual que Juan estar en casa maana a medioda o es verdadero en el instante actual que Juan no estar en casa maana a medioda.Elargumentobasadoenelprincipiodetercioexclusotieneunapoyoadicional enelargumentoderivadodelprincipiodecausalidad. 9. Sin embargo, el segundo de estos argumentos es, como se ha demostrado, no vlido.Deacuerdoconlasinvestigacionesanteriores,podemossuponerqueenelinstante actualnoexisteannilacausadelapresenciadeJuannilacausadelaausenciadeJuan de su casa maana a medioda. Por tanto, puede suceder que la secuencia infinita de causasqueocasionalapresenciaoausenciadeJuandecasamaanaamediodanohaya comenzadoanypertenezcaenteramentealfuturo.Paradecirloentrminoscoloquiales: podemosdecirquelacuestindesiJuanestaronoestarencasamaanaamediodano esttodavadecididaenningnsentido.Cmoargiramosnosotrosenestecaso?
ukasiewicz repite este argumento en su ensayo Observaciones filosficas sobre los sistemas polivalentesdelgicaproposicional(enestevolumen).
*
/29 /

Podemosadoptarlasiguientelneadeargumentacin.Laoracinesverdaderoen el instante presente t que Juan estar en casa maana a medioda no tiene correlato actual, porque la causa de este hecho no existe en el instante t; por lo tanto, nada nos obligaaaceptarestaoracincomoverdadera.As,puedesucederqueJuannoestencasa maanaamedioda.Delmismomodo,laoracinesverdaderoenelmomentopresentet queJuannoestarencasamaanaamediodanotienecorrelatoreal,porquelacausade estehechonoexisteenelinstantet;unavezms,nadanosobligaaaceptarestaoracin como verdadera. As, podra suceder que Juan estuviera en casa maana a medioda. Podemos,portanto,rechazarcomofalsasambasoracionesyaceptarsusnegacionesnoes verdaderoenelinstantetqueJuanestarencasamaanaamediodaynoesverdadero en el instante t que Juan no estar en casa maana a medioda. El condicional previa menteestablecido,(e),siJuanvaaestarencasamaanaamedioda,entoncesesverda deroenelinstantetqueJuanestarencasamaanaamediodasehacenovlido.Porque su antecedente resulta verdadero si Juan est en casa maana a medioda, y su consecuentesevuelvefalsosiescogemosuninstantet,anterioramaanaamedioda,en elquelacausadelapresenciadeJuanencasamaanaamediodanoexistaan.Pero,al ser invlido el condicional (e), la tesis del determinismo, si A es b en el instante t, es verdaderoentodoinstanteanterioratqueAesbenelinstantetsetornainvlidaasu vez;porquepodemossustituirlasvariablesA,bytporvalorestalesqueelantecedentede latesissevuelveverdaderoyelconsecuentefalso. Si sobre el supuesto de que un cierto hecho futuro no est todava decidido en ningnsentidolatesisdeldeterminismosevuelvefalsa,ladeduccindeestatesisapartir delprincipiodetercioexclusodebeenvolverunerror.Adems,sirechazamoscomofalsa laoracinesverdaderoenelinstantetqueJuanestarencasamaanaamedioda,as como la oracin es verdadero en el instante t que Juan no estar en casa maana a medioda,debemosrechazartambinlaalternativa(a)quetieneaestasoracionescomo argumentosyquehasidoelpuntodepartidadeladeduccin.Unaalternativacuyosdos argumentos son falsos es ella misma falsa. As tambin el condicional (d), obtenido transformando la premisa (a), si no es verdadero en el instante t que Juan no estar en casa maana a medioda, entonces es verdadero en el instante t que Juan estar en casa maanaamediodaresultaserfalso,porqueaceptamossuantecedenteyrechazamossu consecuente.Nadatienedeextraoquelainferenciaproduzcaunaconclusinfalsasiuna desuspremisasyunodelosteoremasqueintervienensonfalsos. Habraquesealarqueelrechazodelaalternativa(a)noesunatransgresindel principio de tercio excluso; porque sus argumentos no se contradicen entre s. Slo las oraciones Juan estar en casa maana a medioda y Juan no estar en casa maana a medioda son contradictorias, y la alternativa construida con estas oraciones, O bien JuanestarencasamaanaamediodaoJuannoestarencasamaanaamediodaha de ser verdadera de acuerdo con el principio de tercio excluso. Pero las oraciones es verdaderoenelinstantetqueJuanestarencasamaanaamediodayesverdaderoen el instante t que Juan no estar en casa maana a medioda no son contradictorias, porquelaunanoeslanegacindelaotra,ysupresentacincomoalternativanotienepor queserverdadera.Lapremisa(a)hasidodeducidadelprincipiodetercioexclusosobrela
/30 /

basedeinvestigacionespuramenteintuitivasynomediantelaaplicacindeunprincipio lgico.Sinembargo,lasinvestigacionesintuitivaspuedenserfalaces,yenestecasoparece quenoshanengaado. 10.Aunque esta solucin parece lgicamente vlida, no la considero enteramente satisfactoria,porquenosatisfacetodasmisintuiciones.Creoquehayunadiferenciaentre lanoaceptacindelaoracinesverdaderoenelinstantepresentequeJuanestarencasa maana a medioda porque la presencia o ausencia de Juan de su casa no est todava decidida y la no aceptacin de esta oracin porque la causa de su ausencia de maana existayaenelinstantepresente.Piensoquesloenesteltimocasoestamosautorizadosa rechazarlaoracinencuestinydecirnoesverdaderoenelinstantepresentequeJuan estarencasamaanaamedioda.Enelprimercasonopodemosniaceptarnirechazar laoracin,sinoslosuspendernuestrojuicio. Estaactitudencuentrasujustificacintantoenlavidacomoenelhablacoloquial. SilapresenciaoausenciadeJuandesucasamaananoesttodavadecidida,entonces decimosesposiblequeJuanestencasamaanaamedioda,perotambinesposibleque Juannoestencasamaanaamedioda.Porotraparte,silacausadelaausenciadeJuan de su casa maana a medioda existe ya en el instante presente, entonces decimos, en el supuesto de que conozcamos su causa, no es posible que Juan est en casa maana a medioda. En el supuesto de que la presencia o ausencia de Juan de casa maana a medioda no est todava decidida, la oracin es verdadero en el instante presente que Juanestarencasamaanaamediodanopuedeserniaceptadanirechazada,esdecir, nopodemosconsiderarlaniverdaderanifalsa.Enconsecuencia,tampocolanegacinde esta oracin, no es verdadero en el instante presente que Juan vaya a estar en casa maana amedioda puede ser ni aceptada ni rechazada, es decir, no podemos conside rarlaniverdaderanifalsa.Elrazonamientodeantes,queconsistaenelrechazodelaora cinsometidaaconsideracinyenlaaceptacindesunegacin,esahorainaplicable.En concreto, el condicional (d), que antes fue rechazado se aceptaba su antecedente y se rechazabasuconsecuente,notieneahoraporquserrechazado,porqueyanoesverdad que su antecedente sea aceptado y su consecuente rechazado. Adems, puesto que el condicional(d),juntoconlapremisa(c),sobrelaquenopareceexistirningunaduda,basta paravalidarlatesisdeldeterminismo,parececomosielargumentodeAristtelesrecupe rarasupoderpersuasivo. 11.Sinembargo,estenoeselcaso.Piensoquesloahoraalcanzamosunasolucin que concuerda a la vez con nuestras intuiciones y con las concepciones del propio Aristteles.PorqueAristtelesformulsuargumentoenapoyodeldeterminismoslocon el propsito de rechazarlo subsecuentemente como invlido. En el famoso captulo 9 del DeInterpretatione,Aristtelesparecehaberllegadoalaconclusindequelaalternativao bien habr una batalla naval maana o bien no habr una batalla naval maana es ya verdadera y necesaria hoy, pero ni es verdadero hoy que habr una batalla naval maana ni que no habr una batalla naval maana. Estas oraciones se refieren a eventosfuturoscontingentesy,comotales,nosonniverdaderasnifalsashoy.Estaerala interpretacin de Aristteles que dieron los estoicos, los cuales, como deterministas que eran,seopusieronaestaconcepcin,ylosepicreos,quedefendanelindeterminismoya
/31 /

Aristteles. ElrazonamientodeAristtelesnosocavatantoelprincipiodetercioexclusocomo unodelosprincipiosbsicosdetodanuestralgica,quelprecisamentefueelprimeroen formular, a saber, que toda proposicin es o bien verdadera o bien falsa. Es decir, se puede asumir uno y slo uno de dos valores de verdad: verdad o falsedad. Yo llamo a este principio,principiodebivalencia.Enlaantigedadesteprincipiofueenfticamentedefen dido por los estoicos y atacado por los epicreos, siendo totalmente conscientes unos y otros de las cuestiones envueltas en ello. Como este principio yace en los fundamentos mismosdelalgica,nopuedeserdemostrado.Slosepuedecreerenl,ysloelquelo consideraevidentecreeenl.Am,personalmente,elprincipiodebivalencianomeparece evidente.Porlotanto,estoyenelderechodenoreconocerlo,ydeaceptarlaideadeque adems de la verdad y la falsedad existen otros valores de verdad: como mnimo, uno ms,untercervalordeverdad. Culesestetercervalordeverdad?Notengounnombreapropiadoparal*.Pero despusdelasexplicacionesprecedentesnoserdifcilentenderculesmiidea.Sostengo que hay proposiciones que no son ni verdaderas ni falsas, sino indeterminadas. Todas las oraciones acerca de hechos futuros que todava no estn decididos pertenecen a esta ca tegora. Esas oraciones no son ni verdaderas en el momento presente, porque no tienen correlato real, ni falsas, porque sus negaciones tampoco tienen correlato real. Haciendo uso de una terminologa filosfica que no es particularmente clara, podramos decir que ontolgicamentenocorrespondeaestasoracionesnielsernielnoser,sinolaposibilidad. Lasoracionesindeterminadas,queontolgicamentetienenlaposibilidadcomocorrelato, tomaneltercervalordeverdad. Si se introduce en lgica este tercer valor de verdad, estamos cambiando sus fundamentos. Un sistema trivalente de lgica, cuyo primer bosquejo pude dar en 1920** difiere de la lgica bivalente ordinaria, la nica conocida hasta ahora, tanto como los sistemas no eucldeos de geometra difieren de la geometra eucldea.A pesar de ello, la lgicatrivalenteestanconsistenteylibredecontradiccionescomolalgicabivalente.Sea cualfuerelaformaqueestanuevalgicaasumacuandoseladesarrolleendetalle,latesis del determinismo no formar parte de ella. Porque en el condicional mediante el que se expresaesatesis,siAesbenelinstantet,entoncesesverdaderoentodoinstanteanterior atqueAesbenelinstantet,podemosasignaralasvariablesA,bytvalorestales quesuantecedenteseconvierteenunaoracinverdaderaysuconsecuenteenunaoracin indeterminada, es decir, en una oracin que tiene el tercer valor de verdad. Esto sucede siemprecuandolacausadelhechodequeAseabenuninstantefuturotnoexistehoy.Un condicionalconantecedenteverdaderoyconsecuenteindeterminadonosepuedeaceptar comoverdadero;porquelaverdadslopuedeimplicarverdad.Elargumentolgicoque pareceapoyareldeterminismofalladecisivamente. 12. Estoy llegando al final de mis investigaciones. En mi opinin. los viejos argu mentos en apoyo del determinismo no superan la prueba de un examen crtico. Esto no
*
**
EnObservacionesfilosficasukasiewiczutilizaeltrminoposibilidad. LaprimeramencindelalgicatrivalentesehaceenlaLeccindedespedidade1918(pg. 18deestelibro).
/32 /

implicaenabsolutoqueeldeterminismoseaunaconcepcinfalsa;lafalsedaddelosargu mentos no demuestra la falsedad de la tesis. Apoyndome en el examen crtico que he hecho,quisieradecirsolamenteunacosa:queeldeterminismonoesunaconcepcinmejor justificadaqueelindeterminismo. Porlotanto,ysinexponermeaquesemeacusedeirreflexivo,puedodeclararme en favor del indeterminismo. Puedo asumir que no es cierto que el futuro entero est determinado con anticipacin. Si hay cadenas causales que comienzan slo en el futuro, entonces slo algunos hechos y eventos futuros, los que estn ms cerca del tiempo presente, estn causalmente determinados en el instante presente. Apoyndose en el conocimiento presente, incluso una mente omnisciente podra predecir cada vez menos hechos cuanto ms profundamente intente penetrar en el futuro: esta es la nica cosa efectivamentedeterminadaenelmarcocadavezmsampliodentrodelcualtienenlugar loshechos,ydentrodelcualhaymsymscabidaparalaposibilidad.Eldramauniversal noesuncuadrocompletadodesdelaeternidad;cuandomsnosalejemosdelaspartesde lapelculaqueseestnpasandoenesteinstante,msvacosyblancosincluirlaimagen. Est bien que ello deba ser as. Podemos creer que no somos simplemente espectadores pasivos del drama, sino tambin participantes activos en l. Entre las contingencias que nosesperanpodemosescogerelcaminomejoryevitarelpeor.Podemosdealgnmodo configurarelfuturodelmundodeacuerdoconnuestrosdesignios.Noscmoesposible esto,peroestoyenlacreenciadequeloes. Encuantoalpasado,nodebiramostratarlodemododistintoqueelfuturo.Sila nicapartedelfuturoqueesrealahoraesaquellaqueestcausalmentedeterminadapor el instante presente, y si las cadenas causales que comienzan en el futuro pertenecen al reinodelaposibilidad,entoncesslolaspartesdelpasadoquecontinanteniendoefectos hoy son reales en el momento presente. Los hechos cuyos efectos han desaparecido totalmente,yquenisiquieraunamenteomniscientepodrainferirdelosqueestnocu rriendo ahora, pertenecen al reino de la posibilidad. De ellos no se puede decir que tuvieronlugar,sinosloquefueronposibles.Esbuenoqueellodebaseras.Haymomen tosdifcilesdesufrimientoymomentos,todavamsdifciles,deculpaenlavidadetodo el mundo. Deberamos sentirnos felices de borrarlos no slo de nuestra memoria, sino tambin de la existencia. Cabe creer que cuando todos los efectos de estos momentos nefastos se hayan agotado, incluso aunque ello suceda slo despus de nuestra muerte, entoncestambinsuscausassernborradasdelmundodelarealidadypasarnalreino delaposibilidad.Eltiempocalmanuestroscuidadosynostraeelperdn.
/33 /

OBSERVACIONESFILOSFICASSOBRELOSSISTEMASPOLIVALENTESDELGICAPROPOSICIONAL* 1.Proposicionesmodales.2.Teoremasrelativosalasproposicionesmodales.3. Consecuencias de los dos primeros teoremas relativos a proposiciones modales.4. Consecuencias del tercer teorema sobre proposiciones modales.5. Incompatibilidad de los teoremas sobre proposiciones modales en el clculo proposicional bivalente.6. Las proposicionesmodalesyelclculoproposicionaltrivalente.7.Definicindelconceptode posibilidad.8. Consecuencias de la definicin del concepto de posibilidad.9. Signifi cacinfilosficadelossistemaspolivalentesdelgicaproposicional. Apndice.Sobrelahistoriadelaleydebivalencia. En la comunicacin Untersuchungen ber denAussagenkalkl (investigaciones sobre el clculo proposicional), que apareci en esta misma publicacin con la firma de Tarski y la ma, la seccin 3 est dedicada a los sistemas polivalentes de lgica propo sicionalqueyoestablec.Enloqueserefierealascuestioneslgicas,remitoallectoraesa comunicacin.Aqu me propongo clarificar el origen y la significacin de estos sistemas desdeunpuntodevistafilosfico. 1.Proposicionesmodales El sistema trivalente de lgica proposicional debe su origen a ciertas investiga ciones que yo realic sobre las llamadas proposiciones modales y sobre las nociones estrechamenteconectadasconellasdeposibilidadynecesidad24. Porproposicionesmodalesentiendoproposicionesquehansidoconstruidassobreel modelodeunadelascuatroexpresionessiguientes: (1)Esposiblequep ensmbolos,Mp. (2)Noesposiblequep ensmbolos,NMp. (3)Esposiblequenop ensmbolos,MNp. (4)Noesposiblequenop ensmbolos,NMNp.
Nota del editor en la edicin de MacCall: Este ensayo apareci originariamente bajo el ttulo Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalkls. en Comptes rendus des sances de la Socit des Sciences et des Lettres de Varsovie 23 (1930). cl. iii, pgs. 5177. TraducidoalinglsporH.Weber.Reimpresoenlaedicinde1961deZzagadnielogikiifilozofii. 24 Le un ensayo sobre estas investigaciones en la reunin del 5 de junio de 1920 de la Sociedad FilosficaPolacaenLww.Laspartesesencialesdeesteensayosepublicaronenlarevistapolaca Ruch Filozoficzny. [La traduccin al ingls fue realizada por O. Wojtasiewicz sobre el texto mismo delensayoledoporukasiewiczel5dejuniode1920.]
*
/34 /

La letra p designa aqu cualquier proposicin; N es el smbolo de la negacin (Np=nop);Mcorrespondealaspalabrasesposibleque.Enlugardedecirnoes posiblequenopsepodratambinutilizarelgiroesnecesarioquep. Lasexpresionesaquenumeradasnosonidnticasalosjuiciosproblemticosy apodcticos de Kant. Corresponden ms bien a las proposiciones modales de la lgica medievalquetuvieronsuorigenenAristtelesyqueestnformadasapartirdeloscuatro modos: possibile (por ejemplo, Socratem currere est possibile), impossibile, contingens y necessarium. Adems de estos cuatro modos, los lgicos medievales citaban otros dos: verumyfalsum.Sinembargo,estosmodosnofueronobjetodemayorconsideracin,yaque lasproposicionesmodalesquecorrespondenaellos,esverdaderoquepyesfalsoque p,setenanporequivalentesalasproposicionespyNp25. Laexpresinesposiblequenosedefineaqu;susentidoseesclarecemediante losteoremasquesecumplenparalasproposicionesmodales. 2.Teoremasrelativosalasproposicionesmodales Enlahistoriadelalgicanosencontramoscontresgruposdeteoremasrelativosa proposicionesmodales. Enelprimergrupoincluyolossiguientesteoremastodosellosmuyconocidos quenoshanllegadodelalgicaclsicayqueenellafueronconsideradoscomoverdades evidentessindemostracin: (a)Aboportereadessevaletconsequentia. (b)Abesseadpossevaletconsequentia. Porcontraposicinobtenernosde(b)unaterceraproposicin: (c)Abnonposseadnonessevaletconsequentia. Esta ltimaproposicin significa: La inferencia que va desde el noserposible al noseresvlida.Porejemplo:noesposibledividirunnmeroprimoporcuatro;porlo tanto, ningn nmero primo es divisible por cuatro. Este ejemplo es plausible, y tan plausible como l es el siguiente teorema general que retendremos como representativo delprimergrupo: I.Sinoesposiblequep,entoncesnop. Menos conocido, si bien no menos intuitivo, parece el siguiente teorema del segundogrupocitadoporLeibnizenlaThodice26:
25 26
Cf.Prantl,GeschichtederLogikimAbendlande,vol.iii,pg.14,nota42;pg.117,nota542. Philos.Schriften(ed.Gerhardt),vol.6,pg.131.
/35 /

(d)Unumquodque,quandoest,oportetesse. Todo lo que es, cuando es, es necesario. Este teorema se remonta a Aristteles, quien,ciertamente,sostienequenotodoloqueesesnecesarioynotodoloquenoeses imposible,sinoquecuandoalgoquees,es,entoncesestambinnecesario;ycuandoalgo quenoesnoes,entoncesestambinimposible27. Noesfcilinterpretarlosteoremascitadoshastaahora.Empezardandoalgunos ejemplos. No es necesario que yo est en casa esta tarde. Pero cuando yo estoy en casa esta tarde, entonces, sobre este supuesto, es necesario que yo est en casa esta tarde. Otro ejemplo:raramenteocurrequeyonotengadineroenmibolsillo,perosiahora(enuncierto momento t) yo no tengo dinero en mi bolsillo, no es posible, sobre este supuesto, que yo tenga(exactamenteenelmismomomentot)dineroenelbolsillo. Represe en dos cosas a propsito de estos ejemplos. En primer lugar, las propo siciones Yo estoy en casa esta tarde y Yo no tengo (en el momento t) dinero en el bolsillo se suponen verdaderas, y sobre este su puesto se infieren respectivamente la necesidad o la imposibilidad. En segundo lugar, la palabraquando en (d) y el correspon diente deAristteles, no es una partcula condicional, sino una partcula temporal. Sinembargo,lotemporalsesubsumeenlocondicionalsiladeterminacindeltiempoen las proposiciones temporalmente conectadas se incluye en el contenido de las propo siciones. Los ejemplos dados son, adems, lo bastante claros como para establecer el siguienteteoremageneral,queretendremoscomorepresentativodelsegundogrupo: II.Sisesuponequenop,entonces,sobreestesupuesto,noesposiblequep. El tercer grupo consta de un solo teorema basado en el concepto aristotlico de posibilidad bilateral. Segn Aristteles hay algunas cosas que son posibles en ambas direcciones, es decir, que pueden ser, pero no son necesariamente. Es posible, por ejemplo, queestemantoseacortado;peroestambinposiblequenolosea28. Igualmente, es posible que el paciente muera, pero tambin es posible que se recobre,y,portanto,nomuera.Esteconceptodeposibilidadbilateralestprofundamente enraizado en el pensamiento y en el habla cotidiana. El siguiente teorema, sobre el que habremosdevolver,parecetanevidentecomolosdosanteriores: III.Paraalgnp:esposiblequepyesposiblequenop.
27 28
Deinterpr.,9.19a23. Deinterpr.,9.19a9.
/36 /

3.Consecuenciasdelosdosprimerosteoremasrelativosaproposiciones modales HaremosahoraalgunasinferenciasapartirdelosteoremasIyIIantescitados.A este fin, representaremos primero estos teoremas en el simbolismo de la lgica propo sicional. ConvengamosenqueCpqsimbolizalaimplicacin:sip,entoncesq,dondep y q denotan cualquier proposicin. Es evidente que el teorema I se puede expresar en formadeunaimplicacin,quellamartesis129: 1 CNMpNp. Significado:sinoesposiblequep,entoncesnop. Noesigualmenteevidente,perosepuededemostrar,queesposiblerepresentarel teoremaIIcomounaimplicacinqueeselconversodeI.Porquesiunaproposicines vlidasobreelsupuesto,estoquieredecirsimplementequeesverdaderosies verdadero. Por tanto, la implicacin si , entonces se cumple si es verdadero. Puestoqueestaimplicacindebecumplirsetambinsiesfalso,secumpleenambos casos.Llegamosasalatesis: 2 CNpNMp. Estosignifica:sinop,entoncesnoesposiblequep.ElteoremaIInosepuedeexpresar deningunaotramaneraenelclculoproposicionalbivalente. Apartirdeestastesis,yutilizandoelclculoproposicionalusual,demostraremos varias consecuencias. Todas las demostraciones que siguen estn estrictamente formali zadas y se llevan a cabo por medio de dos reglas de inferencia: sustitucin y separacin. Estas reglas de inferencia, sobradamente conocidas, no sern examinadas aqu. Me limi taraexplicarcmoseformulandemostracionesformalizadasenelsimbolismoqueyohe introducido. Antesdecadatesisademostrar(alasqueseasignarnnmerosconsecutivoscon el objeto de identificarlas) hay una lnea no numerada, a la que llamo lnea de deriva cin. Cada lnea de derivacin consta de dos partes separadas por el signo x . Los smbolos que van antes y despus del signo de separacin denotan la misma expresin, perodediferentesmaneras.Antesdelsignodeseparacinseindicaunasustitucin,que hadeefectuarsesobreunatesisyademostrada.Enlaprimeralneadeladerivacin,por ejemplo,laexpresin3q/MpsignificaquehayquesustituirqporMpen3.Latesis resultante,queenlademostracinseomiteenarasdelabrevedad,sera: 3 CCNMpNpCpMp.
SiguiendoaLesniewski,entiendoportesistantolosaxiomascomolosteoremasdeunsistema deductivo.
29
/37 /

La expresin C17 despus del signo de separacin se refiere a esta tesis 3 e indica que la regla de separacin se puede aplicar a 3. La tesis 3 se establece como una instancia de sustitucin de la tesis 3; pero puesto que constituye una implicacin cuyo antecedenteeslatesis1,suconsecuentesepuedesepararyestablecercomotesis7.Enla segunda lnea de la derivacin el nmero 8 denota la tesis obtenida de 7 mediante la sustitucinp/Np.Enlalneadederivacindelatesis10,laregladeseparacinseutiliza dosveces.Despusdeestasexplicacionescreoqueellectornotendrdificultadenenten derlademostracinquesigue. Ademsdelastesis1y2,quefigurancomoaxiomas,aparecenenlademostracin cuatro tesis auxiliares bien conocidas del clculo proposicional ordinario: tres leyes de transposicin,conlosnmeros35;yelprincipiodelsilogismohipottico(tesis6).Todas estastesislascolocoalacabezadelademostracincomopremisas. 1 CNMpNp. 2 CNpNMp. 3 CCNqNpCpq. 4 CCNpqCNqp. 5 CCpNqCqNp. 6 CCpqCCqrCpr. * 3q/MpxC17. 7 CpMp. 7p/Npx8. 8 CNpMNp. 4q/MNpxC89. 9 CNMNpp. 6p/NMNp,q/p,r/MpxC9C710. 10 CNMNpMp. 4p/MNp,q/MpxC1011. 11 CNMpMNp. * 3q/p,p/MpxC212. 12 CMpp. 12p/Npx13. 13 CMNpNp. 5p/MNp,q/pxC1314. 14 CpNMNp. 6p/Mp,q/p,r/NMNpxC12C1415.
/38 /

15 CMpNMNp. 5p/Mp,q/MNpxC1516. 16 CMNpNMp. Las tesis 711 son consecuencias de l; 1216 resultan de 2. La tesis 7 dice: si p, entonces es posible que p. La tesis 9 dice: si no es posible que nop, entonces p. La ltima tesis corresponde al teorema (a) en lgica clsica, citado arriba, y la primera al teorema (b).Ambas son evidentes. De hecho, todas las tesis del primer grupo, 711, son evidentes. Nolosontantolasdelsegundogrupo,1216.Latesis12reza:siesposiblequep, entoncesp.Sobrelabasedeestatesispodemosinferir:Esposiblequeelpacientemuera; por lo tanto, morir. Esta inferencia slo la admitirn quienes no hacen distincin entre posibilidadyrealidad.Lastesisdelsegundogrupo,1216,sonlasconversasdelastesisdel primero,711.Todoelqueadmitaambosgruposdetesisdebeasumirquesonequivalen teslassiguientesproposiciones:p,esposiblequep,ynoesposiblequenopoes necesarioquep.Peroentoncesresultaquepodemosprescindirdelosconceptosdenece sidadyposibilidad.Estaconsecuenciapocoagradableresultadelaaceptacindenuestra formulacinsimblicadelteoremaII,queesevidenteenellenguajeordinarioysepuede reconocer como verdadero sin reservas. Sin embargo, me parece imposible expresar la proposicinIIenellenguajesimblicodelclculoproposicionalbivalentedeotramanera quemedianteunasimpleimplicacinqueeselconversodelatesisI. 4.Consecuenciasdeltercerteoremasobreproposicionesmodales La formulacin simblica del tercer teorema conduce a otro resultado desagra dable. ElteoremaIIIsepuedeexpresarslopormediodelsimbolismodelclculopropo sicionalampliado.Seaelcuantificadorexistencial,yconvengamosenquepdenota laexpresinparaalgnp.SeaKpqelsmbolodelaconjuncin,pyq,dondepyq denotanproposicionescualesquiera.ElteoremaIIIsepuedeexpresarsimblicamentedel siguientemodo: 17 pKMpMNp. Esto,enpalabras,significa:Paraalgnp:esposiblequepyesposiblequenop. El cuantificador existencial se puede expresar por medio del cuantificador universal . Si p significa para todo p y si (p) representa cualquier expresin quecontienep,resultaevidentelasiguientedefinicin: D1 p(p)=NpN(p). D1enunciaquelasexpresionesparaalgnp,(p)(secumple)ynoesverdadero
/39 /

que para cada p (se cumpla) no(p) significan la misma cosa. La tesis 17 se convierte, entonces,enlasiguiente: 18 NpNKMpMNp. Hay, sin embargo, adems del clculo proposicional ampliado, un sistema lgico todava ms general creado por Lesniewski, que l ha llamado protottica30. La diferencia fundamental entre la protottica y el clculo proposicional ampliado es la aparicinenesteltimodefunctores31variablesademsdeconstantes. Si designamos un functor variable al que se conecta una sola proposicin como argumentomediante,podemosdemostrarenlaprototticalasiguienteproposicin: CKpNpq. Las tesis 18 y 19, as como dos tesis auxiliares pertenecientes al clculo proposi cionalordinarioasaber,elprincipiodetransposicin(4)mencionadoarriba,yotraregla de transposicin (la tesis 20) son premisas de la demostracin formalizada que damos ms abajo. Adems de las de sustitucin y separacin, en la demostracin se utiliza la regla de introduccin de un cuantificador. Esta regla reza as: Si en el consecuente de una implicacinqueesunatesisapareceunavariableproposicionallibrepquenoaparece en el antecedente de esa implicacin, el smbolo p se puede poner antes del conse cuente. Esta regla de inferencia se representar ms abajo por +. Empezando por las premisas,nuestrademostracinrezaas: 18 NpNKMpMNp. 19 CKMpMNpMq. 20 CCpqCNqNp. * 20p/KMpMNp,q/MqxC1921. 21 CNMqNKMpMNp. 21+x22. 22 CNMqpNKMpMNp. 4p/Mp,q/pNKMpMNpxC22q/pC1823. 23 Mp. Elresultadoobtenido,latesis23,hadeadmitirsecomoverdadero.Estatesis,que enpalabrasseleeesposiblequep,secumpleparacualquierp.Tenemos,portanto,que
S.Lesniewski,GrundzgeeinesneuenSystemsderGrundlagenderMathematik,introduccin y111,Fund.Math.14(1929). 31EnlafuncinCpq,Ceselfunctor,ypyqlosargumentos.Eltrminofunctorfue introducidoporKotarbiski.
30
/40 /

admitircomoverdaderalaproposicinesposibleque2seaunnmeroprimo,ascomo laproposicinesposibleque2noseaunnmeroprimo.Dichofrancamente:porrazn delteoremaIIInoshemosvistollevadosaadmitircomoposibletodo.Sinembargo,sitodo es posible, entonces nada es imposible y nada es necesario. Porque si se admite la proposicin Mp, obtenemos de ella por sustitucin la proposicin MNp, y las expresionesNMpyNMNptienenquerechazarseencuantoquesonnegacionesdelas precedentes. Estas son consecuencias que van en contra de todas nuestras intuiciones. Sin embargo, no veo posibilidad de expresar el teorema III, en el simbolismo del clculo proposicionalampliado,conotraformaqueladelastesis1718. 15.Incompatibilidaddelosteoremassobreproposicionesmodalesenel clculoproposicionalbivalente Las consecuencias desagradables a que nos hemos visto conducidos por los teoremasIIyIIIconsideradosseparadamente,sevuelventotalmenteinaceptablescuando losconsideramosenconjunto. Adems,cuandocombinamoslatesis12,resultantedelaformulacinsimblicadel teoremaII,conlatesis23: 12 CMpp. 23 Mp. obtenemosinmediatamente 12xC2324. 24 p. Por lo tanto, si las tesis 12 y 23 son vlidas, cualquier proposicin p es vlida tambin.Asllegamosalsistemainconsistentedetodaslasproposiciones.LosteoremasII yIIIsonincompatiblescuandoserepresentansimblicamentecomolastesis2y18. Podemos obtener el mismo resultado sin emplear la tesis 19, que presupone una proposicinpertenecientealaprotottica.Enlasiguientedemostracinutilizamosslolas tesis12,13y20,juntoconciertastesisauxiliaresdelclculoproposicionalordinario: 25 CpCqp. 26 NKpNp. 27 CCpqCCrsCKprKqs. * 27p/Mp,q/p,r/MNp,s/NpxC12C1328.
/41 /

28 CKMpMNpKpNp. 20p/KMpMNp,q/KpNpxC28C2629. 29 NKMpMNp. 25p/NKMpMNpxC2930. 30 CqNKMpMNp. 30+x31. 31 CqpNKMpMNp. 31q/CpCqpxC2532. 32 pNKMpMNp. Lastesis18y32secontradicen.Porlotanto,lasproposicionesIIyIIIsonincom patibles. Lademostracinqueanteshemosdadopodrahacerseintuitivamenteplausibledel siguientemodo:SisegnlaproposicinIIIlasexpresionesMyMNfueranconjun tamente verdaderas para una cierta proposicin a, entonces las proposiciones y Ntendrantambinqueserverdaderasdeacuerdoconlastesis12y13.Sinembargo, estoesimposible,porqueyNsecontradicen. A la vista de este hecho, el problema de las proposiciones modales podra resolversededosmaneras,tomandocomobaseelclculoproposicionalbivalente.Elteo remaIylastesisdelprimergrupoqueestnconectadasconl(asaber,lastesis1y711) handeseraceptadasincondicionalmente;dehecho,nuncaselaspusoencuestin.Delos teoremasIIyIIIhayqueelegiruno.SinosdecidimosenfavordelteoremaIIydelastesis del segundo grupo conectadas con l (a saber, las tesis 2 y 1216), entonces todas las proposiciones modales se convierten en equivalentes a proposiciones nomodales. La consecuenciadeestoesqueyanovalelapenaintroducirenlgicaproposicionesmodales. Asimismo,elconceptoextremadamenteintuitivodeposibilidadbilateralhadeserrecha zadocomoinconsistente.Si,porotraparte,nosdecidimosenfavordelaproposicinIII, nosvemosforzadosaadmitirlaparadjicaconsecuenciadequetodoesposible.Eneste supuesto tambin carece de sentido la introduccin de proposiciones modales en lgica; adems,tendramosentoncesqueprescindirdelteoremaII,intuitivamenteevidente,para evitarlacontradiccin.Ningunadeestassolucionespuedeaspirarasersatisfactoria. No se podra esperar otro resultado. Esto resulta especialmente claro cuando el sistema del clculo proposicional bivalente se define mediante el llamado mtodo de matrices.Sobrelabasedeestemtodosesuponequetodaslasvariablesproposicionales pueden tomar slo dos valores constantes: 0 o lo falso y 1 o lo verdadero. Se estableceademsque: C00=C01=C11=1,C10=0,N0=1yN1=0. Estas ecuaciones quedan registradas en la siguiente tabla, que es la matriz del clculo proposicionalbivalentebasadoenCyN.
/42 /

C 0 1 0 1 0 1 1 1 N 1 0
En un sistema bivalente slo se pueden formar cuatro funciones distintas de un argumento. Si denota un functor de un argumento, entonces caben los siguientes casos:(1)0=0y1=0;estafuncinladenotamosporFp(falsumdep).(2)0=0y 1=1;pesequivalenteap.(3)0=1y1=0;estaeslanegacindep,Np.(4)0=1y 1=1;estafuncinladenotamosporVp(verumdep). Mptendrqueseridnticaaunodeestoscuatrocasos.Perocadaunadelastesis 1,2y18excluyeciertoscasos.Medianteverificacindirectacon0ylsepuedeaveri guarque:
1 2 18 CNMpNp CNpNMp NpNKMpMNp se cumple slo para Mp = p o Mp = Vp se cumple slo para Mp = p o Mp = Fp se cumple slo para Mp = Vp.
(A)
Latesis18quedaverificadamedianteelenunciado:pa(p)=Ka(0)a(1).Seobtiene entonces: NpNKMpMNp =NKNKM0MN0NKM1MN1 =NKNKM0M1NKM1M0 =NKNKM0M1NKM0M1 =NNKM0M1=KM0M1. Lascondiciones(a)hacenevidentequelastesis1y2puedenservlidasconjunta mentesloparaMp=p;delmismomodoquelastesis1y18puedenservlidasslopara Mp = Vp. Las tesis 2 y 18 son incompatibles, puesto que no hay funcin para Mp que verifiquesimultneamenteambastesis. 6.Lasproposicionesmodalesyelclculoproposicionaltrivalente Cuando,en1920,mepercatdelaincompatibilidaddelosteoremastradicionales sobre proposiciones modales32, me hallaba ocupado estableciendo el sistema del clculo
Eneltrabajocitadoenlanota24,yohabadefinidoelconcepto deposibilidadbilateraldeuna maneramsestricta,asumiendoquelasproposicionesesposiblequepyesposiblequenop deben siempre cumplirse a la vez, lo cual en conjuncin con proposiciones de los dos primeros
32
/43 /

proposicionalordinariobivalentemedianteelmtododematrices33. Enesapocaestaba convencidodequeeraposibledemostrartodaslastesisdelclculoproposicionalordina riosobrelabasedequesusvariablesproposicionalespodanasumirslodosvalores,0 olofalsoy1oloverdadero. A este supuesto corresponde el teorema bsico de que toda proposicin es o bien verdadera o bien falsa. Para abreviar llamar a esto la ley de bivalencia. Aunque ocasional mente se le llama ley de tercio excluso, prefiero reservar este nombre para el conocido principiodelgicaclsicasegnelcualdosproposicionescontradictoriasnopuedenser falsassimultneamente. Laleydebivalenciaeslabasedetodanuestralgica,ysinembargofueobjetode grandesdisputasyaentrelosantiguos.Aristteleslaconoca,aunquelapusoencuestin respectodelasproposicionesreferidasafuturoscontingentes;terminantementerechazada porlosepicreos,laleydebivalenciaapareceplenamenteporvezprimeraconCrisipoy los estoicos como un principio de su dialctica, que representa lo que hoy llamamos clculo proposicional34. La disputa acerca de la ley de bivalencia tiene un trasfondo metafsico:losqueaboganenfavordelaleysondecididosdeterministas,mientrasquesus oponentestiendenaunaWeltanschauungindeterminista35.As,pues,hemosvueltoaentrar enelreadelosconceptosdeposibilidadynecesidad. La ley ms fundamental de la lgica no parece, despus de todo, completamente evidente. Apoyndome en ejemplos venerables, que se remontan a Aristteles, intent refutarlaleydebivalenciamediantelasiguientelneadepensamiento*. Puedo suponer sin contradiccin que mi presencia en Varsovia en un cierto mo mento del ao prximo por ejemplo, al medioda del 21 de diciembre no est en el presenteinstantedeterminadanipositivaninegativamente.Portanto,esposible,perono necesario, que yo est presente en Varsovia en ese momento dado. En este supuesto, la proposicin estar en Varsovia a medioda del 21 de diciembre del ao prximo no puede,enelpresenteinstante,serniverdaderanifalsa.Porquesifueraverdaderaahora,
gruposconduceanumerosascontradicciones.Pensabaentoncesenelconceptoaristotlicodeposi bilidadpura.ParecequeAristtelesdistinguaentredostiposesencialmentediferentesdeposibi lidad:posibilidadenelsentidopropio,oposibilidadpura,porlacualalgoessloposiblesinoes necesario; y posibilidad en el sentido impropio, que est conectada con la necesidad y resulta de ella de acuerdo con nuestra tesis 10. Cf. H. Maier, Die Syllogistik des Aristoteles, part. i (Tbingen, 1896),pgs.180,181. 33 Los resultados de estas investigaciones han sido publicados en mi articulo Logika dwuwar tosciowa(Lgicabivalente),queaparecienlarevistafilosficapolacaPrzegladFilozoficzny(Estu diosenhonordelProfesorTwardowski)23(1921),pgs.189205. 34Cf.elapndicedeestetrabajo:Sobrelahistoriadelaleydebivalencia. 35EnladisertacininauguralquepronuncicomoCancillerdelaUniversidaddeVarsoviaen1922, intent resolver el problema de una filosofa indeterminista mediante la lgica trivalente. Una versinrevisadadeesaconferenciasepublicarprximamenteenpolaco.[Enrealidad,estetexto (Sobreeldeterminismo)fuepublicado16aosmstardeporJ.Supeckienlaedicinde1961de Zzagadnielogikiifilozofii,y,mstarde,enunaversininglesa,enlaedicindeMcCall.] *EnelensayoSobreeldeterminismoantesmencionado,ukasiewiczejemplificaestaargumen tacindemodosimilar.
/44 /

mifuturapresenciaenVarsoviatendraquesernecesaria,locualestencontradiccincon elsupuesto.Si,porotraparte,fuerafalsaahora,mipresenciafuturaenVarsoviatendra queserimposible,locualtambincontradiceelsupuesto.Porlotanto,laproposicinen cuestinnoes,enestemomento,niverdaderanifalsaydebeposeeruntercervalor,distinto de0ofalsedadydeloverdad.Estevalorsepuededesignarpor.Representalo posible,yseaadecomotercervalorjuntoaloverdaderoylofalso. Elsistematrivalentedelgicaproposicionaldebesuorigenaestalneadepensa miento.Lasiguientetareaeradarlamatrizmediantelacualsepudieradefinirestenuevo sistema de lgica. Inmediatamente vi claro que si la proposicin concerniente a mi presenciafuturaenVarsoviatomabaelvalor,sunegacindebatomarelmismovalor .AsobtuvelaecuacinN=.Tenatodava quedeterminarparalaimplicacinlas cincoecuacionesquecontenanelvalor,asaber,C0,C0,C,C1,yC1.Lasecua cionesquenocontenanelvalor,lastomdelsistemabivalentedelgicaproposicional, ascomolosvaloresparaN0yN1.Lasecuacionesbuscadaslasobtuvesobrelabase deconsideracionesdetalladas,quemeresultabanmsomenosplausibles.Deestemodo llegu por fin a la formulacin de un clculo proposicional trivalente, definido por la matrizquesigue.Elsistemanacien192036.
C 0 1 0 1 N 1 0
1 1 1 1 1 0 1
7.Definicindelconceptodeposibilidad Sobre la base de este sistema intent, entonces, construir una definicin del con cepto de posibilidad que me permitiera establecer todos los teoremas intuitivos tradi cionalesparaproposicionesmodalessinincurrirencontradiccin.Llevestoacaboenlo relativoalconceptodeposibilidadpurayprontoencontrunadefinicinsatisfactoria37.
DicuentadeestesistemaalaSociedadPolacadeFilosofaenLww,el19dejuniode1920.Los contenidosesencialesdeeseinformesehanpublicadoenRuchFilozoficzny5(1920),[enestelibro.] 37Ladefinicinhalladaesmsbiencomplicadayrezaas: D*1 Mp=AEpNpgNCpKgNq. Estoes:Laexpresinesposiblequepsignificaobienpynopsonequivalentesentres,onohay ningnpardeproposicionescontradictoriasimplicadasporp.Aeselsignodelaalternacin:E elsignodeequivalencia.Enlgicatrivalentesecumplenlassiguientesdefiniciones: D*2 Apq=CCpqq. D*3 Kpq=NANpNq. D*4 Epq=KCpqCqp.
36
/45 /

Ms tarde, sin embargo, me convenc de que el concepto ms amplio de posibilidad en generalerapreferiblealconceptomsrestringidodeposibilidadpura.Enloquesigue,por tanto,examinarunadefinicinde eseconceptoquesatisfacetodaslasexigenciasdelos teoremasIIII. LadefinicinencuestinfuedescubiertaporTarskien1921,cuandoasistaamis seminarios como estudiante de la Universidad de Varsovia. La definicin de Tarski es la siguiente: D2 Mp=CNpp. Esto,enpalabras,rezaas:esposiblequepsignificasinop,entoncesp. Hayquecaptarelsignificadointuitivodeestadefinicin.LaexpresinCNppes, deacuerdoconlamatrizdetresvalores,falsasiyslosipesfalsa.Enlosdemscasos, CNppesverdadera.Obtenemosaslasecuaciones M0=0,M=1,M1=1. Porlotanto,siunaproposicindadaesfalsa,laproposicinesposibleque es falsa tambin. Y si es verdadera, o si toma el tercer valor, el de posibilidad, entonces la proposicin es posible que es verdadera. Esto concuerda muy bien con nuestrasintuiciones. EnlgicabivalentelaexpresinCNppesequivalentealaexpresinp;perono asenlgicatrivalente.LatesisCCNppp,queesvlidaenelclculobivalenteyaparece
Ladefinicindeimposibilidadesmsevidente: D5 NMp=KNEpNpqCpKgNq Estoes,laexpresinnoesposiblequepsignificapynopnosonequivalentesentres,yhayun pardeproposicionescontradictoriasimplicadasporp. ApartirdeD*1seobtienenparaMlassiguientesecuaciones:M0=0,M=1,M1=.Por medio de estas ecuaciones y de la matriz del clculo proposicional trivalente se pueden verificar fcilmentelassiguientestesis: (1) CpCpNMNp. (4) CMNpCMNpMp. (2) CNpCNpNMp. (5) CNMpCNMpNp. (3) CMpCMpMNp. (6) CNMNpCNMNpp. Latesis(5)nospermiteobtenermediantedosseparaciones,deacuerdoconelteoremaIy sobre la base de la proposicin admitida no es posible que (NM), la proposicin no (N). Conversamente, obtenemos mediante dos separaciones la proposicin no es posible que (NM) a partir de la tesis (2), de acuerdo con el teorema II, sobre la base de la proposicin admitidano(N).Adems,siseadmiteunadelasproposiciones.esposibleque(M) yesposiblequeno(MN),laotradeesasproposicioneshadeseradmitidatambin,porlas tesis (3) y (4). Partiendo de las proposiciones admitidas y es necesario que no se puede hacerinferenciaalgunaalaproposicinesposibleque,puestoqueaquestamostratandocon laposibilidadpura,queesincompatibleconlanecesidad.Cf.nota32.
/46 /

comoaxiomaenmisistemadelclculoproposicionalordinario38,noesvlidaparap= en el sistema trivalente. Vailati ha escrito una interesante monografa sobre la tesis CCNppp39enlaquesemuestraqueEuclideshizousodeestatesisenlademostracinde uno de sus teoremas, sin formularla expresamente40. Fue Clavius, un comentador de Euclides de la segunda mitad del siglo diecisis, jesuita y elaborador del Calendario Gregoriano, quien primero prest atencin a esta tesis41. Desde esa poca parece haber adquirido una cierta popularidad entre los estudiosos jesuitas bajo el nombre de consequentiamirabilis42.ElnotablejesuitaGerolamoSaccheri,enparticular,fuearrebatado hastatalpuntoporlatesisCCNpppqueintentdemostrarelpostuladoeuclidianodelas paralelassobrelabasedeella.Elintentofracas,peroSaccheriganelttulodeprecursor delageometranoeucldea43. La tesis CCNppp enuncia que si para una cierta proposicin, digamos , se cumple la implicacin CN, entonces se cumple tambin. Ciertamente, la impli cacinsino,entoncesnosignificalomismoquelaexpresinsepuedeinferira partirdeno,peroapesardeelloelconceptomsgeneraldeimplicacincubreelcaso msespecialdelainferencia.Porlotanto,sideunaproposicinnosepuedeinferirla proposicin , entonces es verdadera. No sera correcto, sin embargo, asumir con Saccheriqueelhechodenoseinfiereestampalaproposicincomounaprima veritas44.Alcontrario:latesisCCNpppnossorprendeporsucarcterabiertamentepara djico,comoindicasunombre,consequentiamirabilis.Sloestoescierto:siunaproposicin se puede inferir de su contradictoria, ciertamente no es falsa, y por ende tampoco impo sible.Esposible,comoenuncialadefinicindeTarski.Quizsestadefinicinsehagams
Cf.Etementylogikimatematycznej(Elementosdelgicamatemtica),edicinlitografiadadeconfe rencias dadas por mi en la Universidad de Varsovia en el otoo de 192829, revisada por M. Presburger(Varsovia,1929),pg.45.[UnaversininglesahechaporO.Wojtasiewiczyeditadapor J.Supecki(ElementsofMathematicalLogic)sepublicencoedicinporPWNyPergamonPressen 1963,reimprimindoseen1966.] 39 Scritti di G. Vailati, LeipzigFirenze, 1911. CXV. A proposito dun passo del Teeteto e di una dimostrazionediEuclide,pgs.516527. 40Cf.Vailati,op.cit.,pgs.518yss.ParecehaberescapadoaVailatiquelatesisarribamencionada erayaconocidadelosestoicos,aunquenoensuformapura.LeemosenSextoEmprico,Adv.math. viii292. 41Cf.Vailati,op.cit.,pg.521. 42 Encuentro el nombre de consequentia mirabilis aplicado a esta tesis en los escritos de los jesuitas polacos,AdamKrasnodbski,ensuPhilosophiaAristotelisexplicata(Varsovia,1676),DialecticaeProle gomenon21,escribe,porejemplo,losiguiente:Artificiumargumentandiperconsequentiammirabilemin hocpositumest(utidereespeculativaoptimeinPoloniameritus.R.P.Tho.MtodzianowskiTr.1dePoenit, disp. l. quae. 1. difficul. 1 No. 20 refert), ut ex propositione quam tuetur respondens, ab argumentante eliciaturcontradictoria. 43Cf.Vailati,op.cit.,CIX.DiunoperadimenticatadelP.GerolamoSaccheri(Lgicademostrativa1697), pgs.477484. 44Cf.Vailati,op.cit.,pg.526,dondesecitanlassiguientespalabrasdeSaccheri:Namhicmaxime videturessecuiusqueprimaeveritatisveluticharacterutnonnisiexquisitaaliquaredargutioneex suo ipso contradictorio assumpto ut, vero fila ipsi tandem restitui possit (Euclides ab omni naevo vindicatus,pg.99).
38
/47 /

obviasiseaplicaalconceptodenecesidad.PorquedeacuerdoconD2obtenemos: D3 NMNp=NCpNp, que dice que es necesario que p significa no es verdadero que si p, entonces nop, Hablandolibremente,podemosentoncesafirmarqueunadeterminadaproposicines necesariasiyslosinocontienesupropianegacin. Sininsistirenelcarcterintuitivodeladefinicinarribareproducida,tenemosque admitirencualquiercasoqueestadefinicinrenetodoslosrequisitosdelosteoremasI III.Adems, como ha mostrado Tarski, es la nica definicin positiva dentro del sistema trivalentequereneesosrequisitos.Procederemosahoraademostraresasltimasasercio nes. 8.Consecuenciasdeladefinicindelconceptodeposibilidad De la definicin D2 se sigue que todas las tesis del primer grupo se verifican: es decir, la tesis 1, correspondiente al teorema I, y las tesis 711. Porque en lgica proposi cionaltrivalentelatesis T1 CpCqp. secumple.Obtenemosentonces: T1q/NpxT2. T2 CpCNpp. T2.D2xT3. T3 CpMp. En la lnea de derivacin perteneciente a la tesis T3 se ha utilizado una regla de inferencia que nos permite reemplazar la parte derecha de una definicin por su parte izquierda.Puestoqueenelclculotrivalentesecumplentodaslasleyesdetransposicin, ascomoelprincipiodelsilogismo,apartirdeT3obtenemoslasrestantestesisdelprimer grupo.Todasestastesissonperfectamenteevidentes. Las tesis del segundo grupo no son vlidas. Sin embargo, no todas esas tesis son evidentesencualquiercaso.Dosdeellas,unadelascualescorrespondealteoremaII,son enunciertosentidovlidas,aunquenocomosimplesimplicaciones.Paraserexactos,por ladefinicinD2secumplenlassiguientesproposicionesenelclculotrivalente: CpCpNMNpyCNpCNpNMp, aunquelasexpresiones
/48 /

CpNMNpyCNpNMp nosonvlidas.EstosedebealhechodequeenelclculotrivalentelatesisCCpCpqCpq no se cumple, y por ello las expresiones CC y C no son equivalentes entre s como lo son en el clculo bivalente ordinario. Las proposiciones arriba mencionadas se puedendemostrarpormediodelassiguientestesisauxiliares,quetambinsecumplenen lalgicaproposicionaltrivalente: T4 CpCCpqq. T5 CpCCNNpqq. T6 CCpCqrCpCNrNq. T7 CCpCqNrCpCrNq. * T6p/Np,q/CNpp,r/pxCT4p/Np,q/pT8. T8 CNpCNpNCNpp. T8.D2xT9. T9 CNpCNpNMp. T7q/CNNpNp,r/pxCT5q/NpT10. T10 CpCpNCNNpNp. T10.D2p/NpxT11. T11 CpCpNMNp. Si se admite la proposicin no, entonces, por doble separacin aplicada a la tesisT9,seobtienelaproposicinnoesposibleque.Siseadmitelaproposicin, entonces,porT11ydobleseparacin,llegamosalaproposicinnoesposiblequeno, que significa lo mismo que es necesario que . Por lo tanto, se puede inferir correc tamente:Notengodineroenmibolsillo;porlotanto,noesposiblequeyotengadinero enmibolsillo.Otambin:Estoyencasaalatardecer;porlotanto,esnecesarioqueyo est en casa al atardecer. Se ha mostrado que el teorema II, intuitivamente evidente, se cumple,yademsdetalmaneraqueseconservalamximaaristotlicasegnlacualno todoloquees,esnecesarioynotodoloquenoes,esimposible.Porquenilasexpresiones yNMNniNyNMsonequivalentesentres.Tampocopuedelaexistencia ser inferida de la posibilidad, en el caso de que Mp signifique lo mismo que CNpp, puestoqueniCMppniCMpCMppsecumplenenelclculoproposicionaltrivalente. Finalmente,elteoremaIIIseverificaenlaformadelastesis T12 pKMpMNp. o T13 NpNKMpMNp,
/49 /

enlascualesseasumenlassiguientesdefiniciones: D4 Apq=CCpqq D5 Kpq=NANpNq. LastesisT12yT13severificanfcilmenteconlaayudadelamatrizdelclculotrivalentey lasecuacionesquesehandadoparaMenlaseccinanterior.Parap=,obtenemos KMMN=K1M=K11=1. Hay,portanto,unvalordepparaelquelaexpresinKMpMNpescorrecta. Como resumen de los resultados anteriores estamos ahora en condiciones de establecerelsiguienteteorema: Todoslosteoremastradicionalesparaproposicionesmodaleshansidoestablecidoslibresde contradiccinenelclculoproposicionaltrivalente,sobrelabasedeladefinicinMp=CNpp. Esteresultadosemeantojaaltamentesignificativo.Porqueparecequeaquellasde nuestras intuiciones que estn conectadas con los conceptos de posibilidad y necesidad apuntan a un sistema de lgica que difiere en aspectos fundamentales de la lgica ordinariabasadaenlaleydebivalencia. Queda por probar que la definicin que da Tarski es la nica que, dentro del clculotrivalente,cumplelosrequisitosdelosteoremasIIII.Estosepuedemostrardela siguiente manera. Puesto que segn el teorema I la proposicin N se sigue de la proposicinNM,porlaleydetransposicinMdebeseguirsede.Portanto,si =1,entoncesM=M1=1.ObtenemosaslaecuacinM1=1.Porotraparte,segnelteo remaIIlaproposicinNMsesiguedelaproposicinN.Portanto,si=0,oN= 1,entoncesNM=NM0=1.PeroNM0slopuedeseriguala1acondicindequeM0=0. Obtenemos as la segunda ecuacin: M0 = 0. Finalmente, tambin el teorema III, pKMpMNp,hadeserverdadero.Peronoesverdaderoparap=0oparap=1,porque enamboscasoshayuntrminodelaconjuncinqueesfalso,y,portanto,laconjuncin mismahadeserfalsatambin.Tenemos,pues,queasumirqueM=1,puestoquesloen esecasoresultalaconjuncinKMpMNpiguala1parap=.Deestemodolafuncin Mp queda totalmente determinada para el clculo proposicional trivalente, y slo se puededefinirmedianteCNppoalgunaotraexpresinequivalenteaella. 9.Significacinfilosficadelossistemaspolivalentesdelgicaproposicional Ademsdelsistematrivalentedelgicaproposicional,descubren1922todauna clasedesistemasestrechamenterelacionados,quedefinpormediodelmtododematri cesdelsiguientemodo: Cuandopyqdenotanciertosnmerosdelintervalo(0,1),entonces:
/50 /

Cpq=1 parapq, Cpq=1p+q parap>q, Np=1p. Si del intervalo (0, l) se escogen slo los valores lmite 0 y 1, esta definicin representalamatrizdelclculoproposicionalbivalenteordinario.Siseincluyeademsel valor,obtenemoslamatrizdelsistematrivalente.Demanerasimilarsepuedenformar sistemasde4,5,nvalores. Desdeelprincipiotuveclaroque,deentretodoslossistemaspolivalentes,slodos podan aspirar a tener alguna significacin filosfica: los trivalentes y los infinitamente polivalentes*.Porquesilosvaloresdistintosde0y1seinterpretancomoloposible, slocaberazonablementedistinguirdoscasos:obiensesuponequenohayvariacionesde grado en lo posible, y, consecuentemente, se llega al sistema trivalente; o se supone lo opuesto,encuyocasoseramsnaturalpensar(comoenteoradelasprobabilidades)que hay infinitos grados de posibilidad, lo cual lleva al clculo proposicional infinitamente polivalente. Creo que este ltimo sistema es preferible a todos los dems. Por desgracia, estesistemanohasidotodavasuficientementeinvestigado;enparticular,larelacinentre elsistemainfinitamentepolivalenteyelclculodeprobabilidadesdemandaulteriorinves tigacin45. Si se asume para el sistema infinitamente polivalente la definicin de posibilidad establecidaporTarski,ocurreque,comoenelsistematrivalente,aparecentodaslastesis mencionadas en la seccin precedente. Los teoremas IIII, intuitivamente evidentes, se verificantambinenelclculoproposicionalinfinitamentepolivalente. El sistema trivalente es una parte propia del bivalente, del mismo modo que el sistema infinitamente polivalente es una parte propia del sistema trivalente. Esto quiere decir que todas las tesis de los sistemas trivalente e infinitamente polivalente son verda derasparaelsistemabivalente.Hay,sinembargo,tesisquesonvlidasenelclculobiva lente, pero no en el sistema infinitamente polivalente. Pero cuando se trata de las tesis proposicionales mejor conocidas por ejemplo, las que aparecen relacionadas en los PrincipiaMathematica46ladiferenciaentreelclculoproposicionaltrivalenteyelinfinita mentepolivalenteesmnima.Desdeluego,nopuedoencontrarunasolatesisenestaobra que, siendo vlida en el sistema trivalente, no lo sea tambin en el infinitamente poli valente. Las tesis ms importantes del clculo bivalente que no son verdaderas en los sistemastrivalenteeinfinitamentepolivalenteserefierenaciertosesquemasdeinferencia apaggica sobre los que, desde tiempo inmemorial ha habido dudas. Por ejemplo, las siguientes tesis no son verdaderas en sistemas polivalentes: CCNppp, CCpNpNp, CCpqCCpNqNp,CCpKqNqNp,CCpEqNqNp.Laprimeradeestastesishasidoexami
EnsutrabajoUnsistemadelgicamodal(1953)sostieneukasiewiczunaopininclaramente distintasobreestetema. 45MilibritoDielogischenGrundlagenderWahrscheinlichkeitsrechnung,Cracovia,Akad.d.Wiss.,1913, intentabasarlanocindeprobabilidadenunaideaporcompletodiferente. 46Cf.A.N.WhiteheadyB.Russell,PrincipiaMathematica,Cambridge,1910,vol.i,pgs.94131.
*
/51 /

nadaarriba;lasegundasediferenciadelaprimerasloporlaintroduccindelanegacin depenlugardep.LasotrasdostesisjustificanlaasuncindequeunaproposicinN esverdaderacuandodesuopuestaasepuedenderivardosproposicionesmutuamente contradictorias. La ltima tesis afirma que una proposicin de la que se sigue la equiva lencia de dos proposiciones contradictorias es incorrecta. Hay en matemticas modos de inferenciaentreotros,elllamadomtododeladiagonalenteoradeconjuntosque sebasanenesastesisnoaceptadasenlossistemastrivalenteseinfinitamentepolivalentes delgicaproposicional.Serainteresanteindagarsilosteoremasmatemticosbasadosen elmtododeladiagonalsepuedendemostrarsintesisproposicionalescomostas. Aunquelossistemaspolivalentesdelgicaproposicionalsonmeramentefragmen tos del clculo proposicional ordinario, la situacin cambia enteramente cuando se am plan estos sistemas por adicin del cuantificador universal. Hay tesis de los sistemas polivalentesampliadosquenosonvlidasenelsistemabivalente.T13puedeservircomo ejemplodeunatesisdeesetipo.SienT13sereemplazalaexpresinMp,deacuerdocon D2,porCNpp,yMNpporCNNpNp,obtenemoslatesis: T14 NpNKCNppCNNpNp, que es falsa en el clculo bivalente. El sistema trivalente de lgica proposicional con cuantificadores,que,graciasalostrabajosdeTarskiyWajsberg,sepuedepresentaraxio mticamente, es el ejemplo ms simple de un sistema lgico consistente que difiere del sistemabivalenteordinariocomocualquiergeometranoeucldeadelaeucldea. Piensoquesepuededecir queelsistemamencionadoeselprimersistemaintuiti vamentefundadoquedifieredelclculoproposicionalordinario.Elobjetivofundamental deestacomunicacinerademostrarqueestabaseintuitivaresideenlosteoremasIIII,que sonintuitivamenteevidentesparaproposicionesmodales,peroquenosonconjuntamente sosteniblesenlgicaordinaria.CiertoesquePosthainvestigadosistemaspolivalentesde lgicaproposicionaldesdeunpuntodevistapuramenteformal,peronohasidocapazde interpretarlos lgicamente47. Los famosos intentos de Brouwer*, que rechaza la validez universal de la ley de tercio excluso y repudia asimismo varias tesis del clculo propo sicionalordinario,nohanconducidohastaelmomentoaunsistemaintuitivamentebasado. Sonsimplementefragmentosdeunsistemacuyaconstruccinysignificacinestntoda vacompletamenteoscuras48.
Vase E. L. Post, Introduction to a general theory of elementary propositions. Am. Journ. of Math.43(1921),pg.182:Elmayorespacioproposicionalintuibleesdedosdimensiones. *En1930,cuandoapareciesteartculo,losresultadosobtenidosporA.Heyting,queexpresaban las intuiciones de Brouwer en forma de un sistema lgico formalizado, no se haban publicado todava.EnsuensayoSobrelateoraintuicionistadeladeduccinukasiewiczdicedeesesiste ma:Meparecequeentrelossistemasdelgicaconocidashastaahoralateoraintuicionistaesel msintuitivoyelegante. 48Cf.,e.g.,L.E.J.Brouwer,IntuitionistischeZerlegungmathematischerGrundbegriffe,Jahresber. d. Deutsch. Math.Vereinigung, 33 (1925), pgs. 251 y ss.; Zur Begrndung der intuitionistischen Mathematik.I.,Math.Ann.93(1925),pgs.244ss.
47
/52 /

Quiz no sera correcto denominar a los sistemas polivalentes de lgica proposi cionalpormestablecidoslgicanoaristotlica,dadoqueAristtelesfueelprimeroque pensquelaleydebivalenciapodanoserverdaderaparaciertasproposiciones.Nuestra lgica, provista de un nuevo fundamento, podra denominarse ms bien nocrispea. puesto que parece haber sido Crisipo el primer lgico que conscientemente estableci y defendiobstinadamenteelteoremasegnelcualtodaproposicinesobienverdaderao bien falsa. Este teoremade Crisipo ha constituido hasta elpresente elms bsicofunda mentodetodanuestralgica. No es fcil prever qu influencia ejercer el descubrimiento de sistemas no crisipeosdelgicasobrelaespeculacinfilosfica.Meparece,sinembargo,quelasignifi cacin filosfica de los sistemas de lgica aqu tratados puede ser al menos tan grande comolasignificacindelossistemasnoeucldeosdegeometra. APNDICE Sobrelahistoriadelaleydebivalencia Laleydebivalencia,esdecir,laleysegnlacualtodaproposicinesobienverda dera o bien falsa, le era familiar aAristteles, que caracteriz explcitamente una propo sicin,,comoundiscursoqueesobienverdaderoobienfalso.EnelDeinterpr. 4.l7a2 leemos: (scil. ; = ) , . Aristteles, sin embargo, no acepta la validez de esta ley para aquellas proposiciones que se refieren a eventos futuros contin gentes. El famoso capitulo 9 del De interpretatione est dedicado a este tema. Aristteles crea que la consecuencia inevitable de la ley de bivalencia sera el determinismo, conse cuencia que l era incapaz de aceptar. Por tanto, se vio forzado a restringir la ley. No lo hizo, sin embargo, con la suficiente decisin, y por esa razn su manera de plantear el tema no resulta completamente clara. El pasaje ms importante reza como sigue (De interpr. 9.19a36): (scil. ) , ,,.Otro pasajedelDeinterpretatione(asaber,18b8: )diopiealosestoicosparamantenerqueAristtelesnegabalaleyde bivalencia.As,enBoecio,AdArist.deinterpr.,ed.secunda,rec.Meser,pg.208(ed.Bas., pg. 364) encontramos este pasaje: putaverunt autem quidam, quorum Stoici quoque sunt,Aristotelemdicereinfuturocontingentesnecverasessenecfalsas.Losperipatticos intentarondefenderaAristtelesfrenteaestaobjecinmedianteunaconfusadistincin entrelodefiniteverumyloindefiniteverum,inexistenteenlasobrasdelEstagirita.As,dice Boecio (Ad. Arist. de interpr., ed. prima, rec. Meiser, pg. 125): manifestum esse non ne cesseesseomnesadfirmationesetnegacionesdefiniteverasesse(seddeestdefiniteatque ideosubaudiendumest).Lafraseentreparntesishasidotomadacasiliteralmentedelos comentadores griegos. Cf.Ammonius, in librum Arist. de interpr., ed. Busse, pg. 141, 20:
/53 /

. No cabe duda de que los epicreos, que mantenan una Weltanschauung indeter minista,hicieronsuyalaideadeAristteles.Unodelosmsimportantespasajesqueda testimonio de sto nos ha sido transmitido por Cicern, De fato 37: Necesse est enim in rebus contrariis duabus (contraria autem hoc loco ea dico, quorum alterum ait quid alterum negat) ex his igitur necesse est, invito Epicuro, alterum verum esse, alterum falsum: at sauciabitur Philocteta, omnibus ante seculis verum fuit, non sauciabitur, falsum.NisifortevolumusEpicureorumopinionemsequi,quitalesenuntiationesnecveras nec falsas esse dicunt: aut, cum id pudet, illud tamen dicunt, quod est impudentius, veras esse ex contrariis disiunctiones; sed, quae in his enuntiata essent, eorum neutrum esse verum. Cicern se opone a esta concepcin y contina: Tenebitur ergo id quod a Chrysippodefenditur:omnemenuntiationemautveramautfalsamesse.Quenoslolos epicreoscompartanlaopinindeAristtelessesiguedeunpasajedeSimplicio,In.Arist. cat., ed. Kalbfleisch, pg. 406 (f. 103A ed. Bas): ,.Elltimo ejemplo est tomado del De interpretatione (9. 19a30) de Aristteles. En relacin con Nikostratos,vasePrantl,vol.i.pgs.618620. Enconscienteoposicinaesto,losestoicos,comofrancosdeterministasqueeran,y Crisipoenespecial,erigieronlaley debivalenciaenprincipiofundamentaldesudialc tica.ComopruebasepuedencitarlossiguientespasajestomadosdelosStoicorumveterum fragmentadeVonArnim:(l)Pg.62,fr.193:DioclesMagnesapudDiog.Laert.vii.65: . (2) Pg. 63, frag. 196: Cicern, Acad. Pr. H. 95: Fundamentum dialecticae est, quidquid enuntietur (id autem appellant ) aut verumesseautfalsum.(31Pgina275,fragm.952:Cicern,DePato20:Concluditenim Chrysippus hoc modo: Si est motus sine causa, non omnis enuntiatio, quod &l(oa dialecticiappellant,autveraautfalsaerit;causasenimefficientisquodnonhabebit,idnec verum nec falsum erit. Omnis autem enuntiatio aut vera aut falsa est. Motus ergo sine causanullusest.21.Quodsiitaest.omnia,quaefiunt,causisfiuntantegressis.Idsiitaest, fato omnia fiunt. Efficitur igitur fato fieri, quaecunque fiant. Itaque contendit omnis nervosChrysippusutpersuadeatomneautverumesseautfalsum. Hereunidotantascitasdemaneradeliberada.Enefecto:aunquearrojanluzsobre uno de los ms importantes problemas de la lgica, muchas resultaban, a lo que parece, desconocidasaloshistoriadoresdelalgica,oalmenosnoselasapreciabalobastante.La razndeestoest,enmiopinin,enquelahistoriadelalgicahasidohechahastaahora porfilsofosconunadiestramientoinsuficienteenlgica.Alosautoresmsantiguosnose lespuedereprocharesto,yaquehacemuypocasdcadasqueexisteunalgicacientfica. Lahistoriadelalgicadebeserescritadenuevo,yporunhistoriadorquetengauncompleto dominio de la moderna lgica matemtica. Por valiosa que sea la obra de Prantl como compilacin de fuentes y materiales, desde un punto de vista lgico es prcticamente intil.Paradarslounejemplo,Prantl,aligualquelosautoresposterioresquehanescrito acerca de la lgica de la Stoa, como Zeller y Brochard, ha comprendido mal esta lgica. Porque cualquier persona familiarizada con la lgica matemtica sabe de sobra que la
/54 /

dialcticaestoicaeslaformaantiguadelamodernalgicaproposicional49. Lalgicaproposicional,quecontieneslovariablesproposicionales,estandistinta delasilogsticaaristotlica,queoperasloconvariablesdetrminos,comoloeslaaritm ticadelageometra.Ladialcticaestoicanoesundesarrolloouncomplementodelalgi caaristotlica,sinounlogrodeigualfustequeeldeAristteles.Alavistadeestoparece elementalexigirdeunhistoriadordelalgicaquesepaalgodelgica.Hoyendanobasta conserunfilsofoparatenervozsobrecuestionesdelgica.
Yaheexpresadoestaidea,en1923,enunensayoquelealprimercongresodefilsofospolacos enLww.UnbreveresumendelaparecienPrzegladFilozoficzny30(1927),pg.278.[ukasiewicz desarrolla su anlisis histrico de la lgica estoica en su artculo Para la historia de la lgica de proposiciones(endeestelibro).]
49
/55 /

PARALAHISTORIADELALGICADEPROPOSICIONES* La moderna lgica matemtica nos ha enseado a distinguir, dentro de la lgica formal, dos disciplinas bsicas, no menos diferentes entre s que la aritmtica y la geometra. Son stas la lgica de proposiciones y la lgica de trminos. La diferencia entre ambasresideenelhechodequeenlalgicadeproposicionessloaparecen,ademsde constantes lgicas, variables proposicionales, mientras que en la lgica de trminos aparecenvariablesdetrminos. Lamaneramssimpledeaclararestadiferenciaesexaminarlasversionesperipa ttica y estoica de la ley de identidad. Para evitar malentendidos permtaseme decir ya que, a juzgar por las fuentes, las dos leyes de identidad fueron formuladas por los antiguosslodeunmodoincidental,yenmodoalgunopertenecenalosprincipiosbsicos deningunadelasdoslgicas.Laleyestoicadeidentidadrezaas:Siloprimero,entonces loprimero,yfiguracomopremisaenunodelosesquemasdeinferenciaquecitaSexto Emprico50.Laleyperipatticadeidentidadesaperteneceatodoa,ynoaparecemencio nadaenAristteles,sibienpuedeinferirsedeunpasajedelcomentariodeAlejandroalos PrimerosAnalticos51.Utilizandovariablespodemosescribirlaleyestoicadeidentidadenla formasip,entoncesp;laleyperipatticasepuedereformularenlaformatodoaesa. Enlaprimeraley,laexpresinsientoncesesunaconstantelgica,ypunavariable proposicional;pslosepuedesustituirconsentidoporproposicionescomoesdeda. Estasustitucinproporcionauncasoespecialdelaleyestoicadeidentidad:siesdeda, esdeda.Enlasegundaley,laexpresintodoesesunaconstantelgica,yauna variabledetrmino;asepuedesustituirconsentidosloporuntrmino,y,deacuerdo conunsupuestotcitodelalgicaaristotlica,sloporuntrminogeneral,talcomo,por ejemplo,hombre.Conesasustitucinobtenemosuncasoespecialdelaleyperipattica de identidad: todo hombre es hombre. La ley estoica de identidad es una tesis de la lgicadeproposiciones,mientrasquelaleyperipatticaesunatesisdelalgicadetrminos. Estadiferenciafundamentalentrelalgicadeproposicionesylalgicadetrminos leseradesconocidaatodoslosviejoshistoriadoresdelalgica.Elloexplicaporqunoha habido, hasta el presente, historia de la lgica de proposiciones, y, consecuentemente,
NotaeditorialtomadadelaedicindeMcCall:Esteensayoaparecioriginariamentebajoelttulo Z historii logiki zdafi en Przeglad Filozoficzny 37 (1934), pgs. 417337. Se reimprimi en una coleccin de ensayos de ukasiewicz titulada Z zagadnieh logiki i filozofii. editada por J. Supecki, Varsovia,1961.EnErkenntnis5(1935),pgs.111131apareciunatraduccinalemanarealizadapor elautorconeltitulodeZurGeschichtederAussagenlogik. 50Sexto,Adv.Math.,viii,292(omitidoenArnim).PorbuenaquesealacompilacindeH.vonArnim (Stoicorum veterum fragmenta, vol. ii, Leipzig. 1903) ha empezado a no servir como fuente para la dialcticaestoica. 51Alejandro,Inanal.pr.comm.,ed.Wallies,pg.34,1.19.
*
/56 /

ningunavisincorrectadelahistoriadelalgicaformalcomountodo.Porindispensable que sea incluso hoy la obra de Prantl52 como recopilacin de fuentes y material, apenas tienevaloralgunocomopresentacinhistricadeproblemasyteoraslgicas.Lahistoria de la lgica ha de ser escrita de nuevo, y por un historiador que haya alcanzado un dominiocompletodelalgicamatemtica.Enestebreveescritotocarslotresgrandes puntos de la historia de la lgica proposicional. En primer lugar, quiero mostrar que la dialcticaestoica,encontrasteconlasilogsticaaristotlica,eslaformaantiguadelalgica proposicional;y,deacuerdoconello,queselesdebendevolverloshonoresdebidosalos hastaahoratotalmentemalentendidosyequivocadamentejuzgadoslogrosdelosestoicos. Ensegundolugar,intentarmostrar,pormediodevariosejemplos,quelalgicaproposi cional estoica perdur y se desarroll durante la poca medieval, particularmente en la teoradelasconsecuencias.Entercerlugar,mepareceimportanteestableceralgoqueno pareceserdeconocimientogeneralnisiquieraenAlemania:asaber,queelfundadordela lgicaproposicionalmodernaesGottlobFrege. La ley estoica de identidad arriba mencionada, perteneciente a la lgica proposi cional,atestiguaqueladialcticaestoicaesunalgicadeproposiciones.Sinembargo,un teoremaaisladonadaprueba.Enconsecuencia,vamosaexaminarelclebreesquemade inferencia que los estoicos colocaron a la cabeza de su dialctica como primer silogismo indemostrable. Siloprimero,entonceslosegundo; esasqueloprimero; luegolosegundo53 Enestafrmula,laspalabrasloprimeroylosegundosonvariables,porquelos estoicos no representaban las variables con letras, sino con nmeros ordinales54. Es claro quetampocoestasvariablespuedensersustituidasconsentidoporotracosaquenosean proposiciones;porejemplo,esdeda,hayluz.Alrealizarestasustitucin,obtenemosla inferenciaqueapareceunayotravezcomoejemploescolarenlostextosestoicos:Siesde da,entonceshayluz;esasqueesdeda;luegohayluz.Quelasvariablesdeesafrmula handesersustituidasporproposicionesynoportrminosresultaevidenteporsusentido,y adems est implicado claramente por el siguiente ejemplo: Si Platn vive, entonces Platnrespira;esasqueloprimero;luegolosegundo.Aquesclaroqueloprimerose refierealaproposicinPlatnvive,ylosegundoalaproposicinPlatnrespira55. La diferencia fundamental entre la lgica estoica y la aristotlica no estriba en el hechodequeenladialcticaestoicaaparezcanproposicioneshipotticasydisyuntivas,en tanto que en la silogstica aristotlica slo aparecen proposiciones categricas. Estricta
K. Prantl, Geschichte der Logik im Abendlande, vols. iiv, Leipzig, 185570; vol. ii, 2 ed., Leipzig, 1885. 53SextoAde.math.viii.227(Arnim,ii.242,pg.81.1.22) 54Apuleyo,Deinterpr.279(Arnim,ii,pg.81,nota):Stoiciporroprolitterisnumereusurpant,utsi primum,secundum;atquiprimum;secundumigitur. 55DigenesLaercio,vii.76(citadoenPrantl,i,pg.471,nota177;omitidoenArnim)
52
/57 /

mente hablando, se pueden encontrar tambin proposiciones hipotticas en la silogstica de Aristteles, porque cada silogismo aristotlico es una implicacin, y, por ende, una proposicin hipottica. Por ejemplo, si a pertenece a todo b y c pertenece a todo a, entoncescperteneceatodob56.Ladiferenciafundamentalentrelosdossistemasantiguos de lgica reside ms bien en el hecho de que en los silogismos estoicos las variables son variables proposicionales, mientras que en los de Aristteles son variables de trmino. Esta diferenciacrucialquedacompletamenteborradasitraducimoselsilogismoestoicoarriba mencionadotalcomolohacePrantl(i,pg.473): Siesloprimero,eslosegundo Esasqueesloprimero Luegoeslosegundo Alaadiracadavariablelapalabrejaes,quenoapareceporningunaparteenlos textos antiguos, Prantl, sin saberlo y sin quererlo, falsea la lgica proposicional estoica convirtindolaenunalgicadetrminos.PorqueenelesquemadePrantlloprimeroy lo segundo slo se pueden sustituir con sentido por trminos, y no por proposiciones. Porloquepodemosjuzgarapartirdelestadofragmentarioenqueladialcticaestoicaha llegado hasta nosotros, todos los esquemas de inferencia estoicos contienen nicamente, adems de constantes lgicas, variables proposicionales. La lgica estoica es, por tanto, unalgicadeproposiciones57. Hayademsunasegundadiferenciaimportanteentrelossilogismosaristotlicosy losestoicos.Lossilogismosaristotlicossontesislgicas,yunatesislgicaesunapropo sicin que slo contiene, adems de constantes lgicas, variables proposicionales o de trmino, y que es verdadera para todos los valores de sus variables. Los silogismos estoicos son esquemas de inferencia, en el sentido de reglas de inferencia, y una regla de inferenciaesunaprescripcinqueautorizaalquerazonaaderivarnuevasproposicionesa partirdeotrasyaadmitidas.Vamosaexaminarestadiferenciaconalgnmayordetalle. El silogismo aristotlico anteriormente citado, que se puede tambin escribir si todobesaytodoaesc,entoncestodobesc,esunaimplicacindelaformasiy, entonces,cuyoantecedenteesunaconjuncindelaspremisasy,ycuyoconsecuente eslaconclusin.Encuantoimplicacin,estesilogismoesunaproposicinqueAristteles reconocecomoverdadera;unaproposicinque,adems,secumpleparatodoslosvalores desusvariablesa,byc.Siestasvariablessesustituyenporvaloresconstantes,obte nemosproposicionesverdaderas.Enlamedidaenqueelsilogismoencuestinnocontiene, ademsdevariables,otracosaque lasconstanteslgicassientonces,y,ytodo
Aristteles,An.pr.ii.11.61b34. He defendido esta interpretacin de la dialctica estoica desde 1923; ver J. ukasiewicz, PhilosophischeBemerkungenzumehrwertigenSystemendesAussagenkalkls,Comptesrendues dessancesdelaSocitdesSciencesetdesLettresdeVarsovie23(1930),iii,pgs.5177[Observaciones filosficas sobre sistemas polivalentes de lgica proposicional, en este libro.] Me alegra haber encontrado en H. Scholz (Geschichte der Logik, Berln. 1931. pg. 31) un defensor de este punto de vista.
56 57
/58 /

es,constituye,comotodoslosdemssilogismosaristotlicos,unatesislgica. Otracosaocurreenlalgicaestoica.Elsilogismoestoicoarribareproducido, que conayudadeletrassepuedeescribirsip,entoncesq;esasquep;luegoq,secompone, comoelsilogismoaristotlico,dedospremisasyunaconclusin.Peroaqulaspremisasno estnligadasconlaconclusinenunasolaproposicinunificada.Estoseveporlapalabra luego que introduce la conclusin. En consecuencia, el tal silogismo no es una proposicin.Puestoquenoesunaproposicin,nopuedeserniverdaderonifalso;porque esalgoadmitidoquela verdadylafalsedadpertenecenalasproposicionesslo.Deah queelsilogismoestoiconoseaunatesislgica:sisusvariablessesustituyenporvalores constanteselresultadonoesunaproposicin,sinounainferencia.Segnesto,elsilogismo esunesquemadeinferencia,poseedordelafuerzadeunaregladeinferenciaquesepuede expresarmsexactamentedelsiguientemodo:quienquieraqueaceptatantolaimplicacin si p, entonces q como su antecedente p, tiene tambin derecho a aceptar como verdaderoelconsecuenteqdeestaimplicacinesdecir,asepararqdep.Estaregla deinferenciasehaconvertido,bajoelnombrederegladeseparacin,enclsicadentro delalgicamoderna.
/59 /

LOGSTICAYFILOSOFA* El estmulo directo para escribir el presente artculo se debe al libro del padre AugustynJakubisiakOdzakresudotrecy(Delaextensinalaintensin)58.Dichaobra,que esunacoleccindeescritosfilosficos,vaprecedidadeunaintroduccinenlaqueataca aquellascorrientesfilosficasque,ensuopinin,estnconectadasconlalogstica.Lamen toqueelpadreJakubisiak,queviveenPars,nosetomelamolestiadefamiliarizarsecon los ambientes y opiniones que critica. De ese modo habra evitado ciertas formulaciones quedesacreditansuataque.Heaqualgunosejemplos. Pretendiendoquelascorrientesfilosficasconectadasconlalogsticahandeclara dounaguerrasincuartelalasdoctrinasfilosficasdelpasado,elPadreJakubisiakdiceen la pgina 11: Semejante actitud hacia la filosofa del pasado se encuentra en Russell, en Whitehead, y en Kreis, Witgenstein, Schlick, Carnap y muchos otros, entre los cuales ocupan un prominente lugar los lgicos polacos de la notoria Escuela de Varsovia. NuncaheodohablardeningnfilsofoquerespondieraalnombredeKreisyquepudie rasermencionadoenestecontexto,perosqueSchlickyCarnappertenecenaungrupo defilsofosalosqueenlosmediosfilosficosseconoceconelnombredeWienerKreis, esdecir,CrculodeViena.HaconfundidoacasoelPadreJakubisiak elnombredeun grupoconelapellidodeunindividuo?59 ElPadreJakubisiakcitaademsextractosdemiintervencinenlaSegundaConfe renciadeFilsofosPolacosen1927,resumidaenmiescritoOmetodwfilozofii(Haciaun mtodoenfilosofa),publicadoenlasActasdelaConferencia60. Enlapgina12elPadre Jakubisiak cita otro texto en el que digo que la lgica creada por los matemticos, que estableceunnuevoniveldeprecisincientfica,muchomsaltoquetodoslosanteriores, haabierto61nuestrosojosalainutilidaddelaespeculacinfilosfica.Portanto,comoenla poca de Kant, surge la necesidad de una reforma de la filosofa. No, sin embargo, una reformahechaennombredealgnvagocriticismoyenelespritudeunateoranocient fica del conocimiento, sino una reforma en el nombre de la ciencia y en el espritu de la lgica matemtica. Menos de dos pginas despus, en la pgina 14, el Padre Jakubisiak
Publicado por vez primera como Logistyka a filozofia en Przeglad Filozoficzny 39 (1936), pgs. 115131.Reimpresoenlaedicinde1961deZzagadnielogikiifilozofii. 58AugustynJakubisiak,Odzakresudotreci(Delaextensinalaintensin).Varsovia,1936,pg.301. 59 Represe, en aras del rigor, en que Wittgenstein se escribe con una doble t en la primera slaba.MetomoasimismolalibertaddesealarquelaescueladelogsticadeVarsoviahaalcanzado yaunciertorenombretantoenPoloniacomofuera,peroelprimeroencalificarladenotoriaha sidoelPadreJakubisiak. 60 En Przeglad Filozoficzny 21 (1928), pgs. 35. Su ttulo polaco aparece mal citado por el Padre Jakubisiakenlapgina12comoOmetodziewfilozofii(Sobreunmtodoenfilosofa). 61Elautorcitamal,escribiendoabrir.
*
/60 /

escribe:Mientrasquelamentehumana,contrariandolasprohibicionesdeKant,penetra cada vez ms profundamente en la realidad circundante, los defensores de la reforma logsticadelafilosofaquierenprohibiraesamismamentehumanatodocontactoconla realidadyobligarlaaconcentrarseenunestrilestudiodeformasapriorisincontenido,en unachcharaociosa.Ellectorquerecuerdeelfragmentodemiintervencinarribacitado ysepaasimismoquelgicamatemticasignificalomismoquelogsticaestcomple tamente autorizado a suponer que soy yo quien en cuanto que abogo por una reforma logstica de la filosofa, y tambin, como se dice en la pgina 11 del libro, en cuanto soy unodelospromotoresdeesanuevafilosofa,quiereprohibiralamentehumanatodo contactoconlarealidad;y,sinembargo,enmiescritoarribacitado,digodemodocomple tamenteexplcito:Debemosbuscarincesantementeelcontactoconlarealidad,afindeno producirentidadesmticastalescomolasideasplatnicasylascosasenskantianas,sino entenderlaesenciayestructuradeesemundorealenelquevivimosyobramosyquede alguna manera queremos mejorar. Es que acaso el Padre Jakubisiak no ha conseguido leerhastaelfinalmiescrito,quetieneslodospginas? Enunodesusescritos,elProfesorZawirski,dePozna,seocupadeunargumento deHeisenbergquecabraresumircomosigue62.Enelprincipiodecausalidad,quedice:si conocemosconexactitudelpresentepodemospredecirelfuturo,elantecedenteesfalso, porqueno podemosconocerelpresenteconexactitud.Por tanto,elprincipiode causali dad no es vlido. El Profesor Zawirski presenta contra este argumento la siguiente obje cin,queelPadreJakubisiakcitaverbatimensunotaalpiedelapgina17:Nopodemos hablardelafalsedaddelprincipiodecausalidad,nisiquieraconsiderndoloenlaformu lacindeHeisenberg.Eseprincipiotienelaformadeunaimplicacin;enesaimplicacin, elantecedenteesfalso;portanto,elprincipioeserrneo,diceHeisenberg.Ahorabien escribeelProfesorZawirski:nosepuederazonaras.Precisamentelapropiedaddeuna implicacin esquesiguesiendoverdaderainclusocuando suantecedenteesfalso.Sila ideadeHeisenbergestcorrectamentereproducida,cosaqueelPadreJakubisiaknopone en cuestin, entonces la objecin del Profesor Zawirski es correcta, porque por lgica de proposicionessabemosqueunaimplicacinconantecedentefalsoesverdadera.Tampoco puedoyodecirqueelProfesorZawirskisobreestimeelpesodesuargumento.Elestara de acuerdo, como recoge el Padre Jakubisiak, con la opinin de Born de que si fuera imposibleaveriguarelantecedente,elprincipiodecausalidadseraeinleeresGeredey dequenoresultaraaplicable.Porqu,entonces,acumulanuestroautordenunciassobre laobjecindelProfesorZawirski?EscribeelPadreJakubisiak:ElseorZawirskiacusaa Heisenbergdeignorarlasleyesdelalgica().ElpobreHeisenbergnisiquierabarrunta lassimplesyprofundasoperacionescrticasconlasqueelseorZawirskisocavasutesis fundamental!;esslodelamentarqueHeisenbergnoconozcaniprobablementevaya a conocer nunca qu formidables oponentes tienen en la Universidad de Pozna. Es
ZygmuntZawirski,Wsprawieindeterminizmufizykikwantowej(Sobreelindeterminismode lafsicacuntica),enKsigaPamitkowaTowarzystwaFilozoficznegoweLwowie(LibroConmemorativo de la Sociedad Filosfica de Lww), Lww, 1931, pgs. 456483. Vanse en particular las pginas 478479.TambinesteartculoaparecemalcitadoporelPadreJakubisiakcomoWsprawieinde terminizmu.
62
/61 /

posiblequeelPadreJakubisiaknoconozcalaregladelalgicaalaqueserefiereelProfe sorZawirski? Alavista,pues,deformulacionescomostasqueaparecenenellibroqueestamos examinando, el ataque del Padre Jakubisiak a la logstica y a la filosofa logstica podra muybienobtenerelsilenciocomorespuesta.Sihedecididohacerotracosaesporaprove charlaoportunidadqueeseataquemeproporcionaparaclarificaralgunosmalentendidos, quenofaltancuandosetratadelasrelacionesentrelogsticayfilosofa,yparaformular conmayorprecisinmisopinionessobrelamateria. I ElPadreJakubisiakcomienzasuataqueconlasiguienteafirmacin(pg.11):La defensa de los postulados esenciales del criticismo es tambin asumida, aunque de una manera diferente, por las corrientesfilosficas ms recientes, llamadas o bien empirismo lgico, o bien lgica matemtica, o bien simplemente logstica. Esta frase contiene dos confusiones.Laprimeravieneimplicadaporlainsinuacindequelascitadascorrientes filosficasasumenladefensadelosprincipiosesencialesdelcriticismo,esdecir,lafiloso fa kantiana, lo cual est enteramente en desacuerdo con la verdad. Me referir a este puntomstarde.Lasegundaconfusinconsisteenidentificarempirismolgicoconlgica matemticaologstica.Laconfusinresideenlosiguiente:porempirismo,seaempiris mo lgico o del tipo que sea, entendemos una corriente o tendencia filosfica, mientras quelogsticanoeselnombredeunatendenciafilosfica,nisiquieradeunatendencia lgica,sinoelnombredeunadisciplina,comoaritmticaopsicologa.Enestecontex to permtaseme repetir lo que dije en el Octavo Congreso Internacional de Filsofos de Praga (1934)63: La logstica, llamada tambin lgica matemtica, aparece todava ante algunosfilsofoscomosifueratanslounaciertatendenciaqueexistedentrodelalgica enunindeotrastendenciasigualmentelegtimas,entantoqueparaalgunosmatemticos parecetenersloelvalordeunadisciplinaauxiliar,cuyoorigenhabraestadoenelintento deasentarlosfundamentosdelasmatemticas.Alavistadeesto,quierohacerhincapien que yo considero la logstica como una disciplina autnoma que incorpora la moderna lgicaformalcientfica,yenqueparamseraimposibleaceptarlaexistencia,fueradela logstica,decualquiertendenciaenlgicaquequisierapasarporlgicacientfica.Histri camente y en este punto quisiera poner particular nfasis la lgica moderna es un estadiosuperiordedesarrollodelaantigualgicaformal,quesloahorapuededesarro llarse de manera cabal gracias a que, con la cooperacin de los matemticos, ha conse guidoliberarsedeoscurasespeculacionesfilosficasquehastaahorahabanretrasadosu progreso.Lalogstica,talcomoyolaveoynomecabedudadequetodosloscient ficosquecultivanestaramadelainvestigacinlaverndelmismomodonoesotracosa quelaformacontemporneadelalgicaformalytendraplenoderechoarecibirelsimple nombredelgica,yaquelalgicaformalformaelncleodelalgica.
63
Janukasiewicz:Znaczenieanalizylogicznejdlapoznania(Lasignificacindelanlisislgico paraelconocimiento).enPrzegladFilozoficzny37(1934),pg.369.
/62 /

Ahorabien:nadiedudadequelalgicanoesniunatendencianiunacorrienteen filosofa,sinoalosumounaramadesta.Lalgicaformalcontempornea,ologstica,se ha,sinembargo,extendidotantoyhacrecidocontalindependenciadelafilosofaque,al igual que la psicologa, ha de ser tratada como una disciplina aparte. A la vista de su mtodo, dela precisin de sus resultados, ya la vista asimismo de losproblemas de los queseocupa,esadisciplinaestahoramscercadelasmatemticasquedelafilosofa. Adems,quierosealarquelalogstica,noslonoesunatendenciafilosfica,sino quenoestasociadaconningunatendenciafilosfica.Dejemosqueaquellosfilsofosque noestnfamiliarizadosconlalgicay,enconsecuencia,nopuedenaveriguarestopors mismos,considerensimplementequelalogsticaesalgorelacionadoconlateoraaristo tlicadelsilogismo.Aligualquelasilogsticaaristotlica,lalogsticainvestigaformasde razonaryestablecelosmtodosdelainferenciaydemostracincorrectas.Ahorabien:es sindudaobvioqueunapersonapuedehacertrabajodeinvestigacinsobrelasilogstica,y, anlogamente, sobre la teora de la demostracin, al tiempo que en filosofa profesa, indiferentemente,elempirismooelracionalismo,elrealismooelidealismo,obiennose pronunciaenningnsentidoentornoaestostemas.Enlogstica,comoenaritmtica,nise asumeexplcitamenteniseaceptasubrepticiamenteningnpuntodevistafilosficodeter minado.Lalogsticanoesfilosofanipretendereemplazaralafilosofa. De ello no se sigue, por supuesto, que en logstica no haya temas que tengan importanciafilosfica.Todadisciplinatienetemasdeesetipo,yestolosabemuybienel Padre Jakubisiak, puesto que en su coleccin de ensayos filosficos hace constantes refe renciasalamatemtica,alafsica,alabiologaoinclusoalahistoria.Pasandoaqupor altoeltemadelaslgicaspolivalentes,queenmopininsondelamayorimportanciaen filosofa,quieromencionarbrevementeotroproblemadelogstica,quemepareceestrech simamenterelacionadoconlafilosofa. Lalgicacontemporneasepresentaconunairenominalista.Noserefiereacon ceptos y juicios, sino a trminos y proposiciones, y considera estos trminos y propo sicionesnocomoflatosvocis,sinoconunenfoquevisualcomoinscripcionesquetienen ciertas formas. Segn este supuesto, la logstica intenta formalizar todas las deducciones lgicas,esdecir,presentarlasdetalmodoquesuacuerdoconlasreglasdeinferencia,es decir, las reglas de transformacin de inscripciones, pueda ser contrastado sin referencia algunaalossignificadosdestas.Dichointento,iniciadoenlaantigedadporlosestoicos loscuales,aesterespecto,seoponanalosperipatticosaspiraareducirtodalaevi dencialgicaaevidenciavisual,dejandodeladotodosloselementosengaososdenatu ralezaconceptual64. Aunque en la prctica adoptaron el punto de vista del nominalismo, los lgicos,
Ejemplosdedemostracioneslgicasformalizadaspuedenencontrarseenelensayomocitadoen lanotaanterior,ytambinenlosdossiguientes:Janukasiewicz,Oznaczeniuipotrzebachlogiki matematycznej(Sobrelasignificacinyexigenciasdelalgicamatemtica),NaukaPolska10(1929), pg. 610, nota; Jan ukasiewicz, Z historii logiki zd (Sobre la historia de la lgica de proposiciones), Przeglad Filozodiczny 37 (1934), pg. 437. Este ltimo escrito incluye tambin (pg. 428) citasdeAlejandroque aclaran el punto de vista delosestoicos ylos peripatticossobre este tema.
64
/63 /

por lo que yo he podido ver, no han examinado todava lo bastante a fondo el nomina lismo como doctrina filosfica. Por mi parte, sin embargo, considero que un examen de estetemaessumamentedeseable.Yelloporlassiguientesrazones. Siconsideramoslasproposicionescomoinscripcionesylasinscripcionescomopro ductodelaactividadhumana,entonceshemosdesuponerqueelconjuntodelasproposi cionesesfinito.Nadiedudadequeslopodemosproducirunnmerofinitodeinscrip ciones. De otra parte, en cualquier sistema lgico asumimos reglas de inferencia que conducenaunnmeroinfinitodetesis,esdecir,deproposicionesafirmadasenesesiste ma.Porejemplo,enelclculoproposicionalpodemos,apartirdecualquiertesis,obtener una tesis nueva, ms larga, sustituyendo cada variable por una frmula que sea una negacinounaimplicacin.Portanto,noexistelatesislgicamslarga,delmismomodo quenoexisteelmayornmeronatural.Deellosesiguequeelconjuntodetesislgicases infinito. Esta infinitud se manifiesta a cada paso incluso en un sistema lgico elemental como el clculo proposicional bivalente. En efecto: podemos fcilmente establecer una correspondenciaunoaunoentreelconjuntodetodaslastesisdelalgicabivalenteyun conjuntodetesisqueseaslounapartepropiadelconjuntoanterior,revelandoas,enel caso de las tesis lgicas, una propiedad que, segn Dedekind, es tpica de conjuntos infinitos65. Cmo podemos reconciliar estos hechos con el nominalismo? Podemos sencilla mentedejarlosdeladoymantenerquesloexistenaquellastesisquehayansidoescritas poralguien.Asel conjuntodelastesisserasiemprefinito,ysiempreexistira unatesis queseralamslarga.Semejantepuntodevistaresultaraconsistente,peromepareceque sobre esa base sera difcil emprender una investigacin logstica, y en particular meta logstica, del mismo modo que resultara difcil construir la aritmtica partiendo del su puestodequeelconjuntodelosnmerosnaturalesesfinito.Alhacerloasharamosala lgica depender de ciertos hechos empricos, es decir, de la existencia de ciertas inscrip ciones,locualdifcilmenteseraaceptable.Adems,siguiendoalDr.Tarski,podemoscon siderar como inscripciones no slo productos de la actividad humana, sino todos los cuerposfsicosdetamaoyformadefinidos,ysuponerquehayinfinitoscuerposdeese tipo66. Pero entonces haramos depender la lgica de una hiptesis fsica difcilmente demostrable,locualnoesdeseableenningncaso.Cmo,entonces,vamosaeludirtodas estasdificultadessinabandonarelnominalismo? Hasta ahora nos hemos preocupado poco de estas dificultades, y esto es lo ms
Para este fin basta, en el sistema de implicacin y negacin, asociar con todas las tesis impla cacionales todas sus tesis implicacionales equiformes, y con las tesis que incluyen la negacin asociarfrmulasquedifierendeesastesissloenquetienenunafrmulaCNenlugardela negacinN.Esteltimoconjuntosertambinunconjuntodetesisyserequinumerosoconel primeroaunquesloesunapartepropiadeste,esdecir,delconjuntodelastesis,puestoque indudablementenoincluir,porejemplo,latesisCpCNpq. 66AlfredTarski,Pojcieprawdywjzykachnaukdedukcyjnych,enPraceTowarzystwaNaukowego Warszawskiego(PublicacionesdelaSociedadCientficadeVarsovia),SeccinIII.Varsovia,1933.Hay una versin inglesa titulada The Concept of Truth in Formalized Languages, en Alfred Tarski, Logic,Semantics,Metamathematics,Oxford,1956,pgs.152278.Paraelproblemadequeaqusetrata vaselanota2delapgina174deltextoingls.
65
/64 /

extrao. Probablementeello se debi a que, aunque usamos la terminologa nominalista, no somos nominalistas autnticos, sino que nos inclinamos por algn conceptualismo inanalizado, o incluso por el idealismo. Por ejemplo, creemos que en el clculo propo sicional bivalente de implicacin y negacin existe un nico y exclusivo axioma ms corto,aunquehastaelmomentonadiesabecmoeseseaxioma,y,portanto,nadiepuede escribirlo67.Parececomosielaxiomaexistieraamododeunaentidadidealquepodremos descubrir algn da. Entre tanto, sera interesante analizar todas esas creencias, teniendo presenteelprincipio,expuestoporelVenerabilisInceptordelnominalismodequeentianon suntmultiplicandapraeternecessitatem68. II El rechazo de la metafsica, en el que tanto hincapi hacen los lgicos, es un legado del filsofo de Knigsberg, contina el Padre Jakubisiak en la pgina 12 de su libro. Esta proposicin incluye dos nuevos errores, uno de naturalezahistrica y otro de
Sobrelosaxiomasnicosdelsistemadeimplicacinynegacinpuedeencontrarseinformacin en Boleslaw Sobocinski, Z bada nad teoria dedukcji (Una investigacin sobre la teora de la deduccin),PrzegladFilozoficzny35(1932),pgs.172176,ynota5delaspgs.187190.Alosdetalles que all se dan debera aadirse el hecho de que el 2 de febrero de 1933 Sobocinski encontr el siguienteaxiomaorgnicocompuestode27letras: CCCpqCCCNpNrsCrtCuCCtpCvCrp, queyoredujea25letras: CCCpqCCCNpNrsCrtCuCCtpCrp. Esteesunodelosdosaxiomasmscortosconocidosdelsistemadeimplicacinynegacin. Elotro,halladoporm,tienelaforma: CCCpqCCNrsCNtCrtCCtpCuCrp. Se puede suponer con un grado considerable de probabilidad que ninguno de estos dos axiomas es el deseado axioma ms corto. Esa investigacin, sin embargo, es tan laboriosa que no puededecirsecundosecompletarenelcasodequeesoocurraalgunavez.Enelmomentode enviaresteensayoalaimprentadescubrquehayunaxiomadelsistemadeimplicacinynegacin queconstade23letras.Suformaeslasiguiente: CCCpqCCCNrNstrCuCCrpCsp. 68 La necesidad de un anlisis del nominalismo fue sealada por el Padre Jan Salamucha en su ensayoLogikazdauWilhelmaOckhama(LalgicadeproposicionesenlasobrasdeGuillermo de Ockham), Przeglad Filozoficzny 38 (1933), pg. 210. La indicacin de Salamucha me indujo a incluirestasobservacionessobreeltema.
67
/65 /

carcterfctico.Elltimoconsisteenlosiguiente:enquesuponequelosestudiososdela lgicarechazanlametafsica.Yahedichoquelalogsticanoeslafilosofa,y,portanto,que noseocupadelametafsica.Lalogsticanirechazaniaceptalametafsica,porquenose ocupa de ella. Lo nico que s es cierto es que algunos filsofos que, adems de hacer filosofa,sededicanalalogstica,rechazanlametafsica.Entreellosestn,sobretodo,los representantesdelCrculodeViena.Mstardeharreferenciaaestepunto. Porelmomentoquieroexaminarelprimererror,eldetipohistrico.Niquedecir tienequenoestoyautorizadoahablarennombredelCrculodeViena,peroestoyseguro dequesusrepresentantesprotestaranconelmximovigorcontralasuposicindequeel rechazo de la metafsica que ellos proponen sea un legado del filsofo de Knigsberg. EstoyconvencidodequelafilosofatrascendentaldeKant,que,porunaparte,asumela existencia de cosas en s, incognoscibles para nosotros, y, por otra, supone que la mente est dotada de algunas formas a priori de conocimiento, debe aparecer, a los ojos de los miembrosdelCrculodeViena,comometafsicadelapeorespecie.Elrechazodelameta fsicaporelCrculodeVienaesmuchomsradicaldeloqueelPadreJakubisiakimagina, ynoesunlegadodeKant,sinodeHume.EsaHumeaquienelprofesorCarnap,unemi nenterepresentantedelCrculodeViena,serefierecuandoescribesusfamosaspalabras: Pienso que los nicos objetos de la ciencia abstracta o de la demostracin son la cantidadyelnmero().Todaslasdemsinvestigacionesquellevanacaboloshombres se ocupan slo de cuestiones de hecho y existencia; y es evidente que stas no son susceptiblesdedemostracin().Cuandopersuadidosdeestosprincipios,recorremoslas bibliotecas, qu estragos no deberamos hacer? Si tomamos un volumen cualquiera, de teologa, o de metafsica escolstica, por ejemplo, preguntemos, Contiene algn razona miento abstracto concerniente a la cantidad o el nmero? No. Contiene algn razona miento experimental concerniente a cuestiones de hecho o de existencia? No. Entregu moslo, entonces, a las llamas, porque no puede contener otra cosa que sofistera e ilusin.69Carnapconsideraestaspalabrasaunqueyodudodequetengarazncomo laformulacinclsicadelaideadequeslolasproposicionesmatemticasylasproposi ciones acerca de hechos son significativas (sinnvoll), mientras que las proposiciones metafsicascarecendesignificado(sinnlos).Esteeselquiddelrechazodelametafsicapor Carnap;adaseque,segnCarnap,lasproposicionesmatemticasincluyenlasproposi cioneslgicasylasproposicionesdelasintaxislgicadellenguaje,que,ensuopinin,no esotracosaquelamatemticadellenguaje. Megustaraexpresaraqumipropiaopininsobreestetema,ydisociarmedelas opinionesdelCrculodeVienaydelaopinindeCarnapenparticular.Misintereseshan pasado de la filosofa a la logstica, y esta ltima no por su contenido, sino por su mtodo ha afectado grandemente mis opiniones acerca de la filosofa. Todo esto haba tenidolugarinclusoantesdequeseformaraelCrculodeViena.Ledivigorosaexpresin enunartculoahoraolvidado,escritoen1924paracelebrareldoscientosaniversariodel
Rudolf Carnap, DieAufgabe der Wissenschaftlogik, Einheitwissenschaft, No. 3, 1934, pgs. 7 y 21. Las palabras de Hume citadas por Carnap pertenecen al captulo 12 de su obra An Enquiry ConcerningHumanUnderstanding.
69
/66 /

nacimientodeKant70: Soyconsciente,escribentonces,dequemiopinincrticaacerca delvalorcientficodelafilosofadeKantydelafilosofamodernaengeneralpuedeseren excesosubjetiva:peroesaopininsemeimponeconmsymsfuerzaamedidaqueme alejodelafilosofayvuelvolavistahaciaelladesdeladistanciaqueseparalaespecula cinfilosficadelmtodocientfico.YmiopininsobrelafilosofadeKant,formuladaen eseartculo,eralasiguiente:Esafilosofasellamaasmismacrtica.Pero,cunlejosest del verdadero criticismo, del criticismo cientfico! Ni siquiera la propia diferenciacin entre juicios analticos y sintticos est cientficamente formulada por Kant. No estamos autorizadosaafirmarqueelespacioquenosrodeahayadecumplirconciertasverdades geomtricas,porquenosabemossieseespacioeseucldeoodealgnotrotipo.Esimposi bleentenderqusonesaspretendidasideaspurasdeespacioytiempodelasquesedice que son inherentes a nosotros. El mundo de las cosas en ses una ficcin metafsica que puede competir con la monadologa de Leibniz. Cuando le aplicamos las exigencias del criticismocientfico,lafilosofakantianasederrumbacomouncastillodenaipes.Acada paso tropezamos con conceptos vagos, enunciados incomprensibles, aserciones injustifi cadas,contradiccionesyerroreslgicos.Nadaquedasinounaspocasideasquizinspira das,unmaterialenbrutoqueesperaelaboracincientfica.Heahporquesafilosofano harealizadosutarea,apesardelograndequehasidosuinfluencia.DespusdeKantno se empez a filosofar de manera ms crtica, ms razonable, ms cautelosa. Kant dio origenalafilosofaidealistaalemana,cuyosarrebatoscaprichososyacientficoshansupe radolosdetodoslossistemasprekantianos.Losproblemasmetafsicossehandejadosin resolver, aunque, en mi opinin, no son insolubles. Pero debemos enfocarlos con un mtodo cientfico, el mismo bien contrastado mtodo que utiliza un matemtico o un fsico.Ysobretodo,hayqueaprenderapensarconclaridad,lgicamente,yconprecisin. Todalafilosofamodernasehavistoinhabilitadaporculpadesuincapacidadparapensar conclaridad,conprecisinydeunamaneracientfica. Quienquiera que lea cuidadosamente estas palabras que ahora, doce aos ms tarde,puedoratificarconigualconviccin,probablementeentendertantoelorigencomo la intencin de mi campaa contra la especulacin filosfica. Esa comprensin puede mejorarseconlaayudadelossiguientescomentarios.Miscrticasalafilosofatalcomoha existido hasta ahora son la reaccin de un hombre que, habiendo estudiado filosofa y ledoenterosdiversoslibrosfilosficos,entrencontactoconelmtodocientficonoslo en la teora, sino tambin en la prctica directa de su propio trabajo creativo. Esta es la reaccindeunhombrequeexperimentpersonalmenteesegoceespecficoqueeselresul tado de resolver correctamente un problema cientficamente formulado, de llegar a una solucinqueencualquiermomentopuedesercontrastadasiguiendounmtodoestricta mente definido y de la cual simplemente se sabe que debe ser eso y no otra cosa y que permanecer en la ciencia de una vez por todas como un resultado permanente de la investigacin metdica. Esta es, me parece, la reaccin normal de todo cientfico ante la especulacinfilosfica.Sloaunmatemticooaunfsicoquenoestversadoenfilosofa yqueentraencontactocasualconellalefaltausualmenteelcorajeparaexpresarenvoz
70
Janukasiewicz,Kantifilozofianowozytna(Kantylafilosofamoderna).WiadomosciLiterackie, vol.1,No.19,del11demayo,1924.
/67 /

alta su opinin acerca de la filosofa. Pero el que ha sido filsofo y se ha convertido en lgicoyhaconocidolosmsprecisosmtodosderazonamientodequehoydisponemos, no tiene esos escrpulos. Sabe cul es el valor de la especulacin filosfica tal como ha existido hasta ahora. Y sabe cul puede ser el valor del razonamiento expresado, como sucedeusualmente,enlasinexactasyambiguaspalabrasdellenguajediarioynobasado ni en datos empricos ni en la estructura precisa de un lenguaje simblico. Esa obra no puedetenervalorcientficoyesunaprdidadetiempoydeenergamental. Pero alguien puede decir: De estas observaciones pareceseguirse que usted slo consideracientficosaquellosrazonamientosqueestnbasadosendatosempricosoenun lenguajesimblicopreciso,queesellenguajedelamatemtica.Noeseseexactamenteel punto de vista de Hume? Y, no incluye ello un rechazo de la metafsica?. En absoluto. respondo. Mi punto de vista es por completo diferente. Hume pensaba que el mtodo matemticoodemostrativoslosepodaaplicaramagnitudesynmeros.Lalogstica hademostradoquetieneaplicacionesmuchomsvastas.Debemosaplicarlotambinalos problemasmetafsicos.Enelartculomoarribacitadoescrib:Losproblemasmetafsicos se han dejado sin resolver, aunque, en mi opinin, no son insolubles. Pero debemos enfocarlos con un mtodo cientfico, el mismo bien contrastado mtodo que utiliza un matemtico o un fsico. Intent bosquejar ese mtodo en un escrito ya mencionado, O metodwfilozofii.Escribtambinqueunafilosofacientficafuturahadeemprender supropiaconstruccindesdeelprincipiomismo,desdelosfundamentos.Ypartirdelos fundamentos significa pasar primero revista a los problemas filosficos y seleccionar de entreellossloaquellosquepuedanserformuladosdeunamaneracomprensible,recha zandolosdems.Cuandomereferaalosproblemasque deberanrechazarse,pensaba fundamentalmenteentodoslosproblemasrelativosalaesenciadelmundooalascosas ens,porqueyonosaba,nis,cmoformularestosproblemasdeunamaneracompren sible. A continuacin, prosegua yo, la tarea sera intentar resolver estos problemas filosficosquepuedenformularsedeunamaneracomprensible.Elmtodomsapropiado a estos efectos parece ser una vez ms el mtodo de la lgica matemtica, el mtodo deductivo, axiomtico. Tendramosque basar nuestros argumentos en proposiciones que sean lo ms claras y ciertas posibles desde el punto de vista intuitivo, y adoptar esos enunciados como axiomas. Como trminos primitivos o no definidos tendramos que seleccionarconceptoscuyossignificadospudieranexplicarsecompletamentepormediode ejemplos.Tendramosqueperseguirunareduccinalmnimodelnmerodeaxiomasyde conceptos primitivos y recontarlos cuidadosamente. Todoslos dems conceptos tendran que ser definidos incondicionalmente por medio de trminos primitivos, y todos los demsteoremastendranqueserdemostradosincondicionalmentepormediodeaxiomas y reglas de demostracin como las adoptadas en lgica. Los resultados as obtenidos tendran que ser incesantemente contrastados con los datos intuitivos y empricos y con los resultados obtenidos en otras disciplinas, en particular en las ciencias naturales. En caso de desacuerdo, el sistema tendra que ser reformado mediante la formulacin de nuevosaxiomasylaeleccindenuevostrminosprimitivos.Pensabaentoncesyhoyno piensodemododistintoqueesemtodopodraaplicarsealosproblemasdelafinitudo infinitud del mundo, a los problemas del espacio, del tiempo, de la causalidad, de la
/68 /

teleologaydeldeterminismo.Enparticular,heestadosiempresumamenteinteresadoen eltemadeldeterminismoeindeterminismo;loheasociadoconelproblemadelaslgicas polivalentes, y he pensado que el mtodo arriba bosquejado poda servir como una aproximacinalasolucindeestacuestin. Alaluzdeestasconsideraciones,ladiferenciaentremipuntodevistaacercadela metafsicayeldelCrculodeVienaenparticular,eldeCarnap,sehaceclaro.Carnap rechazalascuestionesmetafsicascomocarentesdesignificadoporque,siguiendoaKant, considera que slo son proposiciones metafsicas aquellas que pretenden representar conocimiento acerca de algo que queda completamente fuera de toda experiencia, como, porejemplo,laesenciadelascosas,lascosasens,elabsoluto,etc.71Interpretandoasla metafsica,puedoestardeacuerdoconlaopinindeCarnap.Perorealmentenoestamos refirindonos a ese concepto de metafsica, el cual, como es bien sabido, procede de una errnea interpretacin de un ttulo puesto a ciertas obras deAristteles. Hay problemas como, por ejemplo, los relativos a la estructura del universo, que siempre han estado incluidosenlafilosofa,y,enparticular,enlametafsica,independientementedequeuno se sienta inclinado o no a calificarlos de metafsicos. Para Carnap todas estas cuestiones sonsloproblemasdelenguaje,o,msestrictamente,problemasdelasintaxisdellengua je.Ahorabien:aprueboporcompletolosprecisosestudiosdeCarnapsobrelasintaxisdel lenguaje; la investigacin en este campo tuvo su origen en Varsovia, donde el primer impulsosedebialprofesorLesniewskiylaposteriorfundamentacinsistemticaalDr. Tarski,cuyasobrasnodejarondetenersuefectosobrelostrabajosposterioresdeCarnap72. Pero en modo alguno puedo estar de acuerdo con una afirmacin de Carnap como la siguiente: As, todas las cuestiones acerca de la estructura del espacio y del tiempo son cuestiones sintcticas acerca de la estructura del lenguaje, y especficamente acerca de la estructura de las reglas de formacin y transformacin relativas a las coordenadas de espacioydetiempo73. EnelmismopasajeCarnapofreceunaformulacinsimilardelos problemasdelacausalidadyeldeterminismo.Unarefutacindetalladadetalesopiniones requeriraunensayoaparte.Aqunopuedosinoesbozarmipuntodevistasobreeltema. Yorazonodemaneramuysimple, quizsingenua,perohastaahoranadiemeha convencido de que est razonando incorrectamente. Yo incluira entre los problemas resolublessobrelabasedellenguajeslocuestionestalescomoladesitodosloscuerpos
Rudolf Carnap, Philosophy and Logical Syntax, Psyche Miniatures, General Series No. 70, Londres, 1935, pg. 15 [Hay versin castellana de este artculo en J. Muguerza (ed.), Lecturas de filosofa analtica: La concepcin analtica de la filosofa, vol. 1. Madrid, Alianza Editorial, 1974. La versindelarticulo(pgs.294337)esdeCarlosSols,yaellanosatenemos]:Llamarmetafsicoa todoenunciadoquepretendapresentarunconocimientosobrealgosituadoporencimaomsall de toda experiencia; por ejemplo, sobre la Esencia real de las cosas, las Cosas en s mismas, el Absolutoycosasporelestilo. 72 Alfred Tarski, ber einige fundamentale Begriffe der Metamathematik, Compres rendus des sancesdelaSocitdesSciencesetdesLettresdeVarsovie23(1930),cl.iii,pg.2229.Haytraduccin inglesa en Logic, Semantics, Metamathematics, de Tarski. Oxford. 1956, pgs. 3037. En este ensayo, Tarski introdujo los conceptos de oracin y consecuencia, fundamentales para la sintaxis del lenguaje,enlosqueCarnapbastambinmastardesusconcepciones. 73Cf.eltextoinglsdelaobradeCarnaparribacitada,pg.86.
71
/69 /

son extensos, en el supuesto de que por cuerpo entienda algo extenso y defina el trminodeesemodo.Esassonproposicionesanalticas,yenmiopininsloesasproposi cionessepuedendecidirsobrelabasedellenguaje.Pero,porotraparte,noentiendocmo podramos decidir sobre la base del lenguaje si el universo es espacialmente finito o infinito.Porqueconlaexpresineluniversoyonosignificoalgofinitooinfinito,y,por tanto,mehalloanteunaproposicinsinttica,ynoanaltica.Adems,yosqueserfinito yserinfinitosondoscosasdiferentesyquesonincompatiblesentresi,peroelqueunasea de hecho verdadera no depende en ltima instancia de nosotros y nuestras reglas lingsticas.Otrotanto seaplicaalascuestionesdeldeterminismoy delacausalidad.O bienlanecesidadcausaleselsoberanoomnipotentedelmundoobiennoloes,yobien todaslascosasestndeterminadasdeantemanoonoloestn,perotampocoestopuede dependerdeningunadenuestrasreglasdelasintaxisdellenguaje.Estosproblemasson, para m, fcticos, reales y objetivos, y no pura mente formales, lingsticos. Estoy plan teandoproblemasdelargoalcancecontraelmodocomoCarnapintentareducirproblemas objetivosaproblemaslingsticos.Ademsdelasproposicionesobjetivasquereproducen hechos, como, por ejemplo, esta rosa es roja, distingue l proposiciones pseudo objetivas, que se forman cuando hablamos, como l dice, en el modo material. Cada modo material de hablar tiene su contrapartida en el modo formal de hablar, y, segn Carnap,esteltimoeselnicoapropiado.Porejemplo,laproposicinElhechodequeel cuerpoaseexpandeahoraesunaconsecuencianaturalmentenecesariadelhechodequea est siendo calentado es una proposicin pseudoobjetiva, formulada en el modo material.Tienesucontrapartidaenlasiguienteproposicin,formuladaenelmodoformal de hablar: La proposicin a se expande es una consecuencia de la proposicin a est siendo calentada y de leyes fsicas (aceptadas en este momento por la ciencia). Carnap aade que las proposiciones formuladas en el modo material redundan en la ilusin de que existen algunas relaciones fcticas aqu l usa el trmino, ms bien oscuro, Objektbezogenheitqueenrealidadnoexisten,demodoqueesasproposicionesfcil menteconducenamalentendidoseinclusoacontradicciones.Heaquporqu,almenos enloslugaresdecisivos,debemosevitarelmodomaterialdehablaryreemplazarloporel modoformal74.Podraestardeacuerdoenqueenelejemploarribacitadoelmodoformal dehablarcorrespondealmodomaterial.Pero,cmosabeCarnapyaquedesuformu lacinpareceresultarquelosabequenohayrelacinfcticaentrelaexpansindeun cuerpo y el hecho de que est siendo calentado? Por qu piensa l que en este caso el modomaterialdehablarpuedeconfundirnos?Estassonafirmacionesdogmticascarentes detodajustificacin.Enelsegundoejemplo,queseencuentraenlaobradeCarnapcitada
Cf. la obra de Carnap en alemn citada en la nota 12. En la pgina 14 escribe: Inhaltliche Redewise:2a.DerUmstand,dassderKrperasichjetztausdehnt,isteinenaturnotwendigeFolge des Umstandes, dassa erwrmt wird.2b. FormaleRedeweise: Der Satz a dehnt sich ausist eine Folge aus dem Satz a wird erwrmt und den (gegenwrting wissenschaftlich anerkannten) physikalischenGesetzen.DieStzederinhaltlichenRedeweisetuschenObjektbezogenheitvor, wokeinevorhandenist.SiefhrendadurchleichtzuUnklarheitenundScheinproblem,jasogarzu Widersprchen.Daheristesratsam,dieinhaltlicheRedeweiseandenentscheidendenStellennach Mglichkeitzuvermeidenundstattdessendieformaleanzuwenden.
74
/70 /

eningls,nisiquieraveolacorrespondenciaquesedicequehayentreelmodomaterialy el modo formal de hablar. Carnap afirma que la proposicin pseudoobjetiva que en el modo material de hablar es la estrella vespertina y la estrella matutina son idnticas tiene su contrapartida en la proposicin sintctica, formulada en el modo material de hablar: las palabras estrella vespertina y estrella matutina son sinnimas.Aqu tam binsehacereferenciaalcarcterengaosodelmodomaterialdehablar75.Mepareceam quefueronnecesariasmuchasobservacionesempricasparadarsecuentadequelaestrella queapareceenlaparteoccidentaldelfirmamentopocodespusdelapuestadesolesel mismoplanetaquevemosenlaparteorientaldelfirmamentopocoantesdelasalidadel sol.Lacomprensindeestehechoesalgoenteramentediferentedelenunciadodelhecho dequedostrminossonsinnimos.Puedoaceptarsindificultadquelostrminoscaballo bayo y caballo de color blanco amarillento son sinnimos, puesto que por caballo bayo entiendo exactamente un caballo de color blanco amarillento. Pero que estrella vespertinayestrellamatutinadenotenelmismoobjetoesalgoquenosepuededecidir sobrelabasedellenguaje. Pienso que el intento carnapiano de reducir ciertos problemas objetivos a proble maslingsticosesunresultadodesuerrneainterpretacindelascienciasaprioriydesu papelenelestudiodelarealidad.EstaerrneaopininlatomCarnapdeWittgenstein,el cualconsideratodaslasproposicionesapriori,esdecir,laspertenecientesalalgicayla matemtica,comotautologas.Carnapllamaanalticasatodasesasproposiciones.Siempre meheopuestoaesaterminologa,puestoquesuscitaunaasociacinquepuedeinducira error. Adems, Carnap, como Wittgenstein, cree que las proposiciones a priori no dicen nada acerca de la realidad. Para ellos las disciplinas a priori son slo instrumentos que facilitanelconocimientodelarealidad,pero,sifueranecesario,podrahacerseunainter pretacincientficadelmundosinesoselementosapriori.Ahorabienmiopininsobrelas disciplinas a priori y su papel en el estudio de la realidad es enteramente diferente. Hoy sabemos que no slo existen diferentes sistemas de geometra, sino tambin diferentes sistemas de lgica, y que, adems, tienen la propiedad de que uno de ellos puede traducirse a otro. Estoy convencido de que uno y slo uno de estos sistemas lgicos es vlido en el mundo real, es decir, es real, del mismo modo que un y slo un sistema de geometraesreal.Bienesciertoquehoyporhoynosabemostodavaculsistemaes,pero nodudodequelainvestigacinempricademostraralgndasielespaciodeluniverso eseucldeoonoeucldeo,ysilasrelacionesentrehechosrespondenalalgicabivalenteo aunadelaslgicaspolivalentes.Todoslossistemasapriori,tanprontocomoseaplicana la realidad, se convierten en hiptesis cientficonaturales que tienen que ser verificadas porloshechosexactamenteigualquelashiptesisfsicas.Mienfoquedelosproblemasde
Cf.laobradeCarnapeninglscitadaenlanota14.Enlapgina61escribe:Oracionesdepseudo objeto. Modo material de hablar. 4b. La estrella vespertina y la estrella matutina son idnticas. Oracionessintcticas.Modoformaldehablar.4c.Laspalabrasestrellavespertinayestrellamatutina son sinnimas. Con referencia al mismo ejemplo escribe en la pgina 67: Aqu tropezamos de nuevo con el carcter engaoso del modo material respecto al contenido de estas oraciones. La mayora de las oraciones de la filosofa nos engaan de este modo, porque, como veremos, la mayoraestnformuladasenelmodomaterialdehablar.
75
/71 /

lametafsicaestconectadoconestaopinin*. Los anlisis de Carnap en este campo me parecen una arriesgada especulacin filosficaquemorircomohanmuertotodaslasespeculacionessimilares.Piensoquemi puntodevistaesmscautoymsracionalqueelpuntodevistaradicaldeCarnapyel Crculo de Viena. Tena razn el profesor Ajdukiewicz cuando escribi, a propsito del antiirracionalismologsticoenPolonia,quenoconocaningnfilsofopolacoqueacepta racomopropiaslastesismaterialesdelCrculodeViena. Somos76,aloqueparece,dema siadoorgullososparahacerloas. III Estees,pues,elobjetivoltimodelafilosofacientfica.Empiezaconunrechazo de la metafsica y termina en el rechazo de Dios.As escribi el Padre Jakubisiak en la pgina23desulibro. Estoy sinceramente agradecido al Padre Jakubisiak por que no haya escrito logsticaenlugardefilosofacientfica,yaqueasnonecesitodefenderalalogstica delaacusacindeatesmo.Pero,dadoqueelPadreJakubisiaknosiempredistingueentre logstica,deunaparte,y,deotraparte,empirismolgicoyfilosofacientfica,novendr malqueaadaunaspocaspalabrasacercadeestetema. La logsticaes una disciplina exacta, matemtica, yno tiene nada que decir sobre lascuestionesdelareliginydelaexistenciadeDios.Entreloslogsticoshaycreyentesy nocreyentes,segnculesseansusconviccionespersonales.ElPadreJakubisiakmenciona ensulibroelnombredeunprofesordelaUniversidaddeVarsoviaque,aunquenoesun logstico,conoce,sinembargo,yestimalalogsticaysienteunvivointersporella,ydel quesesupone,parautilizarlaspalabrasdelPadreJakubisiak,quecombatelareliginen nombredelaciencia(pg.22).Aunqueasfuera,habramosdeacusaralalogsticade atesmo?YopodramencionarelnombredeotrofilsofodeVarsovia,quetambinconoce y estima la logstica y siente un vivo inters por ella, y que est deseando aplicar esa disciplinatambinalasteorasteolgicas77.Porlodems.acasonocontamosactualmente consacerdotesquereconocenelvalordelalogstica? Tengolasensacindequeestoyllamandoaunapuertaqueestabierta.Bastacon decirquenilalogsticaincorpora,explcitaoimplcitamente,doctrinafilosficaespecfica alguna,nipatrocinasubrepticiamenteningunatendenciaantirreligiosa. Lomismoseaplicaalafilosofacientfica,talcomoyolaentiendoaqu.Lafilosofa
Sobrelarelacinentrelgicayrealidad,cf.Endefensadelalogstica,enestevolumen,dondeel puntodevistadeukasiewiczesalgodistinto. 76 Kazimir Ajdukiewicz, Der logistische Antiirrationalismus in Polen, Erkenntnis 5 (1935), pgs. 151161; Direkte Anhnger des Wiener Kreis haben wir in Polen nicht, d. h. ich kenne keinen polnischenPhilosophen,derdiesachhchenThesendesWienerKreisessichzueigengemachthtte (PublicadoantesenpolacoenPrzeglpdFilozoficzny37(1934). 77 Jan Franciszek Drewnowski. Zarys programu filozoficznego (Esbozo de un programa filos fico),PrzegladFilozoficzny37(1934).Vaseenparticular.169174.
*
/72 /

cientfica no quiere combatir a nadie, porque tiene una gran tarea positiva que realizar: tiene que construir una nueva visin del mundo y de la vida, basada en el pensamiento exacto, metdico. La tarea que espera a los filsofos cientficos futuros, escrib en mi ensayoOmetodwfilozofiiesinmensa;serrealizadapormentesmuchomspode rosasquelasquehanexistidonuncaennuestroglobo.Creoqueunhombrequecreeen laexistenciadeunaFuerzasabiaybuenaquegobiernaestemundo,unhombrequecree enlaexistenciadeDios,puedeverconconfianzalosresultadosfuturosdeestatarea. Lalogsticaylafilosofacientficason,sobretodo,productosdelintelecto.Yodoya laraznyalpensamientolgicoexactomuchamsimportanciadelaqueseledausual mente. La historia nos ha mostrado que la investigacin metdica, basada en los datos empricos y en el razonamiento estricto, tiene un valor grande y duradero no slo en la ciencia, sino tambin en la vida prctica. Al discutir ese problema sola referirme con frecuencia al ejemplo proporcionado por la guerra mundial. Todas aquellas actividades humanas que, durante ese perodo, se basaban en disciplinas apoyadas en el mtodo se handemostradoeficaces.Lasinstalacionestcnicas,losaeroplanos,lostelfonos,losapa ratosderadiofuncionaronconeficaciaalserviciodefinesbuenosomalos,puestoque estabanbasadosenleyesmatemticasyfsicas.Lasmedicinasparacombatirlaenferme dad y prevenir epidemias funcionaron con eficacia stas slo con buen fin, porque estabanbasadasenlainvestigacinbiolgica.Slofracasaronaquellasactividadeshuma nasquenoestabanapoyadasendisciplinassometidasaunmtodo,yaque,porlogeneral, lashumanidadescarecendeesabase.Sefracasenelcontrolefectivoyenlaordenacin racionalydeliberadadelosfenmenoseconmicosysociales,yaseaduranteodespusde la guerra. Creo que cuando el conocimiento de la logstica, y, por ende, la capacidad de pensar de una manera precisa, se haga comn entre todos los investigadores, podremos vencerlasdeficienciasmetodolgicasdeestasdisciplinas,lasmsdifciles,queseocupan delhombreydelasociedadhumana. Aunque soy un intelectual o, tal vez, precisamente por ello soy consciente, quizmejorqueotraspersonas,dequeelintelectonoloestodo.Squelarazntienedos lmites,unoporarribayotroporabajo.Ellmitesuperiorestformadoporlosaxiomasen los que se basan nuestros sistemas cientficos. No podemos traspasar ese lmite, y en la eleccin de axiomas debemos guiarnos no por la razn sino por lo que llamamos usual mente intuicin. El lmite inferior est formado por hechos individuales irrepetibles que nosepuedeninterpretarmedianteningunaconsecuenciadeducidadeleyesgeneralesyde axiomas. Debemos reemplazar la razn por una observacin directa de esos hechos y algn tipo de comprehensin intuitiva de ellos. En esos campos que estn fuera de los lmites de la razn hay espacio bastante tambin para los sentimientos y convicciones religiosas,queasimismodebenpenetrarnuestraactividadracionalentera.
/73 /

ENDEFENSADELALOGSTICA* DuranteunasesincelebradaenelInstitutoCientficoCatlicoRomanopronunci dos conferencias en defensa de la logstica. Siguiendo una sugerencia del Editor de esta revista,lasheampliadohastaformarelpresenteartculo. *** La logstica, creada por los matemticos en el siglo diecinueve, no parece tener profundasconexionesconlalgicatradicionaltalcomoladesarrollanlosfilsofos.Cierto queellgebradelalgicadeBoole,siendocomoesunateoradelasclases,remitaala lgica aristotlica, pero el clculo proposicional, que tuvo su origen con Frege en 1879 y fue situado al frente de la logstica por Russell y Whitehead, autores de los Principia Mathematica,noparecatenernadaqueverconlalgicadelosfilsofos.Nadatiene,pues, de extrao, que la logstica no haya disfrutado, ni disfrute todava, de aprobacin en los crculosfilosficos.Esajenaaellosenlamedidaenquenosehadesarrolladoapartirdela tradicin lgica que conocemos, y su rareza viene intensificada por su aderezo matem tico. Habindomeocupadodesdehacetiempodelalogsticay,enparticular,delclculo proposicional, llegu a interesarme por el problema de si esa seccin fundamental de la lgica matemtica haba sido conocida con anterioridad a la existencia de la logstica. Buscandoinformacinsobreestepuntoconsulttextosdehistoriadelalgicaymonogra fas relativas a esa disciplina. No tard, sin embargo, en darme cuenta de que no apren deramuchodeesoslibros,porqueestabanescritosporfilsofosqueobiensubestimaban lalgicaformalysusproblemasocarecandeunconocimientoapropiadoydeunacom prensindeltema,yobienlodejabanaunladoobienlointerpretabanmal.Eranecesario iralasfuentes.Aslohice,ydescubrenlalgicaestoica,tanmenospreciadaporPrantly Zeller,elprototipoantiguodelamodernalgicaproposicional78.Lalgicaestoicahasido conocidacasisinsolucindecontinuidaddesdesucreacin,peronadiesepercatdeque esalgica,encuantolgicaproposicional,difiereesencialmentedelasilogsticadeArist telesencuantoquestaeslgicadetrminos.Slolalogstica,hacindonosmssensibles alosproblemaslgicos,nospermitipercatarnosdeesadiferencia.Hoyendasabemos quelasdosgrandesramasdelalogsticamoderna,lalgicadeproposicionesylalgica detrminos,lalgicaestoicaylalgicaaristotlica,existanyaenlaantigedad.Lalgica deAristtelesdisfrutsiempredeunaposicinsuperior,yaqueestabarespaldadaporla inmensaautoridaddelmsgrandedelosfilsofosantiguos,conquienningnrepresen
PublicadooriginalmentecomoWobronielogistykienStudiaGnesnensia15(1937). Janukasiewicz,Zhistoriilogikizda(Paralahistoriadelalgicade.proposiciones)Przeglad Filozofczny37(1934),pgs.97117[Cf.enestevolumenpgs.56].
* 78
/74 /

tantedelaescuelaestoica,incluidoCrisipo,podarivalizarenimportancia.Peroparalela mente a la lgica aristotlica existi a travs de los siglos la corriente, ms dbil, de la lgica estoica, bien conocida en la Edad Media por los lgicos escolsticos, quienes la desarrollaron en sus comentarios a Aristteles y en los tratados De consequentiis, incre mentndolaconmuchasnuevasverdades. De este modo he podido recomponer, en un lugar importante, el hilo roto de la tradicinentrelalgicaantiguaylalogstica.Esposibleencontrarmshilosqueconectan laviejalgicaformalconlamodernalogstica.Citartansloelmtodoaxiomtico,tan caractersticodelalogstica,quefueyautilizadoporAristtelesenlaconstruccindesu teoradelsilogismo.Peroesehecho,comomuchosotroshechosyopinionesenelcampo delalgica,cayencompletoolvidoduranteelperododelafilosofamodernaque,como reaccin a la filosofa escolstica medieval, desde totalmente la lgica formal, sustitu yndolaporloquesellamabateoradelconocimiento.Lalgicaformal,dominadaporlos filsofos,sufriundeclivedelquefuerescatadaporlosmatemticos,quienesleimprimie ronlaformadelogstica. As,pues,lalogsticadehoyesnimsnimenosqueunacontinuacinyexpansin de la antigua lgica formal. No es una tendencia en lgica al lado de otras muchas que podran existir, sino que es justamente la lgica formal cientfica contempornea, que guarda con la lgica antigua una relacin similar a la que existe entre la matemtica contempornea y los Elementos de Euclides.Ahora bien: es obvio que todo el que quiera aprendermatemticasnopuedehoyendalimitarseaEuclides;esigualmenteclaroque todo el que quiera familiarizarse con la lgica formal no puede limitarse a Aristteles. Adems, para comprender adecuadamente la silogstica de Aristteles y apreciar a un tiempo su rigor y su belleza, es necesario primero estudiar el clculo proposicional con temporneo, porque, en las demostraciones de los modos silogsticos,Aristtelesemplea intuitivamentetesisdeeseclculo. A la luz de esta interpretacin de la logstica se hace clara su relacin con la filosofa.Aunqueyaheexpresadomiopininsobreelparticularenotraparte79, intentar aqu, para evitar constantes malentendidos, describir con precisin mi punto de vista. Ahora bien: antes de nada, tengo que dejar sentado que, aun cuando la lgica sola considerarsecomounaramadelafilosofa,lalgicaformalcontempornea,ologstica,se haextendidodetalmodoyhacrecidocontantaindependenciadelafilosofaquehade sertratadacomodisciplinaaparte.Alavistadesumtodoydelaprecisindesusresul tados, y a la vista tambin del contenido de sus problemas, esa disciplina est hoy ms cerca de la matemtica que de la filosofa. Tengo adems que aadir que la logstica no slonoeslafilosofaniunaramadeella,sinoquenoestasociadaconningunatendencia filosfica.Latareaprincipaldelalogsticaesestablecermtodoscorrectosdeinferenciay demostracin.EstaeslamismatareaqueAristtelesasumicuandoelaborsuteoradel silogismo.Ahorabien:esobvioqueunapersonapuedecultivarlasilogsticaeinvestigarla teoradelademostracinconindependenciadequeenfilosofaacepteelempirismooel racionalismo, el realismo o el idealismo, el espiritualismo o el materialismo, o bien no
79
Jan ukasiewicz, Logistyka a filozofia (Logstica y filosofa), Przeglad Filozoficzny 39 (1936). pgs.115131[Cf.enestevolumenpg.60].
/75 /

adopteningnpuntodevistasobreestostemas.Enlogstica,insistounavezms,noest contenida,niexplcitaniimplcitamente,ningunadoctrinafilosficaconcreta.Lalogstica noaspiraareemplazaralafilosofa;sunicatareaesproporcionaralafilosofa,comoa cualquierotradisciplina,losmejoresinstrumentosparahacereficazlainvestigacin. Estas afirmaciones resumen toda mi concepcin de la relacin entre logstica y filosofa.Yaunquelashehechocontodasinceridad,yapesardequesujustificacinme parece clara, no me sorprendera que no consiguieran convencer a todos. A todas esas seguridadespodraresponderunenemigoelelalogstica:Ysinembargo,yoafirmo,por quelosientointuitivamente,quelalogsticasurgideunsubstratofilosficodefinido circunstancia de la que quiz ni los fundadores de la logstica eran conscientes,y que, por lo tanto, favorece ciertas tendencias filosficas y es hostil a otras. De hecho, me he encontradoconobjecionesdeesetipo,procedentesdevariosmedios,segnlascualesla logsticaprofesaofavorecenouna,sinotodoungrupodetendenciasfilosficas,conlas quenotodosestndeacuerdo,talescomoelnominalismo,elformalismo,elpositivismo, elconvencionalismo,elpragmatismoyelrelativismo.Meocupardeestasobjecionesuna auna. Hedeadmitirconfranquezaquesisemehubierapreguntadonohacemuchosiyo, en cuanto logstico, profesaba el nominalismo, hubiera contestado sin duda afirmativa mente.Noesquehayareflexionadoconmayorprofundidadsobreladoctrinanominalista misma,sinoquemelimitaprestaratencinalaprcticaefectivadeloslogsticos.Ahora bien: los logsticos buscan el mayor rigor posible, y ello puede alcanzarse mediante la construccin de un lenguaje tan preciso como sea posible. Nuestro propio pensamiento, cuandonoestformuladoenpalabras,esdifcildeaprehenderinclusoparanosotros,yel pensamiento de otra persona, cuando no est revestido de alguna forma sensible, slo puede ser aprehendido por los videntes. Todo pensamiento, si ha de ser una verdad cientfica que todo hombre puede aprender y verificar, debe asumir alguna forma per ceptible,deberecibiralgunaformulacinlingstica.Todasestasson,pienso,afirmaciones indiscutibles.Deellassesiguequelaprecisindelpensamientoslopuedeestargaranti zada por la precisin de lenguaje. Esto lo saban ya los estoicos, que a este respecto se oponan a los peripatticos. He aqu por qu la logstica presta la mxima atencin a los signoseinscripcionesconlosquetrata.Permtasemedaralmenosunejemplo,quemos trar,mejorquetodaslasproclamacionesgenerales,enquconsisteelsupuestonomina lismo, y tambin formalismo, de la logstica. Hay en logstica una regla de inferencia, llamada regla de separacin, que enuncia que quienquiera que afirme la proposicin condicionaldelaformasi,entonces,yafirmetambinelantecedentedeesapropo sicin, , puede afirmar el consecuente de la proposicin, . Para poder aplicar esta regla hemos de saber que la proposicin , que afirmamos por separado, expresa el mismo pensamiento que en la proposicin condicional viene expresado por el antece dente,porquesloentoncespodemostrazarlainferencia.Yesoslosepuedecertificarsi lasdosproposicionesrepresentadasportienenlamismaaparienciaexterior,esdecir, sonequiformes.Nopodemoscaptardirectamentelospensamientosexpresadosporestas proposiciones, y la identidad de forma de las proposiciones que expresan ciertos pensa mientos es una condicin necesaria, aunque no suficiente, de la identidad de los pensa
/76 /

mientos. Si una persona que afirma la proposicin si todo hombre es falible, entonces todolgicoesfalibleafirmaraalmismotiempolaproposicinelhombreesfalible,no podramosllegaralaconclusinluegotodolgicoesfalible,porquenohabragaranta de que la proposicin el hombre es falible expresara el mismo pensamiento que la proposicintodohombreesfalible,quenotieneigualformaquelaprimera.Seranece sarioestablecerpordefinicinquelapalabraelsignificalomismoquetodo,sustituir enlaproposicinelhombreesfaliblelapalabraelporlapalabratodoapoyndose en la regla de sustitucin por definicin, y slo entonces, habiendo afirmado la propo sicin todo hombre es falible, cuya forma es idntica a la del antecedente de la pro posicin condicional afirmada, podramos llegar a la conclusin. De esta manera inten tamosformalizartodaslasdeduccioneslgicas,esdecir,interpretarlascomoinscripciones construidas de tal manera que podemos comprobar la correccin del razonamiento sin referencia a los significados de estas inscripciones. Lo hacemos as porque no podemos captar los significados, mientras que los signos son visibles y claros, y al compararlos podemosfiarnosenteramentedeloqueestalavista. Equivaleestapreocupacinporlaprecisindellenguajeylaformalizacindelas demostraciones en s mismas a nominalismo? Se dira que no. La logstica adoptara el puntodevistanominalistasiconsideraralostrminosylasproposicionesexclusivamente comoinscripcionesquetienenciertasformas,sinocuparsedesisignificanalgoydeques loquesignifican.Lalogsticaseconvertiraentoncesenunacienciadeadornosofiguras, quetrazamosycombinamosdeacuerdoconciertasreglas,jugandoconellascomosiestu viramosjugandoalajedrez.Hoyendayonopodraaceptarsemejanteconcepcin,yesto nosloporlaraznqueformulnohacemucho*,dequeelconjuntodeinscripcioneses siemprefinito,mientrasqueelconjuntodetesislgicases,yaenlgicadeproposiciones, infinito: todas mis intuiciones estn en contra de las consecuencias ltimas del nomina lismo.Medianteunadifcillaborintelectualdesarrolladaduranteaossalvandoenormes dificultades, vamos paso a paso adquiriendo nuevas verdades lgicas. Y, de qu se ocupanestasverdades?Deinscripcionesvacasyadornos?Yonosoyunartistagrficoni uncalgrafo,ynomeinteresannilosadornosnilasinscripciones.Todaladiferenciaentre la logstica y una partida de ajedrez consiste precisamente en esto: en que las piezas de ajedreznosignificannada,mientrasquelossmboloslgicostienensignificado.Nosocu pamosdeesesignificado,delospensamientoseideasexpresadasmediantesignos,incluso aunquenosepamosculessonesossignificados,ynodelossignoscomotales.Porinter mediodeesossignosqueremoscaptaralgunasleyesdelpensamientoqueseranaplicables alamatemticayalafilosofayatodaslasdisciplinasquehacenusodelrazonamiento. Este objetivo es digno del mayor esfuerzo. Formalizamos las deducciones lgicas y ha cemos bien; pero la formalizacin es slo un medio de adquirir conocimiento y certeza acercadealgo,yloqueresultaimportanteparanosotrosnosonlosmedios,sinoesodelo queadquirimosconocimientoatravsdeesosmedios. Hoyendayanopuedoadoptarunpuntodevistanominalistaenlogstica.Pero esto lo digo como filsofo, y no como lgico. La lgica no puede solventar la cuestin, porquenoesfilosofa.Afortiori,noselapuedeacusardenominalismo.
*
EnelartculoLogsticayfilosofaincluidoenestevolumen.
/77 /

Otrasobjecionessehansuscitadoenconexinconelformalismo,objecionesqueno vancontralalogsticamisma,sinocontralosintentosdeaplicarlaalafilosofa.Sehadicho que la logstica deseara axiomatizar y formalizarlo todo, pero que eso es imposible de conseguir,porquelarealidadesmsricaquesuformalizacinracionalizada,logstica.La realidad se puede captar no slo mediante el pensamiento discursivo, sino tambin mediante el pensamiento imaginativo, mediante el pensamiento concreto, emocional e intuitivo.Megustarareplicarbrevementetambinaestasobjeciones. No s qu es el pensamiento intuitivo y no me encuentro con competencia para explicarlo. Pero estoy convencido de que, adems del pensamiento discursivo, puede haber alguna otra manera de llegar a la verdad, porque los lgicos conocen por propia experiencia hechos semejantes. Sucede a veces que o bien como resultado del trabajo subconscientedelamenteobienmercedaunaafortunadaasociacindeideas,ograciasa unsentidoinstintivodelaverdad,unaideacreativayfrtil,queremuevenuestrasdificul tades y abre nuevos caminos de investigacin, aparece en nuestra conciencia de una manera completamente inesperada, como por inspiracin80. Esto sucede sobre todo en la vanguardiadelpensamientohumano,alldondenosenfrentamosconterritoriostodava no conquistados por la ciencia, no iluminados por el pensamiento, oscuros e incgnitos. All la intuicin reemplaza con frecuencia al pensamiento discursivo, que en esos casos suele ser intil, y hace las primeras conquistas pioneras en los nuevos territorios.Ahora bien:unavezqueelterritoriohasidoconquistado,hadeserocupadoporelpensamiento discursivocontodoelaparatodelalogstica,detalmodoqueloslogrosdelaintuicin, quefcilmentepuedenresultarerrneos,puedansercomprobados,ordenadosyraciona lizados. Porque, en mi opinin, ese territorio mental slo puede considerarse definiti vamente ganado cuando lo est para la ciencia que se ha ordenado siguiendo mtodos sancionados por la lgica. Es as como yo concibo la cooperacin entre el pensamiento intuitivoyeldiscursivo. A las objeciones sobre el positivismo he replicado ampliamente en mi ensayo Logsticayfilosofa,antesmencionado.Allhediscutido,enparticular,miactitudhacia lasconcepcionesdelCrculodeViena.Aququisierahacertanslounabreveobservacin apropsitodeestaobjecin. Elconceptodepositivismoesalgoelstico.Aunhombrequeseguaporlarazn, sinsucumbirasusemociones,yseatienealarealidad,sindarsealafantasa,seleconsi dera a menudo un positivista. Tengo que admitir que en este sentido yo lo soy tambin. Creo firmemente en la razn, aunque conozco sus limitaciones, y tomo en cuenta la realidad,alavezqueintentorefrenarmisemocionesymifantasa.Lalogsticanopuede sinointensificarestasinclinaciones.Estoexplicamiaversinporlasespeculacionesfilos ficas. No rechazo la metafsica, no condeno la filosofa, no tengo prejuicios en contra de ningunatendenciafilosfica,perodesaprueboeltrabajointelectualchapucero.Yprobable mentenoesculpama,nidelalogstica,queellaaguceelcriticismoydescubramuchos defectosenlaespeculacinfilosfica.Meatrevoaasegurarquetodoaquelquerecibaun
Apropsitodeesto,cf.Janukasiewicz,Onauce(Sobrelaciencia),BiblioteczkaFilozoficzna,5, PoiskieTowarzystwoFilozoficzne,Lww,1934.[incluidoenestevolumenconelttulodeEleven toscreativosenlaciencia,pg.3).
80
/78 /

buenadiestramientologsticoverestosproblemascomoyolosveo. A la logstica contempornea se la acusa, por otra parte, de estar basada en el convencionalismo.Sesuponequeestovienedemostradoporelhechodequelosactuales sistemasdelogsticanoestnconstreidos,enlaestructuradesussistemasaxiomticos, por ningunas reglas o ideas absolutas, sino construidos de una manera arbitraria. Me gustaraexaminarestaobjecinconmayordetalle. Pensemosprimeroenelllamadoclculoproposicionalbivalente.Comoessabido, esteclculosepuedepresentaraxiomticamentedevariasmaneras,quedependensobre todo de los trminos primitivos elegidos y de las reglas de inferencia adoptadas. Pero inclusoconlosmismostrminosprimitivosporejemplo,implicacinynegacinycon las mismas reglas de inferencia por ejemplo, sustitucin y separacin podemos dar muy diversas listas de axiomas para el clculo proposicional. Se sigue de ello que el clculoproposicionalestconstruidodeunamaneraarbitraria?No,enltimotrmino.No podemos otorgar a cualesquiera tesis el status de axiomas, porque, en nuestro clculo, el sistema axiomtico debe satisfacer condiciones muy rigurosas: debe ser consistente, independiente y completo, lo cual significa que debe contener potencialmente todas las tesis verdaderas del sistema. Slo un sistema de axiomas que rena esas condiciones es bueno, pero, al tiempo, son buenos todos los que las renan, puesto que todos ellos son equivalentes entre s y todos generan el mismo sistema del clculo proposicional. Al escogeresteoesesistemadeaxiomasdeentretodoslosposibles,notenemosporquestar constreidos por principios absolutos, ya que sabemos de antemano que tales principios porejemplo,elprincipiodeconsistenciasevensatisfechosportodoslossistemasde axiomas,yenlaeleccinslonosguanconsideracionesprcticasodidcticas.Noveoen todoestonirastrodeconvencionalismo,tendenciaquenuncahepatrocinadonipatrocino enlaactualidad.Dichosencillamente:elclculoproposicionalbivalentetienelapropiedad dequesepuedeconstruiraxiomticamentedediferentesmaneras,yesapropiedadesun hecholgicoquenodependedenuestravoluntadyquetenemosqueaceptarnosgusteo no. Esa propiedad, dicho sea de paso, la comparte el clculo proposicional bivalente conotrossistemasaxiomticos,incluyendolateoraaristotlicadelsilogismo.ElEstagirita intentaxiomatizarsuteoradelsilogismo,perosusistemadeaxiomaserainsuficiente.Yo he resuelto este problema en otros trabajos anteriores adoptando como frmulas primi tivasdeestasilogsticalasproposicionestodoAesByalgnAesB,ycomoaxiomas lastesistodoAesA,algnAesAylosmodossilogsticosBarbarayDatisi81.Aellos aadlasreglasdesustitucin,separacineintercambiodefinicional,yelclculoproposi cional como sistema auxiliar. Podra, por supuesto, haberescogido otras frmulas primi tivas,como,porejemplo,lasproposicionestodoAesByningnAesB.Enesecaso, hubiera tenido que adoptar un sistema de axiomas diferente. Pero incluso para las frmulas primitivas que he escogido podra haber elegido axiomas diferentes: por ejemplo,enlugardelatesisalgnAesApodrahaberutilizadolaleydeconversinde proposicionesuniversalesafirmativas,yenlugardelmodoDalisipodahaberadoptadoel
81
Janukasiewicz,Elementelogikimatematycznej,Varsovia,1939,pgs.8696.[Cf.laversininglesa, ElementsofMathematicalLogic.VarsoviaOxford,1963.pgs.103117.]
/79 /

modoDimatisdelacuartafigura.As,pues,tambinlalgicaaristotlicasepuedecons truir axiomticamente de muchas maneras. Tras este hecho no hay convencionalismo, puestoquetodosestossistemasdeaxiomassonequivalentesentresygeneranlalgica aristotlicaenteraconlosmismosmodossilogsticos. La actitud subyacente de oposicin a estos sistemas de axiomas calificados de arbitrarios parece consistir, en el plano subconsciente, en una exigencia de la teora del conocimientoquepodraformularsedelsiguientemodo:Entodosistemadeductivohay slounprincipiodirectamenteevidentesobreelquehandeestarbasadastodaslastesis de ese sistema. El nfasis se pone a la vez en el slo uno y en el directamente evidente. Ya Kant se complaca en su capacidad de deducir algo, como l deca. a voluntad, nach Wunsch, a partir de un nico principio, aus einem einzigen Prinzip. Cun bello sera que tal principio fuera el nico en este sentido, y que el sistema no pudiera basarse en ningn otro, y que fuera tambin directamente evidente y, por ende, algo necesarioyabsoluto!Peroestoserademasiadobelloparaserverdad.Esunhechoqueel clculo proposicional bivalente de implicacin y negacin que hace uso de las reglas de sustitucinyseparacinsepuedebasarenunsoloaxioma,peroinclusoesopuedehacerse de varias maneras. Por tanto, en ese clculo hay muchos axiomas absolutos. Adems, ningunodelosaxiomasquehastaahorahemosllegadoaconoceresdirectamenteeviden te,porquetodosellossondemasiadolargoscomoparaquesuverdadpuedacaptarsede modointuitivo.Enloqueserefierealltimopunto,lasituacinsuelesertalquelastesis evidentes son deductivamente dbiles, y las tesis deductivamente fuertes y slo stas pueden servir como axiomas no son evidentes. En el clculo proposicional implica cional,queincluyesloimplicacionessinnegacin,probablementelatesismximamente evidente sea la ley de identidad si p, entonces p (es decir, en notacin simblica, Cpp). Peroconlasreglasdesustitucinyseparacinesaleyslonospermiteunadeduccinde sus propias sustituciones y, por tanto, es deductivamente muy dbil, con lo cual, por supuesto,nopuedeservircomonicoaxiomadeeseclculo.Porotraparte,losaxiomas del clculo implicacional no son evidentes. El ao pasado consegu encontrar el axioma mscortodeeseclculo.Enlanotacinlibredeparntesisquehediseadotieneslotrece letrasylasiguienteforma:CCCpqrCCrpCsp.Perotampocoesteaxiomaescompletamente evidente, y en cualquier caso es menos evidente que la ley del silogismo hipottico CCpqCCqrCpr, o incluso que la ley de Frege (que no es ms corta que mi axioma) CCpCqrCCpqCpr,ningunadelascualessirvecomoaxiomanicodelsistema. Pasoahoraalasltimasobjecionesarribaenumeradas,asaber,lasqueacusanala logstica de pragmatismo y relativismo. Me ocupo con mayor detalle de estas objeciones porquesehanplanteadoapropsitodelossistemaspolivalentesdelgicaproposicional. Estaeslaraznporlaquemegustarareplicaraellasmsdetenidamente. Enprimerlugar,ycomofundadordelossistemaspolivalentesdelgicaproposi cional,afirmoquehistricamenteestossistemasnosehandesarrolladosobrelabasedel convencionalismo ni del relativismo, sino que han surgido a partir de investigaciones lgicasrelativasalasproposicionesmodalesyalosconceptosrelacionadosdeposibilidad
/80 /

y necesidad82. En la construccin de esos sistemas hice uso del mtodo de matrices, inventadoporPeirceyaen1885.MisalumnosSlupecki,SobocinskiyWajsbergcontinua ronmisinvestigacionesyaplicaronelmtodoaxiomticoalossistemaspolivalentes83.En particular, sabemos hoy, gracias a la obra de Slupecki, cmo basar el llamado clculo proposicionaltrivalentecompletoconunvalorseleccionadoenunsistemadeaxiomasque esconsistente,independienteycompletoenelmismosentidoquelossistemasaxiomticos delclculobivalente.Siespecificoestoshechosesparaafirmar,sobrelabasedeellos,que la existencia de sistemas de lgica polivalente se ha de tomar hoy en cuenta del mismo modoquesehadetomarencuenta,porejemplo,laexistenciadesistemasdegeometra noeucldea.Estossistemasnodependendeningunadoctrinafilosfica,yaqueenesecaso sederrumbaranjuntoconlataldoctrina,sinoquesonunresultadoobjetivodeinvestiga cin como pueda serlo cualquier teora matemtica establecida. As, pues, no se puede decir: Yo rechazo la logstica contempornea porque ha dado como resultado la lgica polivalente, y vuelvo a la lgica tradicional, del mismo modo que no se puede decir: Rechazolageometracontempornea,porquehadadocomoresultadolageometrano eucldea,yvuelvoalageometraeucldea.Semejantepuntodevistanosloanularalos logrosdelacienciacontempornea,sinoqueconstituira,meatrevoadecir,unatcticade avestruz,consistenteencreerqueloqueseignoranoexiste.Nopodemosdejardetomar en cuenta los sistemas de lgica polivalente, una vez que han sido construidos; lo nico que podemos hacer es discutir si se pueden interpretar intuitivamente al igual que la lgicabivalente.ysiselespuedeencontraralgunaaplicacin.Quieroextendermeunpoco sobreestostemas. Elfundamentomsprofundodetodalalgicahastaahoraconocida,sealgicade proposiciones o lgica de trminos, sea lgica estoica o aristotlica, es el principio de bivalencia, que enuncia que toda proposicin es o bien verdadera o bien falsa, es decir, tiene uno, y slo uno, de esos dos valores lgicos*. La lgica cambia desde sus mismos fundamentossiasumimosque,ademsdelaverdadylafalsedad,haytambinuntercer valor lgico, o varios ms. Hice esa asuncin invocando la autoridad del propio Arist
Jan ukasiewicz, O pojeciu mozliwoci (Sobre el concepto de posibilidad) (texto de una conferencia), Ruch Filozoficzny 5 (1920), pgs. 169a170a; Jan ukasiewicz, O logice trjwartociowej(Sobrelalgicatrivalente)(textodeunaconferencia),ibd.,pgs.170a171a;Jan ukasiewicz, Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalkls, ComptesrendusdessancesdelaSocitdesSciencesetdesLettresdeVarsovie,23(1930),cl.iii,pgs.51 77.[Elprimertextonoestincluidoenestevolumen.Encuantoalsegundo,cf.lapg.18deeste libro.Eltercertrabajocitadoestrecogidoenlaspginas2748deestevolumen.] 83 M. Wajsberg, Aksjomatyzacja trjwartociowego rachunku zda (Axiomatizacin del clculo proposicionaltrivalente),SprawozdaniazposiedzeTowarzystwaNaukowegoWarszawskiego,24(1931), Wydzial III; J. Slupecki, Der volle dreiwertige Aussagenkalkl, Comptes rendus des sances de la SocitdesSciencesetdesLettresdeVarsovie,29(1936).cl.iii;B.Sobocinski,Aksjomatyzacjapewnych wielowartociowych systemw teorii dedukcji (Axiomatizacin de algunos sistemas polivalentes de la teora de la deduccin), Roczniki prac naukowych Zreszenia Asystentw Uniwersytetu Jzefa Pilsudskiego,vol.1,Varsovia,1936. *ParadetallesentornoalprincipiodebivalenciavaseeltrabajoObservacionesfilosficassobre lossistemaspolivalentesdelgicaproposicional,pg.34deestelibro.
82
/81 /

teles,porquenadiemsqueelEstagiritaparecacreerquelasproposicionesconcernientes a eventos futuros contingentes no son hoy ni verdaderas ni falsas. As es como han de interpretarse algunas formulaciones de Aristteles en el captulo nueve de su De interpretatione, y as fue como las interpretaron los estoicos, segn testifica Boecio. Al hablar as, el Estagirita intentaba evitar el determinismo, que para l estaba inevitable menteconectadoconelprincipiodebivalencia. SiesaconcepcindeAristtelesescorrecta,ysientrelasproposicionesacercade eventosquetienenlugareneluniversohayproposicionesqueenelmomentopresenteno son todava ni verdaderas ni falsas, entonces estas proposiciones deben tener un tercer valorlgico.Peroentonceselmundodeloshechosquenosrodeanestgobernado,nopor una lgica bivalente, sino por una lgica trivalente, o bien,si el nmero de estosnuevos valores lgicos es mayor, por alguna otra lgica polivalente. En ese caso, los sistemas polivalentes de lgica adquiran a la vez una justificacin intuitiva y un vasto campo de aplicacin. Amenudoheexaminadoelproblemadecmodeterminarsiexistenproposiciones acercadehechosquetenganesetercervalordeverdad.Unproblemalgicoseconvierte aqu en una cuestin ontolgica relativa a la estructura del universo. Est todo lo que sucede en el universo determinado por siglos, o hay ciertos hechos futuros que hoy no estntodavadeterminados?Existeeneluniversounaesferadecontingencia,oesttodo inevitablementegobernadoporlanecesidad?Y,enelcasodequeestaesferadecontingen ciaexista,hadebuscarsesloenelfuturo,osepuedeencontrartambinenelpasado? Estas son cuestiones a las que resulta muy difcil contestar. Siempre he credo que las respuestas a estas cuestiones slo pueden venir dadas por datos empricos, del mismo modoqueslolosdatosempricospuedendecirnossielespacioenquenosmovemoses eucldeoonoeucldeo.Aquestelorigendelasimputacionesdepragmatismodirigidas a la logstica, imputaciones que son injustificadas en lo que a ella se refiere, puesto que slo se me pueden dirigir a m personalmente. Tampoco puedo yo aceptar esas imputa ciones.Noaceptoelpragmatismocomoteoradelaverdad,ypiensoqueningunapersona razonable aceptara esa doctrina. Tampoco he pensado nunca en verificar pragmtica mente la verdad de los sistemas lgicos. Estos sistemas no necesitan esa verificacin. De sobra s que todos los sistemas lgicos que construimos son necesariamente verdaderos bajolossupuestosadmitidosensuconstruccin.Elnicopuntoseraverificarlossupues tosontolgicosquesubyacenalalgica,ypiensoqueactodeacuerdoconlosmtodos universalmente adoptados en la ciencia natural al intentar verificar las consecuencias de estos supuestos a la luz de los hechos*. Sobre este tema mi opinin se opone a la de los positivistasdelCrculodeViena,porqueellosnieganqueestascuestionesestnsujetasa verificacinempricaypretendenquepertenecenexclusivamentealasintaxisdellengua je.EsaopinindelosmiembrosdelCrculodeViena,quenocomparto,merecera,enmi opinin,elnombredeconvencionalismo. Nomeparecequeelproblemadelainterpretacindelossistemaspolivalentesest definitivamentezanjado.Nuestroconocimientodeesossistemas,cuyodesarrolloesmuy reciente,estodavainadecuado.Habrquesometerlosaunexamencompleto,tantodesde
*
Cf.lanotaalpiedelapgina72.
/82 /

el punto de vista formal como desde el punto de vista intuitivo. Pero ya desde ahora puedo afirmar algo: el relativismo no es una consecuencia de la existencia de esos sis temas.Delaposibilidaddediferentessistemasdelgica,y,porende,dediferentesconcep tosdeverdaddependientesdelsistemalgicoqueseadopte,nosepuedeinferirque nohayverdadesabsolutas.Aduzcoaquesteargumentoporquehayuncientficoqueha extrado esas conclusiones a partir de la existencia de distintos sistemas de lgica. Hace dos aos E. T. Bell, un profesor de matemticas americano, public un difundido libro titulado The Search for Truth84. Como lema de su libro tom las siguientes palabras del Evangelio de San Juan (XVIII, 38): Pilatos le dijo, Qu es la verdad? Esa pregunta, pre tendeelprofesorBell,dejdetenersentidocuando,en1930,seconocieronlossistemasde lgicapolivalente. Aesterespectoafirmo:esacuestinnohadejadonuncadetenersentido,nidejar jamsdetenerlo.Lasverdadesabsolutasdelpensamientonosederrumbaronen1930.Sea cual fuere el descrdito que alguien pueda arrojar sobre las lgicas polivalentes, ese alguiennopuedenegarquesuexistencianohainvalidadoelprincipiodecontradiccin. Este es una verdad absoluta que se cumple en todos los sistemas lgicos, porque si este principiofueraviolado,todalalgicaytodalainvestigacincientficaperderansusen tido.Tambinconservansuvalidezlasreglasdeinferencia,asaber,laregladesustitucin, quecorrespondealdictumdeomniaristotlico,ylaregladeseparacin,anlogaalsilogis mo estoico denominado modus ponens. Es precisamente gracias a estasreglas como cons truimos hoy no uno sino muchos sistemas lgicos, todos ellos consistentes y libres de contradiccin.Cabelaposibilidaddequeexistantambinotrosprincipiosabsolutosque todos los sistemas lgicos deban cumplir. Pienso que una de las mayores tareas de la logsticaydelafilosofafuturaesdescubrirtodosesosprincipios. Al concluir estas observaciones, me gustara esbozar una imagen que est conectada con las intuiciones ms profundas que siempre experimento ante la logstica. Esa imagen arrojar quiz mayor luz sobre el autntico trasfondo de esa disciplina, al menosenmicaso,quecualquierdescripcindiscursiva.Helaaqu:cadavezquemeocupo de un problema logstico, por insignificante que sea por ejemplo, cuando busco el axiomamscortodelclculoproposicionalimplicacionaltengosiemprelaimpresinde queestoyfrenteaunaestructurapoderosa,dotadadelamximacoherenciayresistencia. Sientoesaestructuracomosifueraunobjetoconcreto,tangible,hechodelmsdurometal, cien veces ms fuerte que el acero y que el hormign. Nada puedo cambiar en ello; no estoycreandonadapormivoluntad,sinoquemedianteuntrabajotenazdescubrocons tantemente en ello nuevos detalles y llego a verdades inconmovibles y eternas. Dnde est y qu es esa estructura ideal? Un creyente dira que est en Dios y que es Su pensamiento.
EricTempleBell,TheSearchforTruth,Londres,AllenandUnwin,1934,enparticular,pgs.245 247.
84
/83 /

Lukasiewicz Jan - Estudios de Logica Y Filosofia (PDF)

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Lukasiewicz Jan - Estudios de Logica Y Filosofia (PDF)

Uploaded by

Copyright:

Available Formats

ESTUDIOSDELGICAY FILOSOFA

Edicinelectrnicade www.philosophia.cl/Escuelade FilosofaUniversidadARCIS.

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

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

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

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

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

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

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

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

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

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

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

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

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

Estaformulacin,extradadelascartasdeOdyniec,aparececitadaporW.Biegaskiensuescrito OfilozofiiMickiewicza(SobrelafilosofadeMickiewicz)enPrzeglpdFilozoficzny10(1907),pg. 205.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

EnObservacionesfilosficasukasiewiczutilizaeltrminoposibilidad. LaprimeramencindelalgicatrivalentesehaceenlaLeccindedespedidade1918(pg. 18deestelibro).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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