Вы находитесь на странице: 1из 18

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 Lectura
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
Cuarta 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.

Похожие интересы