Hanvel Grcvdo:
Lise SHUG
1945)
Tecacg, Hodik
A. LAINAGEN TRABICIONAL DELA LOGICA
$1. Laimagen griega dela lgica
Lapin por la vida piblica y por a meditacion filoséfica y elentfia forman
parte della de la cultura greg, ambos tpos de actividad exigen saber an
revnar aconfescion y acumlacin de pruebas ineresan tanto al abogado al po
Tues como al favestigudor de la naturaleza, ZENON DE ELEA, famoso por sus par
thf, fur in genio en el arte del razonamientodilético, en el que también deco
Nason Scckates PLATON. ¥ los SorsTas eran muy solicitados como maestros de
La ligica de Arstteles. Sin embargo, nadie antes de AnisToTELES (38483-
322 aC investigo tematicamente la Lica camo tl s decir como teria de ta fe
aarck he ello ee consiene el propio fildsofo, quien a final de una. de Sus primeras
Rens idicas' Sobre la reftacion de los sflzmas, escibid: «En cuanto a et invest
tcl, to es que una pare etuviera ya prevamente elaboraday ofa no, sino que Do
abla ata on absolut [.}. Sobre las Cuestiones de etreaexitian ya muchos Y ant
woe crriton, mientras Que sobre el razonar (eri dé fo sllogdsesha) no teniamos
Mmalutmere nada anterior que eta, sino gue hemos debido afanamos emplesnd
fhucho tempo en investiga y con gran esfuez0.
‘Con todo, el asunio abordado en las prineras obras lpia de Aritteles, como
son et tstado de los Topicos y la que acak> de citar, noes la lgica deta cies,
Ses a tatecuca 0 logica de fe upon, Is cora de la argumentaeién no neces,
‘ino solumente probable, que es la que ejrcitamos en la vida divi y dela que dis
nets euando aun no se ba generado la cena, Slo bastante mis tare, 9a en
ae de plena madurez, esribié Aristeles, en Ia obra transmitida con el titulo Se
varios Uaaldean, su Teoria de la demostncion 0 razonamiento cintfico. Y mis
see ca levaria'a cabo el anlisis puramente formal del razonamiento 0 silogsmo
tn los Frimeros Analitios.
SK ritieles debemos, pues ls principales crterios de division de ta igi
Uno consiste en contraponcr la enalitea ala dialéctica, a Wien de Ia argument
a igurose ala ldgica de la opinin. Es éte un crteio que ha perdurado sta
Ran, cays Critica dela razén pura se divie precisamente en «Analitia tascende
{airy eDialéctca eascendental. Por ora pre la diferencia entre ls Pvimeros yo
2 apd tnaiicas introduce ovo important eiterio de division de la Lgiea en fr
seery maar en sintansY seinen. Y aunque és son etiqustas que Aristeles
7 Fras la muerte de Aritteles sus sequidores reunieron los esritos Kies de
anaests en un conglomerado al que diero el nombre general de Organon (palabra
Gus significa wnsumenton). Ete conglomerado contenia seis obras, orden
ae eeerSat: Categorias, Peri hermencis (= De interpretatione), Primeros Anal
wren Sepundoe Anaticos,Topicos, Sobre tas refuacione sofia Las dos
aa vena, reapectivamente, sabre el cone=po y la pro © preambul
fe a nferencia, tema de las estan 468 LOGICA SIMBOLICA
wo ego »empleatexpresamente, el siguiente estimonio dl gran comentaor dea
roa ptica ALUANDRO DE AFRODSI, que ensehb en Aenasquiiew0s aos
Sei au mast (hacia siglo de nus era, pone de live el aricter
deer ia lie de Arse al dei de ete que adesarola su discuso vali
sore tas para mostrarmes Qué las conlusiones 0 surgen pot vid del mate
so por vid de esta forma o fgira (sthéema) y de esta combinacén y modo
mate sllgism no conclye[.] por aus def materia, sino por ser al
te tonbuta ody). Las letras inican que I concasiin ser a que es general
Mente siempre ycunlqiera qu sea a materia que e supongs»
mAniomatiad Arséces su slogisia? El logic polaco Jan LUEAstemcz ha ine
‘esfpio'a glen grega eon el instrumental de fa conterpordnca. Una desu prin
TERE Soteusions respect de fa silica, fal y como aparece expuesa en 1s
Pancras dnaltco, es ue AritSeles la organizé axiomaticamente El propio Lu
Tes na diseRade por su cuenta an sistema axiomatico totalmente formalizado
{ela teoria dl silogism aisiceico,
Tscvidente queen os Primeros Analicos se estblecen elacionesdeductives de
refyeeiin ene fos slogismos perfects (prime figura) y los imperectos (segunda
Reais) Pero quizd sn mds acerado pensar con CORCORAR gue & Aristte-
TEASE Imeresé ne uber intereado axomaizar la Wien, que no cra para
ve Seta sustantiva opropamente dicho, sno un simple Orgonoo instramento de
Wetacea eietfica. En los Sepundor Analicns, que es un rata de triad la
Sees donde no se considera yu el rzonamiento cn su mera estar final sno
rea contenido cientco, i que se cxupaexpresamente Aristteles del métodoaxio
ca Alt aviene que es ée un modo sobre todo adecuado pars la atemtica,
re et, as quc en cualquier ota circa, los axiomas son as primera premi-
Semele de Tas que deben pari yen ls queen tina instancia deben
ee jtis Tas prucbas cients Perolasleyes de i Toga no son, desde el punto de
seer atric, premisa i principies materiales de ninguna prucba cies, sino
aang gobieman desde oer ln marcha dela investgacion, Por virtad
“Te idgien ln diversas cencas extra de los principios y los hecos de sus campos
‘Topectivos las corespondienes concusiones. Esto invita a pensar que es bastante
Frabuble que Aristtles no concbiea su sloistca como un sistema exiomstico,
isp come’ sistema metaingustic de reglas de deduccion natura, que no soni
seems o factores materalmente consitutivs dela pruebas cients, sno for-
‘Sclmenteregulatives de elas E. W. Ber, creado del metodo de las tbh sem
as recontado, por ota parte, que fue Arsttlesquen primero wiz el método
‘Shulnico ds models al deseartar por cotraejmplo formas ives de argument.
Ls Tiitaciones dela lien arsotlica son manifests. Los Wgicoscontempo-
tines sefuln con azn el muy insiiienteconocimiento de Kigicaproposicionl
for pane de Arsticles.Y, desde De Monn, se insist en a Tmitacin de a slo
‘Ries avistotlie, asada en pricaion monica, para dar cuenta del techo de 1
Wedicecin elativa
Nee se rconier que cia sputacte qua deberce a Annies (Y
aque Taogier atematen no sup afordar asia muy adentado e ilo vente) es
“Tamia Tica modal, ta lic resulta del ans de proposisiones 2s que a
memos culquiea de [as custo paticulas mosdals: posible (pe), wes posible ave
Fay seresintligentes en otros lugares del universon),ecesario (pe «es neces
sa sy dos an ano) msi (wes impose gu ula
(adradon) 3 contingende(contngene es Io que puede darse puede no drse, como,
av es contngente Que el equipo A gane al equipo By). sos pefijas modifican
[ANEXO: BREVE HISTORIA DE LA LOGICA 469,
la estructura Kgica de las proposiciones y de tos que intervienen,
{Ese ds Tamara lr ora Ue Ta proposicion y del nzonamiento mods. De la primers
se ocupa Arsiteles en su breve tatado Port hermeneiasy dela segunds en ls Pri
imeras Analitees, donde ademis de los famosos ctorce modos legis de Ia pri-
mera, segundny tereera Figura del silogismocategico, investig6 prctiaments un
‘cenenar de mods correspondientes al teoria de silogisino mo
b. La ligica mepérico-stoice, A diferencia de lo que sucede con Arise
cuyos eseriteslogicos se han conservado con bastante integridad, solo conoceinos
tenlosfragmenarios de los logicos megiricos y estocos através del testimonio ds
‘Sts conlemperineos, lo cul nos permit, sin embargo, avertr que con ellos se desi
‘rola por vez primera la ligica proposicionaly lateora de los conectors
La excueiz megérice, fundada en el siglo v £C. por Evelides de Megara, disc
plo de Sdertes, es anterior a Ia extoica. En ela florecieron ls lgicos Dio00%0
Crowo (sige v ac) y su dseipulo FILON 0€ MecARA. Sobre la enconada polémica
(que ambos mantuvcron acerea el condicional(interpretado en el sentido que hoy
tTamamos exensonal por el dicipulo y en el de ura logiea modal por el maestro)
puede cl Tec elect la nota 11 del Capitulo Il de este libro, wlista los cuervos —ai-
Fa dos sigs mis tarde Calimaco,bibliotecaro de Alejandria—~ graznan en los tee
‘dos sobre el sentido dela implicaién.»
Lor logicos de la escuela extoica, el més brilante de los cuales fue Crisiro
no aélo dominan el lenguaje de los conectores. Cuentan con un
ive basado en cinco reglas de infeencia o «indemostrables» que
formulan as
1. Sito primero, entonces lo segundo; pero primero; por tanto, lo segundo,
II, Sik primero, entones Io segundo; pero no To segundo; por tanto, no lo pi-
IHL, Noa la ver lo primero y lo segundo; pero lo primero;_por tanto, no lo se-
und.
tv. Orb wrimero o lo segundo; pero lo primero; po tanto, nolo seyundo.
'V,_ Ob] timeroo lo segundo; pero no lo segundo; por tanto, lo primero
{Las denominaciones ordinales (lo primero, alo segundo») cumpten la. fun
cidn de varabl s proposicionales, El lector habri reconocido en fy It to que Is
{radiign posterior llamar modus ponens y modus tollens, y en 1V y V dos for.
thus Je silogismo disyuntivo (con wo» exclusiva al menos en la premisa mayor
de).
‘At estabiecer va triple diferencia entre 1) la voz significant, 2) la cosa a fa que
alude ote ttre a voz, y 3) el significado de éta, los estoicos parecenanticipar la
‘emantica de Frees. Ente la voz, que escorprea y la cos, tambien compre, ree
ida por la voz, ext el significado, que es incorpireo y se define como alo que el bi-
baroino eniende evando un greg habia»
7 Dos monografits interesantes sobre la liga de fs estoios son: Jan Luxasit-
wwice, Para una historia de la Togica de enunciados,traduccién de Jost Sanmar
tin, Guademos Teor ma, Valencia; Benson Mates, Ligica de fos estoicas, tr
(Qussion de Miguel Carcla Baro, Cuadernos de Filosofia y Ensayo, Teenos, Ma
‘rig, 1985,
EEFFFLTEEEEE ETE REC ET EEE EPETETETETA: 470 LOGICA SIMBOLICA
Em este mismo plano se mueven 1s largos ails levados a cabo por fs estoi-
costds la pamera puradoja semntica: el peudémenos (-mentiroso), que recuciré a
‘eto to ang dela historia dela ogi, desde la escolistica medieval a Russel
La fase paradajca «Todos los eeienses mientem» le fue arbuida al filésofocre-
tense Enndraoes, que vivid en el siglo Vi aC. . Lo que hay de paradijco en ella se
vierteconsierand que sies verdad qu todos los eetenses mienten, meat el que
To cice sien retense,y enfonces la fase noes verdad. Con este oto format, que r=
‘oes Cieeron, la paradoja del mentiow le s atsbuida a Eublides (siglo Iv aC.)
‘Sirmientoy digo que miento,;miento o digo la verdad?» La tradicion eventa que
‘Tofrato, discipulo de Avisteles,eseabis tre libros sobre el tema y Crisipo mis de
‘rite, y que al lagico Filitas de Cos Ia investigacién de aquel enigma le cost la
Imuere por extenuaci,
$2. La imagen medieval de ta ligica
a. Elsenido de a ligica medieval. La estampa,dibujada por et persamiento
rmodemo, de la Edad Media coma wedad oscuray no es del todo fidedigna en lo que
Concieme a la historia de la logiea. Es cleto que en el cuadro de valors de est
pees, y exceptuando & lo flsof0s irabes el conocimient cientifico no ocupé el
Itear privilegiado que le otorgaron anes los antiguos pensadores griegos y después
Josmodetnos. Pero la necesidad de levara cabo un andlissracional de los textos de
las Eserituras esta en los tedlogoseristianos la investigacion de nteresantes es
tacturas Lopes y el desaroll de To que hoy lmariamos ura eigica de lengusje
brlinanon MOODY, historiador de la Tages, ha escritot que «mientras el objetivo pri-
‘ordi del desarrollo de la lgiea de Aristeles fue exhibi la estructura Formal de
Tas demosttacionc en las siensias de fx naturaleza,y el dela Logica comtemporinea
‘chiborar una formlacion abstaetay una derivacién axiomaética de los principios de
{a matemdtica, I logica medieval funiond como un arte del lenguaje (semocinalis
seni, wciencia de la palabra») estrechamenteasociao coa la gramitica, con vistas
‘i utlizacion como medio para esableceriterpretaciones que pusiran de mani
Fiesto que los textos de alordad de ls Sagradas Escrituras y de los Pairs de la
Ipesia evan logicamentecoterentes yextaban libres de conradiceiGno.
Hast el siglo x solo e conocin, gracias a Boccio (hacia 480-524/526), la mer
cla de una parte muy exigua de la logica aristotéica (Categorias, De iterpret-
tiene) con ta estoica, adems de los Tépicos de Cicerén, aunque debenes a San
‘Asseuato (1033-1108), ya al final de ese primer y oscuro lapso de temp, el ele
‘be wargumento ontoldgicon de la existencia de Dios y una interesante gramtica
Asie
El petiodo ereador de la légica medieval se iniciaen el siglo x1. Deno de
Aistingue Moody dos fases. En la prinera, que dura hasta mediados del xi, a 1
ties como pura dalética,aislada de contenidos materials, es cultivada por Pedro
» Saw Panto (Epistola a Tito, 1 12) a pone en boca de wn aprofetan cre
tense, que tl vez ese Epiménides
““iemest A. Moo, «The Medieval Contribution to Logie», ineluido en las
pp, 376-391 de su coleccién de articulos Studies in Medieval. Philosophy.
Science and Logie, University of Berkeley, California Press, 1975: Véase tam-
bbém el ensayo de Jan Luxasitviczctado en la nota 2 de este Ancx0,
ANEXO: BREVE HISTORIADE LA LOGICA an
‘Aat.anbo (1079-1142), Guillermo de Suveeswooo (m. 1249) y Pedro Hisrano
(@n. 1277) Este lgico hispano —que al final de au vida gobernd la Iglesia como
papa con el nombre de Juan XX1-— formuld las eyes de De Morgan muchos siglos
fntes de que naciera quien hoy les da su nombre: capulativa et disunctva de pat
‘bus contradicentbus conradicunt (la negacion que contadice ala proposicin copu-
Iatva (Ia conjunc) y ala proposcion disyuntva (la disyuncin) se efectiacon-
traiciendo (s decir, negando) cada una de sus pte].
La seguda fase del periodo ereador de la lgica medieval se extiende desde la
ritad de sigo xn ala del xv, Ya se conoce Ia flosofa de la ciencia de Aristtcles
Y 38 aeusa ls influencia de AviceNa y AVERROES. Los grandes logicos cristanos,
omo Gullerno de Occaw (1285-1349), Juan Bunuoax (hacia 1295-1358), Alberto
te Sasonia (hacia 1316-1390) y Pablo de VeNeca (m. 1429), meditan eiicamente
‘sobre los supuestos del legado aristolico y elabaran nueva temic,
b. Prinipales contribuciones de ta ligict medieval. Enite las principales
aportaciones de los pensadores medievales a la historia de a logica hoy suelen seia-
lase tes linea deinvestigacién:
1 Unaes la teria de las consecuencias, robablemente sin disponer de los tx
tos estoios, fos lgicos medicvals lograronredescubrir gran nimero de teoremas de
Ja logiea de proposicions sin mis apoyo que lo escritos de Boevio y los Topicos de
‘Arstteles. La ya etadaformalacgn por Pedro Aispano de las lees de De Morgan
puede servide ejemplo, como tambien esta formulaci del principio ex contradic-
Tione quodife: ade un enunciado cuya contradiccién es patente se sigue formal-
‘mente cualquier otro enunciadon, establecida por el Pseu00 Scoro (un Brillante I6-
{ico del sigl> XIV, Juan de Cornalles, al que se ha confundido por eror con Duns
Sento).
La deficciin medieval de la nocién de consecuencia cecuerda en muchos
casos el anilisis no extensional de la implicaciOn propuesto por Diodoro
Crono, Ast la define, por ejemplo, el Pseudo Scoto: wla consecvencia es un
nuneiado hipotético, que consta de un antecedente y un consecuente, vincula-
ddos condicionalmente de forma que es imposible que el primero sea verdadero
Yel segundo falsom. Por otra parte era usual en los tratados distinguir entre
Zonseeuencia formalis y materiais, seyin que se pudiera concluir 0 no en ella
S6lo por la “orma.
2. La tori de la suposicidn de los termina ($2 o0stio terminorum) profun-
sizn ia doctin aistotéica de la cuantificaion y preludia ex algunos aspectos la I6-
fica cuantfacional de Frege, aunque manteniadose en una linea altemativa a ta,
pues no abandona como ela el exquema eaujet-predicadon, cracerstic de la l=
fica aristotlic y del lenguae ordicario.
» La frase de Ped
Hispano deja sin meacionar el requisito de cambio del
conector principal por st dual. Un requisito que no falta, sin embargo, en esta
mpecable formulacion posterior, debida a Ozcax, de una de las Leyes de De
Morgan: Opposita contradictoria disiunctivas ext una copulativa composiia ex
Contradictris partum ipsius disiunctivae (cLa contradictoria que se opone a
‘ina proposicion disyuntiva es una conjuneiéa compuesta de las eonradictorias
4e ia partes de dicha disyuntvay). 47 LOGICA SIMBOLICA,
‘La dobie dimension que peribe ls semaintica actual sein que hableros del «sg
rifieaton tsemantia wintnsionan) 9 la «referencia» (semintica extensional») de
eet ttnnse, se coresponde con I dstncin medieval entre la signiicaty 0 sentido
J Tasuppositi o fonei referencia de los mises.
En a teora de la suposicion encontramos ademés una anticipacion de nuestra
ctual dicotomia mencidn/uso, Los igicos medievales entendian que sn término
sie fefertseo bien ast mismo (supposiio materials) o bien a ls cosas que
Mniics(suppostio personals). Por ejemplo, en el enunciado; shombre ex bisi-
ikon el teemino sombre» supore materaiments, mientras que en este otro
aannciodo: wel hombre es mortal» supone formal o personalmente, Hoy decimos,
“Burlativamente, que en el primer caso el termino en cvestion es «aencionadon
(yet segundo susadon. También es importante recordar que, en I> que con-
[dine ala wextensionn o referencia de los trminos alas cosas, los tmtados me-
{levales solan subdistinguir la suposicin personal precisando que, dentro de la
natural ambigieded del contexto proposicioal en que es usado, la referencia det
(nino entaba earacteizada por una determinacion particular (suppositio deter-
snimata} cuando quedaba sfectado por el prefijovalguno» y por una exigencia de
Tiarbucin (suppositio confusa ef dstibutiva) cuando es stodo» el preijo que
leafeeta
3. Aunque ya Abelardo y Pedro Hispano trataron las proposiciones moda-
les, el desarrollo més pleno de la ldgiea modal tiene lugar en la Edad Media
tardia, cuando se conocen bien Iss obras logicas y flosbficas de Aristtcles,
lAvicena y Averroes, que usin a fondo el razonamiento en contextos modales
{Baas obras y el problema teolégie» de armonizar la prescienca y Ia omnipoten-
‘ia divings Con la libertad humana invitaban a los pensadores a profundizar en
lestudio de cuestiones modales. El gran teSlogo franciscano Duns Scoro (ha
tia 1270-1308) reemplazé la visi aristotélica de Ia cadena cOsmica del ser y
Sia tnodos ontolgisos por otra altemativa, y de acnerda eon este revoluciona-
To cambio fos logicos dela Epoct intensificaron el estudio de Ia Tézice modal
‘Occatn Hlegé a contabilizar casi un millar de modos vilidos de silogismos mo-
ales.
El problema semantico dela verdad, paradojas como la del «mentioso>, sobre
la cual Pablo de Veneciareeogid una lista de catorce soluciones, y los sofismas
Constituyen otros eiteulos de probiemas de la lbgiea de esta época. «La contribu
dn de la Hbgica medieval al ulterior desarollo y enriquecimiento de la ogiea
‘modernan, puede concluirse con Moody, esti en haber trazado wel puente semén-
Tico ente‘e sistema formal sbstecto axiomitcamente derivado, de la moderna
Tégiea matemsticn, las formas concretas, empiricamenteorientadas, en que exhi-
bem los Tenguajes naturales la estreturaracfonal de la experiencia en su nivel fe-
nomenoligicon,
Pero un panorama de fa Kgica medieval, por breve que sea, no deters dejar de
rmencionar el Ars magna del poeta, ast, bso y teblogo Raimundo LUO (Ra-
‘mon Luv, hacia 1235-1315), como presagio dela vocacién de eéleul de la gica
‘Segin una leyenda del medievo, el gran sabio cristiano Alberte Magno po.
sia una adorable cabeza femenina de bronce que podia hablar. A Tomas de
‘Aquino, discipulo de Alberto, quel objeto le molestaba tanto que lo destruy6
tras la muerte del maestro, Esta eyenda olvida que el anciano San Alberto s0~
brevivid unos evantas aos a Santo Tomés, que murid a los cineventa. Pero
‘ANEXO: BREVE HISTORIA DE LA LOGICA 4B
tude al gusio medieval por el algoritmo y el cleulo,¢a el que sobresalieron fos
Srabes. Pareze ser que un grupo de astrologos irabesyroyecto una maquina pen-
‘inte, a zara, que discurricia mecénicamente combinando las veintiocko letras
Gel alfabetoaribigo con veintiocho ideas filosbficas. Queriendo superar en ver~
Sion eristira a la zaira, el aristécrata mallo;qut Raimundo Lulio invent6 una
tumiquina» consistente en ordenat en segments de circulos concéntricos girato-
fies, confeccionados por él en forma de discos, un abecedario de ideas sobre
Dios y et mniverso, que resultaban asi suscepibles de combinacion mecinica,
Este embrionario computador fue, andando el tiempo, objeto de sitira en Ia n0~
vela Los visjes de Gulliver (1726) de Jonathan Swift y tema de consideracion
por pare de Leibniz y Hegel
53. La imagen moderna deta ligica
‘4. El humanismo del Renacimiento, Por reacién al pensamiento medieval,
tos humanisas del Renacimiento prefiriern et tin de Cicero al escolistico y taf
tosofia de Paton ala de Arisételes ysustituyeren el estudio de a Logica como ana
tica deduetva por el culto ala daléteay a retria,
‘Ena tendencia culmina en Pierre de La Rawée (Petrus Ramus, 1516-1572)
[Autor de unas polemicas Aristotelicae Animadversiones (1543), Ramus alanzé
{a fama con su Dialectique (1555), la primera obra de Logica eserita en lengus
francesa, donde procuta teducir la logica de Aristoteles a la simpicidad mis es
‘Converido al protestantismo, Ramus fue uno de Tos innumerabls asesinados por
‘odio religion en Ta matanza dei Dia de San Bartolomé. Su influencia, que se ex
fends inclse una pequefia obra Iigiea del poeta inglés Milton, contnbuyd grande
mente al enpobrecimiento de la liga deductiv
Bacon y Port-Royal. En los amantes dels ciencias naturales el interés por
el mézodo cela ciencia empriea desbaned al interés por la deducein. El Novum Or-
[Garam (16:0) de Francis Bacon (1561-1626) crea una nueva rea de investigacin. Ia
Tiga indwtva, taj el signo, como sugiere si tulo, de una alternative ala Wien
asotlica
Posteriores a esta obra de Bacon son dos libros que oeupan un lugar de relative
importancia en la historia dela Logica deductiva. Uno es 1a Logica Hamburgenss
(1038) de Joachim JuNGHus, que merecé ls elbgios de Leibniz; en él se hace men-
Gin de este ejemplo de argumento difieil de formular en Togica aristotlica: «un
‘tate es una gua, por tanto todo el que dityja un circulodibuja una figura, EL
‘tro Le Logique. ou I'Art de penser, més popularmente conocido com la Lé
{iow de Port Royal (1662) de Antoine ARNALtD y Pierre NICOLE, que formaban
ine del movimiento religiso de orientacien pietista al que se vineuld Pascal
ontrariamente a Ramus los autores de est lro, que two gran inflvencia incluso
hasta iso xx, creen gue la lgica no es el arte de bien disertr, sino de pensaro
tavonar; yoftecen un tratamiento tradicional, muy senciloy elegate, de la Wgica
{eductiva, acompenado de cuestiones de episemologia y metodologa. La aport
‘on mas interesante de la Légica de Port-Royal es la docrina de la comprensién y
fn extention de los texminos y conceptos generale (Ia primera se define como ¢t
‘Conjunto €e nots que implicany la segunda como el conjunto de individuos a les
‘que se aplcan),
SPECCCCEKEKEHHCHEHTRELHKELERADAMADADa: 44 LOGICASIMBOLICA
La logica desde Kant a Mil historiadoc de la giea Ivo THOMAS ha la-
mado «intemgnon al lapso de tiempo que transcute entre el inal del flresimiento
‘de la ogica en la cacolistica tara y a emergencia de Leibniz, precursor del Wigica
‘matemaiea. En este laps de tiempo, que acabo de resefar, I eeacién en €: campo
ela logica deductive es escase.
‘siglo xix eta linea contin enel mbit losofico, a espaldas de larevolu-
ibn dela lgica formal acontecidaenel campo matemitic. Las lecciones de Légica
‘Se kas, poblicadas en 1800, hacia el fal de su vids, conservan el espirtu de Por-
Royal Yel admirable Sistema de Iipiea deductive inductiva (1843) de John
‘Steakr Mit (1806-1873) es mucho mis ereador en el tratamiento de ls induceion
‘queen el de la deduccion
B._ LAINAGEN MATEMATICA DELA LOGICA
84, El suet de Leibniz
En la historia del pensamiento, Ia Slosfia y Ia matemdtica han reeoridorutas
uns veces convergentesy otras divegentes, En una de las épocas en que la conver
(rele ene ambat fue mayor, en Ia Europa modema de los siglos xvi y XV,
Rage la gigantesca figura de Gottried Wilhelm Lets (1646-1716), que ocupa
fin pusto de primer tango en la historia mundial de una y ota: en la historia de a f-
[owns com maximo representante dal racionalismo idealistay del optimismo me-
tafuico yen la histor de la matemtcn, como ereador del andlisis infinitesimal
La produccion ilosifiea y matemdtica de Leibniz es bien conocida, Pere no 1 es
ano i obre logics, daparea en ensaye y sponte fragmentarios, muchos de los,
‘nies han permaneeid inditos, hasta gue el logo francés Louis CouruRar los r-
Copia princpios de ese siglo.
a. La idea de una emathesis universaiss, Ya en su juventu, cuando an no
habia cumplido los veine, concibio Leibniz en un ensiyo, De arte combinatoria
(166), la dea de disear una notaciér y unas relas de céleulo similar al matemié
ico, pero susceptible de ser aplicado a bs pensamientos (En é analiza eon cera de-
tention el Ars magna de Luli.)
‘Desarollando una idea paresida ablaia mas tarde Leibniz, en su mooografia
Mathesis universal, de dare la fileoiaelrigoc de la matemitica mediante una
‘urva logics, dstina de la antigua, queen su opinign slo pod ser eeads por un
‘matemalico, peo cuyo uso no seria slp para matematicos. Reconociendo que Ia m
{enitica ene! sentido tradicional es slo una Mathesi speciais, pues se limita espe~
‘icamente al estudio de lacantidad (clenta generais de quantitate, Leibaie ad
‘ere que la aueva Iga sera wana clencia general dela cualidado (scienia genera
lis de qualtate) Varios de los nombres que propone para esa lgica sofia tienen
flo de profeticos: Logica Mathematica sve Mathes universalis sive Logstca sive
Legiea Mathematicorum.
Los seeretos def cilculo. Un de las claves del proyecto lebnizino era et
iseto de una notacién simbolica, I ecaracerstica universal: un conjunt de sim.
‘clos o earacteres que se podieran poner en corespondencia con los pensmients,
, por ejemplo, « nuestra manera de contar ls
horas del dia: cuando las agujas del reloj marcan las 12, vuelven a mateat desde
1. Anilogamente, contamos wmédulo 2» cuando legado este nimero volvemos
a empezar.
PRCCKLLC CAL HLEHKEREEHH HEREC REAA99900: 478 LOGICA SIMBOLICA,
1 ellos una coriente, son una impresionante realizacin te
sel ote de quel edlealo Tico exe! mismo pe el mate
gen de Ia intuicion d
7a equa inci bisa de Boole esque sus fcmulas de sa gia
uedbn ser atemativamenteinterpretadas como operaciones de sloistica asta
parte declares) y como operaciones deductves sobre enunciados complejos (di
«ae proposcions). a. conciencia cara de a division dela Ligies elemental en
ran ie cinpos, ya sujecion de ambos aun solo culo formal es otra de as me-
trorables aporaciones de este pensar.
3S) Lavtererainticin bisica de Boole esti en la idea de representar mediante
tes simbolos aly «Om, respectivamente, al Todo (Ta toalidad del wniverso) y 2 la
eae ia inerpcteign dl algebra gies como cileulo de clases. (En linterpreta-
Nn alterativa como edleulo proposcionl 1 y O denotan verdad y fasedad) La
Speracion mental que Boole lama elrciéno selecién, po I que pesaos 0 con
Primus coleciones de cosas results asi elegantemente matematizable. Six ¢s una
aanengg cosas, Ir sera su wclase complementaran(lteralmente: vel unverso mer-
sf eno), iategrada por todss las cosas que no son x. Sea x la clase d€ los hom
Pees lade tow animales la de ls piedras. Una proposicin categérica universal
ea (pe «Ningin hombre es cra) se expresria asi en lgebra ica
0,
ueriendo decir con ello que la clase xz es nla. La expresin simbéica dela univer.
‘al airmativa seria, en cambio,
x(Iy)=0,
{eclarando anilogamente la nulidad del producto de ln clase sujeto con la comple-
‘nSttaria de predicado(Iiteralmente: «No hay hombres que no sean animale»)
Ten au abla principal y mucho mds extnsa Las lyes del pensomiento (The Laws
of Thought, 1834)", que ineluye aplicaciones del dlgebra lgica ala discusion de -
vas Blesokcos y ua teoria dela pobablidad, Book desarola més a fondo su sis
tema, aungue le sobrevino la mee sin lograr liberaro de graves limitaciones. Una
1B tins ex que st bien los pasos inca y Ios teminales en su Algebra tenia un sen
{ids clarament lgico, no sucedia ar con algunos de los pasos intermedis. La inter
pretaciOn de la suma logica como dsyuncién inclusiva acareabs también complic
ones Finalmente Boole a diferencia de Frege, no toma en consierscin el ro-
blema de fa lgica de las relaciones, prisionero quizd del esquema tradicional de Is
proposicin como weujto-predicadon
Tio de sus principales seguidores el matemético y economista Wim Stanley
sevons (1835-1882), loge hacer mds coherente, aunque complicindob, el cilculo
‘e Boole"
"Hay edicin espafola de la parte inicial de esta obra, traducida por J. Mar
ret Dominguez Rodriguez, en Paraninfo, Madrid, 1981
"Jevons salva mejor que Boole la autonomia de la logica com ciencis de
la eualidad y hace més coherentes, aunque mis complicados, los eélculos de
flgebra logics, que ampli6 con la tooria de las formas normales. El sugicé le
{ectura del simbolo de adiign L6giea «+» como disyuncién inclusiva, pues Bo-
ANEXO: BREVE HISTORIA DE LA LOGICA 479
b, La Bipica de Peirce. El mis grande filsofo norteamericano, expeno en
rmiltiples ciencias, equparable quizs a Leibniz en versatldad y originalidad, fue
Charles Sanders Prince (1839-1914), cuyo intemperante y poco soviable earicter
frastré su careraacadémicay lo conduj ala rina Peirce fund® la crvent filo
Fiea denomisada pragmaismo, eultvada también por ss contemporineo Wiliam Ja
‘mes yen la primera mitad de nuestro siglo por Jchn Dewey.
‘La princpal aportacién que le debernos en ligicaes la formalizacion y desarollo
del ello de relaciones, al que dio varias versiones en una serie de ensayosescitos
nite 1867 y 1885. Peza pica de eve edeulo, ya iniciado antes de €! por Augustus
De Moncan (1806-1878)* y sistematizado después por Emst Scunosoen (1841-
1902) e el anlisis dela operacion del wproducto reltivon. En conexion con estos
temas ego a descubir —de modo independiente aunue varios afios después de
Frege—el wo de cuantifcadores.
entre sus decisivas contribucions ala lgics de enunciados se cuenta: a intro~
‘duccin de a relacion implictiva; la constaccin yel uso (en el que se adelanta en
medio siglo a Wittgenstein) de las tablas de verdad como método de decison de la
Walidee de fanciones vertativas; Ia dea (en la que se adelanta también en medio si
flo a Sheer) de reducir por definicén los coaectoes a uno solo, el hoy llamado
tor ee nega cnj, ea os pris entoet, Pr ny por
Peirce es asimismo ereador de la hoy florecente semisricao teria de los sig
nos "En ligiea inductva su teoria de Ia abduceiénexplica ejemplarmente el mé
todo hipotéico-deductivo y es una de las apenss confesadas fuentes de inspiraiér
{e Sic Karl Popper.
‘le to interpreta en el sentido de Ia wo» exclusiva. A Jevons le debemos tam:
bign la confeccién de un «piano mecdnico» para computar operaciones silogis:
‘Otros ealtivadoresrelevantes del dlgebraIigica son el escritor de cuentos in
fantles Lewis Cantot. (1832-1898), que es también autor de una Symbolic Logic
(1893), y John Venn (1834-1923) a quien debemos los diagramas que llevan st
hombre, co la consiguientediscusion del problema del «imparte» 0 compromise
Exintencial de las proposiiones categéricas. Su Symbolic Logic se publicd en
1881
"De Moncas es figura pene entre la lgica tradicional y a ligicasimbtiea
Dio su nortbre a las conocidasleyes dela logica de enunciados y mantuvo una ee
be discus eon su contemporinco William HAMILTON sobre la wcuantificacion de
predicadon en las proposiciones categéricastrafiionaes. Su investigacin sobre ls
Togiea de las elaciones es pionera en la materia
© El opisculo de SetmobeR Der Operatontreis der Logittalils (El crculo de
‘operacione del céleuloligico} (1877) y su colesal obra en tes volimenes Vorlesun
igen ber die Algebra der Logik (Lecciones sebre el dlgebra de la ligica}(1890-
1905) reprsentan la eulminacion del lgebralbica ene siglo xix. A Schroder le de
betnos ls observacin de Ia dualidad entre la adcién (disyuneion) yel producto (con
jneidn) enlogica.
"En su novela EY nombre de la rasa el semitieo italiano Umberto Eco le ride
hhomengje al mezclar en la figura de file-detstive que la protagoniza rasgos caac
Tedsticos de Guillermo de Occam, Sherlock Holmes y Charles S. Peice 480 LOGICA SIMBOLICA
La lgico de Frege. Frege 2s en la historia de a igi a figura mis pare-
cia y ala ver mas ouesta ala de Arstices. Igual que ét, se propone crear una
62a FSyracta de la inferencia, trea que realiza él solo y dé un modo, como dijo,
Kant de Ansotles, wperfecto y acabadon. Pero su obra logica es mucho més dec
Rate te de Boote en la inaugurzci6n de un nuevo paradigma deductivo que se
cde califcar de no aistotlico, en la medida en que exige Ia constracién de un
Taj arial qu se apara del natura, en que cambia por el esquema de «fun
oktargumento» el modelo tradicienal dela proposicidn entendida como «sujeto-
sheticadon yen que crea la weora de lacuantifieacion corno marco basin de as de
Svesiones
La ifivenca de Frege, prictiamentenula en el siglo xix, seh tomadoabsoluta
nol xX. Si durante sigios Ta inmensa mayora de los manuales de pica se ajustaron
‘Tipawn arstotlieo, en ef nuestro se atenen al de Frege. En los manudestradico-
afer el modelo dedctvo ea la silogistca su preémbulo la dotrina dela propos
categerica, Ea los nicvos el medelo deductivo es la teoria dela cuaaiticacion y
Su predmbulo el aprendizaje del lenguae artifical de primer orden.
Le Conceprografia. Gottlob Frect (1848-1925) fue profesor de masemiticas en
ta Universidade Jens, donde transumié su vida. Abrigabs la conviceién de que la
tlencia matemitica, dejando apare Ia geometi podia deducrse de la Kigica. Y al
‘encontrar dficltades en el intento de probarsu tess en lenguaje orirario decidid
‘labora ef instrumental Togico adeeuado inluyend el diseio de un lenguaje ati-
ficial.
"A este fin esrbis, cuando ain contaba teinta y un afi, su Coscepiografia
(1879) un libro de ochentay ocho plginas que ibaa revolucionar la historia dela
Nénica pero cuyaacogidaincial no pado ser mas decepeionante
{En on prologo de seis pgina expone su objetivo. Dado que las prucbas cientif-
cas on de dos tipos, as que tienen fundarmento en a gia y Tas quel tienen en
{Mexporicncia, y ew cl entendiment de quo las prusbac en matemstin pertenecen al
Primero, el autor se habia visto en I necesidad de coregi las lagunasy defects del
Tenguaje natural como vehicul de exposicin demostrativa,creando un knguaje at
feat que se uviera eatritamente, dejando fuera de consideracién todo lo dems,
‘contenido conceptual (begriflicher Inhalt) ya las relaciones de inferencia. De ai el
{alo del ibro, que viene alarado gor su subtituo: Un lengua de formulas del pen-
Samiento pura, construido a imagen del arimétic.
Las telaciones ene este lenguje y el natural, precisa Frege, son parcidas
cxistentes entree oo ye microscopio. Elo es superior a éste en fv pero To ne-
‘esta pare la cencia, No falta en e prélogo el recuerdo al proyecto de Leibniz, «de-
‘hasiado sigancrcon para se realizado de una vez, pero quid accesible por pasos ©
“Tona, como paresian acreditalo ya la antmética, la geometrao la quinica, Dale re-
aida en la tora de la inferenciapudira se, a este respecto, un paso desisivo.
EI leo se divide en tes partes dedicadas,respectivamente, a ntoducir 1a nota-
cin, exponer y dervarsjieios del pensamiento puro, ycontemplar algunesaplica-
‘ones tatematicas. Las conquisas Iigieas de Frege en este opiseulo son, entre
‘tras, ls siguientes: 1 ivenein del modelo «funcién-argumento» para formalizat
ta proposcin: 2) nveneiin del cuantifcador; 3) invencin del leu cuanifiacio
° Su traduccién espafola se encuentra en preparacién en la Coleccién Filo-
sofiay Ensayo de Editorial Teens
‘ANEXO: BREVE HISTORIA DE LA LOGICA 481
ral, incluida la cuanificacin milkiple; 4) formalizacién precisa deta implicacién
‘material; 5) conexiénsisemitica del cilculo proposcional con el cvanificacional; )
‘xiomatizacén completa de la lgica element y 7) distinc entre axioms y re
‘las de inferencia, Si se repara en que esta tina distincién es ignoada en obra in
{ruiales del siglo x como el Formulario mathematico (1895-1908) de Peano o ls
Principia nathematica (1910-1913) de Whitebead Russell, hasta que algo mis tarde
[Eskastewirzllamara la atencién sobre ezeolvido, se estar de acuerdo com el histo
Fiador de ln Wgica BocweNski cuando escribe: «todo lo poblicado entre 1879 y 192
‘cae por debajo del estindar de Frege».
Elrasg que ms salta a la vst dl lenguaje ideogrifico dela Conceptografia es
su bigimensonalidad. Conviniendo con Frege en que
A
cs representacin de wn enunclado y
==
ta asercién del mismo, la representacién y a azercién de una implicacion (si B, ex
tonces A) se simbolzaian, respectivamente,
el fate
(En su calidad de condicién,suposicino hipsesis, el antecedent es situa grifice
mente absjon el consiguiente, qe queda hipotecado por es condicion.)
La negacin es simbolizada por Frege adosando media barra vertical bajo el
teazo horizontal de la proposteiOn negads. La definiciOn de la conjunc (B y A)
tn terminos de negador e implicador (no es certo que B implica no A), se repre:
a
El sisema axiomético de la Conceprografia reduce el vocabulaio Togico 2
trcs palabras: implicador, negador y generaizador, definiendo por ells las de.
sis. Sus axiomas son nueve: ocho tautologias (carga de premisas, dos cadens
4e silogizmo hipattico, modus soles, dot leyes de doble negacién y dos Se
‘equivaleria) yuna ley cuantficacional de eliminacién de generalizador que
Frege formula as
A
fo
Fema
ECECEEECECEEEELELEETERUEE RIED RERD 482 LOGICA SIMBOLICA
£1 euantificador universal est epreentado por una concavidad en el taz0 hore
somal de la proponicign cuantifeada en el que se aloja uns letra gtica indicative de
era sble gad, La fesobviamente una letra preicatva, La inicareglaexpliita-
mente aida de inferencia es el modus ponens.
profesor que apadrinaba al joven Frege en Ia Universidad de Jena no se equi-
socal vatcinat que ese libro sera enlendido por muy pocas personas. Ente las es
‘Shs revensiones que se hicieron eco de él, dstaca el juicio rotundamentenegativo
‘ntido por Venn Sehrdder, representantes dela escuela de Boole, Frege sontesta-
fia pacaaseando 4 Leitmiz, que su lbgea no era, como la de Boole, wn cabs ra
‘iosnator de fnalidad mis menos price, sine, ms profunday radicalmente, una
lingua characteristica com ambicion tevica, que al ser bidimensional permite apre~
ca Visaalmente los dos factores de la dedacet: los nexos de inferencia (grtica-
fhante represents por lineas)y el contenido conceptual (gréficamente represen-
tah por leras). En ese lenguje no bay supuesios ocultos y as lagunas 0 agujeros
notienen lgar
Tas siguientes palabras de Quine * sompendian el significado de Ia Conceptogra-
Jaen la historia dela Wgica: ai es deplorable exagerar la brecha entre [a vijay la
fnuva logics, mis deplorable an, empero, seria subestima la novedad e imporancia
‘lla nueva. Lapublieacin dela Conceprografia en 1879 fue el pregn de vn renaci-
‘mismo, pues aport la tora dela euasificacién y, con ella, el intrumento mas po-
tertey caracteristico de la moderma lGyica. Problemas lgcos y semantices que t-
‘zon en vil a Toms de Aquino y otos pensadores admiten un tratamiento mis
Tipe y claro a la luz de la teora de la cuanificaién, eon cuya ayuda is logicas
Imaerns han logrado huminar, en grado no sofiado hasta ahora, el mecanismo de Ia
ddluceion en general y dels fundamentos dela matemitica en particular.
Elprograma logicsta._ El desevbomiento a principlos det xix de tis yromcias
o-eucidanas, que se desviaban de Ia de Eucides sin implicar por eso uta contra-
‘Secibn, debits la confianza en la ida tradicional de que la geometria eucliiana
‘proporcionan sido Fundamento intuitive ala teria de nimeros. Por om parte I
Teola del edleulo infinitesimal, que habia servido de uilisima herramienta ala fisica
‘deNewron, planteaba problemas eritios sobre la legitmidad del uso dela nocin de
fenton matemstion En la segunda mitad del siglo rx tienen lugar en Alemania
TelexiGn de grandes figuras como Wacasrtass, Deoexino y Caxrox sobre la defi-
tin de laa de mimero y sobre I neesidad de establecer de un modo concep
{uly no intitivo las bases de la materitic.
En ese eirculo de problemas se inserbe Ia tarea de investigacén que s propuso
evar a eabo Frege durante toda su vida y ala que se etiqueta con el nombre de log-
‘imo. El programa logiista e propone demosiar que la gia y Ia matematic tie
fen el mismo estatuo epistemol6gico, ¥ que la matemitica puede reducine a la 1o-
lca, puesto que sus conceptos pueden ser obtenidos por defincién a pari de con
xpos Togicos y ss prinipios y teeremas pueden ser obtenidas por daiuccion
ports de principios y teoremas logis. Este punto de vst, afin al de Leboiz, ©
Dponia radicalmente al de Kan, quien hubiera considerado absurdo trata de reduce
ts proposciones de la matemtea qe eran para lsntétieas a priors, ls propos
ines lgieas, que eran para él puramente anaitcas
™ W, V, Quine, Prefacio a J.T. CLARK, Conventional Logic and Moders Lo-
se, Woodstock College Press, Woodstock, Maryland, 1952.
ANEXO: BREVE HISTORIA DE LA LOGICA 483,
{bs encode Conepmrai ro fap Frege un ine io sin ue
‘medio a1 servicio desu objetivo logicista, que aparece primero expuesto en un en
{ine 0 Unico ens obra Los fndaments dele artmatica (186), mucho Mis
tarde desarllado con todo el rigor de lenguajsconceptogrifico en lo que el pense
que seria si magnum opus: Las Teves fundamenales de a arimetca (0. 189%
vol. 1903.
[A final de Los fandomentos de la aritméca esebié Frege: «con ts prscote
‘obra espero haber conribuido ala probablded de a tess de Que las leyes de la ari
mética Son jucis analtcos por ant a rit. La aritmetica resulta se ast mere
despliegue dela liga; y toda proposicin de la aritmética, una ley Hopes, aungy>
dzrvada» No poiasospecharentonces que Las lees fundamentals de 1a ariimé-
tic, la gran bra con la que qiso corona teint aos de tbajo en el programa lo-
sii, iba a quedar bloqueada por el sorprendent descubrimiento dela paadoja d=
fas clases debido al oven lgico Bertrand Russel Tras dsespeados intentos de e-
solver el problema, Frege dio finalmente por facasado su programa y termind ss
tins acogiéndose Ta tesis tmadzional de qu la teora de mimes tiene su funda-
‘meno en a geometia.
La semintica de Frege. Los ocho afos que tanscurieon ene Ia pubicaciéa
be Las fundamentos dela aritmética (1884) y el primec volumen de Las eyes funda
mentale dela aritmética (1893) reresentan un periodo paricularmente ereativo &1
Frege. A ete periado pertenece una serie de ensayos en que reflexiona sobre los fu-
‘De esta efinicin se desprende: a) por una parte a libertad pricticamente om-
himods, segin Cantor, que tee nuestra mente part formar totlidades ceuniendo
fbitariamente objets cualesquera (yo puedo elegit, pe} enteramente a capr-
to dos persona cualesquiers, como Shakerpeare y Cervantes, o dos nimeros cua-
lesquiera, como tres y cinco, y formar un coajunto con eada uno de tals pares ©
agrupar esos cuatro objetos en un sol conjunt);y 6) por ota pate, unaexigencia,
{Ge contol objetivo que compensa de a anterior libertad y relama que 1s objetos
reunidos para formar el conjunto sean adefinidot» (esto es, que dado ur. conjunto
Sea posible en principio decidir para cualquier objeto si pertenece no al conjunto)
Y wdistntosn (Fo que evita el riesgo de confusionesy repeticiones en el control de
objeto).
1 teorema fundamental deta teria de conjuntor. Un punto enlminante del
escubrimiento de Cantor fue el llamado teorema fundamental dela tori de con-
juntos, que ba sido objeto de grandes discusiones por pate de filsofos y matems-
tivo: «El eonjunto enumerable de tedos los nimeros naturales (y asimismo el de
Tos racionales) no es equivalente al continuo, sino s6lo a una pare © spconjunto
propio de éste. O dicho mis brevemente: el conjunto de nimeros reales 10 es emu
tmerable:»
‘Asi jutificaba él su descubriniento: «A la idea de considera (.] Io inf
rntamente grande no solamente en le forma de lo indefinidamentecreciente, sino
tumbién de fijarlo matemiticamente por medio de nimeros bajo la forma carac-
testes del infinito actual he sido casi contra mi voluntad, en oposicién a mis
mis preciada tradiciones,cbligado de manera lies por el sentido del esfuer20
Ccentifico y de las tentaivas de mihos aos, y por eso tampoco cree que pu
‘din aducirseargumentos en contra que yo no haya sabido encontrar
*alinter einer “Menge” verstehen wir jede Zusammenfassung M von bes-
timmten woblunterschiedenen Objekten m unserer Anschauung oder wnseres
[enkens (welche die “Elemente” von M gennant werden) zu einem Ganzen>
(Carron, 1895),
ANEXO: BREVE HISTORIA DE LA LOGICA 485,
Prucka del teorema fundamental: ef métrdo diagonal. La prueba del teorema
fundamental se efeeni por modo indirect ssponiendo que el continuo es enumera-
ble y dervando un contadiccin de tal suposicén, Pero antes de proceder a su disa-
roll corviene tener en cuenta algunas preciiones
1) Fara demostrar el teorema basta tomar primero como continuo, no todo et
sistema ce los reales, sino slo el intervalo particular de ellos que va de O aI (es
‘ecir, no toda la linea recta respresentativa de exe sistema, sino slo un segmento
Finito de ell). A este intervalo lo denotamos por I. Luejgo seri facil extende: la
prueba atodo el continuo,
2) Seri conveniente cepresentar los elementos (nimeros reales) del continuo
como decimales(Fraciones). A ese fn, un eorema elemental sobre decimaless
tablece que todo nimero real positvo puede ser expandido o representado por un
‘decimal sinfinito» o no terminativo esto es, un decimal que despues de evalquira
de sus digtos contiene siempre otto digio diferente de cero. (Hay némeros poi
vos que sdmiten una expansign en un decimal teminativo,P. ej 3/4 = 0,73; pero
entonces existe tambien una expansin infisita del mismo nimero, a cuales, en
rvestro eas, 3/4 = 0,74999... Elo se obtiene disminuyendo en una unidad el digto
terminativo de la faceién y agregando a su derecha ina serie interminable de nik
mmeros 9)
3). El teorema Fundamental afr, pues que wn conjunto equivalent al de los
naturals, esto es, enumerable, no puede contener todos los decimales del continua, ©
de un interval del mismo,
De acuerdo con las anteriores indicaciones,supéngase ahora que
el eee
es una lisa o enumeracininfinta de (algunos, aunque no necesaiamente todos los)
‘nimeros reales pertenecientes al interval, Polemos también escribir, de acuerdo con
‘sa lista yuna debajo de or, las fraciones decimal no terminativas que, resp
‘amente,corresponden a eada uno de esos nemeros
No. Tor Mea Xan
N
Hoe AB Ny
La tbla consinye, como l lista, un método de enumeracén de los infiritosnine-
oe eales contends ene terval. Sin embaro,eabeasegurae qe esa erumeracin no
los gota. Como pruca de ello puede especifcrse un decimal x” qve sano terminatvo
(toe, que denote un nimero ral) y que comiene por O (esto es, que pertenezca alin
tervalo 1) pero que no ex contenido en la abs initacuya constrocion se aeabs de
indir. Su estore ser pes
PECECEELUEEEEETETTETE ERE S4 Sea: ~~
2
LOGICA SIMBOLICA
50.8) x18
ara identifier econo corto decade uno de ss digas considers
i a eps, abl, ar eos gs: 9710259
ir moe el suite modo: cada uno de os suis dios de
sa ts emplarado porn dito ieee de ms
ee ui corn
sis ene reso. es
Kei ioe heen eer ae cg
ter mee ee an a
56. De Russell a Hilbert
1 La lbgica de Russelly Wingenstin, El papel que a desempefiado Bertrand
Ruste (1872-1970) en a storia de la bgica de siglo xx est marcado por drami-
peeseikarstes. Por una parte, ha sido el mis ardiente defensor del prograns log
Teen Sia a plenarelizacibn dedcd, aque sin conseguirlo, Ia monumental obra
Principia Mathematica (1910-1913). Pat ota, fue &l quien descubrié, emulando &
Povo be Eta la paradoja de as cases, que desencadend la Hamada wcrisis de
aoe ese dela matematcas Pree a ls denodados esfuerzos de Russell que ie
rea de tipos para contrarrestarl, este descubrimiento contribuy6 a a rina det
Hal fouicista Finalmente llama fa ateacin la circuntancia de que, habieado sido
Teel! Ia primera figura mundial dela logica matemitica en In primera désada del
{if tomar al acabar la primers guerra europea la deisn de andor es campo
re deca el resto desu vida aa flsofia general y ala politica ™ A estadession
fo eton jenas as critics de Wittgensein,
a poradja de as clases. En subiografa intelectual rcuerda Russe i=
ck eh essen 10 onl main 9 tp Haina Gi
ase Fess on sl Congreso Ineacioal de Flosofia. Rass ea ya unlopicists
a eae conaia Wc I i ob de Castor de Frege, yl prec gue el
sect de ean, macho masinivo lege que eld a Conceporai, p>
tatehepG chico md adcundo pare ponee en rch et progam de dui
trtemdtich a partir el gia ; E
Pe tka de mits, como fa fam, onc idea logicista dro poss. AL io
signet ates aja sobre la ova de Cnt, descubi a amas «pared
™ En 1940, sin embargo, publica una obra de semantic y filosofi del len
gunje (nvestigacin en torno al significado y la verdady, unos después veris
rtd on bro suyo de epistemologis (Conocimiento humano, 1948) que incluye
ta teoria original del eazonamiento indtivo.
malizacin de la aritmética véase més arriba, Capitulo
ANEXO: BREVE HISTORIA DE LA LOGICA 487
de ls cases» wparadoja de Russlly, efererte a ala contradicion acerca de las,
‘aes que no Se pertenccen a si mismas». Alarmado por su hallazgo, que parecia
‘muliplicarse en miles de contadiccioes, le eomunicd la anomalia a Frege, quia
respondio qe la aritmética se tambaleabn (wie Armed isin Schwanten gera
ew) ™
‘La paradoja de las clases ha sido formulada a por CuRny
|. Claes y clases de clases. Pareceinitivamente evidente que disponemos
KeR) (por definicién de R)
2 ReRO-r(ReR) (Gsttuidn de X por R)
Laine (2) establece una equivalenciaenre R€ Ry la negacién de Re R
‘Ya en 899 habia descubiero Cayo, aungue sin publicarl, una paradojasim~
tar sobre el conjunto de todos los conjuntes: sein un conocido feorema de a teora
a «Par, pero
‘01 uPPam, donde el predicado fuese «Py y el argumento «Pa»). La verséa técnica
{que da Russell del principio es ésta: ninguna totaled puede contener membros
‘uya definicion incuya los miembros qu la integrany
Para poder determinar con seguridd cuindo procede y cuando no aplicar ese
‘prscipio entra en juego lator russelliana de ls ipo, que obliga a isiguir una
‘Seve de estratos en el lenguae, que cabe desenibir asi en orden ascendente:
Los términos 0 sujtos de las proposcionesatémicss, que denotn indvi-
duos y jamis pueden fancionar como predicados,constiuyen e ipo primero y mis
bap.
Por ejemplo, un conjunto C que conse de dos elementos, ay b,tese custo
sutconjunts: el conjunto vacio, el conjunto unidad frmado por uno de sus elemen-
‘os el formado por el oto, el propio C, que es subconjunto de si mismo.
ANEXO: BREVE HISTORIA DE LA LOGICA 489
2) La totalidad de ls proposicionesatmicas y de ls proposicionescuantifca-
das en as que sélo las variables de individun queden ligadae por la euantificacisn
son, dice Russell, «las proporciones de primer orden, que constityen el segundo
tip lea.
eae a opines gut vere soe ts ias —encuyo as fs cat
ficadores no afectan exclusivamente a simbolos de individuo ~ son elas proposic-
nes de segundo orden, que constiuyen el terser tio Iogican. ¥ al sucesivamene
Para Russel xo tips oestatos tienen una bas en I eld: as proposici-
ses de primer orden tata dels propiedad que convienn inmedatament abs
objeto, y las de segundo orden de Tas propiedades que convienen no ls objeto,
Sino a Tas propiedades de étos. Los tpos gustan ete sf uns jerarula de earscet
{ogico, eg violcin da lugar a proposiionsanomalas, qe teen erga
calmente bien consis, pero que no son verdes fsa sino arenes dest=
tid. ¥ ee ese cao de las proposicionesraradjies, que pueden deja deseo
‘cuando se come Ia confusion de poo de orden en gus incuren. Cuando el eee
Epimenidesproclama que stoos lon creases ienten» poriamos entender i
‘efndase una ‘ald de proosiions de primer orden desde una ropoicin
de segundo orden, sin neu, por tanto, en canradecién.
Esta ea lamada fora simple de pos, que a encontrado un grado relatia-
mente general de aceptacion Por razones tics, sin embargo, Russel se ev
1a nceridad de complica consrayendo ura tora ramjienda.Queiendo eulit
cles dfnciones que parecianaolecer de crclaridd,subdvidio Darocamente
ada tipo en érdene, no tran yor eitio, como en I era simple, el coe:
Into objetivo dels estates ings sto el modo de defini
En ens afos de dedieaciénobuesiva a "eaaver el problema dela parados
Russel sud a a ivenen de Ta cori de fs tps ovo feliz alan: i tear de
las deserpctones,expuesa en si breve aslo «Sobre Ia denotcion» (1903), aie
tera conderado por Ramacy modclo de conrbusin Moaifin, angus ol arsor
{la revit en qe aarei se bia esis a publcro por extravagant (Dela
tcoriaruseliana dela deseripcions se ha ntado ya en el Captlo XI, § 3, 9.8)
os «Principia Mathematica» el ideal lopcivta, Resell se adi frme-
tment hasta in dou vida tis logics de que la materia se deduce dela
login. Pro en lrealmoplaténicopofesado por mucho pridais Je eats,
cs deci en la creenca Ia feaidad de los ojos temic, se most mc
‘menos peseveane la cambié por un empcsmo erecenterenefadical
"Al desaolo completo dl prograalogiita dedi Tos ues grandes tomos Se
Principle Mathemariea (19101913) las anicios y voluminoss de ss obras
sic, que eseribié en comin con su colega Alfed North Wurrexeno (1861-194),
tatemite y Misa de Carrie
Los Principia etn eseros en un lenge simblico en gan parte tomado Je
Peano, Praponen le eri ramifcad de ips para obvie ls parades ydesarolin
‘thomdtaenteen el pier voumen I gia matemsia (esleuoproposiioaly
Antes habia escrito Los principios dela matemética (1903), donde analice
y discutié los concepios bisicos del logicismo desde un punto de vista mis flo=
Sofie. Pero el primer borrador de esta obva estaba ya terminado antes de que
Russell descubriera Ia paradoja de las clases, aunque Ia versin final diera ya
cuenta del problema y adelanara incluso ura teoria simple de tpos.
RESAAFELEEECEFERERERELELEPUTUVI A: 490 LOGICA SIMBOLICA
“unmifcacional més eilcule de clases yelaciones) y la matemitica els stants
uae de carinals intone infin, aritméia de relaciones, series era de
nial).
ale punto de vst formal el sisema de los Principia tiene graves fects,
ent cttese vido del diferencia ete axionasy repas de inferenca, Peo la jus
entre cade sus contenios deja mis que descr. La ramficacién de eoria
Li encaminada a bloquear defincionesindeseables, bloqueaa también de~
oe ne aprescndibles para sacar adelante l tora de mimeres rales. Los auto
fies pctendiron neal ese desagadable efecto invocando un aon
ide ee tena trazas de proposcion adhoc y no coavenci6a casi nai
arte Quine 4 proposto de giismo de Russel, una cosa es que gica
nds ato de conjntns poeta servi de fondamento fa atemética —es lates de
i ot tr a por probar, qe a orn de conjunto se derive de Wien
tas ericas de Witgensten y Ramsey. El Tracttus logicophilowophicus
(aot) de Wingenten upa un lugar propio ena historia dela gia y 5 a ¥e2,
crpntve no slo, consecuenciay refutacion de los Principia.
Mee ents dicipulo de Russell, Ludwig WrrTOENsTEN (1889-1951) cuestions
oe ess capitals de a filosofs ica de su macs, Silas constants log
casa interdefinibles y las proposiioseslogicas tautologias,cuyo valor de verdad
ea rege consruyende mecanicamente una tabla, lo sistemas axiomitics piewen
eee de su majentoea arogancia El Tracarussentencia ademis que wl ogica no
a ie sabre el mundo 9 que 2 la palabras logicas no les comesponde ningin
ics al, como tampoco Tes corresponds contenido textual a los puns y pa
teatesis de un reat.
titans disipulo de Russell y Witgenstein que muri prematuramente, FP
Base emtg8 1930, mejorD con gan incligeaia el lgielzmo rusellino,dvi-
(ee ls paradjas en logicas (de las qu es ejemplo la paadoja de las clases) y se-
diem ide Ins gue ex cjemplo la del aentroso) y agumentando que basta la eo-
race de pas para bloquear las primera, miearas que las sequndas to afecta-
Ca cate di sitema de los Principia, Ello permita elimina la teora ramifcada
(Gar so como anda de paadojs emanteas) y con lla enojoso acm de re
susibildad
b. La teoriaaxiomitica de conjento (sistema de Zermelo-Fraenkel. EX wn
mevorableaniealo de 1908, envestigaciones sobre los fundamentos de I teorta de
ajumtoey, el satemitico Emst ZexNeLo present la primera teria axiomética de
Serhintos, (Ala teria preaxiomitica de Cantor se la llama desde entones elisia»
Sngenuan ) Zennio define la teode de conjuntos como wl rama de ta matemitica
sae eeape de investigar las nociones de “nimero", “orden” y “funcion”y de desa
Ee jus Tandarmento lgicos de toch la aitmética y el andlisise, Pero reconoce la
ska amenaza que sigan pra ela la antinomia rsslliana del conjun de todos
Fe conjuntos que no se petenecen a i mismos como elementos»; y pins que, ara
we earl tenia creda por Cantor y Dedekind», se impone somes a sever r+
triccones qu Ia aljen de la contradicién
“A cats fin proponereducirla wa us pocas dfiniciones y siete principis oaxio
‘nas, cuya cotsisiencia no puede an garantizar, aunque ls eee sufiiens para cS-
Cpr a as paradoas.
Et mareo Formal de la teria es Us Ligiea de primer orden con igualdad. Et do-
rinio ounivera de Objetos que sl ines el de todos los conjuntos eindividuos
[ANEXO: BREVE HISTORIA DE LA LOGICA 491
{atudidos aqui unos y ottos por cualesquieraminisculas det lfabeto en calidad de
(eetaverisbles) El tnico simbolo primitivo 0 no definio, signifcando Ia idea de
Ser um clemento de (o pertenscer a) un conjnia, es € (graismo equivalente al €
rego):
se le como ay pertenece a (es un elemento de)
ras roc median defo ns reacons de incsin a subconjut [on
simbolo 13) ¥ de inclson propia osusconjunto propio en sibs <2),
Zermelo proponia en suarticulo los site axiomas siguientes:
1. dxioma de extensonaldad, Dos conjunts Son iguales st contenen ls mis
mos elementos.
AxAylAst2e x26 >
|
Dado que al axioms de extensionalided determina totalmente por sus miembros
‘un conju, éste puede ser Genoa por uns relacin o lista de ellos, cualquiera que
ea su oulen, conveneionalmente encerrada entre lave
fabed
2. dxioma de pares, Para cualesquera dos elementos x ¢y del dominio existe
‘un conjuntoz que edatieneexactamente amos.
Axayehuue 20=xVu"y),
5, dxioma de separacién. Si un predicado o relacién est definido para todos
Jos cenantos de un conjuni dado, existe un subcoajunto de éste que cntiene como
Bets precisamente aquellos elementos de dicho conjunto de los uales es pre
ficado es verdadero,
Axvyhaine yO 2E KAW).
4, Asioma del conjunto potencia, Pars todo conjunto existe su conjunto poten
«ia, qu exe sonjunto cos tnimbros soa todos los subeonjuntos del primero
Aavyheize y 09 Aulus 20).
|. daioma de uniée. Para todo conjnto x existe su corespondiente corjunto
nig que coniene como clmentospresisamente todos los elementos de Io ele
mento; dex
Axvyndee yOVM@E £4761)
6. Axioma de info. Existe al menos un conjunto Z que contiene com ele
rmeata at conjunto vacio y que esti constiuide de manera que para cada uno desu
lemntos. ale corresponde también come elemento el conjunto {8} 492 LOGICA SIMBOLICA
(oe 2
@)sine Z,emonces {a} € Z
1. Asioma de elecin. Pra odo conju de conjnts no vacios qu te
a rng cement en comin, hay un conju aie consta Je wo slo le
ef decadauno dels cojuntos det
ifr et Valze x) Aylye tayex 9 Valz€ xAz6 YI
Vaariee VwAvio=w (ve wave xD
[Nota sobre el axioma de elecciin, Del axioms de eleccién ha escrito FRABNKEL
que wes probablemente el mis interesante J, 2 pesat de su tardiaaparci, el mis
“Tecatido de la matemitica, después del axoma evcliiano de las paralel, De la
tnisma manera que la hipotess de a falsedad de este postlado de Euclides ha dado
{ug @ la invesigacin de geometria allemativasno cutiianas, también la hte
‘ise la falsedad del sxioma deelecidnabre la puera ala investigacin de una teo-
Fiano cantorian 0 n0 zermelina de conjuntos que incluye entre sus teoremas lane
tdi de es axioma
[Los cantorianos pensan que renuncir a significaria, entre otras cosas, enunciar
«oo plares de a teoria de conjunto como el principio de buena ordenaciono ahi
potesis general del continuo, con los que guardarelacion de equivalenca log. En st
Thivaduccion ala flosofa matemica (1919), Bertrand RUSSELL ideb un ingnioso sk
rililustaivo de Ia necesidad que, en su opin, iene el matemitco de contr con el
txisma de clecién Imaginemos un milonario que Gene ef capicho de comprar una
ah de un par de medias cada vez que compra una caja con un par de zapatos. Imag
‘emos tambien que poste ya un conjutoinfnito de cajas de zapatos y oto igual de
hs de medias y que porn nuevo capricho quisiera comprobar cunts zapatos y
‘uintas medias tiene elgiendo de cads caja un miembro de cada par para caleular
Fuego ef foal. Tras abric cada una de las ininitas caja, habria que elegin un miem-
bre de cada pareja, En el caso de ns eas de zapatos puede servir de ayuda el citer
¥) >
IAxvyauive 99 Vuiwe xA 9(4, 0)
Y¥ en 1925 Vow Neuman propuse un arioma de fundacidn 0 resiricctin. Todo
coxjunto no vaciocontiene un miembro fal que no compart con l ningin miembro
Ax(Vyly € x) Vylye A TWalze KAZE YI
‘ANEXO: BREVE HISTORIA DE LA LOGICA 493
El ssiema de Vox Neumaya-BeRnavs-GODEL, Opinando que las restrcciones
de ZERMELO a lator elisa de conjantos eran ial vez demasiado dristicas, Vow
[Neat elaboré en los afos vente un sistema axiomstico alteratvo, mis liberal,
‘que conserva la idea cantoriana de generar cenjunos por compensa, pero int
‘endo a cambio una duplicidad de concepts primitives: la distincién entre «conjn-
tos» 9 aclasesn, consistenteen que los conjuatos pueden ser miembros de otros con-
juntos, pero no asi las clases, Perfeccionado en la Gécada de los treinta por BERNAYS,
‘este sistema le serviia en 1938 de base a Gooet, con leves modificaciones, paras
tablecer b eompatbilidad del axioma de elec eon el resto de los axiomas
©, intuiionismo de Brouwer. Ua solucén aterativa al problema de as
paradojas, que se opone radicalmente al logicismo de Frege y Russell es el infuio~
hismo de Brouwer
Esta posture tiene que ver con la concepsn que uno tenga de la des de invite
(Mas arriba recordé a propSsito de Is teora clsica de coajuntes(§ 5, d), que sgn
luna importante tradiion intelectual esa idea es vida mientras la entendamnos sol
‘mente en un sentido potencil, como indieaa, por ejemplo, los puntos suspensivos
on que sugerimos que la seric de lor mimeros naturales: 0 1,2, 3 . puode creer
hasta el infinite. AnisTOTELES y KANT son figuras representatives de esa tradiciu en
Filosofia. GAUSS, KRONECKER (que se enfent ericamente con Cantor) y Powvcaxe
(que se enffent criticamente con Rustell) representan en matemitica. Come ha
tscrito wr importante logieo actual: «La matematica no-inticinista que culmino en
fas teoris de Weierstrass, Dedekind y Cantor, y la matemitica intucionsta de Brou-
‘wer difieren esencialmente en su concepein del ifinit. En la primera el infin es
trata como actual © completo 0 exisiencial. A un conjunt infinito se lo considera
‘Como um fotalidad completa y existente, anterior o independiente de cualquier ro-
‘eso humano de generaién o consirccién (.} En la segunda el infinito es tatado
Slo como potencal 0 en deveniro consiructvo»”.
El ao 1908 (el mismo en que publicd Russell su articulo sobre teria de ties y
Zesmcloelsuyo sobre la tori axiomiioa de conjuntor) viola lux un ensayo del mac
temilico holandés [. E. J. BROUWER (1881-1966) titaado «La no fiabilidad de los
principics de la Hogica», que es un documen fundacional del intuiionismo, a pro-
sito del cual ha eserto Weyl: ela Kgia clisica ha sido abstraida dela matemitica
‘e conjuntosfnitos(.}.Algvien que olvid6 este limitado origen cometiédesputs el
terror de oforgarie prioridad y superioidad sobre toda la matemtica, y fnalmente la
‘plied, sn justiffeacién, a la matemdtica de les conjuntos infnitos.»
sie enteri leva Brouwer a poner en tela de juici prncipios y teoremas dela
Yogica ya matemiteaelisiea cuya verdad se tenia por indudable. Uno de ellos ese
‘Yenerable prinipio de exclusién de tercero: A v ~ A. Supongamos la proposcién
{alguns mimeros impares son pefectos. (Los nimeros perfects se caracierzan
por serfguales ala suma de los que los dviden sin dejar resto; por ejemplo, 1,2y3
Gividen «6 sin dejar resto y 6~ 1 +2+3) Dado que hasta el presente no se coroce
ringin nimero impar que tenga esta propiedad ni ingin procedimiento para averi-
iguarle y dado que no nos es posible recore, examinando uno por uno, la serie de
fos nimeros naturales, el infucionsta juzga swenturado decir del citada proposicién
™ Véase el pasaje de Gauss reproducido al principio de § 5,
® S1.C. KLEENE, Introduccion a la metamatemdtica, Teenos, Madrid, 1974,
p53.
TEEKEEELELEFEEEDETITEPETIVVTTITTETA: 494 LOGICA SIMBOLICA
que es verdadero fsa. El principio de tercero excludo es indiscutiblementevilido
Arudl en contexoefntos, en los que podemos decidir, por ejemplo, slo apbaoles
Feten doce,
to pica mutilardrésicamente la ica cisica. El inticionista no da, por
jemplo, dela valde irestricta del picipio de no coatradicion. Pero al 0 olor-
Pata at principio de terceroexcluido pone en duda tambien la clisiea equivalene
fundada en las leyes de De Morgan,
AY=AGT(ARTAD
“También desconfian os inticionistss del valor de las prcbas de existencia por re-
dtr al abourdo, Una prueba realmerte vilida de exitencia en matematicts debe
questo dicen ellos, constructiva, entndiendo portal que consste en aducit un
Se Risen 0, en su defecto, un métodoo procedimiento que permita costo,
Ein misma manera que la demostracign real de queen una isla hay un tesoro no $=
facia deduciendo un absurdo de #4 negacin, sino mostrando ese tesore 0 adt-
‘fend un mapa o un conjunto de instruciones eonducentes a encontrarl.
Some es de supone, los efectos que producen tales mutilaciones tOgicas en ta
matinaicaclsica no son trviales, Por otra pat, la oposicién del inticinismo al
Togo ae extende también ala concepcion dels relaciones ene la matemtica
1 ErTggce, Para el logit la gia tee prividad sobre la materia, puesto que
Zc se deduce de ella Para el ituieionista la priocidad seria inverss, pues opina gue
See Piperiencia del conocimiento humano Viene primero el proceso matmitico,
‘Sine dato concreto de intuicin —Kan dra «forma de intuiiGn pura»— vinculado
-
ea
+
ad
eo
oe
e
¢
ed
ag
o
Z
¢
¢ BIBLIOGRAFIA
LOGICA SIMBOLICA
Manuale de lgica para estudiantes de humanidades
ILM. Cor, Inroduccién la ligica, trad. d= Néstor Miguez y G. Kiimovsky, Ei
Vibe, Buenos Aes, 1964
Fe spa formal, a. de Angel d’Ors, Univ. Navara, Pamplona, 1936
Be ert Ligce matemarica element, 2" ed tad. de Carmen Garia Trev
ano, Teenos, Madrid, 1987
Jano. Teno dos de la lgica. noeva edcion, tra, de Juan José Acer y
Nieves Guasch, Are, Barcelona, 1981
El thro de Jrrney es la mejor introducrén a método dels tables seria.
Meine tienen al metodo dela educi6n naa. ElWixo de Con ta
MATE gia tradicional que muchos autores omiten.
JM. ANoERSON y H. W. Jnstont, Naval Deduction, Wadsworth Publ Bl
ont, Calif, 1962,
an cat rcnenenoy, The Language of First Order Logic, 3 ed. CLSh
‘Stanford, Calif, 1992.
wittie Honoes, Logic, Penguin, Londres, 1977
We ce ee ard MowtadUe, Loge. Techniques of Formal Reasoning, a.
Tout, Nueva York, 1964,
suc dtenwe Mathematial Logic, Wiley, Nueva York, 1967
Seca ean Feaassex, Dehation and Counterexampe, An Irae
LAMY gsophical Logie, Dickenson Publ Belmont, Cali, 1972
p.Lnttncan, Formate Logik, 4” ., Gray, Bertin, 1970
Pein Logie for Philosophers, Harper, Nueva York, 1971.
libro de Hooces es una buena ingoduccién informal, Los de ANDEtSOW
one ff cacmwMowtacu son tes clsioas de deducrin natural, Bat
JousTone ¥ Nov atlzan tabla seméntis. KusiNe ese nico aur que enplea
Se AA angus su obs, excelen, es de orentacin mis matematica due
az mea expo su conezpotn edialGgica> dela gia, Los ims de
uma, gen Van PRAASSN Se aeean mis qu OOS los tereses def
losofa,
Libros de problemas yeercicios
Lewis Cannott, Et jago de fa lgica y otror escrito, tad. de
‘anza, Madrid, 1988,
cannes Met vuano, Eat de lage, Texnes, Mari 1993.
wa 500 LOGICA SIMBOLICA
ymond M, SMULLYAM, {Cémo se loma este bro? El enigma de Dricul y otros
Trenempos lgicos, trad. de Carmen Garcia Treijano, Luis Manuel Valdés y
Consuelo Varquer de Parga, 10". Cateda, Madi, 1993
raymond M, Suutvax, :La dama o el tigre? » otrs pasatiempos lgicos. 4*
Trad de Montserrat Mil, Citedra, Mari, 1989
Raymond M. SMULLYAN, Alicia en el pas de las advinancas, 4. ed, tad. de Mont.
erat Milli, Citedra, Madrid, 1991
Muchos pasajes de Tos dos conocidos eventos de Lewis Caroll sobre avenuras|
de Alcin contienen problemas y acerjoslogicos:
Lewis Cannot, Alicia en el pais dels maravilla yA través del espej, ta, de Ra
‘nn Buckle, itodvccion y notas de Manuel Garrido, Cétedra, Madrid, 1992.
También es recomendable el uso de
|. Banwise y J. ErceMENDY, Tara's World 6.0, disco con juegos y eercicios de 1é-
sieapar ordenador, que acompai al libro mis atba citado de estos ares.
Tratadosy manuals de lgiea de nivel superior
‘Alonzo CHURCH, Inrotuction fo Mathematical Loge, vol. Princeton Uti. Press,
Prineeton, 1956
AN. Prion, Formal Logic, 2* ed, Clarendon, Oxford, 1962.
RUM. Suuttvan, First Order Loge, Springer, Berlin, 1968.
El primer volumen del Handbook de Gannay y Gueerser, citado después bajo el
cvieafaPiosofa de a Weica ata linia de primer orden.
LOGICA MATEMATICA,
Método axiomitico, Metaligica, Axiomatizacion de tcorias matemiicas
(bras introductrias
4.N. Cnosstey y ottos,
También podría gustarte
- Las Leyes de Tercero Excluido YContradiccion Como ValoresDocumento10 páginasLas Leyes de Tercero Excluido YContradiccion Como ValoresCris Gab OrtizAún no hay calificaciones
- Como Escribir Mi Articulo de InvestigaciónDocumento5 páginasComo Escribir Mi Articulo de InvestigaciónlensoisAún no hay calificaciones
- Como Escribir Mi Articulo de InvestigaciónDocumento5 páginasComo Escribir Mi Articulo de InvestigaciónlensoisAún no hay calificaciones
- Reseña Marraud: Es Lógico La LógicaDocumento6 páginasReseña Marraud: Es Lógico La Lógicanoe_lloAún no hay calificaciones
- La Pila Documento en Mac OS X Snow Leopard (Por Apple)Documento1 páginaLa Pila Documento en Mac OS X Snow Leopard (Por Apple)Luis Miguel CaballeroAún no hay calificaciones
