La Lgica

1 INTRODUCCIN Lgica (del griego, logos, 'palabra', 'proposicin', 'razn'), disciplina y rama de la iloso a !"e es#"dia los principios ormales del conocimien#o $"mano% &" principal anlisis se cen#ra en la 'alidez de los razonamien#os y arg"men#os, por lo !"e se es "erza por de#erminar las condiciones !"e ("s#i ican !"e el indi'id"o, a par#ir de proposiciones dadas, llamadas premisas, alcance "na concl"sin deri'ada de a!"llas% La 'alidez lgica depende de la adec"ada relacin en#re las premisas y la concl"si n, de #al orma !"e si las premisas son 'erdaderas la concl"sin #ambin lo ser% )or ello, la l gica se encarga de analizar la es#r"c#"ra y el 'alor de 'erdad de las proposiciones, y s" clasi icaci n% La 'alidez de "na proposicin se #omar de la 'eracidad de la concl"sin% &i "na de las premisas, o ms, es alsa, la concl"si n de "na proposici n ' lida ser alsa% )or e(emplo* +Todos los mam eros son animales de c"a#ro pa#as, #odos los $ombres son mam eros, por lo #an#o, #odos los $ombres son animales de c"a#ro pa#as, es "na proposicin 'lida !"e cond"ce a "na concl"si n alsa% )or o#ro lado, "na proposicin n"la p"ede, por cas"alidad, llegar a "na concl"si n 'erdadera* +-lg"nos animales #ienen dos pa#as. #odos los $ombres son animales, por lo #an#o #odos los $ombres #ienen dos pa#as, represen#a "na concl"sin 'erdadera, pero la proposicin no lo es% )or lo #an#o, la 'alidez l gica depende de la orma !"e adop#a la arg"men#acin, no s" con#enido% &i la arg"men#acin "era 'lida, c"al!"ier o#ro #rmino podr a s"s#i#"ir a c"al!"iera de los casos "#ilizados y la 'alidez no se 'er a a ec#ada% -l s"s#i#"ir +c"a#ro pa#as, por +dos pa#as, se compr"eba !"e ambas premisas p"eden ser 'erdaderas y la concl"sin alsa% )or lo #an#o, la proposici n no es correc#a a"n!"e posea "na concl"sin 'erdadera%

L0IC- -RI&TOTLIC-

La !"e es conocida como lgica clsica (o #radicional) "e en"nciada primeramen#e por -ris##eles, !"ien elabor leyes para "n correc#o razonamien#o silogs#ico% Un silogismo es "na proposici n $ec$a de "na de es#as c"a#ro a irmaciones posibles* +Todo - es 1, ("ni'ersal a irma#i'o), +Nada de - es 1, ("ni'ersal nega#i'o), +-lgo de - es 1, (par#ic"lar a irma#i'o) o +-lgo de - no es 1, (par#ic"lar nega#i'o)% Las le#ras s"s#i#"yen a palabras com"nes como +perro,, +animal de c"a#ro pa#as, o 2cosa 'i'ien#e2, llamadas +# rminos, del silogismo% Un silogismo bien orm"lado cons#a de dos premisas y "na concl"sin, debiendo #ener cada premisa "n # rmino en com n con la concl"sin y "n seg"ndo #rmino relacionado con la o#ra premisa% 3n l gica clsica se orm"lan reglas por las !"e #odos los silogismos bien cons#r"idos se iden#i ican como ormas 'lidas o no 'lidas de arg"men#aci n%

4 L0IC- 5OD3RN- mediados del siglo 6I6, los ma#em#icos bri#nicos 0eorge 1oole y -"g"s#"s De 5organ abrieron "n n"e'o campo a la lgica, $oy conocido como l gica simblica (o moderna), !"e ms #arde "e desarrollada por el ma#em #ico alemn 0o##lob 7rege y de "n modo especial por los ma#em #icos bri# nicos 1er#rand R"ssell y -l red Nor#$ 8$i#e$ead en Principia Mathematica (4 'ols%, 191:;1914)% 3l sis#ema lgico de R"ssell y 8$i#e$ead c"bre "n espec#ro mayor de posibles arg"men#aciones !"e las !"e se p"eden encon#rar en la l gica silogs#ica% In#rod"ce smbolos para rases en#eras y para las con("nciones !"e las "nen, como +o,, +y,, +si%%% en#onces%%%,% C"en#a con s mbolos di eren#es para el s"(e#o lgico y el predicado lgico de "na rase. y ad("dica s mbolos para dis#ing"ir las clases, para los miembros de las clases y para las relaciones de la per#enencia a "na clase y la incl"sin en "na clase% Tambi n se ale(a de la l gica clsica en s"s s"posiciones de la e<is#encia respec#o a las cosas al"didas en s"s a irmaciones "ni'ersales%

La a irmacin +Todo - es 1, signi ica en l gica moderna !"e +&i algo es -, en#onces es 1,. lo !"e, a di erencia de la lgica #radicional, no signi ica !"e #odo - e<is#e%

3l primer man"al de lgica ormal p"blicado en espa ol "e la obra de ="an Da'id 0arca 1acca #i#"lada Introduccin a la lgica moderna (194>)% Tan#o la rama clsica como la moderna implican m#odos de lgica ded"c#i'a% 3n cier#o sen#ido, las premisas de "na proposicin ' lida con#ienen la concl"sin, y la 'erdad de la concl"sin se deri'a de la 'erdad de las premisas% Tambin se $an $ec$o es "erzos para desarrollar m#odos de lgica ind"c#i'a como las !"e sos#ienen !"e las premisas conlle'an "na e'idencia para la concl"sin, pero la 'erdad de la concl"sin se ded"ce, s lo con "n margen rela#i'o de probabilidad, de la 'erdad de la e'idencia% La con#rib"ci n m s impor#an#e a la lgica ind"c#i'a "e la apor#ada por el il so o bri# nico =o$n &#"ar# 5ill, !"ien en Sistema de Lgica (1?@4) es#r"c#"r los m#odos de pr"eba !"e, segn s" in#erpre#acin, iban a carac#erizar la ciencia emp rica% 3s#e es#"dio $a desembocado, en el siglo 66, en el campo conocido como iloso a de la ciencia% 5"y relacionada con s#a se enc"en#ra la rama de las ma#em#icas llamada #eora de la probabilidad% Tan#o la lgica moderna como la clsica as"men en s"s ormas ms corrien#es !"e c"al!"ier proposicin bien elaborada p"ede ser o 'erdadera o alsa% 3n a os recien#es se $an desarrollado sis#emas de la denominada l gica combina#oria* "na a irmacin p"ede #ener "n 'alor dis#in#o a 'erdadero o also% 3n alg"nos s"p"es#os es slo "n #ercer 'alor ne"#ro, en o#ros es "n 'alor de probabilidad e<presado como "na raccin !"e oscila en#re : y 1 o en#re ;1 y A1% Tambi n se $an lle'ado a cabo serios #raba(os para desarrollar sis#emas de l gica modal, con el ob(e#o de represen#ar las relaciones l gicas en#re las a irmaciones de posibilidad e imposibilidad, de necesidad y con#ingencia% O#ra ' a es la !"e propone la lgica den#ica* la in'es#igaci n de las relaciones l gicas en#re rdenes o en#re a irmaciones de obligacin%

DI&CI)LIN-& R3L-CION-D-&

5"y relacionadas con la lgica se enc"en#ran la semn#ica o iloso a del leng"a(e, !"e #ra#a acerca del signi icado de las palabras y de las rases. la epis#emologa, o #eora del conocimien#o, !"e se oc"pa de las condiciones ba(o las c"ales las a irmaciones son 'erdaderas. y la psicolog a del razonamien#o, !"e se re iere a los procesos men#ales !"e se sig"en en el c"rso de "n razonamien#o% -lg"nos #ra#ados sobre lgica incl"yen es#as ma#erias,

pero lo esencial de ese in#ers se cie a las relaciones l gicas en#re di'ersas a irmaciones con#rap"es#as% 8ITT03N&T3IN B 3L )O&ITICI&5O L0ICO La obra de R"ssell en el mbi#o de las ma#em#icas a#ra(o a Cambridge al ilso o a"s#riaco L"dDig 8i##gens#ein, !"ien lleg a ser la ig"ra principal del mo'imien#o ilos ico anal#ico y del leng"a(e% 3n s" primer y, posiblemen#e, ms impor#an#e #raba(o, Trac#a#"s logico;p$ilosop$ic"s (19/1), donde e<p"so s" #eora del leng"a(e, 8i##gens#ein razonaba !"e +#oda iloso a es "na cr #ica del leng"a(e, y !"e +la iloso a aspira a la aclaracin l gica de los pensamien#os,% 3l res"l#ado de los anlisis de 8i##gens#ein recordaba el a#omismo lgico de R"ssell% 3l m"ndo, arg"men#aba, se compone de $ec$os simples, !"e son el ob(e#o de represen#aci n del leng"a(e% )ara !"e s#e sea signi ica#i'o, las a irmaciones sobre el m"ndo deben ser red"cibles a declaraciones lings#icas !"e #engan "na es#r"c#"ra similar a la de los $ec$os simples !"e represen#an% 3n es#e #emprano anlisis de 8i##gens#ein, las proposiciones !"e represen#an $ec$os (las proposiciones de la ciencia) son consideradas signi ica#i'as de "na orma ob(e#i'a% 3n cambio, las a irmaciones me#a sicas, #eolgicas y #icas se ("zgan como ob(e#i'amen#e insigni ican#es% 1a(o la in l"encia de R"ssell, 8i##gens#ein, 3rns# 5ac$ y o#ros, "n gr"po de ilso os y ma#em#icos inici en Ciena (-"s#ria) d"ran#e la d cada de 19/: el mo'imien#o conocido como posi#i'ismo lgico% 3ncabezado por 5ori#z &c$licE y R"dol Carnap, el Crc"lo de Ciena s"p"so "no de los cap #"los m s impor#an#es en la $is#oria de la iloso a anal#ica y del leng"a(e% &eg n el posi#i'ismo lgico, la misin de la iloso a es la aclaraci n del signi icado, no el desc"brimien#o de n"e'os $ec$os (reser'ado a la ciencia) ni la elaboraci n de relaciones comprensi'as de la realidad (ob(e#i'o err neo de la me#a sica #radicional)%

3l posi#i'ismo lgico di'idi las a irmaciones signi ica#i'as en dos clases* proposiciones anal#icas y proposiciones 'eri icables de "n modo emp rico% Las proposiciones anal#icas (en#re las !"e se enc"en#ran las proposiciones de la lgica y de las ma#em#icas) son a irmaciones de 'erdad o alsedad !"e dependen del con("n#o del signi icado de los #rminos !"e cons#i#"yen la a irmacin% Un e(emplo sera la proposicin dos ms dos ig"al a c"a#ro% La seg"nda clase de proposiciones signi ica#i'as engloba las a irmaciones sobre el

m"ndo !"e p"eden ser 'eri icadas, al menos en principio, por la e<periencia sensible% 3n realidad, el signi icado de #ales proposiciones se iden#i ica con el m#odo emprico de 'eri icacin% 3s#a #eora 'eri icable del signi icado, concl"a el posi#i'ismo lgico, demos#rar a !"e las a irmaciones cien# icas son ob(e#i'as y leg#imas, mien#ras !"e las me#a sicas, religiosas y #icas se enc"en#ran 'acas de signi icado% 3l posi#i'ismo lgico alcanz gran pop"laridad en el Reino Unido a par#ir de la di "sin de la principal obra de -l red ="les -yer* Leng"a(e, 'erdad y lgica (194>)% No obs#an#e, la #eor a posi#i'is#a de 'eri icacin del signi icado es#"'o some#ida a in#ensas cr #icas por par#e de ilso os como Farl Raim"nd )opper%

Con el paso del #iempo, es#a #eora res#ringida del signi icado cedi paso a "na comprensin ms amplia de la na#"raleza del leng"a(e% N"e'amen#e 8i##gens#ein desempe "n papel m"y des#acado% Re "#ando m"c$as de s"s propias concl"siones e<p"es#as en el Trac#a#"s, inici "na n"e'a l nea de pensamien#o !"e c"lminara con la p"blicacin, ps#"ma, de In'es#igaciones ilos icas (19G4)% 3n es#a obra, 8i##gens#ein a irm !"e si se pres#a la debida a#encin al modo en !"e el leng"a(e se "#iliza en el disc"rso com n, !"eda probada la 'ariedad y le<ibilidad del leng"a(e% Las proposiciones no se limi#an #an slo, p"es, a represen#ar $ec$os% 3s#e reconocimien#o le lle' al concep#o de los ("egos del leng"a(e% 3l cien# ico, el poe#a y el #e logo, por e(emplo, es# n in'ol"crados en di eren#es ("egos del leng"a(e% )or o#ra par#e, el signi icado de "na proposicin debe ser comprendido en s" con#e<#o, !"e es, en #rminos posi#i'os, el con("n#o de las reglas del ("ego del leng"a(e, del c"al esa proposicin es "na par#e% La iloso a, concl" a 8i##gens#ein, es "n in#en#o para resol'er los problemas !"e se originan como res"l#ado de la con "sin lings#ica, y la cla'e para la sol"ci n de #ales problemas es el anlisis del leng"a(e comn y del propio "so del leng"a(e%

G 3COLUCIN R3CI3NT3 3n#re las con#rib"ciones pos#eriores al mo'imien#o ilos ico anal #ico y del leng"a(e se enc"en#ran las obras de los pensadores bri# nicos 0ilber# Ryle, =o$n Langs$aD -"s#in y )e#er 7redericE &#raDson, y la del es#ado"nidense 8illard 'an Orman H"ine%

&egn Ryle, la labor de la iloso a es rea irmar las +e<presiones sis#em#icamen#e errneas, en ormas !"e son ms correc#as en "n orden lgico% &e in#eres en concre#o en las a irmaciones, ormas grama#icales !"e presen#a como ob(e#os ine<is#en#es% )or e(emplo, Ryle es amoso por s"s an lisis de leng"a(es men#ales donde errneamen#e s"giere !"e la men#e es "na en#idad del mismo carc#er !"e el c"erpo% -"s#in man#en a !"e "no de los p"n#os de par#ida ms r"c# eros para la in'es#igaci n ilos ica es la a#enci n a las m"y s"#iles dis#inciones #razadas en el leng"a(e com n% &" an lisis del leng"a(e le lle' a plan#ear "na #eora general de los ac#os del disc"rso, !"e es "na descripcin de la 'ariedad de ac#i'idades !"e "n indi'id"o p"ede es#ar represen#ando c"ando algo se signi ica% &#raDson analiz las relaciones en#re la lgica ormal y el leng"a(e comn. la comple(idad del l#imo, razonaba, es# represen#ada de "na orma inapropiada por la l gica ormal% -l analizar el leng"a(e comn, se necesi#an adems de la lgica, o#ras $erramien#as anal#icas% H"ine disc"#a la relacin en#re leng"a(e y me#a sica% -rg"men#aba !"e los sis#emas del leng"a(e #ienden a con'er#ir a !"ienes los "#ilizan en par#idarios de la e<is#encia de cier#as opciones% )ara H"ine, la ("s#i icaci n para $ablar de "n modo en l"gar de o#ro es "na ("s#i icacin por comple#o pragm#ica% 3n el mbi#o $ispano$ablan#e, el es#"dio de la iloso a anal #ica $a sido rela#i'amen#e recien#e% &" desarrollo "e especialmen#e no#able a par#ir de la dcada de 19I: gracias a los #raba(os de =os 7erra#er 5ora, 5an"el 0arrido =im nez y 5an"el &acris#n, en#re o#ros% 7iloso a de la ciencia, in'es#igacin sobre la na#"raleza general de la pr c#ica cien# ica% La iloso a de la ciencia se oc"pa de saber c mo se desarrollan, e'alan y cambian las #eoras cien# icas, y si la ciencia es capaz de re'elar la 'erdad de las en#idades oc"l#as y los procesos de la na#"raleza% &" ob(e#o es #an an#ig"o y se $alla #an e<#endido como la ciencia misma% -lg"nos cien# icos $an mos#rado "n 'i'o in#ers por la iloso a de la ciencia y "nos pocos, como 0alileo, Isaac NeD#on y -lber# 3ins#ein, $an $ec$o impor#an#es con#rib"ciones% N"merosos cien# icos, sin embargo, se $an dado por sa#is ec$os de(ando la iloso a de la ciencia a los ilso os, y $an pre erido seg"ir '$aciendo ciencia' en 'ez de dedicar ms #iempo a considerar en # rminos generales c mo 'se $ace la ciencia'% 3n#re los ilso os, la iloso a de la ciencia $a sido siempre "n problema cen#ral. den#ro de la #radicin occiden#al, en#re las ig"ras m s impor#an#es an#eriores al siglo 66 des#acan -ris# #eles, Ren Descar#es, =o$n

LocEe, Da'id J"me, Imman"el Fan# y =o$n &#"ar# 5ill% 0ran par#e de la iloso a de la ciencia es indisociable de la epis#emolog a, la #eor a del conocimien#o, "n #ema !"e $a sido considerado por casi #odos los il so os% > Leng"a(e cien# ico Leng"a(e #cnico cien# ico , modalidad del leng"a(e !"e #iene como carc#er espec ico el !"e es gr"pal, es decir, !"e lo "#iliza s lo la com"nidad $ablan#e !"e $a recibido "na preparacin pre'ia, y !"e es propio de ac#i'idades cien# icas y pro esionales% No se #ra#a de "n leng"a(e arcano ni de argo# y s" inalidad no es la de no ser en#endido por o#ros, sino la de ser rig"roso y preciso% 5"c$os lec#ores p"eden no comprender el prra o sig"ien#e y eso no demos#rar s" ba(o ni'el c"l#"ral general% &implemen#e no conocen las leyes de la combina#oria ma#em#ica% 3n cambio, si lo lee "n ma#em #ico considerar !"e es#a rase 'a dirigida a principian#es* +&i se #oma "na bara(a con c"aren#a car#as, cada "na de las dis#in#as ormas en !"e se p"eden repar#ir @ car#as es "na 'ariacin de las @: car#as #omadas de c"a#ro en c"a#ro% 3l nmero de 'ariaciones de n elemen#os #omados de k en k se deno#a Vn, k, c"yo 'alor 'iene dado por la rm"la general

donde nK Lledo Mn ac#orialNL represen#a el prod"c#o de #odos los en#eros posi#i'os de 1 a n, siendo :K O 1 por de inicin%, Usa la leng"a en s" "ncin me#alings#ica, es decir, para e<plicarse y con "n l<ico "n'oco, o sea, con "n re eren#e nico para e'i#ar !"e p"eda ind"cir a dos concep#os o realidades di eren#es% 3l leng"a(e cien# ico $"ye de la ambigedad. por lo #an#o, s"s # rminos es# n as"midos #ci#amen#e por la com"nidad cien# ica "ni'ersal, lo !"e s"pone "n leng"a(e con'encional pac#ado y as"mido% -s p"es, la co$erencia #erminolgica es imprescindible y "na 'ez !"e se $a "sado "n # rmino con "n signi icado debe man#enerse% s#e debe ser claro y preciso% )or l#imo, la e<posicin cien# ica debe es#ar presidida por la ob(e#i'idad y debe permi#ir s" 'eri icabilidad, es decir, c"al!"ier orm"laci n se debe demos#rar% Lgicamen#e $ay disciplinas cien# icas y #cnicas !"e se pres#an y admi#en

me(or la ormalizacin, las ma#em#icas por e(emplo, !"e o#ras como la biologa o la medicina% &in embargo, #odas y cada "na de ellas #ienen y crean cons#an#emen#e s" l<ico espec ico%