1

INTRODUCCION A LA LOGICA

Lógica

Históó ricamente la palabra ha idó cambiandó de sentidó. Cómenzóó siendó una

módelizacióó n de lós razónamientós própuesta pór lós filóó sófós griegós y pósteriórmente
ha evóluciónadó hacia diversós sistemas fórmales, relaciónadós cón la teóríóa

Tabla de contenidos

1. Etimólógíóa
2. Pósibles definiciónes
3. Lóó gica infórmal y lóó gica fórmal
4. História de la lóó gica
5. Razónamientó deductivó e inductivó en lóó gica
6. Diferentes sistemas lóó gicós
7. Veó ase tambieó n
8. Enlaces externós

Etimología

Etimólóó gicamente, la palabra lógica viene del vócabló griegó λόό γός (lógós) que
óriginalmente significa palabra, peró que a ló largó del tiempó ha idó extendiendó su
significadó a pensamiento y pósteriórmente a ciencia o tratado.

Posibles definiciones

La lóó gica puede definirse pór un ladó cómó Ciencia y cómó Proceso, estudiadós pór la
filósófíóa y pór la psicólógíóa, y pór ótró ladó cómó Lenguaje fórmal, estudiadó pór las
matemaó ticas.

La lóó gica cómó ciencia:

"Es la ciencia filósóó fica sóbre el pensamientó que estudia las leyes del desarrólló ‘de
tódas las cósas materiales, naturales y espirituales’, es decir, del desarrólló de tódó el
cóntenidó cóncretó del mundó y de su cógnicióó n, ó sea, el resultadó, la suma tótal, la
 2
cónclusióó n de la história del cónócimientó del mundó” ( V.I. Lenin. Resumen del libró de
Hegel “Ciencia de la Lóó gica”. O.C., t.29, p.84)

La lóó gica estudia lós próblemas del móvimientó del hómbre hacia el cónócimientó
verdaderó, las leyes del órigen . Para la lóó gica ló central es aclarar queó es la verdad y
cóó mó se alcanza. La verdad es la cóincidencia del cónceptó cón el óbjetó, el pasó del
hómbre desde la idea subjetiva a la creacióó n de un cuadró óbjetivó del mundó a traveó s de
la praó ctica fórmada de la interrelacióó n de tódós lós aspectós de la realidad, reflejadas en
lós cónceptós.

Es definida pór Davíódf cómó “la teóríóa acerca de las leyes óbjetivas, universales y
necesarias de la naturaleza, la sóciedad y tódó el cónjuntó del cónócimientó del que
dispóne la humanidad” (Davíódóv Vasili, La ensenñ anza escólar y el desarrólló psíóquicó,
Investigacióó n psicólóó gica teóó rica y experimental, Editórial Prógesó, Móscuó , 1986, 277p,
ISBN 5-01-000621-9, Impresó en la URSS)

La lóó gica cómó proceso:

La lóó gica es el “prócesó de reflejó del mundó óbjetivó en la cónciencia del hómbre y de
verificacióó n de la córreccióó n de este reflejó pór la praó ctica, es generada históó ricamente
pór la vida de lós hómbres cóncretós, cuandó se separan de lós fenóó menós de la
naturaleza”, sus categóríóas (cantidad, calidad, medida, esencia, etc, són escalónes y
puntós fócales del cónócimientó de la naturaleza óbjetivamente existente, ló que
caracteriza la cónciencia del hómbre que se desprende de la naturaleza óbjetivamente
existente. (Davíódóv Vasili, La ensenñ anza escólar y el desarrólló psíóquicó, Investigacióó n
psicólóó gica teóó rica y experimental, Editórial Prógesó, Móscuó , 1986, 277p, ISBN 5-01-
000621-9, Impresó en la URSS)

La lóó gica matemática:

El hómbre de hóy se relacióna maó s frecuentemente cón la lóó gica matemaó tica que se
refiere a un sistema deductivó en el que existen ciertós axiómas baó sicós y ciertas reglas
de deduccióó n. Ese sistema estaó fórmadó pór un cónjuntó de expresiónes (ó síómbólós)
que permiten cónstruir determinadas própósiciónes (ó secuencias de signós dótables de
significadó), las reglas deductivas permiten recónócer cuales són la afirmaciónes
deducibles de lós axiómas mediante las reglas de deduccióó n y cuaó les nó.
 3
Lógica informal y lógica formal

La “Lógica informal”, pór ló cómuó n, se dedica al anaó lisis de lós cónceptós y

prócedimientós invólucradós y usadós para elabórar cónclusiónes a partir de
infórmacióó n dada. Tradiciónalmente, esta lóó gica parte de la base que el pensamientó
humanó es muchas veces falsa. Asíó, eó sta ha tenidó cómó finalidad una buó squeda de la
verdad, pór ló que se ha dedicadó a clasificar entre razónamientós córrectós y lós falaces.

La “Lógica Formal”, a diferencia de la anteriór, se refiere al estudió de argumentós

raciónales en fórma estrictamente esquematizada y órganizada. Parte de la base que unó
razóna bien e intenta mejórar a niveles superióres el razónamientó. Fórma relaciónes
altamente abstractas entre las ideas. Esta lóó gica, la fórmal, nó debe ser cónfundida cón la
lóó gica matemaó tica ó simbólica, la cual es sóó ló un tipó de lóó gica que se encuentra dentró
del campó de la lóó gica fórmal.

La existencia de una gran cantidad de cóncepciónes distintas de la lóó gica implica que
eó sta nó es estudiada en el vacíóó, sinó que es usada en un cóntextó. Es decir, que puede
ser usada pór las ótras ciencias. Estó nó es menór, ya que nós significóó una módificacióó n
increíóble de nuestra manera de mirar el universó y el mundó: Pasamós de creer en teóríóa
de lós cuatró elementós y en que el mundó era planó, a creer en las teóríóas de relatividad
general y de mecaó nica cuaó ntica.

Historia de la lógica

La lóó gica fórmal cómó un anaó lisis explíócitó de lós meó tódós de razónamientós se
desarróllóó óriginalmente en tres civilizaciónes de la história antigua: China, India y
Grecia entre el Sigló V y el Sigló I a.C.

En China nó duróó muchó: la traduccióó n y la investigacióó n escólar en lóó gica fue reprimida
pór la dinastíóa Qin, acórde cón la filósófíóa legalista. En India, la lóó gica duróó bastante maó s:
se desarróllóó hasta que en el mundó islaó micó aparecióó la escuela de Asharite, la cual
suprimióó parte del trabajó óriginal en lóó gica. (A pesar de ló anteriór, hubó innóvaciónes
escólaó sticas indias hasta principiós del sigló XIX, peró nó sóbrevivióó muchó dentró de la
India Cólónial). El tratamientó sófisticadó y fórmal de la lóó gica móderna aparentemente
próviene de la tradicióó n griega.
 4
Aristóó teles fue el primeró en emplear el teó rminó “Lóó gica” para referirse al estudió de lós
argumentós dentró del lenguaje natural. En el Organón Aristóó teles la define cómó “el
arte de la argumentacióó n córrecta y verdadera”.

Nacióó asíó la anteriórmente definida “Lógica Informal”, ó el estudió metóó dicó de lós
argumentós. Durante variós siglós, sóó ló fue investigada pór la retóó rica, la óratória y la
filósófíóa, entre ótras ramas del cónócimientó. Se especializóó medularmente en la
identificacióó n de falacias y paradójas, asíó cómó en la cónstruccióó n córrecta de
razónamientós.

A partir de mediadós del Sigló XIX la lóó gica fórmal cómenzóó a ser estudiada en el campó
de las matemaó ticas y pósteriórmente pór las ciencias cómputaciónales, naciendó asíó la
Lóó gica simbóó lica. EÉ sta trata de esquematizar lós pensamientós claramente usandó un
lenguaje de signós própió y distintó al verbal, evitandó asíó las ambiguü edades.

Asíó, en la edad cóntempóraó nea, la lóó gica generalmente es entendida para describir
razónamientó en una fórma prescriptita. Estó es, describe cóó mó el razónar deberíóa
tómar lugar.

Ademaó s de encóntrarle muó ltiples e impórtantes usós cómputaciónales y matemaó ticós a

la lóó gica simbóó lica, se ha mantenidó la lóó gica aristóteó lica, la cual principalmente se ócupa
de ensenñ ar el buen argumentó, y es tódavíóa ensenñ ada cón ese designió en la eó póca
cóntempóraó nea. Para la Lóó gica matemaó tica y la filósófíóa analíótica la lóó gica es un óbjetó de
estudió en síó mismó, pór ló que eó sta es estudiada a un nivel maó s abstractó.

Existen muchós ótrós sistemas lóó gicós, cómó la lóó gica dialeó ctica, lóó gica difusa, lóó gica
próbabilíóstica, lóó gica módal y la lóó gica nó mónóó tóna.

Martin Heidegger —discíópuló de Edmund Husserl—, se aparta de estas líóneas de

cónsideracióó n de la lóó gica —aunque sin despreciarlas y cómprendiendó su alcance (peró
tambieó n sus líómites)—, planteandó que una lóó gica maó s óriginaria se pódríóa encóntrar en
un planó previó a las própósiciónes, sentencias, declaraciónes ó juiciós. Tómar en cuenta
esó pódríóa llevar a un replanteamientó de la lóó gica de la própósicióó n ó la lóó gica del juició,
puestó que nós cónduciríóa a móvernós en las raíóces de la lóó gica tal cómó ha sidó
habitualmente entendida, raíóces que hasta ahóra han sidó insuficientemente atendidas.
 5
Para eó l, la lóó gica tendríóa que partir de una suficiente meditacióó n del λόό γός ( lógos), el
cual deberíóa ser distinguidó de la ratio, que, en rigór, significa algó distintó.

Razonamiento deductivo e inductivo en lógica

La filósófíóa de Aristóó teles y Platóó n engendróó la lóó gica primaria , era deductiva y nó
inductiva. Estó quiere decir que las leyes universales pódíóan ser descubiertas pór el
pensamientó humanó sin necesidad que eó ste tuviese que óptar pór mirar casós
particulares para establecer las leyes. Es decir, la lóó gica deductiva discurre sóbre ló que
sigue universalmente desde premisas dadas pór la razóó n humana. Es esta la razóó n pór la
cual Aristóó teles establecióó lós cuatró principiós a prióri para la lóó gica tódavíóa ensenñ adós
en nuestra eó póca: el principió de identidad, el Principió de nó cóntradiccióó n, el principió
del terceró excluidó y el principió de razóó n suficiente.

Sin embargó, el hacer usó uó nicamente de la lóó gica deductiva puede llevar a erróres, ya
que se deja la óbservacióó n de casós particulares de ladó, para ver si se verifica el
razónamientó. Asíó entónces, Aristóó teles se equivócóó inclusó en el nuó meró de dientes que
teníóan las mujeres, habieó ndóse pódidó enterar simplemente óbservandó y cóntandó.

En ópósicióó n al fórmalismó de ló deductivó, Hegel cuestiónóó el principió del terceró

excluidó y fórmulóó el principió de la universalidad de la cóntradiccióó n. Própusó el
meó tódó analíóticó para partir de la materia cóncreta dada para llegar a la fórma de
abstracciónes universales y luegó própóner definiciónes generales. El anaó lisis deja ló
cóncretó cómó fundamentó y pór medió de la abstraccióó n de las particularidades, que
aparentan ser inesenciales, póne de relieve ló universal cóncretó ó sea la fuerza de ley
general.

En el mismó sentidó, el razónamientó inductivó, es el estudió de derivar una

generalizacióó n ó una ley a partir de óbservaciónes. EÉ ste fue pósteriórmente incluidó en
el estudió de la lóó gica, y fue adóptadó cómó el razónamientó baó sicó de la investigacióó n
cientíófica, cómbinaó ndóla cuandó córrespónde cón la deduccióó n. Este próbablemente es
el mótivó del eó xitó y la certeza de lós módelós cientíóficós actuales. Es decir, la inclusióó n
del razónamientó inductivó en las ciencias nó es menór en nuestras vidas, nós permitióó
tener el módeló cientíóficó actual el cual nós ha dadó una cantidad impresiónante de
tecnólógíóa y supuestas “verdades”.
 6
La diferencia entre la validez inductiva y la deductiva es la siguiente: Una inferencia es
deductivamente vaó lida si y sóó ló si nó hay pósible situacióó n en la cual tódas las premisas
són verdaderas y la cónclusióó n falsa. La nócióó n de validez deductiva puede ser
rigurósamente establecida para sistemas de lóó gica fórmal en teó rminós de las bien
entendidas nóciónes de la semaó ntica. La validez inductiva, pór el ótró ladó, requiere que
se defina una “generalizacióó n rentable” a partir de un cónjuntó de óbservaciónes. La
tarea de próveer esta definicióó n puede ser enfrentada de varias maneras, algunas menós
fórmales que las ótras; algunas de estas definiciónes pueden usar módelós matemaó ticós
de próbabilidades.

Kurt Góü del ha demóstradó que en cualquier formalización consistente de las matemáticas
que sea lo bastante fuerte para definir el concepto de números naturales, se puede
construir una afirmación que ni se puede demostrar ni se puede refutar dentro de ese
sistema y que ningún sistema consistente se puede usar para demostrarse a sí mismo.

Pór tantó, en nuestra eó póca lós razónamientós deductivós e inductivós deben

cómplementarse y trabajar juntós, buscandó asíó la verdad sóbre la realidad y el entórnó.

Diferentes sistemas lógicos

 Lóó gica aristóteó lica

 Lóó gica bacóniana
 Lóó gica matemaó tica
 Lóó gica intuiciónista
 Lóó gica tempóral
 Lóó gica módal

Véase también

 Cóndicióó n necesaria y suficiente

 Operadór lóó gicó
 Meó tódó cientíóficó
 Dilema del prisióneró
 Teórema de la incómpletitud de Góü del
 Kurt Góü del
 Principió de nó cóntradiccióó n
 7
 Principió del terceró excluidó
 Principió de identidad
 Principió de razóó n suficiente
 Aristóó teles
 Hegel
 Edmund Husserl
 Wittgenstein
 Quine
 Heidegger

Enlaces externos

 Lóó gica

Obtenidó de "http://es.wikipedia.órg/wiki/L%C3%B3gica"