LOGICA

Primera Lectura
Qu debe saber de lgica una persona educada?
Seminario de Pedagoga Uniersitaria! U"A#
En las notas siguientes haremos un sumario de lo que consideramos debe conocer una persona (bien) educada sobre
lgica. Despus de revisar lo mnimo que se debe saber tanto de teora como de aplicacin, hablaremos un poco
sobre lo que se hace para ayudar a la adquisicin de tales habilidades en el $aller de %id&ctica de la Lgica que se
encuentra en su tercer ao de trabao. Empecemos con la lgica como arte y como ciencia.
!a lgica puede ser vista como un arte o tcnica y tambin como una teora o ciencia estricta. Esta dualidad es
normal. !o mismo ocurre con otras disciplinas como la "sica, la medicina o la gram#tica en las que los
conocimientos y habilidades pr#cticos conviven con los conocimientos so"isticados y tericos que carecen de
aplicacin directa en nuestra vida diaria. Es deseable que una persona bien educada en lgica tenga tanto la
posesin del arte como la de la ciencia$ que no slo cono%ca las tcnicas, ni slo la teora abstracta sobre ellas sino
tambin que desarrolle habilidades y actitudes adecuadas. Esta posesin involucra la integracin armoniosa de arte
y ciencia.
La Lgica Como Arte'
&oda persona educada debe saber cu#ndo es adecuado o incluso necesario o"recer ra%ones, como construirlas y
evaluarlas. Desarrollando ideas de 'obert (. Ennis y de )riel *ampir#n, podemos decir que debe haber ())
conocimiento, (+) disposicin y (*) habilidad para
,. organi%ar una discusin,
-. apoyar con ra%ones,
.. aceptar consecuencias,
/. saber cu#ndo y qu preguntar,
0. clari"icar el discurso,
1. tomar en cuenta el conte2to de discusin,
3. reconocer la estructura de un argumento,
4. saber cuando la evidencia es insu"iciente y
5. buscar alternativas.
6e debe saber distinguir distintos actos de habla$ oraciones, proposiciones, aseveraciones y enunciaciones. 7sos
del lenguae$ emotivo, meta"rico, retrico, eu"emstico, in"ormativo, directivo y lgico. Distinguir usos de las
discusiones$ 8uerellas, Debates, Discusin crtica, 9usti"icacin y de"ensa, +:squeda de in"ormacin, +:squeda de
evidencia, ;egociacin, E2plicacin, Educacin, Deliberacin para la accin.
6e debe saber cmo construir un argumento. *aractersticas de una buena conclusin. !a di"erencia entre apoyar
dogm#ticamente y de"ender con ra%ones.
6aber escuchar$ <rincipio de caridad, *onte2tuali%ar, 'epetir, <ara"rasear, Dar eemplos, +uscar apoyos. 7so de
eemplos, contraeemplos, pseudo=eemplos, pseudo=contraeemplos, reduccin al absurdo.
6aber participar en una discusin. 'eglas para la discusin (>alton)$ turnos para hablar, locuciones permisibles,
relevancia, cooperacin, compromisos derivados de locuciones, cu#ndo y cmo terminar. &ambin cmo organi%ar
una discusin$ 6ealar el obetivo, clari"icacin, apoyo, e2amen de alternativas, discusin, conclusiones.
6aber anali%ar un argumento$ ?denti"icar el tema, clari"icar los trminos claves (Eliminar ambig@edad y vaguedad,
distinguir e2tensin e intensin de un concepto, manear los distintos tipos de de"inicin (nominal, real, normativa,
descriptiva) y sus reglas)A identi"icar la conclusin y las premisas mediante partculas indicadorasA eliminar
material$ 'epeticiones, Digresiones, ?lustraciones, 'etrica.
*mo pasar en limpio un argumento.
a. 7ni"ormar e2presiones, tal ve% para"raseando
b. Diagramar argumentos y debates compleos$ Divergentes, *onvergentes y Encadenados (seriales).
c. )adir premisas implcitas
d. )adir conclusiones implcitas
e. ?denti"icar consecuencias tericas y pr#cticas.
Evaluando las premisas$ Berdad, <robabilidad, )ceptabilidad, 'elevancia, 6u"iciencia (cu#ndo vale un eemplo o un
contraeemplo).
Evaluando las "uentes$ 7sar "uentes con"iables y mencionarlas. <edir que las "uentes sean e2pertas reconocidas,
sin con"licto de intereses y en acuerdo entre ellas. <edir que las "uentes usen procedimientos establecidos y
con"iables, la mnima in"erencia, reportes actuali%ados, reportes directos, documentados y corroborados,
condiciones adecuadas de observacin, incluyendo instrumentos.
Evaluando las in"erencias$
". Distinguir verdad de valide%
g. 'econocer el tipo de argumento (y de evidencia)$ deductivos, inductivos, abductivos, por analoga,
probabilsticos, estadsticos.
h. 'econocer las relaciones entre partes de un argumento$ causales, temporales, retricas, lgicas.
Calacias. 'econocer las m#s comunes "alacias Cormales, Dateriales y <robabilsticas.
6e puede poseer todas estas habilidades sin necesidad de educacin "ormal, aunque, como ocurre con la dan%a o el
canto, esta posesin puede desarrollarse con el estudio sistem#tico. De la persona que posee su"iciente
conocimiento, disposicin y habilidad en estos temas se dice a menudo que es una persona ElgicaE.
La Lgica Como Ciencia'
?gual que en otras disciplinas, para decir que alguien est# enterado minimamente sobre la lgica como ciencia
pedimos una instruccin m#s so"isticada. 7na persona educada debe poder reconocer (Fen el espaol mismoG) la
cuanti"icacin de una "rase y las "unciones de verdad como conuncin, disyuncin inclusiva y e2clusiva, negacin,
condicional y bicondicional. *on esto debe poder reconocer tautologas, contradicciones proposicionales,
contingencias proposicionales, y contraeemplos. )dem#s debe manear reglas de tres tipos$
(,) De in"erencia$ modus ponendo ponens, modus tollendo tollens, modus tollendo ponens, simpli"icacin,
transitividad, prueba condicional, reduccin al absurdo, dilema constructivo, dilema destructivoA
(-) De equivalencia$ conuncin, conmutacin, distributividad, de morgan, doble negacin, asociatividad,
contraposicin, idempotenciaA
(.) De cuanti"icacin$ generali%acin e instanciacin tanto universal como e2istencial.
6obre la historia de la lgica, debe haber odo algo sobre la silogstica, la "undamentacin lgica de la matem#tica,
el &eorema de ?ncompletud de HIdel, sobre algunas e2tensiones como las lgicas polivalentes, modales y no=
monotnicas, y sobre algunas rivales como las intuicionistas y libres.
J;ota$ 7na persona D7K bien educada, aunque sin tener que ser un lgico pro"esional, se reconoce porque manea
algunas nociones b#sicas de metalgica tales como consecuencia lgica, uso y mencin, lenguae obeto y
metalenguae, lenguaes y sistemas "ormales, sinta2is y sem#ntica, valide% lgica, teoremicidad y prueba,
completud y correccin, independencia, satis"acibilidad, consistencia sint#ctica y sem#ntica y decidibilidad.
)dem#s, de tener una opinin ra%onada sobre cuestiones "undamentales como si la lgica es una disciplina
"ilos"ica, una rama de las matem#ticas, una ciencia.L

$aller de %id&ctica de la Lgica
)hora bien, Mcmo ensear todos estos conocimientos, habilidades y actitudesN <ara e2plorar las posibilidades, el
lunes ,- de enero de ,551 tuvo lugar la primera sesin del &aller de Did#ctica de la lgica. 6u propsito "ue
compartir e2periencias alrededor de temas como$ motivacin al estudio de disciplinas "ormales, uso del pi%arrn,
tcnicas audiovisuales, din#mica de grupos, e"ectos del trabao en grupos sobre el aprendi%ae individual, estudios
sobre la capacidad lgica en alumnos me2icanos y de otros pases, uso de so"tOare para la ensean%a de la lgica,
la ensean%a de la lgica en grupos de primaria, secundaria, preparatoria y licenciatura, y otros temas
dependiendo de los intereses de los participantes.
Pasado
En la primera reunin se present el borrador de todo un <rograma de !gica para la instruccin completa en el
nivel de licenciatura, programando qu conocimientos era recomendable tener y en qu ordenA esto se implement
voluntariamente con varios maestros de la Cacultad. )s se impartieron nuevos cursos como (istoria de la !gica,
E2tensiones de la !gica *l#sica, 'ivales para la !gica *l#sica, Ciloso"a de la !gica. (ace poco el plan de
estudios de la carrera de "iloso"a "ue modi"icado y en el &aller se han empe%ado a generar materiales para cursos
que pr2imamente empe%ar#n a darse como el de )n#lisis !gico de )rgumentos Cilos"icos. Ptros resultados
indirectos han sido el apoyo para la coordinacin y diseo de cursos intersemestrales de la DH)<) y del mdulo de
lgica en el <))6, en los que se ha en"ati%ado la integracin de la lgica como arte y la lgica como ciencia.
Durante estos -5 meses hemos tenido reuniones sobre an#lisis "ilos"ico, estudios sobre la capacidad lgica de los
alumnos de licenciatura, propuestas de clasi"icacin de reglas de deduccin natural, un nuevo temario para curso
iniciales de lgica, la historia de las m#quinas lgicas, desde el )rs Dagna de !ull hasta el uso de so"tOare
educativo como !ogic>orQs y &arsQiRs >orld. )dem#s hemos tenido invitados de instituciones como 7)D, 7;)D,
7niversidad <anamericana, 7niversidad <edaggica ;acional, 7niversidad Beracru%ana, y de pases como )ustralia,
*anad#, Estados 7nidos y ;oruega con lo que se ha ampliado mucho nuestra comprensin de lo que se hace sobre
estos temas en otras instituciones y otros pases.
)lgunas de las lneas de investigacin durante los tres pr2imos aos son$
,. ?nvestigacin biblio=hemerogr#"ica sobre 'a%onamiento *rtico ('*) y Ciloso"a (!gica) para ;ios para constituir
un repositorio nacional de materiales pedaggicos.
-. <#gina >>> que re:na los recursos e2istentes en ?nternet para estudio y consulta.
.. *ooperacin con la 7niversidad de Delbourne sobre la ensean%a a distancia de la lgica in"ormal para producir
programas para ensean%a a distancia.
/. !aboratorio de did#ctica de la lgica para evaluacin y per"eccionamiento de tcnicas docentes y para
implementar programas y cursos pilotos.
0. 'ed virtual nacional de investigacin en did#ctica de la lgica para enla%ar investigadores en Beracru%,
instituciones del DC, Durango y tal ve% *uernavaca.
1. &esis de posgrado sobre temas a"ines como la adquisicin de habilidades lgicas, el entimema aristotlico, la
lgica in"ormal aplicada a la educacin moral, la teora de la argumentacin, etc., para la "ormacin de recursos
humanos.
3. Diseos curriculares para diplomados o especiali%aciones en lgica.
4. <ublicacin de un boletn del &aller y de materiales para la docencia.
*omo puede verse, el &aller ha hecho mucho, y proyecta hacer aun m#s. <or ello toda la cooperacin y el apoyo
posibles de ustedes ser# bienvenida en esta larga tarea de investigar cmo preparar pro"esores que enseen las
habilidades, actitudes y conocimientos b#sicos de una persona bien educada en lgica. Hracias por su atencin.
Segunda Lectura
+reve (istoria de la !gica
(uan A)Alare* +&*,ue*
(ulio A) -re.re Gon*ale*
/a0ael /iera Lpe*
Daestra en *iencias *omputacionales
Instituto Tecnolgico y de Estudios Superiores de Monterrey
*ampus Dorelos
http$SSO..mor.itesm.m2STlogicaS
Abstract
6e presenta una breve descripcin histrica de la lgica y su posible desarrollo "uturo. Esta descripcin es un
resumen de varias re"erencias electrnicas, donde resalta la in"ormacin presentada por (enri <oncaire. Esta
descripcin histrica se presenta ordenada en las cinco revoluciones sealadas por <oncaire, y dentro de cada una
se revisan a sus principales representantes.
1 Introduccin
!a evolucin de la lgica est# intrnsecamente ligada a la evolucin intelectual del ser humano, ya que como
ciencia del ra%onamiento, su historia representa la historia misma del hombre. !a lgica surge desde el primer
momento en que el hombre, al en"rentar a la naturale%a, in"iere, deduce y ra%ona, con el #nimo de entenderla y
aprovecharla para su supervivencia J,L. E2isten varios en"oques acerca de cmo interpretar la evolucin de la
lgica. <oncaire la divide en cinco etapas o revoluciones, que se presentan oscilando entre dos grandes tpicos$ del
rigor y la "ormalidad, a la creatividad y el caos. !as etapas se identi"ican como$ 'evolucin matem#tica, revolucin
cient"ica, revolucin "ormal, revolucin digital y la prevista siguiente revolucin lgica J-L.
2 Lgica #atem&tica
El obetivo de la lgica matem#tica es cuestionar con el mayor rigor los conceptos y las reglas de deduccin
utili%ados en matem#ticas, constituyendo la lgica por ello una verdadera metamatem#tica. 7na teora matem#tica
considera obetos de"inidos (enteros, por eemplo) y de"ine leyes que relacionan a estos obetos entre s (los
a2iomas de la teora). De los a2iomas se deducen nuevas proposiciones (los teoremas), y a veces, nuevos obetos.
!a construccin de sistemas "ormales ("ormali%acin), piedra angular de la lgica matem#tica, permite eliminar la
arbitrariedad en la eleccin de los a2iomas y de"inir e2plcita y e2haustivamente las reglas de la deduccin
matem#tica J.L.
3 Las matem&ticas . la lgica
Durante el periodo de 1UU )* hasta .UU )*, en Hrecia se desarrollaron los principios "ormales de las matem#ticas. )
este periodo se le conoce como periodo cl#sico, donde sus principales representantes son <latn, )ristteles y
Euclides. <latn introduce sus ideas o abstraccionesA )ristteles presenta el ra%onamiento deductivo y
sistemati%ado y Euclides es el personae que mayor in"luencia tuvo en las matem#ticos, al establecer el mtodo
a2iom#tico. En RRElementosRR, Euclides organi%a pruebas deductivas dentro de una presentacin sistem#tica, rigurosa
y bien organi%ada de conocimiento matem#tico J/L.
3)1 Platn
<latn (/-3=./3 )*) intenta instaurar en 6iracusa una utpica rep:blica dirigida por "ilso"os, y crea la )cademia en
)tenas, que no era solouna institucin "ilos"ica, sino serva de "ormacin poltica a los venes de la aristocracia.
6eg:n muchos crticos, <latn edi"ica su teora del conocimiento para usti"icar el poder preeminente del "ilso"o y
parte de los pensamientos socr#ticos$ la b:squeda de conceptos y de"iniciones estables de las ideas abstractas
(usticia, bondad, valor, etc.). 6ostuvo la e2istencia de dos mundos distintos (el de las ideas y el de las cosas).
6eg:n <laton, lo concreto se entiende slo en "uncin de lo abstracto, resultando que el mundo sensible debe su
e2istencia al mundo de las ideas. <latn escogi el di#logo como su "orma literaria para verter su pensamientoA
como personae central de sus RRDi#logosRR sit:a a 6crates, de quien recibi una notable in"luencia J0L.
3)2 Aristteles
!os tratados de lgica de )ristteles (.4/=..- a.*.), conocidos como Prgann, contienen el primer tratamiento
sistem#tico de las leyes de pensamiento en relacin con la adquisicin de conocimiento. Estos representan el
primer intento de establecer a la lgica como ciencia. )ristteles da una clasi"icacin de todos los conceptos o
nociones (sustancias, cantidad, relacin, accin, pasin, di"erencia, propiedad y accidente) y trata las reglas del
ra%onamiento silogstico. )ristteles no hace de la lgica una disciplina met#"isica, pero si establece una
correspondencia entre el pensamiento lgico y la estructura ontolgica.
El silogismo "ue adoptado por los escol#sticos (representantes del sistema teolgico="ilos"ico, caracterstico de la
Edad Dedia) quienes la enriquecieron con n:merosos y detallados estudios y se es"or%aron en "ormali%arlo. !a
escol#stica, sin embargo, acab por sobrecargar la teora del silogismo, lo que acarre su descrdito a partir del
'enacimiento. !os lgicos de la edad moderna ('ame, )rnauld, ;icole, !eibni%, Euler, !ambert) procuraron
simpli"icarla al m#2imo, y su tratamiento matem#tico se complet hasta principios del siglo VV (+oole, De Dorgan,
Crege, 'ussell). Desde entonces el silogismo se incluye en la lgica de predicados de primer orden y en la lgica de
clases, y ocupa en la ciencia lgica un papel mucho menor que el desempeado en otros tiempos J0L.
3)3 4uclides
Este matem#tico aleandrino public numerosas obras entre las que destacan los clebres RRElementosRR, sin duda el
te2to matem#tico m#s conocido a lo largo de la historia. !os RRElementosRR est#n divididos en trece libros y
constituyen una recopilacin de gran parte de las matem#ticas conocidas en tiempos de EuclidesA su gran valor
reside en el uso riguroso del mtodo deductivo, distinguiendo entre principios (de"iniciones, a2iomas y postulados)
y teoremas, que se demuestran a partir de los principios. !os principios de naturale%a puramente geomtrica en
RRElementosRR se conocen como postuladosA tres de ellos aseguran la e2istencia y unicidad de la recta determinada
por dos puntosA el cuarto, la e2istencia de una circun"erencia de centro y radio dadosA y el quinto da condiciones
que aseguran que dos rectas se cortan en un punto. ) lo largo de la historia se ha mantenido la sospecha de que el
quinto postulado era demostrable a partir de los anteriores. El deseo de encontrar tal demostracin conduo, en el
siglo V?V, a la construccin de geometras no euclidianas de las que se deduce la imposibilidad de demostrar el
quinto postulado J0L.
5 La ciencia matem&tica
Despus de declinar la escuela cl#sica de los griegos, se presenta un periodo en el cual la autoridad religiosa
embruteci a la creatividad intelectual. El renacimiento inicia una nueva era en la cual se permite la revitali%acin
de la ciencia y las matem#ticas. !os representantes m#s destacados de esta etapa son Descartes, ;eOton y !eibni%.
Este periodo abarca de los ,0UU a los ,4UU J1L.
5)1 /en %escartes
El punto de partida de este "ilso"o y matem#tico "rancs (,051=,10U) es la duda universal, que consiste de
prescindir de cualquier conocimiento previo que no queda con"irmado por la evidencia con que ha de mani"estarse
el espritu. Descartes dud de toda ensean%a recibida, de todo conocimiento adquirido, del testimonio de los
sentidos e incluso de las verdades de orden racional. !legado a este punto, halla una verdad de la que no puede
dudar$ la evidencia interior que se mani"iesta en su propio sueto (pienso, luego e2isto). *omo cient"ico, se debe a
Descartes, entre otras aportaciones de considerable importancia, la creacin de la geometra analtica J0L. Este
desarrollo es importante para la ciencia porque hace a la geometra cuantitativa y permite el uso de mtodos
algebraicos. !a geometra debe ser cuantitativa para ser usada en la ciencia e ingeniera, y los mtodos algebraicos
permiten el desarrollo m#s r#pido que los mtodos sistem#ticos (m#s rigurosos) requeridos por el en"oque
a2iom#tico de la geometra cl#sica.
5)2 Isacc "e6ton
) ?sacc ;eOton (,1/-=,3-3) se le debe el descubrimiento de la gravitacin universal, el desarrollo del c#lculo
in"initesimal e importantes descubrimientos sobre ptica, as como las leyes que rigen la mec#nica cl#sica J0L.
5)3 Gott0ried 7) Leibni*
Cilso"o y matem#tico alem#n (,1/1=,3,1)A "und la )cademia de *iencias de +erln (,3UU). En RRDiscurso sobre el
arte combinatorioRR enuncia la necesidad de un lenguae riguroso, e2acto y universal (un lenguae puramente
"ormal). *omo matem#tico, su principal trabao (publicado en ,14/) es la memoria intitulada RR;uevo mtodo para
la determinacin de los m#2imos y los mnimosRR, en el que e2pone las ideas "undamentales del c#lculo
in"initesimal, anticip#ndose unos aos a ;eOton. !a notacin que emple es particularmente cmoda y se sigue
utili%ando con algunas modi"icacionesA introduo el smbolo de integral y de di"erencial de una variable. En el #rea
de lgica matem#tica public RRHenerales inquisitiones de analysi notionum et veritatumRR y RRCundamenta calculi
logiciRR J0L.
8 -ormali*acin de las #atem&ticas
Esta etapa se caracteri%a por el resurgimiento de la "ormali%acin rigurosa de las matem#ticas, que en la etapa
cl#sica griega "u representativa. El uso de los in"enitesimales "ue una de las pr#cticas mas notoria en la poca
renacentista, para la cual no se o"recia una ustiticacin. !a rigori%acin del an#lisis llego con la eliminacin de los
in"initesimales y la presencia de los lmites como argumentoJ3L. En este periodo se crea la lgica simblica, la
escuela "ormal, la lgica booleana, el c#lculo porposicional, la induccin matem#tica, el c#lculo de secuentes.
<ersonaes muy notables de esta etapa son$ <eano, (ilbert, Crege, +oole, de Dorgan, Hent%en, 'ussell, HIdel y
>hitehead. ) 'usell y HIdel se deben los planteamientos de las limitantes de la lgica y de la ciencia en general.
8)1 Guiseppe Peano
!a enunciacin de los principios del italiano Huiseppe <eano (,404=,5.-) acerca de lgica matem#tica y su
aplicacin pr#ctica quedaron contenidos en su obra RRCormulaire de mathematiquesRR. !os a2iomas de <eano
permiten de"inir el conunto de los n:meros naturales J4L.
8)2 %aid 9ilbert
El matem#tico alem#n David (ilbert (,41-=,5/.) "ue un enconado de"ensor de la a2iom#tica como en"oque
principal de los problemas cient"icos, esto es, de partir de un conunto cerrado e inamovible de premisas para
construir la base "undamental de cualquier estudio. ) partir de las "uentes griegas de Euclides, public en ,455 su
obra RRCundamentos de HeometraRR, en la que mediante un e2haustivo an#lisis y per"eccionamiento de las ideas
euclidianas, "ormul sus principios de a2iomati%acin. 6eg:n sus teorias, es necesario establecer un conunto de
postulados b#sicos antes de plantear de modo m#s detallado cualquier tipo de problema "sico o matem#tico. Estos
principios deben ser simblicos, sin recurrir a dibuos y representaciones gr#"icas, y es necesario preveer la mayora
de las posibilidades con antelacin. 6u concepcin reconoca tres sistemas de entes geomtricos (puntos, rectas y
planos) a los que podan aplicarse a2iomas distribuidos en cinco di"erentes categoras$ pertenencia, orden, igualdad
o congruencia, paralelismo y continuidad J4L.
8)3 -riedric: G) -rege
9unto con +oole y <eano, el matem#tico y lgico Criedrich H. Crege (,4/4=,5-0) inicio la corriente de pensamiento
que, partiendo del an#lisis de los "undamentos de la matem#tica, llev a cabo la mas pro"unda renovacion y
desarrollo de la lgica cl#sica. Cue el primero en introducir los cuanti"icadores u operadores y en elaborar una
teora de la cuanti"icacin J5L.
8)5 George ;oole
El lgico y matem#tico Heorge +oole (,4,0=,41/) aplic el c#lculo matem#tico a la lgica, "undando el #lgebra de
la lgica, que en cierto modo reali%a el sueo de !eibni% de una RRcharacteristica universalisRR o c#lculo del
raciocinio. El empleo de smbolos y reglas operatorias adecuados permite representar conceptos, ideas y
ra%onamientos mediante variables y relaciones (ecuaciones) entre ellas. +oole dio un mtodo general para
"ormali%ar la in"erencia deductiva, representando complicados raciocinios mediante sencillos sistemas de
ecuaciones. )s, la conclusin de un silogismo se encuentra eliminando el trmino medio de un sistema de tres
ecuaciones, con"orme a las reglas del #lgebra com:n, !a "ormali%acin de la lgica, iniciada por +oole, ha
contribuido poderosamente a aclarar la estructura de los obetos lgicos, en contraposicin a los materiales y aun
en contraposicin a los matem#ticos, pese a las analogas "ormales entre la matem#tica y la lgica, que +oole
seal. 6u obra principal es RR?nvestigacin de las leyes del pensamientoRR en las que se "undan las teoras
matem#ticas de la lgica y la probabilidad (,40/), que aun hoy se lee con deleite J4L.
8)8 Augustus %e #organ
!a mayor contribucin de )ugustus De Dorgan (,4U1=,43,) en el estudio de la lgica incluye la "ormulacin de las
leyes de Dorgan y su trabao "undamenta la teora del desarrollo de las relaciones y la matem#tica simblica
moderna o lgica matem#tica. De Dorgan hi%o su m#s grande contribucin como re"ormador de la lgica J5L.
8)< Georg -) Cantor
)l matem#tico alem#n Heorg C. *antor (,4/0=,5,4) se debe la idea del RRin"inito coninuoRR, es decir, la posibilidad de
considerar conuntos in"initos dados simult#neamente. 6e le considera el creador de la teoria de los n:meros
irracionales y de los conuntos J0L.
8)= Gent*en
El alem#n Hent%en (,5U5=,5/0) "ormul la prueba de la consistencia de un sistema de aritmtica cl#sica, en el cual
el mtodo no elemental es una e2tensin de induccin matem#tica a partir de una secuencia de n:meros naturales
a un cierto segmento de n:meros ordinales trans"initos J5L.
8)> ;ertrand /usell
+ertrand 'usell (,43-=,53U) es uno de uno de los creadores de la logstica y uno de los pensadores de mayor
in"luencia en la "iloso"a cient"ica contempor#nea. !o "undamental de su obra est# en sus aportes a la lgica.
Decididamente antiaristotlico, lleg a a"irmar que quien quera iniciarse en la lgica deba comen%ar por no
estudiar la lgica de )ristteles. <or in"luencia de los trabaos de *antor descubri en la teora de conuntos varias
paradoas que resolvi mediante la teora de los tiposA aos m#s tarde establecera una teora similar, la de la
erarqua de los lenguaes, para eliminar las paradoas sem#nticas. 6iguiendo los trabaos de *antor, <eano y Crege,
'usell se propuso "undamentar y a2iomati%ar la matem#tica a partir de conceptos lgicos. Este empeo culmin con
la publicacin (,5,U=,5,.) de los monumentales RR<rincipia DathematicaRR (en colaboracin con >hitehead), obra
que, adem#s, sentaba las bases de la moderna lgica "ormal.
8)? @urt GAdel
Wurt HIdel (,5U1=,534) tuvo m:ltiples contribuciones a la lgica matem#tica, destacando la demostracin de la
consistencia de la hiptesis cantoriana del continuo y el teorema y la prueba de incomplete% sem#ntica. En RR6obre
las proposiciones indecidibles de los sistemas de matem#tica "ormalRR establece que es imposible construir un
sistema de c#lculo lgico su"icientemente rico en el que todos sus teoremas y enunciados sean decidibles dentro
del sistema. *on este teorema se demostr de"initivamente que era imposible llevar a cabo el programa de la
a2iomati%acin completa de la matem#tica propugnado por (ilbert y otros, ya que, seg:n l, no puede e2istir una
sistemati%acin coherente de la misma tal que todo enunciado matem#tico verdadero admita demostracin.
6iempre habr# enunciados que no son demostrables ni re"utables. <ara probar esta asercin se sirvi de la
matemati%acin de la sinta2is lgica.
< La /eolucin %igital
Esta revolucin inicio con la invencin de la computadora digital y el acceso universal a redes de alta velocidad.
&uring une a la lgica y la computacin antes que cualquier computadora "uera inventada. >einer "unda la ciencia
de la ciberntica. En la escuela moderna de la computacin est#n presentes lgicos que han permitido avances
importantes$ (oare presenta un sistema a2iom#tico de los sistemas de programacin y DiQstra un sistema de
veri"icacin y deduccin de programas a partir de especi"icaciones.
<)1 Alan $uring
Datem#tico y lgico quien "ue pionero en la teora de la computacin y contribuy en importantes an#lisis lgicos
de los procesos computacionales. !as especi"icaciones para la computadora abstracta que l ide (llamada la
D#quina de &uring) result ser una de sus mas importantes contribuciones a la teora de la computacin. &uring
adem#s prob que es posible construir una m#quina universal que con una programacin adecuada podr# hacer el
trabao de cualquier m#quina diseada para resolver problemas espec"icos J5L.)lan &uring invent la m#quina que
lleva su nombre (D#quina de &uring) en un intento por determinar si toda la matem#tica podia ser reducida a alg:n
tipo simple de computacin. 6u obetivo "u desarrollar la m#quina m#s simple posible capa% de reali%ar
computacin. !a m#quina propuesta por &uring es un dispositivo relativamente simple, pero capa% de reali%ar
cualquier operacin matem#tica. &uring abrig la ilusin de que su m#quina tena una capacidad tal que,
potencialmente, podra ser capa% de reali%ar cualquier cosa reali%able por el cerebro humano, incluyendo la
capacidad de poseer conciencia de si mismo. <ese a ser considerados "ormalmente equivalentes, distintos modelos
de computacin presentan estructuras y comportamientos internos di"erentes J,UL.
<)2 "orbert 7einer
El cient"ico norteamricano ;orbert >einer (,45/=,51/) en ,5/3 publica su libro m#s "amoso$ RR*iberntica, o
control y comunicacin en el animal y la m#quinaRRA en donde se utili%a por primera ve% la palabra *iberntica.
E2isten muchas de"iniciones de *iberntica (del griego Qybernetes, piloto), ;orbert >einer dio vida a la palabra
mediante una de"inicin muy simple$ RR*iencia que estudia la traduccin de los procesos biolgicos a procesos de
m#quinaRR. En un inicio, la *iberntica estaba muy ligada a ciencias como neurologa, biologa, robtica e
inteligencia arti"icial. J,,L.
<)3 Al0red $arsBi
Datem#tico y lgico polaco nacido en ,5U-, quien reali%o importantes estudios de #lgebra en general, teora de
mediciones, lgica matem#tica, teora de conuntos, y metamatem#ticas.
= La siguiente reolucin lgica
!a siguiente revolucin lgica ser# la asimilacin pr#ctica de las matem#ticas y la computacin dentro de la lgica.
6e har# en"#sisi en que las computadoras e2ploten la in"ormacin inteligentemente, pasando de las bases de datos
a las bases de conocimientos J,-L.
> Conclusin
!a lgica muestra un devenir histrico muy interesante, naciendo de la "uerte "ormali%acin de las matem#ticas de
los griegos, que "u impactada, como muchas ciencias, por el pensamiento de la Edad Dedia, donde la religin se
anteponia a todoA pero, el impet: de la mente de los "ilso"os renacentistas ayud a retomar su desarrollo. ;o cabe
duda que la lgica tiene impact "undamental, como ciencia de las ciencias, en el pensamiento contemporaneo, y
que el nacimiento de la tecnolgia computacional deba mucho al desarrollo del "ormalismo lgico de principios de
siglo.
? /e0erencias
,. Crausto, 9uan. ''Evolucin de la Lgica: Pasado, Presente y Futuro''.
http$SSO..mor.itesm.m2SlogicaSlog54U4Sevolucin.html . ,- de agosto de ,555.
-. <oincare, (enri. ''Logical Revolution. Past, present and uture''. ,3 de agosto de ,555.
http$SSOOO.rbones.comSrbpubSOOOScolumScUU.UU.html . ,3 de agosto de ,555.
.. Hran Enciclopedia de la *iencia y de la &ecnologa. Barios vol:menes. Ediciones Pcano. Espaa.,551
/. <oincare, Enri. ''!lassical "ree# Mat$e%atics''. ,U de agosto de ,555.
http$SSOOO.rbones.comSrbpubSmathsSmathUU0.html . ,3 de agosto de ,555.
0. Diccionario Enciclopedico 7nivesal. Barios vol:menes. Ediciones Pceano. Espaa. ,55/.
1. <oncaire, (enri. ''Mat$e%atics and t$e Scientiic Revolution''. 0 de octubre de ,551.
http$SSOOO.rbones.comSrbpubSmathsSmathU,,.html . ,3 de agosto de ,555.
3. <oncaire, (enri. ''T$e For%alisation o Mat$e%atics''. 0 de octubre de ,551.
http$SSOOO.rbones.comSrbpubSmathsSmathUU1.html . ,3 de agosto de ,555.
4. Enciclopedia (isp#nica. Barios vol:menes. Ed. Encyclopaedia +ritannica <ublishers. D2ico. ,55U.
5. Encyclopaedia +ritannica. Barios vol:menes. Ed. Encyclopaedia +ritannica <ublishers. Estados 7nidos. ,54U.
,U. *ampos Dominge%, Daniel. ''Modelos de !o%putacin''. )rquitectura y Prgani%acin de *omputadores.
)gosto de ,553. http$SSOOO.in".udec.clScamposSarquitecturaSmodelos.html . ,4 de agosto de ,555.
,,. )sociacin De2icana de ?ngenieros en ciberntica. http$SSOOO.cibernetica.org.m2S . ,4 de agosto de ,555.
,-. <oncaire, (enri. ''T$e &e't Logical Revolution''. . de noviembre de ,551.
http$SSOOO.rbones.comSrbpubSlogicSenglUU-.html . ,4 de agosto de ,555.
)utors$
9uan ).)lvare% B#%que%
9ulio ). Creyre Hon%ale%
'a"ael 'ivera !pe%
Daestra en *iencias *omputacionales
Instituto Tecnolgico y de Estudios Superiores de Monterrey
*ampus Dorelos
http$SSO..mor.itesm.m2STlogicaS
&ercera !ectura
La importancia de la Lgica en las Ciencias de la Computacin
#iguel Carrillo ;araCas
!os temas de computacin son muy populares en esta poca. !a televisin e2hibe propaganda de los procesadores
de computadora X:ltimo modeloY. El acceso a ?nternet se o"rece hasta en los tel"onos mviles. !as computadoras
participan en el cine tanto como personaes, como herramientas para la produccin de pelculas. K en las escuelas
se ensea a los nios a usar computadoras. <ero, a pesar de esta popularidad, casi nadie sabe que detr#s del origen
y del desarrollo de la computacin hay una precursora annima$ la lgica.
El papel m#s sencillo de la lgica se observa cuando, al usar el lenguae, intentamos dotar de un Xsentido lgicoY a
las ideas que e2presamos. )lgo similar se observa en computacin cuando se usa la lgica en los lenguaes de
programacin para dotar de Xsentido lgicoY a las instrucciones de los programas de computadora, mediante
construcciones de la "orma i"... then.... <ero la importancia de la lgica en la computacin va mucho m#s all# de su
uso. <ara empe%ar, basta decir que la lgica se ocupa de temas de computacin antes de que las computadoras
e2istieran.
)qu e2ponemos, sin recurrir a tecnicismos, a una descripcin breve de la lgica y de su papel en la computacin,
resaltando algunos de sus 2itos y "racasos. )l "inal, especulamos sobre el posible impacto de la lgica en el "uturo
de la computacin.
Es :til mencionar que el tema de este ensayo "orma parte de una discusin m#s amplia, en la que se con"ronta a la
teora y a la pr#ctica. En distintas pocas y circunstancias de la historia, se ha discutido mucho el XvalorY
independiente de ambas, con la intencin de establecer una XganadoraY y saber, a priori, a cu#l se debe elegir al
resolver un problema dado. ) la mayora de los lectores este planteamiento debe parecerle un tanto absurdo,
porque teora y pr#ctica, como lu% y oscuridad, son conceptos complementarios, inconcebibles de "orma
independiente. )un siendo absurdo el planteamiento, la polmica e2iste, qui%#s porque es normal hacer eercicio
de una de ellas (teora o pr#ctica) durante perodos largos, sin recurrir a la otra. Estos periodos largos de eercicio
por separado, crean la ilusin de que &eora y <r#ctica son independientes, pero sin importar cu#nto dure esa
separacin, siempre habr# un reencuentro. Ptra "orma de e2plicar esta polmica aparentemente absurda, es la que
considera los "actores econmicos. En pocas de crisis mucha gente intenta reducir gastosA la teora es costosa y no
o"rece productos tangibles mientras que la pr#ctica s o"rece productos tangibles, a pesar de ser costosa. !a
conclusin errnea de este argumento sera que se puede prescindir de la teora, y el error est# en asumir que esa
Xpr#ctica productivaY no tiene un antecedente terico.
DQu es la lgica?
6i se quiere evitar entrar en cualquier tipo de complicacin, puede decirse que la lgica es la materia que se
encarga del estudio de los mecanismos del pensamiento deductivo. <ero esta de"inicin no es muy :til.
?n"eli%mente, una descripcin satis"actoria de la lgica no cabe en el espacio destinado a este ensayo y debido a
esto, nos con"ormaremos con proporcionar una descripcin intuitiva de su evolucin en una historia resumida.
(entra ilustracin)
En el conte2to de la cultura occidental, el origen de la lgica (y de casi todo) se remonta a la poca de los
griegos(-). Dos "iguras de in"luencia "undamental son$ )ristteles(.) (.4/ a.*. Z .-- a.*.) y Euclides(/). )ristteles
coloc a la lgica en un lugar distinguido del *onocimiento y Euclides "ue el principal promotor del Dtodo
)2iom#tico mediante el te2to de X!os ElementosY, considerado como la obra de mayor in"luencia en la historia de
las matem#ticas. En esta poca, la lgica no se conceba como una ciencia sino como un Xconunto de
herramientasY aplicables a la ciencia. Estas herramientas consistan, b#sicamente, en esquemas de ra%onamiento,
tales como$ (i) todo griego es una personaA (ii) toda persona es mortalA (iii) por lo tanto, todo griego es mortal.
Despus de los griegos, otra "igura que resalta en la historia de la lgica es Hottlob Crege(0) (,4/4 Z ,5-0). ) Crege
se le considera el "undador de la !gica 6imblica Doderna, meor conocida como !gica Datem#tica. !a
participacin de Crege en la historia de la lgica ha quedado curiosamente marcada por un error que cometi al
proponer (y publicar) un sistema a2iom#tico para la aritmtica, que result ser XinconsistenteY, es decir, permita
deducir proposiciones "alsas. !os errores no son generalmente bien vistos, nadie quisiera mencionarlos (sobre todo
los propios), pero suelen ser muy importantes, a veces m#s que los 2itos. Este error de Crege "ue sealado por
otro gran personae, +ertrand 'ussell(1), y se convirti en un "actor importante en la generacin de un ambiente de
duda alrededor de la idea de "undamentar las matem#ticas mediante sistemas a2iom#ticos. En esta poca inicia la
corriente del !ogicismo, cuya tesis principal consiste en a"irmar que todas las matem#ticas son reducibles a la
lgica.
8ui%#s ahora es di"cil imaginar la ilusin y el entusiasmo que, con el !ogicismo sentan los matem#ticos en el inicio
del siglo VV, pero es indudable que esa ilusin y entusiasmo le dieron un gran impulso a la lgica. !a ilusin
comen% con el programa de David (ilbert(3) (,41-=,5/.). Este programa pretenda, como dicta el !ogicismo,
"undamentar las matem#ticas mediante un sistema a2iom#tico pero, para asegurar que dicho sistema "uera
consistente (que no permitiera deducir proposiciones "alsas), o para al menos eliminar las dudas sobre su
consistencia, (ilbert introduo una restriccin$ en la construccin de dicho sistema se permitira usar solamente
Xmtodos "initariosY. 7na ve% construido dicho sistema, (ilbert crea que se podra demostrar la consistencia del
mismoA sin embargo, Wurt HIdel demostr que esto era imposible. Ello signi"ic el "in del programa de (ilbert, pero
tambin dio inicio a investigaciones m#s pro"undas sobre la naturale%a de las matem#ticas, aunque eso es parte de
otra historia.
!a relevancia de los mtodos "initarios es que entre ellos se encuentra uno que consiste en eecutar una lista de
instrucciones precisas que produ%ca, independientemente de quin las eecute, y despus de un tiempo "inito, un
obeto determinado. El concepto que se puede abstraer de este mtodo es el de algoritmo. El hecho de que el
resultado de la eecucin de las instrucciones sea independiente del eecutante signi"ica que stas pueden ser
eecutadas por una m#quina. !os conceptos de algoritmo y m#quina maduraron durante las primeras dcadas del
siglo VV y personas destacadas en su concepcin "ueron )lan D. &uring(4) y )lon%o *hurch(5). ) &uring se debe el
modelo abstracto de m#quina m#s conocido$ la m#quina de &uring, y a ambos se debe el enunciado de la Xtesis
*hurch=&uringY(,U). !as m#quinas de &uring son m#quinas abstractas que reali%an operaciones e2tremadamente
simples, como escribir o leer un smbolo sobre una cinta y moverse a la i%quierda o la derecha de la misma.
6orprendentemente, a pesar de su simplicidad, se cree que las m#quinas de &uring son capaces de reali%ar
cualquier cmputo, es decir, la tesis (de *hurch=&uring) es que cualquier tarea computable se puede reali%ar con
una m#quina de &uring. 6e trata de una tesis, porque con Xtarea computableY se hace re"erencia a lo que se
entiende intuitivamente por computable, por eemplo$ computable en "orma clara por un ser humano abstracto (sin
limites de tiempo o espacio), pero en matem#ticas es imposible demostrar una a"irmacin que se re"iere a
conceptos intuitivos. !o importante a resaltar es que toda esta teora, que "ormali%a los conceptos de m#quina y
tarea computable, surgi antes de que se reali%ara la primera computadora.
Esta parte de la historia de la lgica culmina, a mediados del siglo VV, con la consolidacin de sus principales
disciplinas, entre ellas la &eora de las Cunciones 'ecursivas, que estudia precisamente los temas relacionados con
lo computable. ) partir de entonces, como en toda la ciencia, el desarrollo de la lgica ha sido a un ritmo muy
acelerado.
Pasado inmediato . 0uturo
El pasado inmediato de la in"luencia de la lgica en *iencias de la *omputacin puede resumirse, en "orma no
e2haustiva, con la siguiente lista que enumera #reas de la lgica, y su respectivo uso en *iencias de la
*omputacin. *ada uno de los elementos de esta lista, desarrollado en amplitud, "orma un #rea de estudio de la
lgica en *iencias de la *omputacin$
)lgebra de +ool, en el diseo y "abricacin de circuitos.
!gica de <redicados, espec"icamente )lgebra 'elacional, en los !enguaes de *onsulta de +ases de Datos.
!gicas &emporales, en la veri"icacin de sistemas con concurrencia
!gicas Dodales en !enguae ;atural y 'epresentacin de *onocimiento.
'estricciones de !gica de <rimer Prden, en <rogramacin !gica .
*alculo !ambda, en <rogramacin Cuncional.
&eora de &ipos, en diseo y construccin de !enguaes de <rogramacin.
6em#ntica Cormal, en el diseo y estudio de <rogramas y !enguaes de <rogramacin.
!gica de (oare, en Beri"icacin de <rogramas.
&eora de Dodelos Cinitos, en +ases de Datos y en *ompleidad Estructural.
Deduccin )utom#tica, en Beri"icacin de <rogramas.
!gicas de <unto Cio, y otras e2tensiones y restricciones de la !gica de <rimer Prden, en *ompleidad
Estructural.
En lo que se re"iere al "uturo de la lgica, casi cualquier a"irmacin lleva implcito el riesgo de equivocarse,
cualquier prediccin es aventurada. <ero aun as, no dea de ser interesante especular sobre el "uturo. &res
predicciones(,,), por eemplo, son$
8ue el problema < versus ;<(,-) ser# resuelto, en el marco de la lgica, antes del -U-U.
8ue durante el siglo VV?, se lograr# un avance signi"icativo, aunque limitado, en 'a%onamiento
)utomati%ado, que permitir# el desarrollo de algunas #reas de ?nteligencia )rti"icial en dominios de
conocimiento restringidos.
*omo consecuencia del avance signi"icativo en 'a%onamiento )utomati%ado, durante el siglo VV?, el
desarrollo sistemati%ado en matem#ticas, mediante grandes bases de conocimiento matem#tico, tendr# un
gran impacto (en las matem#ticas), que se revertir# en el resto de las ciencias.
<odemos concluir estas especulaciones sobre el "uturo papel de la !gica con una analoga que apoyan muchos de
sus partidarios$ el papel de la !gica en *iencias de la *omputacin durante el siglo VV? puede ser similar al papel
que tuvo el )n#lisis en Csica durante el siglo VV. K para "inali%ar, una "rase atribuida a ). &uring$ Xpodemos ver muy
poco haca adelente, pero ah podemos ver mucho por hacerY.(,.)
Daterial de lectura$
Douglas (o"stadter, XHIdel, Escher, +ach$ una eterna tren%a doradaY. *onacyt ,535. &raduccin de XHIdel, Escher,
+ach$ an Eternal Holden +raidY, ;K$ +asic +ooQs.
'. 6mullyan X9uegos por siempre misteriososY. Hedisa, ,544.
6teve 'eeves y D. *larQe, X!ogic "or computer scienceY. )ddison=>esley, ,55U.
/e0erencias'
,. El te2to es un uego de palabras algo di"cil de traducir.
X? QnoO Ohat you[re thinQing about,Y said &OeedledumA Xbut it isn[t so, nohoO.Y X*ontrariOise,Y continued
&Oeedledee, Xi" it Oas so, it might beA and i" it Oere so, it Oould beA but as it isn[t, it ain[t. &hat[s logic.Y
-. X) 6hort (istory o" 'igour in DathematicsY, http$SSOOO.rbones.comSrbpubSmathsSmathUU..htm.
.. X)ristotleY, http$SSOOO=groups.dcs.st=and.ac.uQSThistorySDathematiciansS)ristotle.html.
/. XEuclid o" )le2andriaY, http$SSOOO=groups.dcs.st=and.ac.uQSThistorySDathematiciansSEuclid.html.
0. XC. !. Hottlob CregeY, http$SSOOO=groups.dcs.st=and.ac.uQSThistorySDathematiciansSCrege.html.
1. X+ertrand ). >. 'ussellY, http$SSOOO=groups.dcs.st=and.ac.uQSThistorySDathematiciansS(ilbert.html.
3. X)lan Dathison &uringY, http$SSOOO=groups.dcs.st=and.ac.uQSThistorySDathematiciansS&uring.html.
4. X)lon%o *hurchY, http$SSOOO=groups.dcs.st=and.ac.uQSThistorySDathematiciansS*hurch.html.
5. Douglas (o"stadter, XHIdel, Escher, +ach$ una eterna tren%a doradaY. *onacyt ,535. &raduccin de XHIdel,
Escher, +ach$ an Eternal Holden +raidY, ;K$ +asic +ooQs.
,U. 6amuel '. +uss et al, X&he <rospects "or Dathematical !ogic in the &Oenty=Cirst *enturyY, 9ournal o"
6ymbolic !ogic 3 (-UU,) ,15=,51. Disponible en
http$SSOOO.math.ucsd.eduSTsbussS'esearch>ebSCutureP"!ogicS.
,,. El problema <=;< es un problema cuya solucin tendra importantes consecuencias tericas y pr#cticas,
vea, por eemplo$ http$SSOOO.claymath.orgSDillenium\<ri%e\<roblemsS<\vs\;<S
,-. ). &uring$ >e can see a short distance ahead, but Oe can see plenty there that needs to be done.
e=mail$ mcarrillo]lania.m2
*uarta lectura
Lgica
En la concepcin )ristotlica, se entiende por ElgicaE la ciencia que estudia los ra%onamientos y pensamientos.
^sta es la de"inicin m#s usada en nuestra era, a pesar de que e2isten varias concepciones sobre el obeto de
estudio de la lgica como ciencia, tales como la )ristotlica, la +aconiana, la Empirista y la ?dealista.
!a lgica no debe ser con"undida con la psicologa$ !a primera est# relacionada con la racionalidad y la estructura
de los conceptos, estudia el pensamiento en s, asign#ndole valores de verdad. !a segunda, por el contrario,
estudia el cmo y por qu que se crean los pensamientos en relaciona con el autor o emisor de stos.
!a FLgica In0ormalG, por lo com:n, se dedica al an#lisis de los conceptos y procedimientos involucrados y usados
para elaborar conclusiones a partir de in"ormacin dada. &radicionalmente, esta lgica parte de la base que el
pensamiento humano es muchas veces "ala%. )s, sta ha tenido como "inalidad una b:squeda de la verdad, por lo
que se ha dedicado a clasi"icar entre ra%onamientos correctos y los "alaces.
!a FLgica -ormalG, a di"erencia de la anterior, se re"iere al estudio de argumentos racionales en "orma
estrictamente esquemati%ada y organi%ada. <arte de la base que uno ra%ona bien e intenta meorar a niveles
superiores el ra%onamiento. Corma relaciones altamente abstractas entre las ideas. Est# lgica, la "ormal, no debe
ser con"undida con la lgica matem#tica o si%(lica, la cual es slo un tipo de lgica que se encuentra dentro del
campo de la lgica "ormal.
!a e2istencia de una gran cantidad de concepciones distintas de la lgica implica que sta no se estudia en el
vaco, sino que es usada en un conte2to. Es decir, que puede ser usada por las otras ciencias. Esto no es menor, ya
que nos signi"ic una modi"icacin increble de nuestra manera de mirar el universo y el mundo$ <asamos de creer
en teora de los cuatro elementos y que el mundo era plano, sostenido por una tortuga gigante a creer en las
teoras de relatividad general y de mec#nica cu#ntica.
JeditarL
9istoria de la lgica
!a lgica "ormal como un an#lisis e2plcito de los mtodos de ra%onamientos se desarroll originalmente en tres
civili%aciones de la historia antigua$ *hina, ?ndia y Hrecia entre el 6iglo B y el 6iglo ? )*.
En *hina no dur mucho$ la traduccin y la investigacin escolar en lgica "ue reprimida por la dinasta 8in, acorde
con la "iloso"a legalista. En ?ndia, la lgica dur bastante m#s$ 6e desarroll hasta que en el mundo isl#mico
apareci la escuela de )sharite, la cual suprimi parte trabao original en lgica. () pesar de lo anterior, hubo
innovaciones escol#sticas indias hasta los principios del siglo V?V, pero no sobrevivi mucho dentro de la ?ndia
*olonial). )s entonces, el tratamiento so"isticado y "ormal de la lgica moderna aparentemente proviene de la
tradicin griega.
El trmino FLgicaG deriva del Hriego *l#sico FLogosG el cual originalmente signi"icaba XpalabraY, o Xlo que se
hablaY. 6in embargo, en la poca contempor#nea se le interpreta como XpensamientoY o Xra%onamientoY.
(abitualmente se le acredita a )ristteles el ser primero en emplear el trmino X!gicaY para re"erirse al estudio
de los argumentos dentro del lenguae natural. En el <lantilla$XPrganonY, recopilaciones del pensamiento de
)ristteles, se observa su trabao donde l mismo de"ini esta ciencia como$ XEl arte de la argumentacin correcta
y verdaderaY.
;aci as la anteriormente de"inida FLgica In0ormalG, o el estudio metdico de los argumentos. Durante varios
siglos, slo "ue investigada por la retrica, la oratoria y la "iloso"a, entre otras ramas del conocimiento. 6e
especiali% medularmente en la identi"icacin de "alacias y paradoas, as como en la construccin correcta de
ra%onamientos.
!uego, desde m#s o menos la mitad del 6iglo V?V, sin am#s abandonar la "iloso"a, la lgica "ormal comen% a ser
estudiada en el campo de las matem#ticas y posteriormente por las ciencias computacionales, naciendo as la
FLgica SimblicaG. ^sta trata de esquemati%ar los pensamientos claramente usando un lenguae signos propio y
distinto al verbal, evitando as las ambig@edades y la potencialidad esttica inherentes de la palabra.
)s, en la edad contempor#nea, la lgica generalmente es entendida para describir ra%onamiento en una "orma
prescriptita. Esto es, describe cmo el ra%onar debiese tomar lugar.
)dem#s de encontrarle m:ltiples e importantes usos computacionales y matem#ticos a la lgica simblica, se ha
mantenido la lgica aristotlica, la cual principalmente se ocupa de ensear el buen argumento, y es todava
enseada con ese designio en la poca contempor#nea. !a !gica Datem#tica y la Ciloso"a analtica tienen un
n"asis mayor en lgica como un obeto de estudio en su propio derecho, por lo que sta es estudiada a un nivel
m#s abstracto. E2isten tambin muchos otros sistemas lgicos, tales como la lgica di"usa, lgica probabilstica,
lgica modal y la lgica no montona, para mencionar algunos eemplos. *omo est# establecido anteriormente, la
e2istencia de muchos y distintos tipos de lgica es importante para e2plica que la lgica no es una ciencia que se
estudia en el vaco, sino que en un entorno.
/a*onamiento deductio e inductio en lgica
!a "iloso"a de )ristteles, la que engendr la lgica, era deductiva y no inductiva. Esto quiere decir que las leyes
universales podan ser descubiertas por el pensamiento humano sin necesidad que ste tuviese que optar por mirar
casos particulares para establecer las leyes. Es decir, la lgica deductiva discurre sobre lo que sigue universalmente
desde premisas dadas por la ra%n humana. Es esta la ra%n por la cual )ristteles estableci los cuatro principios a
priori para la lgica todava enseados en nuestra poca$ el principio de identidad, el principio de contradiccin, el
principio del trmino e2cluido y el principio de la ra%n su"iciente.
6in embargo, el hacer uso :nicamente de la lgica deductiva puede llevar a errores, ya que se dea la observacin
de casos particulares de lado, para ver si se veri"ica el ra%onamiento. )s entonces, )ristteles se equivoc incluso
en el n:mero de dientes que tenan las mueres, habindose podido enterar simplemente observando y contando.
El ra%onamiento inductivo, por el contrario, es el estudio de derivar una generali%acin o una ley a partir de
observaciones. ^ste "ue posteriormente incluido en el estudio de la lgica, y "ue adoptado como el ra%onamiento
b#sico de la investigacin cient"ica, combin#ndola cuando corresponde con la deduccin. Este probablemente es el
motivo del 2ito y la certe%a de los modelos cient"icos actuales. Es decir, la inclusin del ra%onamiento inductivo
en las ciencias no es menor en nuestras vidas, nos permiti tener el modelo cient"ico actual el cual nos ha una
cantidad impresionante de tecnologa y supuestas XverdadesY.
!a di"erencia entre la valide% inductiva y la deductiva es la siguiente$ 7na in"erencia es deductivamente v#lida si y
slo si no hay posible situacin en la cual todas las premisas son verdaderas y la conclusin "alsa. !a nocin de
valide% deductiva puede ser rigurosamente establecida para sistemas de lgica "ormal en trminos de las bien
entendidas nociones de la sem#ntica. !a valide% inductiva, por el otro lado, requiere que se de"ina una
Xgenerali%acin rentableY a partir de un conunto de observaciones. !a tarea de proveer esta de"inicin puede ser
en"rentada de varias maneras, algunas menos "ormales que las otrasA algunas de estas de"iniciones pueden usar
modelos matem#ticos de probabilidades.
6in embargo, en nuestra poca, los ra%onamientos deductivos e inductivos idealmente deben complementarse y
trabaar untos buscando as la verdad sobre la realidad y el entorno.
Que debe contener un ensa.o
Elementos que debe contener el ensayo
El documento, estar# integrado por las siguientes partes y en el mismo orden$
,. <ortada
-. &abla de contenido
.. /esumen
/. ?ntroduccin
0. Desarrollo
1. *onclusin
3. 'e"erencias bibliogr#"icas
4. )pndices y ane2os
<ortada. *ontiene el ttulo del trabao, tipo de trabao, nombre del autor, ttulo al que se aspira,
institucin, "echa, lugar y el logotipo de la institucin.
&abla de *ontenido. !istado de los apartados, temas y subtemas de la totalidad del trabao
'esumen del contenido del ensayo (entre cinco y veinte lneas). Es un escrito breve que sirve
como orientacin y cortesa al lector, debido a que ubica r#pidamente el tema y
rasgos generales del argumento de"endido y, segundo, porque di"erentes bancos de
datos basan el almacenamiento y la clasi"icacin de la in"ormacin precisamente en
este resumen, al que tambin se conoce con el anglicismo de abstract.
?ntroduccin. !a introduccin le indica al lector el propsito del escrito, el acercamiento al tema
y la organi%acin que seguir# el ensayo (vase las recomendaciones posteriores)
Desarrollo. 6e re"iere al desglose del contenido que contendr# el in"orme "inal del trabao, est#
estrictamente vinculado con la tesis presentada en la introduccin. <ara su
elaboracin se elegir# un tpico, tema o problema estudiado en alguno de los tres
mdulos del curso y se vincular# con los dos restantes, de tal "orma que el desarrollo
central versar# sobre una tem#tica principal pero a su ve% se apoyar# en los tpicos
de los dos cursos adyacentes.
*onclusin. Es una sntesis analtica de las ideas principales y aspectos tratados en el trabao,
en ella se re"lea la atencin del lector sobre el punto clave del ensayo.
'e"erencias. 6on las 0uentes de in0ormacin citadas en el ensayo, no con"undirlas con toda
la bibliogra"a consultada para documentarse sobre el tema
)pndices y ane2os. Es in0ormacin adicional relacionada con el contenido de un trabao.
<ara presentar esta in"ormacin es necesario elaborar una hoa en donde se escriba la
palabra X)pndiceY o X)ne2oY seg:n sea el caso y seguidamente el nombre del
documento que se va presentar. Despus de esta hoa se adunta el documento al que
se hace re"erencia.