06.06.

2014
Glosario de trminos elementales en la lgica matemtica
Axioma
Teorema
Enunciado
Proposicin
Postulado
Paradoja
Hiptesis
Lgica
Lgica Aristotlica
Lgica moderna
!dulo
"em#ntica
Lgica di$usa
%iloso$&a de las ciencias
Axioma' en la lgica ( la matem#tica tradicional se entiende como un principio )#sico *ue se
asume como +erdadero sin recurrir o re*uerir de demostracin alguna. El uso de axiomas para la
resolucin de pro)lemas matem#ticos empe, en la antigua -recia' pro)a)lemente a partir del
siglo . a./.' dio lugar al nacimiento de la matem#tica pura tal como 0o( la conocemos. 1 ejemplo
de axioma podr&a ser el llamado principio de contradiccin el cual esta)lece *ue2 31na proposicin
no puede ser +erdadera ( $alsa al mismo tiempo3. La lgica' la lgica matem#tica ( las
matem#ticas puras pueden dar inicio a su estudio con algunas proposiciones no demostra)les' o
postulados iniciales' a partir de los cuales se in$ieren otras proposiciones.
Ha( *ue reconocer *ue este procedimiento es circular o )ien *ue se da una in$inita regresin en el
ra,onamiento. Los axiomas de un sistema de)en ser co0erentes con alg4n otro' es decir' de)en
e+itar incurrir en contradiccin. 5e)en ser tam)in independientes en el sentido de *ue no de)en
deri+arse de ning4n otro ( de)en ser mu( pocos en n4mero. A +eces los axiomas 0an de
interpretarse como +erdades e+identes en s& mismas. La tendencia actual es reconocer tal
pretensin para ase+erar *ue un axioma de)e ser asumido como +erdadero sin demostracin
alguna en el sistema de *ue $orma parte.

Postulado' los trminos axioma ( postulado suelen utili,arse con $recuencia como sinnimos.
Algunas +eces la pala)ra axioma se usa para re$erirse a los principios )#sicos *ue de)en ser
asumidos en cual*uier sistema deducti+o' ( el trmino postulado para se6alar a los primeros
principios peculiares de un sistema particular' como la geometr&a de Euclides. 7ara +e, se usa el
trmino axioma para re$erirse a los primeros principios de la lgica' ni el trmino postulado para
aludir a los primeros principios de las matem#ticas.
Hiptesis' trmino procedente del griego *ue designa' etimolgicamente' 8a*uello *ue se
encuentra de)ajo de algo sir+indole de )ase o $undamento9. En lgica $ilos$ica' se entiende por
0iptesis un enunciado :o un conjunto de enunciados; *ue precede a otros enunciados ( constitu(e
su $undamento. Asimismo' puede de$inirse como una proposicin cu(a +erdad o +alide, no se
cuestiona en un primer momento' pero *ue permite iniciar una cadena de ra,onamientos *ue luego
puede ser adecuadamente +eri$icada. As&' un 8ra,onamiento por 0iptesis9 es a*uel *ue comien,a
8suponiendo9 la +alide, de una a$irmacin' sin *ue sta se encuentre $undamentada o sea
uni+ersalmente aceptada. La $ormulacin de 0iptesis adecuadas ( correctamente $undamentadas
en la experiencia es uno de los rasgos esenciales del mtodo cient&$ico' desde -alileo e <saac
=e>ton. En lgica' la 0iptesis toma la $orma de un enunciado condicional' *ue de)e seguir
determinadas reglas para su admisin como ra,onamiento +#lido.
Enunciado' expresin ling?&stica de un juicio' una orden' un consejo o una duda' entre otras
posi)ilidades. En la lgica' suele identi$icarse con una proposicin' aun*ue' en realidad' el
enunciado designa el 0ec0o de expresar una determinada proposicin. El concepto de enunciado
posee' sin em)argo' un signi$icado m#s general *ue el de proposicin' (a *ue sta posee siempre
una determinada estructura lgica ( se encuentra sometida a las reglas de la lgica. @o0n
Langs0a> Austin ( !ic0el %oucault' dos $ilso$os contempor#neos' propusieron di$erentes an#lisis
de enunciado. As&' Austin distingu&a entre 8enunciados constatati+os9 :constatan lo *ue es (
proporcionan una in$ormacin; ( 8enunciados per$ormati+os9 :producen determinados
acontecimientos por el mero 0ec0o de expresarlos;A %oucault' en cam)io' plantea)a *ue un
enunciado es una $orma de decir o expresar *ue exige un contexto determinado :un cierto 8orden
del discurso9; para poder ser comprendido.
Lgica :del griego' logos, Bpala)raB' BproposicinB' Bra,nB;' disciplina ( rama de la $iloso$&a *ue
estudia los principios $ormales del conocimiento 0umano. "u principal an#lisis se centra en la
+alide, de los ra,onamientos ( argumentos' por lo *ue se es$uer,a por determinar las condiciones
*ue justi$ican *ue el indi+iduo' a partir de proposiciones dadas' llamadas premisas' alcance una
conclusin deri+ada de a*ullas. La +alide, lgica depende de la adecuada relacin entre las
premisas ( la conclusin' de tal $orma *ue si las premisas son +erdaderas la conclusin tam)in lo
ser#. Por ello' la lgica se encarga de anali,ar la estructura ( el +alor de +erdad de las
proposiciones' ( su clasi$icacin.
La +alide, de una proposicin se tomar# de la +eracidad de la conclusin. "i una de las premisas'
o m#s' es $alsa' la conclusin de una proposicin +#lida ser# $alsa. Por ejemplo2 CTodos los
mam&$eros son animales de cuatro patas' todos los 0om)res son mam&$eros' por lo tanto' todos los
0om)res son animales de cuatro patasD es una proposicin +#lida *ue conduce a una conclusin
$alsa. Por otro lado' una proposicin nula puede' por casualidad' llegar a una conclusin +erdadera2
CAlgunos animales tienen dos patasA todos los 0om)res son animales' por lo tanto todos los
0om)res tienen dos patasD representa una conclusin +erdadera' pero la proposicin no lo es. Por
lo tanto' la +alide, lgica depende de la $orma *ue adopta la argumentacin' no su contenido. "i la
argumentacin $uera +#lida' cual*uier otro trmino podr&a sustituir a cual*uiera de los casos
utili,ados ( la +alide, no se +er&a a$ectada. Al sustituir Ccuatro patasD por Cdos patasD se comprue)a
*ue am)as premisas pueden ser +erdaderas ( la conclusin $alsa. Por lo tanto' la proposicin no es
correcta aun*ue posea una conclusin +erdadera.
Lgica Aristotlica' la lgica *ue es conocida como lgica cl#sica :o tradicional; $ue enunciada
primeramente por Aristteles' *uien ela)or le(es para un correcto ra,onamiento silog&stico. 1n
silogismo es una proposicin 0ec0a de una de estas cuatro a$irmaciones posi)les2 CTodo A es ED
:uni+ersal a$irmati+o;' C=ada de A es ED :uni+ersal negati+o;' CAlgo de A es ED :particular a$irmati+o;
o CAlgo de A no es ED :particular negati+o;. Las letras sustitu(en a pala)ras comunes como CperroD'
Canimal de cuatro patasD o 3cosa +i+iente3' llamadas CtrminosD del silogismo. 1n silogismo )ien
$ormulado consta de dos premisas ( una conclusin' de)iendo tener cada premisa un trmino en
com4n con la conclusin ( un segundo trmino relacionado con la otra premisa. En lgica cl#sica
se $ormulan reglas por las *ue todos los silogismos )ien construidos se identi$ican como $ormas
+#lidas o no +#lidas de argumentacin.
Lgica moderna' a mediados del siglo F<F' los matem#ticos )rit#nicos -eorge Eoole ( Augustus
5e !organ a)rieron un nue+o campo a la lgica' 0o( conocido como lgica sim)lica :o moderna;'
*ue m#s tarde $ue desarrollada por el matem#tico alem#n -ottlo) %rege ( de un modo especial por
los matem#ticos )rit#nicos Eertrand 7ussell ( Al$red =ort0 G0ite0ead en Principia Mathematica
:constituido por H +ol4menes' 1I10J1I1H;. El sistema lgico de 7ussell ( G0ite0ead cu)re un
espectro ma(or de posi)les argumentaciones *ue las *ue se pueden encontrar en la lgica
silog&stica. <ntroduce s&m)olos para $rases enteras ( para las conjunciones *ue las unen' como CoD'
C(D' Csi... entonces...D. /uenta con s&m)olos di$erentes para el sujeto lgico ( el predicado lgico de
una $raseA ( adjudica s&m)olos para distinguir las clases' para los miem)ros de las clases ( para las
relaciones de la pertenencia a una clase ( la inclusin en una clase. Tam)in se aleja de la lgica
cl#sica en sus suposiciones de la existencia respecto a las cosas aludidas en sus a$irmaciones
uni+ersales. La a$irmacin CTodo A es ED signi$ica en lgica moderna *ue C"i algo es A' entonces
es EDA lo *ue' a di$erencia de la lgica tradicional' no signi$ica *ue todo A existe. El primer manual
de lgica $ormal pu)licado en espa6ol $ue la o)ra de @uan 5a+id -arc&a Eacca titulada Introduccin
a la lgica moderna :1IH6;.
Tanto la rama cl#sica como la moderna implican mtodos de lgica deducti+a. En cierto sentido'
las premisas de una proposicin +#lida contienen la conclusin' ( la +erdad de la conclusin se
deri+a de la +erdad de las premisas. Tam)in se 0an 0ec0o es$uer,os para desarrollar mtodos de
lgica inducti+a como las *ue sostienen *ue las premisas conlle+an una e+idencia para la
conclusin' pero la +erdad de la conclusin se deduce' slo con un margen relati+o de
pro)a)ilidad' de la +erdad de la e+idencia. La contri)ucin m#s importante a la lgica inducti+a $ue
la aportada por el $ilso$o )rit#nico @o0n "tuart !ill' *uien en Sistema de Lgica :1K4H; estructur
los mtodos de prue)a *ue' seg4n su interpretacin' i)an a caracteri,ar la ciencia emp&rica. Este
estudio 0a desem)ocado' en el siglo FF' en el campo conocido como $iloso$&a de la ciencia. !u(
relacionada con sta se encuentra la rama de las matem#ticas llamada teor&a de la pro)a)ilidad.
Tanto la lgica moderna como la cl#sica asumen en sus $ormas m#s corrientes *ue cual*uier
proposicin )ien ela)orada puede ser o +erdadera o $alsa. En a6os recientes se 0an desarrollado
sistemas de la denominada lgica com)inatoria2 una a$irmacin puede tener un +alor distinto a
+erdadero o $also. En algunos supuestos es slo un tercer +alor neutro' en otros es un +alor de
pro)a)ilidad expresado como una $raccin *ue oscila entre 0 ( 1 o entre J1 ( L1. Tam)in se 0an
lle+ado a ca)o serios tra)ajos para desarrollar sistemas de lgica modal' con el o)jeto de
representar las relaciones lgicas entre las a$irmaciones de posi)ilidad e imposi)ilidad' de
necesidad ( contingencia. Mtra +&a es la *ue propone la lgica dentica2 la in+estigacin de las
relaciones lgicas entre rdenes o entre a$irmaciones de o)ligacin.
!u( relacionadas con la lgica se encuentran la sem#ntica o $iloso$&a del lenguaje' *ue trata acerca
del signi$icado de las pala)ras ( de las $rasesA la epistemolog&a' o teor&a del conocimiento' *ue se
ocupa de las condiciones )ajo las cuales las a$irmaciones son +erdaderasA ( la psicolog&a del
ra,onamiento' *ue se re$iere a los procesos mentales *ue se siguen en el curso de un
ra,onamiento. Algunos tratados so)re lgica inclu(en estas materias' pero lo esencial de ese
inters se ci6e a las relaciones lgicas entre di+ersas a$irmaciones contrapuestas.
Mdulo Es un conjunto co0erente de o)jeti+os' contenidos ( acti+idades' dise6ado de manera
estructurado ( $lexi)le' *ue se ela)ora como gu&a para desarrollar programas de asignaturas de
pregrado' diplomado post&tulo ( postJgrado.
Semntica :del griego semantikos, Blo *ue tiene signi$icadoB;' estudio del signi$icado de los signos
ling?&sticos' esto es' pala)ras' expresiones ( oraciones. Nuienes estudian la sem#ntica tratan de
responder a preguntas del tipo 3O/u#l es el signi$icado de F :la pala)ra;P3. Para ello tienen *ue
estudiar *u signos existen ( cu#les son los *ue poseen signi$icacin Qesto es' *u signi$ican para
los 0a)lantes' cmo los designan :es decir' de *u $orma se re$ieren a ideas ( cosas;' ( por 4ltimo'
cmo los interpretan los o(entesQ. La $inalidad de la sem#ntica es esta)lecer el signi$icado de los
signos Qlo *ue signi$icanQ dentro del proceso *ue asigna tales signi$icados.
La sem#ntica se estudia desde una perspecti+a $ilos$ica :sem#ntica pura;' ling?&stica :sem#ntica
terica ( descripti+a; as& como desde un en$o*ue *ue se conoce por sem#ntica general. El aspecto
$ilos$ico est# asentado en el conductismo ( se centra en el proceso *ue esta)lece la signi$icacin.
El ling?&stico estudia los elementos o los rasgos del signi$icado ( cmo se relacionan dentro del
sistema ling?&stico. La sem#ntica general se interesa por el signi$icado' por cmo in$lu(e en lo *ue
la gente 0ace ( dice.
/ada uno de estos en$o*ues tiene aplicaciones espec&$icas. En $uncin de la sem#ntica
descripti+a' la antropolog&a estudia lo *ue entiende un pue)lo por importante desde el punto de
+ista cultural. La psicolog&a' sustentada por la sem#ntica terica' estudia *u proceso mental
supone la comprensin ( cmo identi$ica la gente la ad*uisicin de un signi$icado :as& como un
$onema ( una estructura sint#ctica;. El conductismo aplicado a la psicolog&a animal estudia *u
especies animales son capaces de emitir mensajes ( cmo lo 0acen. Nuienes se apo(an en la
sem#ntica general examinan los distintos +alores :o connotaciones; de los signos *ue
supuestamente signi$ican lo mismo' :del tipo Bel manco de LepantoB ( Bel autor del NuijoteB' para
re$erirse los dos a /er+antes;. La cr&tica literaria' in$luida por los estudios *ue distinguen la lengua
literaria de la popular' descri)e cmo las met#$oras e+ocan sentimientos ( actitudes'
entronc#ndose tam)in en la sem#ntica general.
Teorema, proposicin *ue a$irma una +erdad demostra)le' es un enunciado de una propiedad o
proposicin seguida de una demostracin' es el resultado de un estudio matem#tico o de un
sistema $ormal.
Paradoja' en el campo de la lgica ( en el de las matem#ticas' designa una conclusin
contradictoria en apariencia *ue se deri+a de lo *ue se plantea como premisas +#lidas. Las
paradojas se conocen desde la poca del $ilso$o griego Renn de Elea en el siglo . a./. !uc0as
paradojas' tras ser sometidas a examen' resultan estar )asadas so)re premisas o argumentos
$alsos' o so)re presuposiciones incompletas *ue su)(acen en los sistemas lgicos o matem#ticos
implicados. Mtras paradojas' de cual*uier modo' 0an sido m#s di$&ciles de resol+er ( su estudio 0a
contri)uido a la e+olucin de las matem#ticas modernas. Las paradojas sem#nticas dependen de
la estructura del lenguaje' ( asimismo la paradoja se utili,a a menudo como un recurso retrico en
epigramas' poes&a ( otras $ormas de la escritura literaria.
Proposicin, enunciado en el *ue se a$irma algo' *ue puede ser +erdadero o $also. "uele ser la
expresin de un juicio (' por lo tanto' todo lo *ue se considera en un juicio tiene su re$lejo en la
proposicin. !uc0as +eces se emplea 8proposicin9 en el mismo sentido *ue 8enunciado9. "eg4n la
de$inicin cl#sica de Aristteles' una proposicin es un discurso enunciati+o *ue expresa un juicio (
posee un signi$icado *ue es +erdadero o $also. La lgica se encarga de anali,ar la estructura ( el
+alor de +erdad de las proposiciones' as& como su clasi$icacin. !ientras *ue en la lgica cl#sica
se a$irma *ue la proposicin :como el juicio; se compone de sujeto' +er)o o cpula ( predicado' la
lgica $ormal moderna a$irma *ue la proposicin se compone de un 8argumento9 :sujeto; ( un
8predicado9 :+er)o;. En lgica sim)lica' el c#lculo de proposiciones anali,a la estructura $ormal de
las proposiciones ( el +alor de +erdad *ue stas poseen.
Lgica diusa o Lgica fuzzy' de uso pre$erente en la in$orm#tica' se caracteri,a por ser una
$orma de lgica *ue se utili,a en algunos sistemas expertos ( en otras aplicaciones de inteligencia
arti$icial' en la *ue las +aria)les pueden tener +arios ni+eles de +erdad o $alsedad representados
por rangos de +alores entre el 1 :+erdadero; ( el 0 :$also;. /on la lgica fuzzy, el resultado de una
operacin se puede expresar como una pro)a)ilidad ( no necesariamente como una certe,a. Por
ejemplo' adem#s de los +alores +erdadero o $also' un resultado puede adoptar +alores tales como
pro)a)lemente +erdadero' posi)lemente +erdadero' posi)lemente $also ( pro)a)lemente $also.
!iloso"a de la ciencia' in+estigacin so)re la naturale,a general de la pr#ctica cient&$ica. La
$iloso$&a de la ciencia se ocupa de sa)er cmo se desarrollan' e+al4an ( cam)ian las teor&as
cient&$icas' ( si la ciencia es capa, de re+elar la +erdad de las entidades ocultas ( los procesos de
la naturale,a. "u o)jeto es tan antiguo ( se 0alla tan extendido como la ciencia misma. Algunos
cient&$icos 0an mostrado un +i+o inters por la $iloso$&a de la ciencia ( unos pocos' como -alileo'
<saac =e>ton ( Al)ert Einstein' 0an 0ec0o importantes contri)uciones. =umerosos cient&$icos' sin
em)argo' se 0an dado por satis$ec0os dejando la $iloso$&a de la ciencia a los $ilso$os' ( 0an
pre$erido seguir B0aciendo cienciaB en +e, de dedicar m#s tiempo a considerar en trminos
generales cmo Bse 0ace la cienciaB. Entre los $ilso$os' la $iloso$&a de la ciencia 0a sido siempre un
pro)lema centralA dentro de la tradicin occidental' entre las $iguras m#s importantes anteriores al
siglo FF destacan Aristteles' 7en 5escartes' @o0n LocSe' 5a+id Hume' <mmanuel Tant ( @o0n
"tuart !ill. -ran parte de la $iloso$&a de la ciencia es indisocia)le de la epistemolog&a' la teor&a del
conocimiento' un tema *ue 0a sido considerado por casi todos los $ilso$os. <mporta destacar los
aportes de Tarl Popper' $ilso$o de la ciencia' de origen austriaco' $amoso por su teor&a del mtodo
cient&$ico ( por su cr&tica del determinismo 0istrico La contri)ucin m#s signi$icati+a de Popper a la
$iloso$&a de la ciencia $ue su caracteri,acin del mtodo cient&$ico. En su Lgica de la investigacin
cientfica :1IH4;' critic la idea pre+aleciente de *ue la ciencia es' en esencia' inducti+a. Propuso
un criterio de compro)acin *ue denomin $alsa)ilidad' para determinar la +alide, cient&$ica' (
su)ra( el car#cter 0ipotticoJdeducti+o de la ciencia. Las teor&as cient&$icas son 0iptesis a partir
de las cuales se pueden deducir enunciados compro)a)les mediante la o)ser+acinA si las
o)ser+aciones experimentales adecuadas re+elan como $alsos esos enunciados' la 0iptesis es
re$utada. "i una 0iptesis supera el es$uer,o de demostrar su $alsedad' puede ser aceptada' al
menos con car#cter pro+isional. =inguna teor&a cient&$ica' sin em)argo' puede ser esta)lecida de
una $orma conclu(ente.
#i$liogra"a%
Gilliam ( !art0a Tneale
CEl desarrollo dela LgicaD Editorial Tecnos ".A. !adrid' 1IU2
"tep0en /. Tleene
<ntroduccin a la !etamatem#ticaD' Editorial Tecnos ".A. !adrid' 1IU4
Al)erto !oreno
Lgica !atem#tica2 Antecedentes ( $undamentosD' E15EEA' 1I6I
@o0n -. Temen(
C<ntroduccin a las materm#ticas $initasD. /E/"A' 1I64