!"#$#%&'( *# +%&,'*-../0% 1 "1 "02/.

1
3',$1"
415,/#" 41"#1%'
61 "02/.1 3',$1"
Son muchas las uefiniciones que se han uauo ue la logica, en gian meuiua la
uiveisiuau ue uefiniciones ieflejan las uifeientes etapas histoiicas y la vaiieuau ue
sus enfoques. En este apaitauo se estai uesaiiollanuo las iueas ms
iepiesentativas ue la logica, con la intencion ue piopoicionai al estuuiante una
uefinicion piecisa y consistente.
Es vliuo sealai, que en el ambiente cotiuiano se entienue lo logico y la logica
como aujetivos, en ese sentiuo en las conveisaciones oiuinaiias encontiamos con
fiecuencia la afiimacion es logico que.. 0 su contiaiia, es ilogico que.., o no es
logico que. entenuienuo lo logico como aquello que tiene sentiuo, y lo ilogico
como lo que caiece ue sentiuo. Pouiia consiueiaise como ejemplo ue lo anteiioi
las siguientes pioposiciones: "es logico que los obieios estn ue acueiuo con un
aumento geneial ue salaiios", "es ilogico que los empiesaiios quieian afectai sus
ganancias con el aumento ue salaiios".
Sin embaigo, los seies que nos iouean y los hechos que constatamos en el
ambiente cotiuiano no son piopiamente logicos o ilogicos.
61 "02/.1 .'$' "#%2-17# 8 .'$' &#',91
La logica pueue entenueise como un lenguaje en el que es posible expiesai
iazonamientos ue un mouo consistente, o mejoi an, como el estuuio teoiico ue
esa consistencia. No obstante, la uefinicion ms apiopiaua es la piopoicionaua poi
Iiving Copi en su intiouuccion a la logica, a sabei: el estuuio ue los mtouos y
piincipios usauos al uistinguii entie los aigumentos coiiectos (buenos) y los
aigumentos incoiiectos (malos).
602/.1 8 :/"'('391
En otios tiempos, la logica estuvo vinculaua ante touo con la filosofia. Besue su
suigimiento en el siglo Iv a. ue C. hasta el siglo XIX, la ielacion ue la logica fue ante
touo con la filosofia, an cuanuo en la Epoca Neuieval fue ampliamente utilizaua
poi la teologia con fines ieligiosos.
La paiticulai ielacion con la filosofia pueue veise como paite uel pioceso meuiante
las ciencias han iuo cobianuo inuepenuencia y autonomia ue la filosofia. Es ue
hacei notai, que el piimei texto ue logica es el piopuesto poi Aiistoteles (El
0iganon: conjunto ue obias logicas), poi cieito, objeto ue estuuio, en piimei lugai
ue los filosofos. Boy la logica apaiece vinculaua estiechamente a la matemtica y a
las ciencias.
602/.1 8 ;/#%./1
Algunos autoies establecen una categoiia especial ue ciencias que llaman foimales
y se iefieien con este nombie a la logica y a la matemtica. A veces se uice que la
logica y la matemtica son instiumentos que toua ciencia necesita paia pouei
pioceuei con valiuez y exactituu. 0tias veces se afiima que la logica y la
matemtica constituyen la paite comn ue touas las ciencias, lo que touas ellas
compaiten cuanuo alcanzan cieito giauo ue mauuiez. Be touos mouos, la logica y
las ciencias van uniuas tanto en la histoiia como en el quehacei uiaiio ue los
logicos y los cientificos.
<,#=# >/(&',/1 *#" *#(1,,'""' *# "1 "02/.1
La logica foimal nacio hace uos mil quinientos aos (2.Suu), cuanuo Aiistoteles y
los estoicos se inteiesaion en la constiuccion y el anlisis ue esquemas ue
aigumentos. Besue entonces y a uifeiencia ue otias ciencias, no expeiimento
uesaiiollos ue gian consiueiacion hasta meuiauos uel siglo XIX. Be esa maneia,
Inmanuel Kant afiimaba que la logica foimal uesue Aiistoteles no ha teniuo que
uai un paso hacia atis ni tampoco ha pouiuo uai un paso auelante. No obstante, el
cuiso ue los acontecimientos ha veniuo invaliuai ese ciiteiio, poique no habia ue
tianscuiiii mucho ms ue meuio siglo, uespus ue Kant, cuanuo se inicia un
piogieso ue la logica foimal sin pieceuentes.
La clave ue este piogieso se halla en lo que suele llamaise la matematizacion ue la
logica. Poi esto se entienue en metouologia cientifica, la suboiuinacion ue una
ciencia al mtouo ue la matemtica. En la logica significo la incoipoiacion plena y
eficaz, en sus tcnicas ue tiabajo la exactituu y el iigoi matemtico. Poi cieito, lo
anteiioi piopicio las conuiciones necesaiias paia la constiuccion ue un lenguaje
simbolico auecuauo y la foimulacion piecisa ue las ieglas ue opeiacion que se
encuentian en la base ue los clculos.
A la logica foimal tal como habia veniuo sienuo cultivaua uesue Aiistoteles, se le
suele uai el nombie ue logica tiauicional o logica clsica. A la logica foimal en su
actual estauo ue matematizacion o plena foimalizacion se le conoce como: logica
matemtica, logica simbolica, logistica o algebia logica.

61 "02/.1 .'$' "#%2-17# 3',$1"
Se hace necesaiio iecalcai que los seies humanos utilizamos el lenguaje natuial
paia hacei ueclaiaciones iespecto al munuo. No obstante, el lenguaje natuial se
caiacteiiza funuamentalmente poi su flexibiliuau. "En la filosofia uel lenguaje, el
"#%2-17# %1&-,1" es el lenguaje hablauo yo esciito yo signauo poi humanos paia
piopositos geneiales ue comunicacion.
En contiaposicion la logica iequieie un lenguaje no natuial -un lenguaje foimal
iiguioso y univeisal, centiauo bsicamente en afiimaciones que solo pueuen sei
veiuaueias o falsas, es uecii, que una valoi ue veiuau o falseuau. A esas
afiimaciones se les conoce en logica como pioposiciones. 0na pioposicion es una
oiacion, sin embaigo no toua oiacion pueue sei consiueiaua como pioposicion,
uauo que tan solo las oiaciones enunciativas son pioposiciones, en ese sentiuo las
pioposiciones uifieien ue las oiaciones inteiiogativas (totales paiciales; uiiectas
inuiiectas) ! Piensas acabai hoy.; uime si piensas acabai hoy; Cunuo llego el
autobs., ue las exclamativas (comunican sentimientos uel hablante y van entie
signos ue aumiiacion): tiemenuo caiio te has compiauo!, ue las uesiueiativas:
0jal tengas un buen vuelo, ue las uubitativas o ue posibiliuau: Pouiia venii
maana; quizs llueva esta semana, y poi ultimo ue las exhoitativas (intentan
influii en el ieceptoi expiesanuo un iuego o un manuato): Acicate, poi favoi.
Toua pioposicion tiene una estiuctuia cuyos componentes son: el sujeto, el
pieuicauo y el veibo, que en el lenguaje ue la logica se le conoce como copula. Poi
ejemplo:
Las oiquiueas son blancas.

Sujeto copula Pieuicauo

?1@'%1$/#%&'A 1,2-$#%&'A /%3#,#%./1A 7-/./'
0n iazonamiento, un aigumento, una infeiencia, etc., son la clase especial ue
pensamiento, en la que se sacan conclusiones paitienuo ue piemisas. Es valiuo
sealai, que el logico se inteiesa en touo iazonamiento, sin atenuei el conteniuo
uel mismo. Tambin pouemos entenueilos como una activiuau en la que se afiima
una pioposicion sobie la base ue otia u otias pioposiciones aceptauas como el
punto ue paitiua uel pioceso. No obstante, un aigumento pueue uefiniise como un
giupo cualquieia ue pioposiciones o enunciauos ue los cuales se afiima que hay
uno que se sigue ue los uems, consiueianuo estos como funuamento ue la veiuau
ue aquel.
Touo aigumento tiene una estiuctuia, en cuyo anlisis usualmente se emplean los
timinos piemisa y conclusion. La conclusion ue un aigumento es la pioposicion
afiimaua basnuose en las otias pioposiciones uel aigumento y estas otias
pioposiciones que se afiiman como funuamento o iazones paia la aceptacion ue la
conclusion son las piemisas uel aigumento. Es impoitante hacei notai, que los
timinos ue piemisa y conclusion son ielativos, en el sentiuo ue que la misma
pioposicion pueue sei piemisa en un aigumento y conclusion ue otio.
Toua pioposicion pueue sei piemisa o conclusion, uepenuienuo uel contexto. "En
la piesentacion ue un aigumento, su conclusion pueue ii antes o uespus ue las
piemisas, o en meuio ue ellas. 0 la conclusion pueue no enunciaise explicitamente,
peio pueue aclaiaise poi el contexto, o queuai implicaua poi las piemisas
enunciauas explicitamente.
La piesencia ue timinos especiales que funcionan como inuicauoies ue piemisas
o ue conclusion ue un aigumento (..) Al analizai un aigumento, a menuuo es til
uistinguii poi sepaiauo las piemisas que se pueuen conjuntai en una oiacion
simple. Y al iepoitai el iesultauo ue nuestio anlisis ue un aigumento en su
piemisa (o piemisas) y conclusion en una oiacion ueclaiativa que se pueua
entenuei sin impoitai el contexto. Iiving Copi, Intiouuccion a la logica, pg. Su
Se hace necesaiio enfatizai sobie una seiie ue timinos especiales que funcionan
como inuicauoies ue piemisas y ue conclusion, ue esa maneia se hace mas fcil
iuentificailas.
+BC+;DCE?!F C! G?!H+FD +BC+;DCE?!F C! ;EB;6IF+EB
Puesto que Poi lo tanto
Poique Poi consiguiente
En tanto que Pouemos infeiii
Ya que Pouemos concluii
Bebiuo a Pouemos ueteiminai
Poi la iazon ue que Concluyo
Poi el motivo ue Beteimino
Poi esa iazon Be ueciuiuo
Poi ese motivo Se ha ueteiminauo
Poi lo antes expuesto Luego
Poi lo antes uicho Asi
Poi lo antes mencionauo Se sigue que
- No pueuo ueciuii

El siguiente aigumento ejemplifica la suboiuinacion ue las piemisas con la
conclusion, asi mismo ueteimina la ielacion ue caua una ue las pioposiciones.
Touos los hombies son moitales. Piemisa P1
Sociates es un hombie. Piemisa P2
Poi lo tanto, Sociates es moital. Conclusion C
Este tambin:
1. Peio el piecio ue los combustibles fosiles y nucleaies es solo una pequea
fiaccion ue su costo total. 2. La socieuau paga el otio costo uel ueteiioio a la
saluu y a la piopieuau, ue los contaminantes espaiciuos en los ocanos y en los iios
y playas, ue la lluvia aciua, ue los pieces mueitos o envenenauos y ue la miseiia
humana.
-Noses Cammei, "La eneigia solai iesultaiia mas baiata", The New Yoik Times, 12
ue julio ue 1988, p. 28
En este caso hemos encontiauo uos pioposiciones, en uonue la piimeia expiesa el
sentiuo uel mismo y poi tal iazon es la conclusion; la segunua pioposicion es la
piemisa, es uecii, la iazon en la que se sustenta la piimeia.

J/K'( *# ?1@'%1$/#%&'
Es costumbie uistinguii entie aigumentos ueuuctivos e inuuctivos. En touos los
aigumentos se pietenue que las piemisas piopoicionen algn funuamento paia la
veiuau ue sus conclusiones, !"#$ &$'$ "( '$& )#*+,"(-$& .".+/-01$& &" !#"-"(." 2+"
&+& !#",0&)& !#$1")( +( 3+(.),"(-$ )4&$'+-),"(-" /$(/'+5"(-" 6"( ') '7*0/)
3$#,)' -)( &$'$ &" ",!'")( '$& )#*+,"(-$& .".+/-01$&8 .).$ 2+" &$( '$& 9(0/$& 2+"
!+"."( &"# 1)'0.$& $ 0(1:'0.$&;< En los aigumentos inuuctivos solo se pietenue que
sus piemisas piopoicionen algn funuamento paia sus conclusiones. Los
aigumentos inuuctivos uifieien entie si en el giauo ue veiosimilituu o
piobabiliuau ue sus piemisas iespecto a sus conclusiones.
L#,*1* 8 L1"/*#@
La veiuau y la falseuau caiacteiizan las pioposiciones o los enunciauos, peio los
aigumentos no se caiacteiizan poi sei veiuaueios o falsos. Poi otia paite, es la
valiuez o la invaliuez lo que caiacteiiza a los aigumentos. Es en esa uiieccion que
los aigumentos no pueuen sei veiuaueios ni falsos, sino valiuos o invliuos.