Leccin1

ProposicionesCategricas
Proposiciones categricas son afirmaciones acerca de categoras o clases. Toda proposicin
categrica es un enunciado acerca de los miembros de dos clases, y de relacin entre ellos. Por
ejemplo:
Ningnsolteroescasado.
AlgunosMazdanosonfabricadosenJapn.
Estos tipos de enunciados (sujetopredicado) son los que encontramos en una forma de lgica,
conocidacomoaristotlica,tradicional,odesilogismoscategricos.
Aristteles (384322 a.C.) fue el primero en estudiar las formas de la argumentacin a l se le
atribuye la invencin de la lgica como ciencia. La forma de argumentacin que l identific y
sistematiz usaba enunciados sujetopredicado en un silogismo (dos premisas y una conclusin).
Debidoaqueestafuelaformadelgicaque,porpropsitosprcticos,seushastaelsigloXIX,se
conoce como lgica tradicional. Porque fue trabajada primero por Aristteles, se le conoce como
lgicaaristotlica.Finalmente,porquetratadelosenunciadoscategricosenformasilogstica,sele
conocecomolalgicadelossilogismoscategricos.
Aunquelalgicamodernahamodificadolalgicatradicionaly,dehecho,lahasuperado,valela
pena estudiar la silogstica categorial por dos razones. Primera, porque la lgica tradicional ha
jugadounpapelimportanteenlahistoriadelpensamientooccidental.Dehecho,eslalgicaquela
mayora de gente reconoce como tal. Segunda, porque la silogstica categorial es un sistema
deductivorelativamentefcilyaccesible.Empleaunnmerolimitadodeformasproposicionales,y
la validez de sus silogismos pueden ser comprobada sin mayor dificultad tcnica. Ms an, uno
encuentra silogismos categricos en el lenguaje ordinario. De manera que empezaremos nuestro
estudiodelalgicadeductivaconunaversinactualizadadelsilogismotradicional.Peroparahacer
esto,necesitamosestudiarlaproposicincategricaprimero.
Lascuatroclasesdeproposicionescategricas
Como se dijo antes, una proposicin categrica es un enunciado que relaciona dos clases, o
categoras.Lasdosclasesencualquierproposicincategricasecolocanenunarelacindesujeto
predicado. Algo es predicado, o dicho acerca de, un sujeto. Lo que se dice es que una clase (el
sujeto)estincluidaoexcluidadelaclasedelpredicado.As,parareferirnosaunodelosejemplos
de arriba, "Ningn soltero est casado" dice que la clase de los solteros (el sujeto) est
completamenteexcluidadelaclasedeloscasados(elpredicado).Demanerasemejante,decirque
todos los chimpancs son primates es afirmar que cualquier sujeto que sea un chimpanc estar
incluidoenlaclasedelosprimates(elpredicado).
Existencuatroclasesdeproposicionescategricas.Usando"S"y"P"comosmbolos,estasson:
Universalafirmativa:
Universalnegativa:
Particularafirmativa:
Particularnegativa:

TodoSesP
NingnSesP
AlgnSesP
AlgnSnoesP

Las palabras "todo" y "algn" se llaman "cuantificadores" porque indican la cantidad del sujeto.
Estoes,especificancuntoelementosdelaclasedelsujetoestnincluidosenlaclasedelpredicado.
("Ningn"indicaceromiembros.)Elverboenunaproposicincategricacorrectamenteexpresada,
es siembre alguna forma del verbo "ser", y se conoce como "cpula". Tenemos, entonces, el
siguienteesquema:
Cuantificador:
Sujeto:
Cpula:
Predicado:

todo,ningn,algn
laclasequeseincluyeenoqueseexcluyede,elpredicado
es,son.era,eran
laclasedelacualelsujetoesonoesparte

Este anlisis, sin embargo, no indica claramente si una proposicin es afirmativa o negativa en
calidad.Unaproposicinafirmativaesaquellaquesostienequeelsujetoestincluidoenlaclase
del predicado una negativa, aquella que afirma que el sujeto est excluido del predicado. De
maneraqueunesquemamscompletoagregara:
Cualificadornegativo: no
Ya que las cuatro proposiciones categricas bsicas tienen un sujeto, un predicado y una cpula,
una forma de distinguirlas es pro su cantidad y cualidad. Cada proposicin ser universal o
particular(ysedistinguirporlacantidad),yafirmativaonegativa(ysedistinguirporlacalidad).
Demaneraquepodemosdistinguirlasproposicionescomosigue:
Universalafirmativa:
Universalnegativa:
Particularafirmativa:
Particularnegativa:

TodoSesP
NingnSesP
AlgnSesP
AlgnSnoesP

Elcuadradodelasoposiciones
Existe otra forma de distinguir estas cuatro proposiciones. Podemos poner en un cuadrado de
oposiciones.steindicaquelauniversalafirmativaylaparticularnegativasoncontradictorias,as
comolauniversalnegativaylaparticularafirmativa.Estoes,quesiunaesverdadera,laotradebe
serfalsa.Veamoslatabla:

UNIVERSAL
PARTICULAR

AFIRMATIVA

NEGATIVA

TodoSesP
AlgnSesP

NingnSesP(obien:TodoSesnoP)
AlgnSnoesP

Tradicionalmente, la proposicin universal afirmativa se llama "A", y la particular afirmativa, "I"

(por las dos primeras vocales en Affirmo). La universal negativa se llama "E", y la particular
negativa,"O"(porlasdosvocalesdeNego).Tenemos,entonces,elsiguientecuadro:
AFIRMATIVA
UNIVERSAL

NEGATIVA
E

PARTICULAR

O
Leccin2

SilogismosCategricos
Unsilogismoestcompuestodedosenunciados,deloscualesseinfiereuntercero,oconclusin.
Silogismoscategricossonsilogismoscompuestosportresproposicionescategricas.Sonuntipo
deargumentodeductivo,esdecir,unargumentoenelcuallaconclusinsesiguenecesariamentede
laspremisas(suponiendoqueelargumentoesvlido).Dosejemplos:
(1)

Todoslosromanossonmortales.
Todoslosostiensessonromanos.
Porlotanto,todoslosostiensessonmortales.

(2)

Todoslosmamferossonanimales.
Todosloshumanossonmamferos.
Porlotanto,todosloshumanossonmamferos.

Losgriegosfueronlosprimerosenformularargumentoscomoestos,ydesdeentoncessehanusado
enlgica.
Los dos silogismos categricos anteriores tienen la misma forma. Cada uno tiene dos premisas y
unaconclusin.Laprimerapremisasellamapremisamayor,ylasegunda,menor.Lasdospremisas
compartenunmismotrmino,llamadotrminomedio.Enelprimerejemplo,eltrminomedioes
"romanos"enelsegundo,"mamferos".Dadoquecadaunotieneeltrminomedioencomn,no
podemosdistinguirlaspremisasporeltrminomedio.Loquenosindicaculdelasdospremisases
la mayor es la presencia del predicado de la conclusin: "mortales", en el primer ejemplo
"animales", en el segundo. De manera semejante, la premisa menor contiene el sujeto de la
conclusin:"romanos"y"humanos",respectivamente.Laformadeestosdossilogismos(ydetodos
losdemsdelaFigura1),sepuedemostrardeestamanera:
PremisaMayor:
PremisaMenor:
Conclusin:

TrminoMedio
Sujeto
Sujeto

Predicado
TrminoMedio
Predicado

NotequecadaunadelasproposicionesenlosejemplosanterioresesdelaformaA:TodoSesP.
Deestaforma,podemosrepresentarlaformadenuevo,nosolamentetomandoencuentalaposicin
delostrminos,sinotambinlaclasedeproposicinqueseusa:
PremisaMayor:
PremsiaMenor:
Conclusin:

TodoMesP
TodoSesM
TodoSesP

ModoyFigura
Todo silogismo categrico tiene tres trminos, y cada uno de ellos se usa dos veces en las tres
proposiciones que componen el silogismo. El predicado se usa en la premisa mayor y en la
conclusin.Elsujeto,enlapremisamenoryenlaconclusin.Eltrminomedioseusaenlasdos
premisas.Dependiendodelaclasedeproposiciones(A,E,I,O)dequeconsteelsilogismo,asser
elmodo.Unsilogismoqueconsteslodeproposicionesuniversalesafirmativas,porejemplo,ser
delmodoAAA.UnoconproposicionesdeclaseEcomopremisas,yconclusindeclaseI,serdel
modoEEI.Dadoquehaycuatroclasesdeproposicionescategricasytresproposicionesencada
silogismo,existen4x4x4=64modosposibles.
AAA

EAA

IAA

OAA

AAE

EAE

IAE

OAE

AAI

EAI

IAI

OAI

AAO

EAO

IAO

OAO

AEA

EEA

IEA

OEA

AEE

EEE

IEE

OEE

AEI

EEI

IEI

OEI

AEO

EEO

IEO

OEO

AIA

EIA

IIA

OIA

AIE

EIE

IIE

OIE

AII

EII

III

OII

AIO

EIO

IIO

OIO

AOA

EOA

IOA

OOA

AOE

EOE

IOE

OOE

AOI

EOI

IOI

OOI

AOO

EOO

IOO

OOO

Estos64modossepuedendistribuirencuatrofiguras.Cadafiguraestdeterminadaporlaposicin
del trmino medio. Ya que el trmino medio no puede aparecer en la conclusin, hay solamente
cuatroposiblesformasdedistribucindelostrminos:

(1)

(2)

(3)

(4)

Dado que para cada figura hay 64 modos posibles, tenemos un total de 256 silogismos posibles.
Cadasilogismosedistinguedelosdemsporsumodoyfigura.Losejemplosdearriba,sonAAA

Leccin3
Cmocomprobarlavalidezdelossilogismos
Existenvariosmtodosparacomprobarlavalidezdelossilogismos.Unmtodopopulareseldelos
diagramasdeVenn.Otroshacenusodereglasquedependendelanocindedistribucin.
Elmtodoqueusaremosaqueseldelarefutacinporanalogalgica.Lohacemosasporqueese
mtodo hace uso de un concepto central de la lgica deductiva: el de la validez. Se dice que un
argumento es vlido si es imposible que tenga premisas verdaderas y conclusin falsa. Con otras
palabras, si existe algn argumento que tenga premisas verdaderas y conclusin falsa, su forma
necesariamenteesinvlida.
Identificar ejemplos de patrones argumentativos invlidos es hacer uso del procedimiento del
contrajemplo. Si encontramos un solo caso en el cual a partir de premisas verdaderas obtenemos
una conclusin falsa, probamos que la forma de ese silogismo es invlida. Significa que no
podemosconfiarenlel100%delasveces.
Nosiemprepasaquetodoargumentoinvlidocontengaunacombinacindepremisasverdaderasy
conclusinfalsa.Existenotrasposibilidades:
Premisamayorverdadera,premisamenorfalsa,yconclusinverdadera
Premisamayorfalsa,premisamenorfalsa,yconclusinfalsa
Premisamayorverdadera,premisamenorverdadera,yconclusinverdadera
Estas son slo algunas posibilidades. Slo se da una situacin una imposible: forma vlida,
premisas verdaderas y conclusin falsa. Si uno encuentra un argumento que tiene premisas
verdaderasyconclusinfalsainclusosialgunasveceslamismaformatieneotracombinacinde
premisasyconclusinverdaderasyfalsas,entoncesunosabequesuformaesinvlida.Bastacon
una vez en que tengamos premisas verdaderas y conclusin falsa para mostrar que la forma del
argumentoesinvlida.Veamoscmotrabajaestemtodo.Supongamoselsiguientemodelo:
Ningnplatoesperro.
Ningncuartoesplato.
Porlotanto,ningncuartoesperro.
Todaslasproposicionessonverdaderas.Puedequeelsilogismoseavlido.Pero,experimentando,
podemosproducirelsiguientesilogismoanlogo.TieneexactamentelamismaformaEEE1,
perodiferentestrminos:
Ningncanguroesvaca.

NingunaJerseyescanguro.
NingunaJerseyesvaca.
Enestecasotenemospremisasverdaderas,peroconclusinfalsa.NoesciertoqueningunaJersey
seavaca.
De manera que nuestro silogismo anlogo ha producido un contraejemplo. La forma EEE1 ha
producido una conclusin falsa a partir de premisas verdaderas. El problema no es slo con este
silogismo.Eslaformalaquenoesconfiable.
Lapromesadeunargumentodeductivo(vlido)esqueunopuedeconfiarenquesitienepremisas
verdaderas,obtendrunaconclusinverdadera.Pero,comoestecasomuestra,laformaEEE1ha
incumplido esta promesa. Basta con un contrajemplo para mostrar que la forma es invlida.
Recuerdequeseesperauncienporcientodeconfiabilidad.Demaneraquesifallaunasolavez,es
invlida.Funcionaalgunasveces,talvezlamayoraperonotodaslasveces.
Limitacionesdelmtododelcontraejemplo
Consuficienteimaginacinypaciencia,unopodraprobarlos256posiblessilogismoscategricos,
ydescubrirculessoninvlidos.Elrestoseranlosvlidos.Perostaeslalimitacindelmtodo.A
menudoserequieremuchaimaginacinypersistenciaparadescubrirqueunsilogismoesinvlido.
Puedequeaunoseleocurrauncontraejemploalaprimera,peropuedequeno...
Leccin5
LgicaProposicional
Hasta aqu hemos visto la lgica tradicional. Vamos a ver ahora la lgica proposicional,
desarrolladaapartirdelsigloXVIIIporautorescomoBoole,Frege,Peano,Russell,Wittgenstein,
Peirce,Cantoryotros.
Acualquierproposicin,seaquetengalaformasujetopredicadoono,selepuedeasignarunvalor
de verdad y se puede en poner en relacin lgica con otras proposiciones. Por supuesto, esto
complicaunpocolascosas,porquelaproposicinpuedesermuycompleja,ysinembargosuvalor
deverdadsolamenteesuno:verdaderaofalsa.
Podemos,sinembargo,descomponerestasproposiciones.Porejemplo,sidecimosJulioyAurase
fueronalcine,estamosdiciendoque
Juliofuealcine.
y
Aurafuealcine.
Estasproposicionesatmicassejuntanparaformarunamscompleja.Enlgicaproposicionalse
tratadedescubrirelvalordeverdaddelasproposicionesmoleculares,apartirdelvalordeverdad

de las proposiciones atmicas y de los conectivos lgicos (y, o, entonces, si y solo si, no). Por
ejemplo, si sabemos que es verdad que Julio fue al cine, y que es verdad que Aura fue al cine,
podemosafirmarqueesverdadqueJuliofuealcineyAurafuealcine(esdecir,queJulioyAura
fueronalcine).
La lgica proposicional se basa en tres nociones clave: valor de verdad, operadores lgicos y
variables.Cadaunodeestosconceptospuedesersimbolizado:VoF,>,P.Lasimbolizacinhace
queaestalgicaseleconozcatambincomolgicamatemtica.
Cada enunciado es o verdadero o falso. En el lenguaje ordinario, por supuesto, admitimos cierto
gradodeverdad,odeindeterminacin.Puedequealgonoseaniverdaderonifalso.Peroenlgica
proposicionalnohaylugarparatalvez,oesprobable,onosesabe.Cadaproposicintiene
unvalordeverdad:oesverdadera,oesfalsa.Sisuvalordeverdadesindeterminado,noselepude
considerar una proposicin atmica. Esto quiere decir que la lgica proposicional es una lgica
binaria. Es la misma que la que emplean las computadoras: 10, verdaderofalso, pasano pasa.
Tambinselellamalgebrabooleana,enhonoraGeorgeBoole.
La lgica proposicional hace uso de los operadores lgicos, esto es, smbolos que indican la
relacinsintcticaprecisaentrelasproposiciones.Normalmente,seusancincooperadoreslgicos,
quecorrespondenalasrelacionesdeconjuncin,disyuncin,condicionalidad,bicondicionalidady
negacin.
Conjuncin.Unaformadeunirproposicionesesafirmandoambas.Aveces,porejemplo,decimos:
Est lloviendo, y el sol brilla, o bien: Est lloviendo, pero el sol brilla. Estas oraciones
compuestas contienen dos proposiciones que se afirman simultneamente. Usaremos & para
representarestarelacin.
Disyuncin. Una proposicin conjunta es verdadera, si y slo si las dos proposiciones que la
componen son verdaderas. Pero algunas veces una proposicin compuesta ser verdadera, aun
cuandounodesuscomponentesseafalsooposiblementefalso.As,sidecimos:Jorgeestensu
cuartooenlasala,laoracinseraverdaderasiestencualquieradelosdoslugares.Usaremos
vparaindicarlarelacindisyuntiva,quequieredecirestooesto,oambos.Porsupuesto,Jorge
nopuedeestaralavezensucuartoyenlasala.Perounopodradecir,porejemplo,Estatardeir
alabiblioteca,oestudiarenlacasa,otalvezambascosas.Seguramentemealcanzaralatarde
parahacerambascosas,simelopropusiera.
Condicional.steeselmsrarodelosoperadoreslgicos,porquesepudeusarenenunciadosque
parece que no tienen relacin uno con otro. Vale decir que en lgica proposicional lo nico que
cuentaeslarelacinsintctica,conlocualesvlidoformarunenunciadocomosilalunaesde
queso,hoyesjueves.Elsmbolodelcondicionales>,yselee:si...entonces.
Condicinsuficienteycondicinnecesaria.SedicequeuneventoAescondicinsuficiente
parauneventoBcuandotodoloqueserequiereparaqueocurraBesA.Porejemplo,tener
catarroessuficienteparasentirsemalsitengocatarro,mesientomal.Puedequeotrascosas
me hagan sentir mal, tambin tener indigestin, haber dormido poco, pero basta con
tenercatarroparaquemesientamal.Porotraparte,sedicequeuneventoAescondicin
necesariaparauneventoBcuandoBnopuedeocurriramenosqueocurraA.As,elairees
unacondicinnecesariaparalavidaporesodigo:sivivo,tengoairepararespirar.Puede
que necesite otras cosas para vivir, pero el aire es necesario, no puedo vivir sin aire si no
tengoairepararespirar,memuero).Noteque:

 Cuando la proposicin condicional tiene la forma tpica si... entonces, el primer

elemento el que va despus del si es la condicin suficiente, y el segundo

elementoelquevadespusdeentonceseslacondicinnecesaria.
Nosepudecambiarindiscriminadamenteelordendeloselementosenunaproposicin

condicional.As,noeslomismodecirsitengocatarro,mesientomal,quesime
sientomal,tengocatarro,puespuedenexistirotrascosasquemehagansentirmal,no
sloelcatarro.Perospuedodecirmesientomalsitengocatarro.Loquevadespus
delsi...eslacondicinsuficiente,aunquesecambieelorden.
Por otra parte, si digo si estudio, gano el examen, estoy estableciendo, aunque sea

equivocadamente,queestudiarescondicinsuficienteparaganarelexamen.Elevento
A(lacondicinsuficiente)estodoloquesenecesita(ingenuodem)paraqueocurra
el evento B (ganar el examen). En este caso, estudiar no es, en realidad, condicin
suficiente para ganar el examen hacen falta otras cosas: hacer el examen, llegar
puntualmente,noestarnervioso,haberdormidobien,etc.Loquepuedodecir,entodo
caso,esqueestudiarescondicinnecesariaparaganarelexamen.Demaneraquesera
mejordecir:siganelexamen,esporquealmenosestudi(suponiendoquesea
un individuo honrado, claro!). En este caso, estudiar es condicin necesaria para que
ocurra el evento A: ganar el examen. Cmo cambiar el orden? De esta manera: la
proposicinanterioresequivalentealasiguiente:sinoestudia,noganaelexamen.
Note las negaciones. Para cambiar el orden de los elementos en una proposicin
condicional, necesito introducir negaciones. As, si antes deca: si vivo, tengo aire,
puedotambindecir:sinotengoaire,novivo.Obien,sitengocatarro,mesiento
mal,esequivalenteasinomesientomal,notengocatarro.Msadelanteveremos
queP>Q = ~Q>~P.
Bicondicionalidad.Algunasvecesqueremosafirmardoscondicionalessimultneamenteesdecir,
que algo es condicin necesaria y suficiente de algo ms. Podemos decir: si vivo, respiro, y si
respiro,vivo,loqueesequivalenteavivosiyslosirespiro.Elsignodelbicondicionales=.
Negacin.Lanegacinledalavueltaalosvaloresdeverdaddeunaproposicin.As,siPesVoF,
~PserFoV.
Operador
&
v
>
=
~

Funcin
Conjuncin
Disyuncin
Condicional
Bicondicional
Negacin

Sentido
y
oinclusivo
si,entonces
siyslosi
no

Traduccin
P&Q:pyq
PvQ:poq(oambos)
P>Q:sip,q
P= Q:psiyslosiq
~P:noP

Seusan,adems,parntesis:(P>Q)vR,(P&Q)>(SvT).
Note, adems, que se acostumbra usar letras maysculas para representar las proposiciones
atmicas.