HAACK, Susan, Filosofa de la Lgica.

[N de pgina del libro

Cap. !. Filosofa de la lgica !.! Lgica, Filosofa de la Lgica, %e&algica. ["! Filosofa de la lgca ' in(es&igar los proble)as susci&ados por la lgca. *reocupacin de la lgica ' discri)inar los argu)en&os +(lidos de los no (lidos, Los sis&e)as lgico for)ales -an su)inis&rado cnones para la decisin acerca de la (alide.. /e es&o se desprenden algunas pregun&as filosficas acerca de la (alide. 0 +%e&algica, Filosofa de la lgica, Metalgica, es&udia las propiedades for)ales de los sis&e)as lgico for)ales. +1 +pruebas, refu&aciones, consis&encia, co)ple&ud, decibilidad,, Filosofa de la lgica, &ra&a las cues&iones filosficas sobre los sis&e)as lgico for)ales, as &a)bi2n las cons&rucciones de argu)en&os infor)ales. !.". 3l )bi&o de la lgica. 3n la filosofa de la lgica -a4 cues&iones sobre el )bi&o de la lgica 4 de la F. de la lgica5 6u2 es lgica7 8u2 sis&e)as for)ales son sis&e)as de lgica7 8u2 lo -ace ser as7 a. Sist. Formal interpretado5 a.!. un sis&e)a for)al in&erpre&ado ser un sistema lgico si 4 slo si incorpora cnones de argu)en&o (lido. Sir(e, por &an&o, para )uc-as in&erpre&aciones +e9. is)orfi)os en&re lgica b4 sis&e)as de circui&os el2c&ricos, o con la ari&)2&ica, b. Sist. Formal no interpretado5 coleccin de signos 6ue for)ali.a un con&enido en par&icular. Sin proponer una definicin esencialis&a, respec&o de 6u2 es lgica, lo argu)en&a par&iendo de la idea +inargu)en&able, del a:io)a, 6ue5 !. lo 6ue se ense;a por lgica clsica o es&ndar debe considerarse co)o lgica, si -a4 algo 6ue deba considerarse co)o lgica. ". Los sis&e)as anlogos a 2s&e5 ".!. las e:&ensiones 6ue a;aden (ocabulario, nue(os a:io)as para ese (ocabulario. ".". Las di(ergencias, 6ue sin nue(o (ocabulario, usual)en&e res&ringen el )bi&o de la lgica. ".<. Las lgicas induc&i(as. N3=>0AL?/A/ 03S*3C>@ /3L >A*?C@ La (alide. de los argu)en&os cuan&o &ales, independien&e del &pico +co)o uno de los asun&os de los 6ue se ocupa la lgica, ' -ace 6ue se consideren co)o lgica los sis&e)as 6ue cu)plean con es&a propiedad de neu&ralidad respec&o del &pico. B Se sugiere 6ue es&a idea es poco precisa, pues&o 6ue en algCn sen&ido la lgica s &ra&a sobre algo5 indi(iduos, oraciones, predicados, e&c2&era. B C)o se debera dis&inguir en&re for)a 4 con&enido7 No es el &ie)po, el saber, el creer,

["#

["$

la )odalidad una for)a de con&enido7 @ por 6u2 a es&as cosas deberan considerrseles co)o par&e de la for)a )s bien 6ue del con&enido. HLa idea de for)a necesi&ara un refina)ien&o an&es de poner en claro, por e9e)plo, 6ue una oracin sobre creencia es cues&in de la for)a 4 una oracin sobre nC)eros es cues&in de con&enido.I A (eces para de&er)inar 6u2 es lgica 4 cul es su )bi&o, se sugieren argu)en&os )e&algicos pura)en&e for)ales, co)o J.g. 8ue los sis&e)as lgico for)ales sean solo a6uellos 6ue son co)ple&os +Kneale, ' 3s&o produce un )bi&o con )a4or precisin +con )s decibilidad7, ' =n sis&e)a no co)ple&o i)plica 6ue no &odos sus pos&ulados pueden ser for)ali.ados ' Se propone la co)ple&ud co)o prueba de 6ue un sis&e)a es pura)en&e for)al5 Se conec&a la idea concre&a de la co)ple&ud, con la idea (aga de la neu&ralidad &pica +pues&o 6ue si algo es for)ali.able puede escindirse de un co)pro)iso &pico, 8ue algo no pueda ser for)ali.ado, sencilla)en&e significa 6ue ese ele)en&o no puede ser co)ple&a)en&e carac&eri.ado por el con9un&o de a:io)as 4 reglasK el proble)a no es pura)en&e for)al5 es&o i)plica 6ue per&enece al con&enido 4 no a la for)a de los argu)en&os. L 0es&ringe se(era)en&e el )bi&o de la lgica. H[... un pun&o de (is&a res&ric&i(o acerca del )bi&o de la lgica puede ocul&ar un conser(aduris)o 6ue, si se propugnase abier&a)en&e, sera pues&o en &ela de 9uicio +el pun&o de (is&a,I ALM=N@S A0M=%3N>@S *A0A 3NCL=?0 ALM=N@S S?S>3%AS LAM?C@S
+de los 4a ad)i&idos5 &radicional, clsico, e:&endido, di(ergen&e, induc&i(o,

["D

["E

B /u))e& propone 6ue la lgica epis&2)ica no es una for)a de lgica por6ue creencia 4 conoci)ien&o son ineludible)en&e (agas +poco precisas,. 'la lgica necesi&a ser precisa en su (ocabulario L *ara HaacO, )s 6ue la (aguedad, es proble)a si es ineludible la (aguedad L >odo ele)en&o lgico, par&e siendo, en buena )edida un asun&o un &an&o (ago, pues&o 6ue par&e de nociones infor)ales +negacin infor)al, i)plicacin infor)al, e&c, 'Las cons&an&es 4 los argu)en&os de es&a lgica deben for.arse un poco para -acerlos cal.ar den&ro de la u&ili.acin infor)al de las cons&an&es 4 la u&ili.acin for)al de los argu)en&os +en par&icular por el proble)a de la creencia [re(isar , 'La (aguedad de los operadores. B LePnieQsOi propone 6ue los sis&e)as pluri(alen&es no deberan en realidad considerarse co)o lgica LRs&os fueron ideados le9os de un in&er2s for)al o con fines &ecnolgicos especficos. L Fueron ideados co)o sis&e)as al&erna&i(os al apara&o clsico. 'dificul&ad de proporcionar una in&erpre&acin apropiada a los nue(os (alores 4 &oda lgica, pues&a su ne&uralidad con el &pico, re6uiere ser in&erpre&able. La )o&i(acin del logicis)o +recudir la ari&)2&ica a la lgica, deri(ando sus a:io)as desde los a:io)as lgicos, 6ue plan&e Frege, &ena un afn epis&e)olgico5 4a 6ue los a:io)as de la lgica

["F,<G

son Hau&oe(iden&esI, en&onces si se deri(an de 2s&os, las le4es de la ari&)2&ica se (ol(eran epis&e)olgica)en&e seguras. *or es&o es par&icular)en&e gra(e la parado9a descubier&a por 0ussell en el pla&ea)ien&o de Frege [:+a: S a:, 5 co)o la base de Frege no posee la i)por&ancia epis&e)olgica 6ue 2l pensaba, el aspec&o espis&e)olgico del progra)a era insol(en&e, sin -acer caso de la de)arcacin de la lgica. 3s espis&e)olgica)en&e saludable, considerar los proble)as filosficos an&es de plan&ear 6ue in(olucra el &raba9ar con un sis&e)a for)al, 4 6ue es e(iden&e en la lgica es&os es&n desde el principio. 3s 6ue la lgica, aun con su rigor, 4 6ui. por eso )is)o, no puede es&ar por enci)a de la dubi&acin de la refle:in filosfica. ' es&o re(elar, por lo de)s, los supues&os )e&afsicos o epis&e)olgicos, por e9e)plo, de un sis&e)a.

[<!

Cap. ". Jalide. !. JAL@0AC?AN /3 L@S A0M=%3N>@S !.i. Lgica5 cone:in en&re las pre)isas 4 la conclusin. !.i.a5 Argu)en&o deduc&i(a)en&e (lido. !.i.b5 Argu)en&o deduc&i(a)en&e in(lido. !.i.c5 Argu)en&o induc&i(a)en&e fuer&e. !.ii. %a&erial5 Jerdad de las pre)isas respec&o de la conclusin. !.iii.0e&rica5 persuacin, a&raccin o in&er2s del argu)en&o. 3n sen&ido es&ric&o no &odos los argu)en&os deduc&i(os conclu4en cosas 6ue 4a es&n con&enidas en las pre)isas. 395 T !. p U ". p ( +6 ' r, Argu)en&o for)alVdef Secuencia de fr)ulas bien for)adas de un lengua9e for)al. Argu)en&o infor)alVdef Secuencia de oraciones o enunciados o proposiciones del lengua9e na&ural.

[<"

[<<

". JAL?/3W /3/=C>?JA5 C@N X03J3S C@%3N>A0@S S@X03 LA F=30WA ?N/=C>?JA ".! JAL?/3W 3N =N S?S>3%A Argu)en&o for)al5 secuencia de fbfs A!,.... An Y !, An +n !, Validez Sintctica5 A!,.... An Y !, An 3s (lido en L en el caso de 6ue An sea deri(able de A!,.... An Y ! 4 los a:io)as de L, si los -a4, )edian&e las reglas de inferencia de L. A!,.... An Y !Z L An o al ser concludo sin pre)isas5 A es (lido en L +es un teorema de L, en el caso 6ue A se siga de los a:io)as de L, si lo -a4, )edian&e las reglas de inferencia Z L An

Validez semntica5 A!,.... An Y ! 3s (alido en L en el caso de 6ue An sea (erdadero para &odas las

in&erpre&aciones en las 6ue A!,.... An Y ! son (erdaderas. A!,.... An Y !\ L An [<[ @ para 6ue sea concluble sin pre)isas5 A es (lido en L +es una verdad lgica de L, en el caso de 6ue A sea (erdadero para &odas las in&erpre&aciones de L . \ L An La L de las dos for)ulaciones +Z LK\ L, )ues&ra 6ue la (alide., en a)bos casos es rela&i(a al sis&e)a. 3s decir 6ue un argu)en&o es (lido o no, para un lengua9e en par&icular. Sobre la base de es&o se puede es&ablecer la co)ple&ud de un sis&e)a +:Z LV :\ L, o la correccin de un sis&e)a. FORMACI [3:&
! SI!"#C"ICA $ S%M#!"ICA &% '! SIS"%MA ( )ICO*FORMA(

+. Sinta,is a. Signos. a.!. Jariables sen&enciales +p, 6, r...e&c, p!, p", p<...pn, a.". Conec&i(as +], , , ^, ', w, L, _, a.<. Signos de agrupacin5 +, ,, [, , `, a. a.[. Cons&an&es +si las -a45 cons&an&es sen&enciales, predicados, cuan&ificadores, )odali.adores, operadores, b. 0eglas de for)acin b.!. p, 6, r...e&c, p!, p", p<...pn son fbf b.". si b es una fbf, en&onces ]b es una fbf b.<. si b 4 c son fbf, en&onces b c, b c, b^c, b'c, b w c, b L c, b _ c son fbfs c. 0eglas de inferencia c.!. 0eglas sin&c&icas de inferencia del sis&e)a. c." A:io)as. +Si los -a4, -. Semntica ./ra d. Asginaciones d.!. J FK ! G. e. %a&rices p J J F F

6 J F J F

J F F F

J J J F

^ J F F J

' J F J J

L F F F J

_ F J J J

F J J F

f. Se)n&ica aplicada. f.!. ?n&erpre&acin de los signos a ocupar +(ariables, cuan&ificadores, )odali.adores, o&ras cons&an&es, conec&i(as, e&c2&era,. f.". ?n&erpre&acin de reglas inferencia 4 a:io)as. f.<. 3:plicacin infor)al de las asignaciones. ".". JAL?/3W 3N>0AS?S>3%d>?CA. Argu)en&o infor)al (lido5 !, Se sigue de sus pre)isas ", Sus pre)isas no pueden ser (erdaderas 4 la conclusin falsa Si un argu)en&o &iene pre)isas (erdaderas, ade)s de ser (lido, se dice en&onces 6ue el argu)en&o es correc&o. Si se co)prenden los sis&e)as for)ales co)o )ecanis)os de anlisis de los sis&e)as infor)ales, debera en&enderse 6ue a6uellos argu)en&os 6ue se consideran infor)al)en&e (erdaderos, &a)bi2n deberan serlo den&ro del sis&e)a, es decir, 6ue la verdad lgica i)pli6ue es&ric&a)en&e la verdad necesaria. ".< LAM?CA /@C3NS e LAM?CA =>3NS