Sei sulla pagina 1di 138
——_——_—_—_— Coleccién Teorema Serie mayor 42/84 -% Susan Haack 42% Filosofia de las légicas hee SAE ‘Tradvocién: Amador Auton, con la colaborsciéa (e"Toress Orda ~SCibierta: Diego Lara Depo legak 409511991 Inptee en Permides Cuda, St Indice is 5. Sinema gens formal dei os Permit ein stom ¥ mai soma ie at ie lett metafco! Sole’ summon 'yoaag en ute ® "ers del compra iii Caio a. 3. La cesion de terpretacion ” ante Tonge: Moved; Comical de ends 4 5, Thnwoos snoutans [Teor stirs 8 erin we namie proves sm fami etc: Nobees Ennead «depos . 2 Rombres que ne denoan ie 2 Grid enancado, propos, 5 Strand oncom enables proposes 2 Poradors de ver, "Prades de era wor i i ed 5. el pobemarocmulado ates de met Sane “Troms 0€ U venon. Tin esbora breve Beacine srt nero ie Wea eons dela sorerpondcni ‘eos dota conerent ‘eore pragmatics aor ein, a eetclone ae ado pura os ncn at ved SSrenclinmerers: Corin arma Dein de edo ERE” Bepenon formal Exlcacn Jom 6 coma favor din tole Tarts Eig gu ace Davin VRamey Portree de verdad ia dic” ieae ‘tment i) hae Ti paraoja dl mention y fies. PPeebsde rari ons rs pad ima een parona sein: Sande Rael erie ea pons ef pie ae eve cnn: Soliton de Sak: fvarga lenges Scone Rp damon 5. pardon Tao"; algunas bsecvcones abel coi Be iNeieRideaa dela veadsyal PCW oe muse 4. Lboten¥ wats 1 Lipa “ease” y “aol 5 Relves a apremo a combi rms etd ———4 2, Eada del prime cao: en del sero temporal. 180 4 itu dl mau cao: precy eis Togs sag 1ST Paes pr rer ‘ere ei iirc ie Eni fra Ramer sr a tomes. 2. Crean oe ma m2 ele wu nebo pci ie me fe ibe meal: Ea nrrean i lps mot td lend deter 4. Sena pat ois moda. 2 “mine Joomla rte Seder “pus arent Eros in pate de an fe Bue ae Seuearea ‘Lp de ipo ea Lic de ae i pont sei sabe i “ig 1 Soames ‘ere ke er 08 2. Motivaionssotas. ee me Pe ciar ecy "Rl sa Ce’ Sw ve Lopes tenes soe ved. Bs oman paso © intron Remand mas. 2. cacao eptemoloics. 9 eel bes den Oe met: Rion a Agradecimientos Esteli se basa, en su mayor part. en at kcions de losoia ela logics expends en la Universidad de Warwick dade 197 ‘Quiero expresar mi sgradecmiento s todos lon secpas amt gs con yuiens he discutdo as cuestonesplanteadae aqui, expe almente a Nuel Belnap, Robin Haack, Peter Hemworth, Paul GGocket, Dorothy Grover, Graham Pris Timothy Smiley por ss Aetalados comentarios sobee el mater de tabu, Eso) fy dev ‘is tambien con ms alumnos, de quenes be aprendido mvcho, 5 on Jeremy Myatt por sun conssos apoyo edo, 7 Prefacio siglo qu ha seguido aa publica de Bericht de Frege a sotntmonio de un temence recent en errr) Suto de ovina Toscon ts anda de ee sient & {an impresonante como su propia eas, Se pueden ist {Suro reas principle de detarollo, dos en lo tuo formas $s en os osofeos (el desurollo det sparto logic esanda. Inia con la preentacion de a sitats de ealeulo de enue dos» ue predieados de Frege yds Russel 9 Whitehead eniueoo Inds "ard con und semantics or ie ra de. por jemplo. Post ‘Wingsnstcin, Loneabeim y Tenis, y suddo metlopeamets hla bea de Church y Godel (i) cl sacl de tos caeulos no Stxindar tales como i Wogeas modal iniades por C. 1 Lows, is logessplunvalentes ineiadas por Lukasewicr Pox. as Yor us inustonistasvotadas por Brouwer, unto acta Aas (ene: ‘nowy suo Howie de tn apican de exon stem Stgament9 informa a estudio de i erpreacion de ls cone iar de raion fos suntcadores, de concepts ales som ‘oda verdad Wien: vv) el exude fos nes eapecidages SEW Termatacion por aguelos qe, como Carmap'} Quine, som ‘pumas sobe la Sgniecion Motes de los lengujes format= i por ios gue. como F.C. Sehilery Stavaon, aon excépeos Tape ef pretenones erecta Mowhcn de let “nibs, y por fos que, como Dewey. propugran una Soncepeon dela gcd mls prcalgie quel rant, “ico seta signfscton losses eno hecho de que estos des srolos yan trio geen palo mds queen ter pcs SSluasble recordar que fas lite nno etindar” se han desarro™ is lado de low stemss ean tambien gue aempre ht ldo sntcos 0 sso de Tor stems Tormales pein sine {tas aepmacones dela formatenion mm ‘Los desarrllos de as custo areas que he dsinguido no fus- on. por suas, independents unos de tony 70960 ambien sigoiicacin Blosfcs en st interelaci, Por ejemplo, aungue ‘Sinus de as sdeas cave tanto dela logica modal como de i plo- fivalente ya fueron antcipadas poe Maccoll en 1880, su desarrollo Formal setematico se produyo, respectvament, ex 1918 asf for trallzacign canonica de los cicuon no modules de rine Mate. Imatica, yen T920 tas la provision de Te semantica de tablas de ordad’ jaa a fies bivalent. Sin embargo. Ia motivation part Wcaallo de ls sikeulos no estandar peotino no slo del infer Shatemice por lus posibidades dela Cxtensones » modieacio- ths dela Logica cléstn, sno tambien de a rites Alosoca; en e Seto des Fopas, moda del tbiecimiero del condo ‘teal pra presenta i mplicaiony, en el eas de las ois plurals dea suposcion de que toda proposioon es verdaders eitia Yan dcsurllo de i igiea no eaandar promovo otro {as dadas sobre el Ent de las logs modales al formalizat I dea Tntutva de entatamento condujo al desacolo de las Wyss 6 interne, mientras que a interes matematico de fos semis Iovais foment e desarrollo, por analgia, dels logias piste Imica,Seonich'y temporal: de nucvo,( rellexion sobre It ti “heigflosoRea de lus logicasplrvalntes evo as tea de supe Valorscones. Las inpoviioner formales, a su vez, han dago Uns Thucva dimension lar sucstonesBlosoficas orignariamente gee Tadas por Los cleus sstandar. a por sjemplo, se plantearon de Form nuova yaguda temas sobre it interprcacion Ue [os euant Ficadores 9 s0 rslacion con los erminos singular cuando se so on duds inteligibindad del louea toda de prediendos; 0, come {fs anus preecupacones sobre sl Topas oeupa de oraione nuncios 9 proposconce que reultaon estar mplcadas en