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

Introduolgica

DesidrioMurcho
UniversidadeFederaldeOuroPreto

Opapeldalgicanafilosofia
Estudarfilosofiamuitodiferentedeestudarhistriaoufsica.Estudarestas
disciplinas sobretudo uma questo de compreender os resultados estabelecidos
peloshistoriadoresepelosfsicos,eraciocinarsobreisso.Masemfilosofianoh
resultadosdessegneroparaquepossamoslimitarnosacompreendlos.
Osproblemasmaisimportantesdafilosofiaestoemaberto;ouseja,noh
umconsensoentreosespecialistasquantosuasoluo.Paraqueoestudodafilo
sofiasejacompensador,nopodemoslimitarnosacompreenderasidiasoupers
pectivas opostas dos filsofos; temos de aprender tambm a filosofar. Filosofar
discutircriticamenteosproblemas,teoriaseargumentosdafilosofia.
Porque discutir criticamente argumentar, importante estudar a prpria
argumentao. Ora, a lgica estuda alguns aspectos1 da argumentao; estuda
aquelesaspectosdaargumentaoquefazemunsargumentosserembonseoutros
maus.Porisso,importanteestudarlgicaemfilosofia.
Na verdade, importante estudar lgica porque todos precisamos de argu
mentar,mesmoquenoqueiramosfazerfilosofia.DaarespostadeEpicteto(c.55
135d.C.)quandolheperguntaramsealgicaeranecessria:
Queresqueteproveisso?ArespostafoiSim.Entotenhodeusarumafor
mademonstrativadediscurso.Ointerlocutoraceitou.Comosabersentose
te estou a enganar com um sofisma? E quando o homem ficou em silncio,
Epicteto disse: Ests a ver? Tu prprio admites que a lgica necessria, pois
semelanempodesdeterminarsealgicanecessriaouno.
Epicteto,Discursos,Livro2,trad.deDesidrioMurcho,cap.25

Epicteto est a defender que a prpria pergunta que lhe fizeram pressupe
que necessrio estudar lgica. Pois para responder a essa pergunta preciso
argumentar;massenosoubermoslgica,nosaberemosseosargumentosapre
sentadosaorespondersobonsouno.Istoporquealgicaestudaprecisamente
isso:seosargumentossobonsounoeporqu.
1

Algicanoestuda,contudo,todososaspectosdaargumentao;noestuda,porexemplo,os
aspectospsicolgicos,retricos,sociolgicosouhistricosdaargumentao.

Universidade Federal de Ouro Preto


Introduo lgica

Significaistoquequemnosabelgicanosabeargumentar?No.Significa
apenas que no sabe argumentar to bem como saberia se soubesse lgica. Tal
como uma pessoa pode falar sem saber gramtica, mas no saber falar to bem
quantosaberiasesoubessegramtica.Umconhecimentomeramenteintuitivoda
gramticacomcertezasuficienteparaanossavidaquotidiana,masdificilmenteo
serparaumpoetaouparaumromancistaouparaumjornalista.Analogamente,
umconhecimentomeramenteintuitivodaargumentaocomcertezasuficiente
paraanossavidaquotidiana,masdificilmenteoserparaumfilsofoporqueem
filosofiafazemosumusointensodaargumentao:estamosotempoquasetodoa
discutiridiasporqueadiscussodeidiasomtodocentraldafilosofia.

Argumentos
Chamaseargumentaoaumencadeamentodeargumentos.Masoque
umargumento?
Umargumentoumconjuntodeproposiesemquesepretendejustificar
oudefenderumadelas,aconcluso,combasenaoutraounasoutras,que
sechamampremissas.

Um argumento tanto pode ter s uma premissa, como vrias. Contudo, s


podeterumaconcluso.
Vejamosdoisexemplosdeargumentosmuitosimples:
AAnafoiaocinemaporquesetivesseidopraiaterialevadoatoalha.

Sasintenesdeterminamovalormoraldaao.Logo,asconseqnciasdos
nossosatossomoralmenteirrelevantes.

Tanto numcaso como no outro, tratase de argumentos muitssimo curtos.


Mas so argumentos porque nos dois casos se est a defender uma proposio
combasenoutra.Noprimeirocaso,aconclusoaproposioqueestantesda
palavraporque;eapremissaaproposioqueestdepois.Nosegundo,acon
clusoaproposioqueestdepoisdapalavralogo;eapremissaaproposio
queestantes.
Veremosmaistardeoqueumaproposio.Parajbastacompreenderque
umaproposioopensamentoverdadeirooufalsoexpressoporumafrasedecla
rativa.Assim,duasfrasesdiferentespodemexprimiramesmaproposio:tantoa
frase Kant era um filsofo como a frase Kant was a philosopher exprimem a
mesmaproposio,ouseja,amesmaidiaoupensamento.Porsuavez,aproposi

Universidade Federal de Ouro Preto


Introduo lgica

oexpressaporessasfrasestemumvalordeverdade,mesmoquenosaibamos
qual.
Ovalordeverdadedeumaproposioaverdadeoufalsidadedessapro
posio.

Numargumento,oobjetivojustificaraconclusorecorrendospremissas.
Mas nem sempre as premissas justificam a concluso. S a justificam se o argu
mento for bom. Quando o argumento no bom, as premissas no justificam a
concluso. Por isso, um erro definir argumento como um conjunto de proposi
es em que as premissas justificam a concluso. Da que tenhamos definido
argumentocomoumconjuntodeproposiesemquesepretendequeaspremissas
justifiquemaconcluso.

Afirmarnoargumentar
Um argumento procura justificar uma concluso; uma proposio afirma
apenasalgo.Asduascoisassoporissomuitodiferentes.
Quando nos limitamos a fazer afirmaes, no estamos a oferecer pessoa
com quem falamos quaisquer razes para aceitar o que dizemos; no estamos a
comear um dilogo. Estamos apenas a apresentar a nossa perspectiva das coisas
outalvezatentarimpla.
Quando argumentamos, pelo contrrio, apresentamos pessoa a quem nos
dirigimosasrazespelasquaisnsprpriosaceitamosoquedizemos;estamospor
issoaconvidarapessoaadialogarconosco.Esfazsentidoapresentarargumentos
para defender as nossas idias se estivermos dispostos a abandonlas quando a
outrapessoamostraqueessesargumentosnosobons.
Estamosperanteumargumentosemprequealgumofereceumconjuntode
razes ou justificaes a favor de uma idia. Se nos limitarmos a afirmar idias,
sem as razes que as apiam, no estamos a apresentar argumentos a favor das
nossasidias.Senoapresentarmosargumentos,asoutraspessoaspoderonoter
qualquerrazoparaaceitarasnossasidias.porissoqueargumentarentrarem
dilogocomosoutros:aoapresentarrazes,estamosaexplicaraosoutrosporque
razo pensamos o que pensamos, eestamos a convidlos a discutir essas razes.
Se as razes que temos para pensar o que pensamos no resistem discusso,
tempodemudardeidias.Daqueaaberturaargumentaoseoponhaaodog
matismo.
Nemtodososconjuntosdeproposiessoargumentos.Ssoargumentos
os conjuntos de proposies em que se pretende justificar ou defender uma delas
combasenasoutras.Considereseoseguinteexemplo:

Universidade Federal de Ouro Preto


Introduo lgica

Oabortodeviaserproibido.Nuncadevemosfazerumaborto,sejaqualforacir
cunstncia.Pensoquequemfazumabortonoestaverbemoqueestafazer,
notemconscinciadequeestnaprticaaassassinarumserhumano.

Nestecaso,temosumconjuntodeproposies.Masparaquesejaumargu
mentoprecisoqueoautorpretendadefenderoufundamentarumadasproposi
esusandoasoutras.Talvezoautorpretendessedizeroseguinte:
Oabortodeviaserproibidoporqueumassassnio.

Nestecaso,jtemosumargumento,poisoautorestadarumarazopara
proibir o aborto. A concluso O aborto devia ser proibido e a premissa O
abortoumassassnio.porissoqueosargumentosnosomerosconjuntosde
proposies;osargumentossoconjuntosdeproposiescomumaestrutura:pre
tendesequeumadasproposiessejasustentadapelaoutraoupelasoutras.
Paraclarificar,formulemosoargumentoanteriordoseguintemodo:
Oabortoumassassnio.
Logo,oabortodeviaserproibido.

Neste argumento, temos uma premissa e uma concluso. Um argumento


podetervriaspremissas;masspodeterumaconcluso.

Raciocnios
Os raciocnios so como os argumentos neste sentido: em ambos os casos
usamospremissasparajustificarumaconcluso.Mashpelomenosumadiferena
importante: num argumento queremos persuadir ou convencer algum, ao passo
que num raciocnio estamos apenas a explorar as conseqncias de uma ou mais
idias.Assim,todososargumentossoraciocnios,masnemtodososraciocnios
soargumentos.
Aosraciocnioschamasetambminferncias.
Decertomodo,osargumentoseosraciocniossocomoagramtica:esto
semprepresentesnonossodiaadia,semprequepensamoseconversamos.Con
tudo, no nos damos conta, geralmente, da sua existncia. S ao estudar lgica
somoslevadosapensaremalgoqueestamossempreafazersemreparar.

Reviso
1.
2.

Oqueumargumento?Definaedexemplos.
Oqueumapremissa?Definaedexemplos.

Universidade Federal de Ouro Preto


Introduo lgica

3.
4.
5.
6.
7.
8.

9.
10.

11.

Oqueumaconcluso?Definaedexemplos.
Oquedistingueumargumentodeumraciocnioouinferncia?
Expliqueadiferenaentreafirmareargumentar.
Discutaaseguintedefiniodeargumento:Umargumentoumconjun
todeproposiesemqueaconclusojustificadapelaspremissas.
Serquequalquerconjuntodeproposiesumargumento?Porqu?
Identifiqueaspremissaseasconclusesdosseguintesargumentos:
a) Nopodemospermitiroabortoporqueoassassniodeuminocen
te.
b) Osartistaspodemfazeroquemuitobementenderem.porissoque
impossveldefiniraarte.
c) ConsiderandoquesemDeustudopermitido,necessriaaexistn
ciadeDeusparafundamentaramoraledarsentidovida.
d) SeScratesfosseumdeus,seriaimortal.MasdadoqueScratesno
eraimortal,noeraumdeus.
Apresentequatroargumentoscurtos.
Considereasseguintesfrases:Oscavalosaladosnuncaexistiram.Nemos
deusesmticosgregos.SBudareal.Serqueasproposiesexpressas
porestasfrasesconstituemumargumento?Porqu?
Asproposiesexpressaspelasfrasesseguintessoverdadeirasoufalsas?
Justifiqueasuaresposta.
a) Todososargumentostmconcluso.
b) Hargumentossempremissas.
c) Todososargumentostmduaspremissas.
d) Nenhumargumentotemmaisdeumaconcluso.
e) Nopossveldiscutiridiassemdiscutirargumentos.

Nemtodoodiscursoargumentativo
A argumentao uma funo importante da linguagem. Mas a linguagem
temoutrasfunes;nemtodoodiscursooutextoapresentaargumentos.Umtexto
podesermeramenteinformativo,casoemqueselimitaatransmitirinformao:
ANASAanunciouquevaienviarquatroastronautasLuadentrode13anos,a
bordodeumacpsulaqueseguirparaosatlitedaTerranumanovanaveespa
cial.Umasemanadeverseraduraodamissodosquatroastronautasquea
agnciaespacialnorteamericanavaienviarLuaem2018.Aviagem,segundoo
administradordaNasaMichaelGriffin,durarquatrovezesmaisdoqueasmis
sesdeApolloLuaentre1969e1972.
Viso,20deSetembrode2005

Umtextopodetambmserpotico,ouliterrio,casoemqueprocuraprodu
zirefeitosartsticos:
Ah!,queningummedpiedosasintenes!
Ningummepeadefinies!
Ningummediga:Vemporaqui!

Universidade Federal de Ouro Preto


Introduo lgica

Aminhavidaumvendavalquesesoltou.
umaondaquesealevantou.
umtomoamaisqueseanimou
Noseiporondevou,
Noseiparaondevou,
Sei,quenovoupora!
JosRgio,CnticoNegro,1925

Geralmente, o mesmo texto contm diferentes partes que tm diferentes


funes.Assim,umromanceouumpoemapodeconterimportantesinformaes
histricasoubiogrficas;epodetambmapresentarargumentos.Eviceversa:Ber
trandRussellfoiumdosmaioreslgicosdosc.XXeescreviacommuitaelegncia
(ganhouatoPrmioNobeldaLiteratura);umtextoargumentativopodeterefei
tosliterrioseusardispositivospoticos,almdeserinformativo.

Identificaoereconstruodeargumentos
Paradiscutiridiasemfilosofiatemosdeconcentraraatenonosaspectos
argumentativos dos textos e discursos. Para clarificar e facilitar a discusso de
argumentos,costumeescrevlosdoseguintemodo:
SeDeusnoexiste,avidanofazsentido.
Masavidafazsentido.
Logo,Deusexiste.

Outudoestcausalmentedeterminadoouno.
Setudoestcausalmentedeterminado,aresponsabilidademoralnopossvel.
Massenemtudoestcausalmentedeterminado,aresponsabilidademoraltam
bmnopossvel.
Logo,emqualquercaso,aresponsabilidademoralnopossvel.

Ou seja, comeamos com uma premissa em cada pargrafo e depois a con


cluso noutro pargrafo, antecedida da palavra logo. Fazemos isto quando que
remos clarificar um argumento que depois passamos a discutir. Mas claro que,
normalmente,aspessoasnoapresentamosargumentosdestamaneira.Conside
reseoseguinteexemplo:
Comopodealgumimaginarsequerquehresponsabilidademoral?Arespon
sabilidademoralnopassadeumaficodosfilsofosejuzes!Naverdade,est
tudodeterminado.Ecomotudoestdeterminado,aresponsabilidademoralno
possvel.Masmesmoquenemtudoestivessedeterminado,comoseriapossvel
a responsabilidade moral? Mesmo neste caso, a responsabilidade moral seria
umailuso.

Universidade Federal de Ouro Preto


Introduo lgica

Esta a maneira mais natural de apresentar argumentos, e assim que os


encontramosnostextosdosfilsofos,ouaofalarcomoutraspessoas,nodiaadia.
Almdisso,numdadotextooudiscursoargumentativo,surgemvriosargumentos
diferentes misturados e encadeados. Um livro ou um ensaio de um filsofo, por
exemplo,emgeralumencadeamentodevriosargumentosparcelares,mistura
doscomvriosaspectosnoargumentativos.Precisamos,porisso,desaberinter
pretar corretamente os textos filosficos, de modo a identificar e reconstruir os
argumentosnelespresentes.
Interpretarumtextocompreenderoseusignificadoeaarticulaoentre
osseusdiferentesaspectos.

Paraidentificarereconstruirosargumentospresentesnostextosfilosficos,
fazseoseguinte:
1.

Identificase a concluso: O que quer o autor defender? Isso a conclu


so.
2. Identificase as premissas: Que razes apresenta o autor para defender
essaconcluso?Essasrazessoaspremissas.
3. Completase o argumento: Se o autor omitiu premissas, temos de as
acrescentar.
4. Explicitase o argumento: Finalmente, formulamos o argumento explici
tamente.

Comecemoscomumexemplosimples:
DadoquePlatoeragrego,noeraegpcio.

AconclusobviadesteargumentoPlatonoeraegpcio.Anicarazo
apresentadaafavordestaidiaquePlatoeragrego.Sereescrevermosjoargu
mentodemaneiracompletamenteexplcita,obtemososeguinte:
Platoeragrego.
Logo,noeraegpcio.

Talcomoest,noseapresentaqualquerligaoexplcitaentreaconcluso
eapremissa;ouseja,apremissanodqualquerrazoexplcitaparaaceitaracon
cluso. Mas se perguntssemos ao autor do argumento qual a ligao, ele diria
muitoprovavelmentequenenhumgregoegpcio.Assim,faltaaesteargumento
umapremissa:Nenhumgregoegpcio.Comestapremissa,podemosreescrever
oargumento:
Nenhumgregoegpcio.
Platoeragrego.
Logo,noeraegpcio.

Universidade Federal de Ouro Preto


Introduo lgica

Agoraaspremissasligamsedetalmodoquefornecemboasrazesparasus
tentaraconcluso.Oargumentooriginal,talcomofoiformulado,eraumentime
ma.
Umentimemaumargumentoemqueumaoumaispremissasnoforam
explicitamenteapresentadas.

Aocontrriodesteexemplosimples,nemsemprefcildescobrirpremissas
ocultas.Tentarencontraraspremissasocultasdonossopensamentoumaparte
importantedadiscussofilosfica.Maspodemoscomearporpequenospassos.
Houtroaspectoquedificultaaidentificaodeargumentos.Numtextoou
discursoargumentativonemtodasasfrasesdesempenhamumpapelargumentati
vo.Muitasfrasessoapenasexplicaes,exemplos,perguntaserepetiesderet
ricaemuitasoutrascoisas.
Numtextoargumentativo,chamaserudoatodososaspectosdotextoque
notmrelevnciaargumentativa.

Vejamosumexemplo:
MrioEstequadrohorrvel!straosecores!Ateufaziaisto!
AnaConcordoquenomuitobonito,masnemtodaaartetemdeserbela.
MrioNoseiporquerazodizesisso?
AnaPorquenemtudooqueosartistasfazembelo.
MrioEdepois?claroquenemtudooqueosartistasfazembelo,masda
noseseguenada.
AnaClaroquesesegue!Dadoquetudooqueosartistasfazemarte,segue
sequenemtodaaartetemdeserbela.

Hmuitorudonestedilogo,comonormalemqualquertextoouconver
sa.Orudo nonegativo,poisajudanosacompreendervriosaspectosimpor
tantes.Apenasnodiretamenterelevanteparaaargumentao.Assim,aointer
pretarumtextocomoeste,temosdecomearporllotodo,paraencontraraidia
principalqueoautorestadefender.
QuandoaAnadizConcordoquenomuitobonitoestapenasarespon
deraoMrio.Estainformaoimportanteparaodilogo,masnodesempenha
qualquer papel argumentativo direto. Importante o que ela diz logo a seguir:
Nemtodaaartetemdeserbela.EstafraseexprimeaidiaprincipaldaAna,ou
seja, a concluso que ela quer defender. Quando o Mrio lhe pergunta por que
razo ela pensa isso, a resposta a primeira premissa do seu argumento: Nem
tudooqueosartistasfazembelo.EquandooMriodizqueessapremissano
sustentaaconclusodaAna,elaacrescentaumasegundapremissa:Tudooqueos
artistasfazemarte.Reescrevendooargumento,obtemososeguinte:

Universidade Federal de Ouro Preto


Introduo lgica

Nemtudooqueosartistasfazembelo.
Tudooqueosartistasfazemarte.
Logo,nemtodaaartebela.

Por vezes, usamos certas palavras com o objetivo de indicar que a frase
seguinteumaconclusoouuma premissa.Apalavra logo,porexemplo, um
indicadordeconcluso:significaqueafraseseguinteumaconcluso.Assim,os
indicadoresdepremissaedeconclusoajudamnosaidentificarargumentos.Con
tudo,nemsempreseusamestestermos,enemsempreestestermosindicampre
missaseconcluses.

Reviso
1.
2.

Paracadaumdosindicadoresdepremissaeconclusodoquadroanterior,
apresenteumargumentoquenosejadisparatado.
Identifique as premissas e as concluses dos seguintes argumentos, rees
crevendoosdemaneiraexplcita:
a) Dado que tanto os homens como as mulheres contribuem de igual
modoparaasociedade,nodevehaverqualquerdiscriminaoentre
ossexos.
b) Nunca devemos faltar ao prometido. Se faltarmos ao prometido,
depois ningum confia em ns. E nesse caso teremos muitos proble
mas.

Universidade Federal de Ouro Preto


Introduo lgica

c) Se no houvesse vida alm da morte, a vida no faria sentido. Dado


queavidafazsentido,temdehavervidaalmdamorte.
d) A prova de que eu no posso ser uma iluso o prprio fato de eu
estaragoraapensar.
e) ClaroqueDeusexiste!Aindaseavidanofizessesentido,eupoderia
admitirqueDeusnoexiste.Massumtolopoderpensarqueavida
nofazsentido,comoevidente.
f) Comopodealgumimaginarsequerquehresponsabilidademoral?A
responsabilidademoralnopassadeumaficodosfilsofosejuzes!
Naverdade,esttudodeterminado.Ecomotudoestdeterminado,a
responsabilidademoralnopossvel.Masmesmoquenemtudoesti
vesse determinado, como seria possvel a responsabilidade moral?
Mesmonestecaso,aresponsabilidademoralseriaumailuso.
3. Descubraaspremissasocultasdosseguintesargumentos:
a) Adrogadeviaserproibidaporqueprovocaamorte.
b) Ahomossexualidadedeviaserproibidaporquenonatural.
c) Avidanotemsentidoporquenofimacabamostodospormorrer.
d) SeDeusnoexistisse,avidanofariasentido.Portanto,Deusexiste.
e) Seamsicabela,arte.Logo,arte.
4. Procuredeterminarseosseguintestextossoargumentos.Seforem,iden
tifiqueaspremissaseasconclusesereescrevaosdemaneiraexplcita:
a) ONadanopodeexistir.ONadaamanifestaodoquenoexiste,e
oquenoexistenopodemanifestarse.
b) Aarteindizvel.umsaltonovaziodaexistnciapura.Umarreme
dodognioquesefazcoisa.
c) Seomundoexteriorperceponoexistisse,ondeexistiriamosseres
humanos?
d) JPlatodiziaqueaalmaimortal.
5. Procure encontrar premissas que possam apoiar as proposies expressas
pelasfrasesseguinteseescrevademaneiraexplcitaosargumentosresul
tantes:
a) Atouradadeviaserproibida.
b) Avidanofazsentido.

Proposiesefrases
Como vimos, os argumentos so constitudos por proposies. Por sua vez,
exprimimosproposiesatravsdefrases.Masoqueumafrase?
Uma frase umaseqncia de palavrasque podemos usar parafazer uma
asseroouumapergunta,fazerumaameaa,darumaordem,exprimirum
desejo,etc.

Assim,asseguintesseqnciasdepalavrassofrases:
Estachover.
Emprestasmeoteucarro?

10

Universidade Federal de Ouro Preto


Introduo lgica

Senomedevolveresolivro,ficozangado.

Masasseguintesseqnciasdepalavrasnosofrases:
Sevierescomigo.
Outecalas.
Verdenopimentaoucadernose.

Textosefrasesdiferentespodemexprimiromesmopensamento.Porexem
plo,tantoafraseAcapitaldePortugalLisboacomoafraseLisbonisPortugals
capitalexprimemomesmopensamento.Almdisso,amesmafrasepodeexprimir
diferentespensamentos:afraseObancobonitotantopodeexprimirumpen
samentosobreumapeademobiliriocomoumpensamentosobreumainstitui
ofinanceira.
Usamosfrasesparaexprimirpensamentos.Aospensamentosverdadeirosou
falsos expressos pelas frases chamamos proposies. So as proposies que
realmentenosinteressam,enoasfrases,poisinteressanosopensamentoverda
deirooufalsoqueasfrasesexprimem,enoomeiousadoparaoexprimir.
Umaproposioopensamentoverdadeirooufalsoqueumafrasedecla
rativaexprime.

Emvezdeproposio,usasemuitasvezesotermojuzo,querendodizer
aproximadamente a mesma coisa. Tanto podemos falar da proposio expressa
pelafraseHegeleraalemo,comodojuzoexpressopelamesmafrase.
Nem todas as frases exprimem proposies. Por exemplo, as perguntas no
exprimem proposies porque no exprimem pensamentos verdadeiros ou falsos,
ouseja,quepossamtervalordeverdade.
Ovalordeverdadedeumaproposioaverdadeoufalsidadedessapro
posio.

UmafrasecomoOMrionasceunoPortoexprimeumaproposioporque
temvalordeverdade.Etemvalordeverdadeporqueafraseouverdadeiraou
falsa.MasumafrasecomoSerqueoMrionasceunoPorto?noexprimeuma
proposioporquenotemvalordeverdade.Notemvalordeverdadeporqueas
perguntasnosoverdadeirasnemfalsas.
Umafrasetemvalordeverdadequandoverdadeiraoufalsa,aindaqueno
saibamosseafraserealmenteverdadeiraoufalsa.Porexemplo,afraseHvida
noutros planetas alm da Terra exprime uma proposio. Exprime uma proposi
oporque estafrasetemumvalor deverdadeverdadeiraoufalsa.Todavia,
nsnosabemosseafraseverdadeiraoufalsa.

11

Universidade Federal de Ouro Preto


Introduo lgica

Hfrasesdeclarativasquenotmvalordeverdade.Porexemplo,afraseO
nada s gosta de pipocas s segundasfeiras no exprime uma proposio mas
umafrasedeclarativa.Todavia,noexprimeumaproposioporquenotemvalor
deverdade.Nosetratadensnosabermosqualoseuvalordeverdade;oque
sepassaqueafrasenotemqualquervalordeverdade.
Uma frase declarativa que no tem qualquer valor de verdade absurda
(ou,comosedizporvezes,notemsentido).

Isto o que se diz em certos contextos. Mas noutros contextos dizse que
umafraseabsurdaquandotoevidentementefalsaquenovaleapenaproferi
la.precisonoconfundirestasduasnoesdiferentesdeabsurdo.

Tiposdefrases Exprimemproposies?
Declarativas
Anevebranca. Algumas,sim.
Asidiasperfeitassabemcantar. Outras,no.
Interrogativas No.
SerqueDeusexiste?
Exclamativas No.
Quemmederaserimortal!
Compromissivas No.
Prometodevolverteolivroamanh.
Amanhvoupraia.
Prescritivas No.
Noultrapassesolimitedevelocidade.
Imperativas No.
Fechaaporta!

Asfrasesdeclarativaspodemexprimirmuitasoutrascoisasalmdeumpen
samentoverdadeirooufalso.Podemexprimirsurpresa,deleite,irritao,etc.

Reviso
1.
2.
3.
4.
5.
6.

Qualadiferenaentreumafraseeumaproposio?Expliqueedexemplos.
Ddoisexemplosdefrasesqueexprimamproposies.
Ddoisexemplosdefrasesquenoexprimamproposies.
Oqueovalordeverdadedeumafrase?
Oquesignificadizerqueumafraseabsurda?Dalgunsexemplos.
Indique ovalor deverdade das proposies expressas pelasfrasesseguintes e
justifiqueasuaresposta:

12

Universidade Federal de Ouro Preto


Introduo lgica

a) Umafrasenecessariamentefalsaabsurda.
b) Seumafraseforfalsa,exprimeumaproposio.
c) Umafrasequenoexprimequalquerproposionoquerdizercoisaalgu
ma.
d) Hfrasesabsurdasverdadeiras.
e) Umaproposionopodeterpalavras.

7. Expliquequalaimportnciadesaberoqueumaproposio.

Concretoeabstrato
Umerrocomumpensarquealgumasfrasessoproposies.Asfrasesnun
capodemserproposies;tudooqueumafrasepodefazerexprimirproposies.
Istoporqueasfrasessoentidadesconcretasaopassoqueasproposiessoenti
dadesabstratas,enenhumaentidadeconcretapodeserumaentidadeabstrata.
AfraseLisboaacapitaldePortugalcompostaporseispalavras.Asfrases
easpalavrassocoisas ouentidadesconcretas,comoasrvores,osoceanoseos
lpis.Ascoisasouentidadesconcretascontrastamcomasentidadesabstratas.As
proposiessoentidadesabstratas.
Porabstratonosequerdizervago,difcil decompreenderougeral.
Osnmeroseaspropriedades(comoabrancura),porexemplo,soentidadesabs
tratas;masonmerosete,porexemplo,novago,nemdifcildecompreender,
nemgeral(oqueseopeaogeraloparticular,enooconcreto).
Asentidadesconcretasestolocalizadasnoespaoenotempo.
Nemtodasasentidadesabstratasestolocalizadasnoespaoenotempo.

Por exemplo, um lpis ocupa um certo espao e existe durante um certo


perododetempo;masonmerocinconoestemstioalgum,nemcomeoua
existirnumdeterminadomomento,desaparecendodepois.Onmerocinco,con
tudo,nosepodeconfundircomossmbolosepalavrasqueusamosparaoexpri
mir; entre esses smbolos e palavras, incluemse os seguintes: 5, V, cinco,
cinc,five,fnf(porordem:numeraorabe,numeraoromana,portugus,
francs,inglsealemo).Outrasentidadesabstratastmlocalizaotemporal:por
exemplo,umperododetempo,comooanode2006.
Os conceitos em si so entidades abstratas. Mas a extenso dos conceitos
tantopodeserentidadesabstratascomoconcretas.Porexemplo,osnmerospares
so entidades abstratas e constituem a extenso do conceito de nmero par; os
animaismamferossoentidadesconcretaseconstituemaextensodoconceitode
mamfero.Mastantooconceitodenmeroparcomooconceitodemamferoso,
emsi,entidadesabstratas.

13

Universidade Federal de Ouro Preto


Introduo lgica

Quandodiscutimosidias,noestamospreocupadoscomasfrasesconcretas
que usamos para exprimir essas proposies, mas antes com as prprias proposi
es.Porexemplo,seestamosadiscutiraquestodesaberseDeusexiste,oque
queremosdiscutirseoqueexpressopelafraseDeusexisteverdade.Igual
mente,quandolemosumtextofilosfico,oquenosinteressanootextoconcre
toquetemosperantens,masasproposiesqueotextoexprime;oquediscuti
mosemfilosofianoaspalavrasdotexto,nemacordasletras,nemalnguaem
queotextofoiescrito,nemadimensodasfolhasemqueotextoestescrito,mas
antesasproposiesexpressaspelotexto.

Reviso
1.
2.
3.
4.

Expliqueadistinoentreconcretoeabstrato,recorrendoaexemplos.
Umafraseumaentidadeabstrataouconcreta?Porqu?
Umaproposioumaentidadeabstrataouconcreta?Porqu?
Podeumafraseserumaproposio?Porqu?

Teoriaseproposies
Asteoriasfilosficaspodemseravaliadasdemuitospontosdevista.Dopon
todevistahistrico,porexemplo,procurasedeterminarasrelaesqueasteorias
dosfilsofostmcomasidiasdoseutempoecomasteoriasdosseusantecesso
res;procurasetambmcompreendermelhoroqueofilsofotinhaemmente.Do
pontodevistaesttico,avaliaseeapreciaseasteoriasdosfilsofoscomosefos
semcriaesartsticas,umpoucocomoquemapreciaumapinturaouumasinfo
nia. Mas tambm se pode apreciar as teorias filosficas filosoficamente. Para o
fazer,necessriorespondersseguintesperguntas:
1.
2.
3.
4.

Comosearticulamosdiferentesaspectosdateoria?
Comorespondeateoriaaoproblemafilosficoqueseproperesolver?
Ateoriaplausvel?Queargumentoshaseufavor?
Ateoriamaisplausveldoqueasteoriasalternativas?

Umateoriaapenasumconjuntoarticuladodeproposies.Essasproposi
estmrelaeslgicasentresi.Umadasrelaesmaisimportantesaconsis
tnciaeasuanegao,ainconsistncia.Chamaseporvezescoernciaconsis
tnciaeincoernciainconsistncia.
Umconjuntodeproposiesconsistentequandotodasasproposiesdo
conjuntopodemserverdadeirassimultaneamente.

14

Universidade Federal de Ouro Preto


Introduo lgica

Um conjunto de proposies inconsistente quando as proposies do


conjuntonopodemsertodasverdadeirassimultaneamente.

Porexemplo,oseguinteconjuntodeproposiesconsistente:
Deusexiste.
AvidasemDeusnotemsentido.
Anicareligioverdadeiraaislmica.
Oscristosestoenganados.

Asdiferentespartesdeumateoriaformamgeralmenteumtodorelativamen
teharmonioso.Oqueistoquerdizerqueasdiversasproposiesdasteoriascos
tumam ter uma estrutura lgica entre si. A relao principal que existe entre as
proposiesdeumateoriaadeimplicaoouconseqncia,queiremosestudar
emlgica.
Umaproposioimplicaoutraquandoimpossvelaprimeiraserverdadei
ra e a segunda falsa. Dizse tambm que a segunda proposio conse
qnciadaprimeira.

Porexemplo,aprimeiradasseguintesproposiesimplicaasegunda:
Anicareligioverdadeiraaislmica.
Oscristosestoenganados.

Comoasproposiesqueconstituemasteoriastmrelaeslgicasentresi,
uma dada proposio de uma teoria pode implicar outra proposio da mesma
teoria.Istodteoriaumacertaunidadeoucoerncia,poisseaprimeiraforver
dadeira,asegundanopodeserfalsa.Contudo,seaprimeiraforfalsa,asegunda
podeserfalsatambm.Porisso,umateoriapodetercoernciainterna,ouseja,
serconsistente,masserfalsa.
Arelaodeimplicao noexisteapenasnointeriordeumateoria.Existe
igualmenteentreasproposiesdateoriaeoutrasproposiesexterioresteoria.
Assim,acontecemuitasvezesqueumateoriaconsistente,masimplicaproposi
esquetemosboasrazesparapensarquesofalsas.Porisso,aoavaliarteorias,
nobastaperguntarseresolvemosproblemasquepretendiamresolver.Nembasta
perguntarsesocoerentes.precisoperguntartambmsenoentramemconflito
comoutrasverdadesqueconhecemos.Efetivamente,muitasvezesumateoriacon
segue resolver um determinado problema, mas acaba por levantar outros proble
maspiores,poisentraemconflitocomoutrosconhecimentosquejtemos.Quan
doumateoriatemconseqnciasfalsas,temosdeprocuraroutramelhor.

15

Universidade Federal de Ouro Preto


Introduo lgica

Reviso
1. Oqueaconsistncia?Eainconsistncia?Expliqueedexemplos.
2. Oqueaimplicao?Expliqueedexemplos.
3. Expliquequaissoasduasrazespelasquaisumateoriacoerentepodeserfal
sa.

Validade
Osargumentosservemparadescobrirverdadesdesconhecidascombaseem
verdades conhecidas. Contudo, no basta que as premissas e a concluso de um
argumentosejamverdadeirasparaqueoargumentosejabom,comosepodeverno
seguinteexemplo:
Aristteleseragrego.
OuroPretoumacidade.
Logo,arelvaverde.

Apesar de as premissas e a concluso serem verdadeiras, este argumento


mau.
Tambmnobastaqueumargumentosejacoerenteparaserbom,poiseste
argumento perfeitamente coerente. Para que um argumento seja incoerente
necessrioquecontenhacontradies(comoArelvaenoverde).
Paraumargumentoserbom,precisoqueaspremissasserelacionemdetal
maneira com a concluso que torne impossvel, ou improvvel, que as premissas
sejam verdadeiras e a concluso falsa. Esta , precisamente, a definio de argu
mentovlido:
Um argumento vlido quando impossvel, ou muitssimo improvvel,
queassuaspremissassejamverdadeiraseasuaconclusofalsa.

Assim,avalidadeumarelaoentreaverdadeoufalsidadedaspremissase
da concluso. No se deve por isso pensar que a validade e a verdade no tm
qualquerrelaoentresi.
Eisdoisexemplosdeargumentosvlidosmuitosimples:
Seavidasagrada,oabortoimoral.
Avidasagrada.
Logo,oabortoimoral.

SeDeusexiste,osofrimentoumailuso.
Osofrimentonoumailuso.
Logo,Deusnoexiste.

16

Universidade Federal de Ouro Preto


Introduo lgica

Em filosofia, a palavra validade tem um sentido especializado. Muitas


vezes,usaseapalavravalidadeparadizerquealgotemvalor,ouqueinteres
sante.Porisso,dizemosqueumaproposiovlida,masqueremosapenasdizer
queinteressante.Emtermosfilosficos,contudo,umaproposiono podeser
vlidaneminvlida;sosargumentospodemservlidosouinvlidos.Easpropo
siessoverdadeirasoufalsas,masnopodemservlidasneminvlidas.
Osargumentos,masnoasproposies,podemservlidosouinvlidos.
Asproposies,masnoosargumentos,podemserverdadeirasoufalsas.

Reviso
1.
2.

3.
4.
5.

Oqueumargumentovlido?Dumexemplo.
Asproposiesexpressaspelasfrasesseguintessoverdadeirasoufalsas?
Justifiqueasuaresposta.
a) Nenhumargumentovlidotemumaconclusofalsa.
b) Algunsargumentosvlidostmpremissasfalsas.
c) Todososargumentoscompremissasfalsastmconclusofalsa.
d) Todososargumentosvlidoscompremissasfalsastmconclusesfal
sas.
e) Todososargumentoscompremissaseconclusoverdadeirassovli
dos.
f) Avalidadeumaquestodecoerncia.
H alguma circunstncia em que se possa recusar a concluso de um
argumentovlido?Sesim,qual?Porqu?
Poderumargumentoserverdadeiro?Justifique.
Poderumaproposioservlida?Justifique.

Argumentosslidos
Avalidadesgarantequeimpossvelpartirdeverdadesechegarafalsida
des.Masumargumentopodeservlidoeterconclusofalsadesdequetambm
tenhaumapremissafalsa.ocasodosseguintesargumentos:
KanteAristteleseramgregos.
Logo,Kanteragrego.

Todososgatossoces.
Todososcesladram.
Logo,todososgatosladram.

Para garantir que chegamos a concluses verdadeiras, temos de fazer duas


coisas: partir de premissas verdadeiras e usar argumentos vlidos. Se os nossos

17

Universidade Federal de Ouro Preto


Introduo lgica

argumentos no forem vlidos ou se as nossas premissas no forem verdadeiras,


noteremosqualquergarantiadechegaraconclusesverdadeiras.
Umargumentoslidoumargumentovlidocompremissasverdadeiras.

Reviso
1.
2.

Oqueumargumentoslido?Dumexemplo.
Asproposiesexpressaspelasfrasesseguintessoverdadeirasoufalsas?
Justifiqueasuaresposta.
a) Algunsargumentosslidostmconclusesfalsas.
b) Nenhumargumentoslidoinvlido.
c) Todososargumentosvlidossoslidos.
3. Concordarcomumaproposioconsiderarqueverdadeiraediscordar
considerarquefalsa.Serquepodemosdiscordardaconclusodeum
argumentovlidoeconcordarcomaspremissas?Porqu?
4. H alguma circunstncia em que se possa recusar a concluso de um
argumentoslido?Sesim,qual?Porqu?
5. ConsideredenovooargumentodaAna:
Nemtudooqueosartistasfazembelo.
Tudooqueosartistasfazemarte.
Logo,nemtodaaartebela.
Seresteargumentoslido?Justifique.

Argumentoscogentes
No basta que um argumento seja slido para ser bom, pois o seguinte
argumentoslidoemau:
PlatoeAristteleseramgregos.
Logo,Platoeragrego.

Este argumento mau porque no persuasivo; e no persuasivo porque


quemduvidadaconclusonoaceitaapremissa.Istoaconteceporqueapremissa
nomaisplausveldoqueaconcluso.
Um argumento cogente ou bom um argumento slido com premissas
maisplausveisdoqueaconcluso.

Assim, um argumento bom ou cogente rene trs condies: vlido, tem


premissasverdadeirasetempremissasmaisplausveisdoqueaconcluso.
Vejamosoutroexemplo:
Seavidasagrada,oabortoimoral.

18

Universidade Federal de Ouro Preto


Introduo lgica

Avidasagrada.
Logo,oabortoimoral.

Esteargumentovlido:nohcircunstnciasnasquaisaspremissassejam
verdadeiraseaconclusofalsa.Contudo,oargumentomauporqueaspremissas
nosomaisplausveisdoqueaconcluso.Ocartersagradodavidanomais
plausvel ou mais evidente do que a imoralidade do aborto. Na verdade, muitas
pessoasconsideramqueoabortoimoral,masnosoreligiosaseportantono
consideramqueavidasejasagrada.Paraqueoargumentofossebom,almdesli
do, teria de partir de premissas mais obviamente verdadeiras, para chegar a uma
concluso disputvel; no pode partir de premissas to disputveis quanto a pr
priaconcluso.

Cogncia:algunsexemplos
Vejamosmelhoracognciaargumentativa,comeandoporesteexemplo:
Osbebsnotmdeveres.
Sestivessedireitosquemtemdeveres,osbebsnoteriamdireitos.
Masosbebstmdireitos.
Logo,falsoquestemdireitosquemtemdeveres.

Esteargumentocogenteporquevlido,tempremissasverdadeirasetem
premissasmaisplausveisdoqueaconcluso.Istosignificaquequemrecusaini
cialmente a concluso aceita provavelmente as premissas. Portanto, o argumento
estadaraessapessoaumarazoparamudardeidiasepassaraaceitaraconclu
so,combasenaspremissasqueelamesmaacreditaquesoverdadeiras.
Vejamososseguintesargumentos:
TudooqueoAsdrbalafirmaverdade.
OAsdrbalafirmaqueanevebranca.
Logo,anevebranca.

SeaFortunatativessepassadopeloCaminhodaLuz,teriadeixadopegadas.
MasnosevquaisquerpegadasnoCaminhodaLuz.
Logo,aFortunatanopassoupeloCaminhodaLuz.

Aconclusodoprimeiroargumentomaisplausveldoqueasuaprimeira
premissa,poispodemosverdiretamentequeanevebranca.Eimplausvelque
tudooqueoAsdrbaldizverdadeporquetodosossereshumanossofalveis
e,porisso,mesmosemmentir,aspessoasdizemfalsidades.
Istocontrastacomosegundoargumento,emqueaconclusomenosplau
svel do que as premissas. Se o Caminho da Luz for um caminho de terra, por

19

Universidade Federal de Ouro Preto


Introduo lgica

exemplo, a primeira premissa plausvel: sabemos, ao ver o caminho, que se


algumpassarporali,deixapegadas.Averdadedasegundapremissapodeserveri
ficadapelaobservaoeporissomuitoplausvel.Assim,senotivermosmanei
rasdiretasdesaberporondepassouaFortunata,aconclusomenosplausveldo
quequalquerdaspremissas.

Porquacogncia?
Nobastaqueaspremissassejamverdadeirasparaqueumargumentovlido
sejacogenteporqueaspessoaspodemestarenganadasepensarquesofalsas.Ese
umargumentoconduzvalidamenteaumaconclusoqueaspessoasnoaceitam,
naturalquepensemquepelomenosumadaspremissasfalsa.

Argumentos
slidos

Argumentos
cogentes

Assim, preciso que as premissas, alm de serem verdadeiras, sejam reco


nhecidas como plausivelmente verdadeiras pela pessoa com quem estamos a
argumentar.Paraqueumargumentosejacogente,aspremissastmdeseraceit
veisparaquemaindanoaceitaaconcluso.Seusarmospremissasquessoacei
tveisparaquemjaceitaaconcluso,aargumentaocircular.
Vejamosumexemplo:
Tudooqueasdiversasreligiesdizemilusrio.
SasreligiesdizemqueDeusexiste.
Logo,Deusnoexiste.

Esteargumentonocogenteporquequemnoaceitaaconclusotambm
noaceitaquetudooqueasreligiesdizemilusrio.Contudo,podeserrealmen
teverdadequetudooqueasreligiesdizemilusrio.Masmesmoassimoargu

20

Universidade Federal de Ouro Preto


Introduo lgica

mento no cogente. Para argumentar contra a existncia de Deus s podemos


usarpremissasquequemcrenteaceita.

Reviso
1.
2.
3.
4.

Definaargumentoslidoeddoisexemploscontrastantes.
Definaargumentocogenteeddoisexemploscontrastantes.
Recorrendoaexemplos,distingaverdadedeplausibilidade.
Imaginequealgumapresentaumargumentovlidocompremissasmais
plausveisdoqueaconcluso.Masaspremissassofalsas,apesardenin
gumosaber.Esseargumentocogente?Porqu?
5. Osargumentosseguintessocogentes?Porqu?
a) A Terra tem trs luas e Marte uma estrela. Logo, a Terra tem trs
luas.
b) Seosobjetosmaispesadosnocassemmaisdepressadoqueosmais
leves,umquilodechumbonocairiamaisdepressadoqueumquilo
de algodo. Mas um quilo de chumbo cai mais depressa do que um
quilo de algodo. Logo, os objetos mais pesados caem mais depressa
doqueosmaisleves.
c) ATerratemumaluaeMarteumplaneta.Logo,aTerratemumalua.
Arelvaverdeououniversonoexiste.Logo,aguaH2O.
6. Determineseosargumentosseguintesso1)vlidos,2)slidose3)cogen
tes,eexpliqueporqu.
a) Sehouvessevidaalmdamorte,avidafariasentido.Dadoqueavida
fazsentido,temdehavervidaalmdamorte.
b) SePlatoateniense,grego.Dadoquenogrego,noateniense.
c) Seocriminosofoiporestecaminho,tevededeixarpegadas.Dadoque
nohpegadas,elenofoiporaqui.
d) A vida faz sentido. Mas se a vida faz sentido, Deus existe. Portanto,
Deusexiste.

Falcias
Aoavaliarargumentos,fazemosasseguintesperguntas:
1.
2.
3.

Serimpossvelouimprovvelqueaspremissassejamverdadeiraseacon
clusofalsa?
Serotodasaspremissasverdadeiras?
Seroaspremissasmaisplausveisdoqueaconcluso?

Seoargumentopareciabom,masfalhaumadestascondies,falacioso.
Umafalciaumargumentoqueparececogentemasno.

21

Universidade Federal de Ouro Preto


Introduo lgica

Umargumentofalaciosoquandoparecevlidomasinvlido;ouquando
tem premissas falsas que parecem verdadeiras; ou quando parece ter premissas
maisaceitveisdoqueaconcluso,masnotem.Vejamosalgunsexemplos:
Todososacontecimentostmumacausa.
Logo,humacausadetodososacontecimentos.

Esteargumentofalaciosoporqueparecevlidomasinvlido.Vemosque
invlido pensando noutro argumento parecido mas que tenha uma premissa
obviamenteverdadeiraeumaconclusoobviamentefalsa:
Todasaspessoastmumnariz.
Logo,humnarizdetodasaspessoas.

Chamaseinversodosquantificadoresaestafalcia.
Vejamos agora um argumento vlido que falacioso por ter uma premissa
falsaquepareceverdadeira:
Oumeapiasoumecontestas.
Nomeapias.
Logo,contestasme.

Chamasefalciadofalsodilemaaestetipodeargumento.falacioso,ape
sar de ser vlido, porque a primeira premissa no esgota todas as possibilidades,
apesardeparecerqueofaz.
Finalmente,oseguinteargumentofalaciosoporparecercogentesemoser:
Tudooqueasdiversasreligiesdizemilusrio.
SasreligiesdizemqueDeusexiste.
Logo,Deusnoexiste.

Esteargumentovlidomasfalacioso,mesmoque sejaslido,sealgum
irrefletidamenteconsiderarqueaspremissassomaisplausveisdoqueaconclu
so.Umapessoapodefazerissoporseralgoincapazdeseprnaposiodaspes
soasqueacreditamqueDeusexiste,novendoassimqueaprimeirapremissano
maisplausveldoqueaconcluso.2
2

Apesardeaplausibilidadeserrelativaaagentes,norelativanosentidopsicolgicodotermo.
Umagentepodeconsiderarqueumaproposioplausveleestarenganadonosentidoemqueno
pensoucuidadosamentenasuaplausibilidade.Cf.EpistemologiadaArgumentao,nomeuPen
sarOutraVez(Famalico:Quasi,2006).

22

Universidade Federal de Ouro Preto


Introduo lgica

Persuasoemanipulao
A argumentao tem muitos aspectos que no so estudados pela lgica.
Alguns desses aspectos so estudados pela retrica. Ao passo que a lgica estuda
apenas os aspectos que tornam os argumentos cogentes, a retrica estuda o que
tornaosargumentoseficazes.Umargumentoeficazquandopersuadeointerlo
cutorafavordaquiloquesedesejava.
Persuadir algum fazer essa pessoa mudar de idias ou fazla agir de
maneiradiferentedoqueagiaantes.

Comovimos,asfalciassoargumentosmausqueparecembons.Istosigni
fica que as falcias so geralmente argumentos eficazes apesar de serem maus. A
retrica estuda a eficcia da argumentao, independentemente de saber se o
argumentoemcausacogenteouno.
Considereseoseguinteexemplo:
No me digas que concordas com essestontos que defendem quedevemosser
vegetarianosparanofazerosanimaissofrer!Comtantosofrimentoquehno
mundo,maisvalepensarnoutrosproblemasmaisgraves.

Este argumento manipulador. Quem o apresenta est a tentar que o seu


interlocutordeixedepensarnaquestodesaberseosvegetarianosticostmou
norazo.Oquesepretendequeointerlocutoraceiteasidiasdooradorsem
pensar muito. Chamase persuaso irracional ou manipulao a este tipo de
argumentao.
Manipularalgumfazeressapessoaaceitaroufazeralgosemavaliarcui
dadosamenteascoisasporsi.

Nemtodososargumentosfalaciosossocasosdepersuasoirracional,pois
umapessoapodeargumentarfalaciosamentesemosaber.
Amanipulaoopesepersuasoracional:
Persuadirracionalmentealgumfazeressapessoaaceitaroufazeralgo
mostrandolheasrazesafavordisso.

Vejamosumexemplo:
Osofrimentodosanimaisnomoralmenterelevante.
Logo,nohboasrazesparaaceitarovegetarianismotico.

Esteexemplocontrastacomoargumentomanipuladoranterior.Nestecaso,
estamosperanteumatentativadepersuasoracional.Quemapresentaesteargu

23

Universidade Federal de Ouro Preto


Introduo lgica

mentoestatentarpersuadirointerlocutor.Masnoofaztentandomanipullo.
Emvezdisso,apresentalheasuarazoparapensarqueovegetarianismoticono
defensvel.
Oexemplodemanipulaoapresentadoumasimplificao.Masamanipu
laoumaformamuitocomumdeargumentaofalaciosa,egeralmentemuito
eficaz.Vejamosoexemplodapublicidade.
Na publicidade a um refrigerante, por exemplo, apresentase tipicamente
gruposdejovensatraentesealegres,adanareaconviver.Istofazaspessoasque
vemoannciopublicitrioassociarcoisasagradveisaorefrigerante.Massetudo
ficasse por a, o anncio seria ineficaz. Para ser eficaz tem de levar as pessoas a
comprarorefrigerante.Querelaohentrecomprarorefrigeranteeterumgru
podeamigosatraentes,alegresejovens?Arelao,seforclaramenteexpressa,
ridcula:
As pessoas que bebem este refrigerante so atraentes, alegres e jovens, e tm
muitosamigoscomoeles.
Seeubeberesterefrigerante,sereicomoeles.
Ora,euquerosercomoeles.
Logo,voucomprarorefrigerante.

Basta formular claramente o argumento para ver que mau. Beber um


determinadorefrigerantenonostornaatraentes,alegres,jovensepopulares.Con
tudo, a publicidade eficaz. Em parte, eficaz porque o argumento subjacente
nuncaclaramenteformulado;apenassugerido.
Sugerirargumentosemvezdeosapresentarclaramenteumaparteimpor
tantedodiscursomanipulador.Istotantoacontecenapublicidadecomonapolti
caouatentreamigosefamiliares.Opodersedutordamargumentaodepende
emgrandepartedaocultaodosprpriosargumentos.
Semprequealgumestatentarpersuadirnosdealgo,asperguntascorretas
afazersoestas:
1.
2.
3.

A pessoa est a tentar persuadirnos a aceitar exatamente o qu ou a fazer


exatamenteoqu?
Qualoargumentoemcausa,aindaquesejameramentesugerido?
Esseargumentocogente?

Liberdadeeargumentao
Aliberdadedeexpressotemumaconexoimportantecomaargumentao
eamanipulao.Vejamosporqu.

24

Universidade Federal de Ouro Preto


Introduo lgica

Ossereshumanossofalveis.Anicamaneiradecorrigirasnossasidias
submetlasdiscusso.Ouseja,permitirqueasoutraspessoasargumentemcon
tra elas. Por mais obviamente falsas, blasfemas, ou herticas que as idias dos
outrosnospaream,spodemossabersesorealmentefalsasdepoisdeasdiscu
tirmoscuidadosamente.Seforemrealmentefalsas,aargumentaomostrarisso
mesmo.
Porexemplo,quemquiserpremdvidaqueonmerodoispar,devetera
liberdade de o fazer. precisamente porque permitimos permanentemente tal
dvidaquesabemosquetemosumaboarespostaparalhedar.Aolongodahist
ria da humanidade, muitas idias que pareciam evidentes revelaramse falsas.
Parecia evidente que a Terra estava imvel, que as mulheres no podiam ter os
mesmosdireitosdoshomensouqueosnegrosendiosnodeviamterosmesmos
direitosdasoutraspessoas.Saargumentaopermitedescobrirqueasidiasque
parecem evidentemente verdadeiras so de fato falsas porque no resistem
argumentao.
Istofazdaargumentaonoapenasuminstrumentofundamentalparaades
cobertadeverdades,mastambmparatomarmelhoresdecisespolticasqueafe
tamavidadetodos.Semdiscusso,asdecisespolticasspoderiamserboasse
houvesse polticos infalveis. Mas os polticos so seres humanos falveis, como
todososoutros.
Contudo,aargumentaolivredemasiadasvezessubstitudapelaretrica
manipuladora.Quandoistoacontece,aprpriapossibilidadedeumademocracia
real, e no meramente aparente, que fica ameaada. Uma democracia saudvel
exigeumaargumentaolivrequenosetransformeemmanipulaoretrica.
Nofcilsabercomoevitaramanipulaoretricaporpartedospolticos.
Um passo importante, contudo, o que acabamos de fazer: estudar com algum
cuidadoelementoscentraisdelgicaformaleinformal.Esteestudonoirelimi
nar a retrica manipuladora do discurso dos polticos. Mas quantas mais pessoas
tiveremumconhecimentobsicodalgica,menoseficazseraretricamanipula
doradospolticosjuntodecadavezmaispessoas.

Reviso
1. ImaginequeaFortunataapontaumaarmaaoAsdrbalparaoobrigaradar
lheacarteira,equeoAsdrbalobedece.AFortunatapersuadiuoAsdrbala
darlhe a carteira? Porqu? Se o persuadiu, tratase de persuaso racional ou
manipulao?
2. Expliqueadiferenaentrepersuasoracionalemanipulao.

25

Universidade Federal de Ouro Preto


Introduo lgica

Validadededutivaenodedutiva
Avalidadededutivadistinguesedavalidadenodedutiva:
Umargumentodedutivovlidoquandoimpossvelterpremissasverda
deiraseconclusofalsa.
Umargumentonodedutivovlidoquandoimprovvel,maspossvel,
terpremissasverdadeiraseconclusofalsa.

Porexemplo:
SeoAsdrbalestivessenapraia,terialevadoatoalha.
Maselenolevouatoalha.
Logo,noestnapraia.

obviamenteimpossvelqueasduaspremissasdesteargumentosejamver
dadeiras e a sua concluso falsa. Isto significa que o argumento dedutivamente
vlido.Claroqueaconclusopodeserfalsa:oAsdrbalpodeestarnapraia.Masse
estiver na praia, porque pelo menos uma das premissas falsa. Quando um
argumento dedutivo vlido tem uma concluso falsa porque partiu de pelo
menosumapremissafalsa.
Considereseagoraoseguinteexemplo:
Todososcorvosobservadosathojesonegros.
Logo,todososcorvossonegros.

improvvel que a premissa seja verdadeira e a concluso falsa; contudo,


noimpossvel.Istosignificaqueoargumentonodedutivamentevlido.
Assim, uma diferena importante entre os argumentos dedutivos e os no
dedutivosesta:

Nos argumentos dedutivos vlidos impossvel que as premissas sejam


verdadeiraseaconclusofalsa.
Nos argumentos no dedutivos vlidos apenas improvvel, mas no
impossvel,queaspremissassejamverdadeiraseaconclusofalsa.

Validadeeverdade
Avalidadeumacertarelaoentreosvaloresdeverdadedaspremissaseda
conclusodeumargumento.Quandoumargumentodedutivovlido,averdade
daspremissasexcluiafalsidadedaconcluso.

26

Universidade Federal de Ouro Preto


Introduo lgica

Umargumentopodeservlido,masterpremissaseconclusofalsas.Anica
coisa que um argumento dedutivo vlido no pode ter premissas verdadeiras e
conclusofalsa.
Vejamosumexemplo:
AneveazuleEadeQueirseraangolano.
Logo,aneveazul.

Tanto a premissa como a concluso do argumento so falsas. Mas o argu


mentodedutivamentevlidoporqueseapremissafosseverdadeiraaconcluso
nopoderiaserfalsa.Seimaginarmosumacircunstnciaemqueapremissaver
dadeira,aconclusonopoderserfalsanessacircunstncia.Istocontrastacomos
argumentosinvlidos.Seoargumentofosseinvlido,aconclusopoderiaserfalsa
mesmoqueapremissafosseverdadeira.
Contudo, um argumento invlido pode ter premissas e concluso verdadei
ras.Oproblemadosargumentosinvlidosqueaverdadedaspremissasnotorna
impossvel a falsidade da concluso. por isso que num argumento invlido as
premissasnojustificamaconcluso.Eistoacontecemesmoqueaspremissasea
conclusosejamverdadeiras:
EadeQueirseraportugus.
Logo,arelvaverde.

Tantoapremissacomoaconclusodesteargumentosoverdadeiras.Masa
verdadedapremissanotornaimpossvel,nemsequerimprovvel,afalsidadeda
concluso. Podemos perfeitamente imaginar uma circunstncia em que Ea de
Queirseraefetivamenteportugus,masarelvanoeraverdemassimazul.Isto
precisamenteoquenoacontecenosargumentosdedutivosvlidos:nestes,aver
dadedaspremissastornaimpossvelafalsidadedaconcluso.
Assim, o que conta para a validade dos argumentos no o fato de terem
premissaseconclusoverdadeiras.Oquecontaserimpossvelterpremissasver
dadeiraseconclusofalsa.

Conclusoverdadeira

Conclusofalsa

Premissasverdadeiras

Vlidoouinvlido

Invlido

Premissasfalsas

Vlidoouinvlido

Vlidoouinvlido

Reviso
1.
2.

Definaavalidadededutivaedalgunsexemplos.
Assinaleovalordeverdadedasseguintesafirmaes:

27

Universidade Federal de Ouro Preto


Introduo lgica

3.

a) Numargumentodedutivoaconclusonopodeserfalsa.
b) Numargumentodedutivovlidoaconclusonopodeserfalsa.
c) Numargumentodedutivovlidocompremissasverdadeirasaconclu
sonopodeserfalsa.
d) Avalidadededutivanotemqualquerrelaocomaverdade.
e) Numargumentovlidoaspremissasnopodemserfalsas.
f) Todososargumentoscomconclusoverdadeirasovlidos.
Porquerazonobastaqueumargumentotenhapremissaseconcluso
verdadeirasparaservlido?

Formalgica
Na lgica formal estudase apenas um tipo de validade dedutiva. Estudase
apenasaqueletipodevalidadededutivaquepodemosdeterminarrecorrendouni
camente forma lgica. por isso que se chama formal lgica formal. Mas o
queaformalgica?
No h uma definio explcita de forma lgica que seja simultaneamente
rigorosaeinformativa.Masfcilcompreenderoqueaformalgicaatravsde
exemplos:
PlatooautordaRepblicaeAristtelesdaMetafsica.
Logo,PlatooautordaRepblica.

Halo3umjogomuitobomeaInternetmuitotil.
Logo,Halo3umjogomuitobom.

Numcertosentido,estesdoisargumentossomuitodiferentes:umsobre
filsofosgregos,eooutrosobreumjogoeaInternet.Osargumentossodiferen
tesnosentidoemquetmcontedosdiferentes;versamsobreassuntosdiferentes.
Noutro sentido, contudo, podemos ver que os dois argumentos so seme
lhantes. Nos dois casos, a premissa afirma duas coisas e a concluso repete uma
delas. Isso tornase visvel se usarmos espaos vazios para a primeira e segunda
dessascoisas:
__e.
Logo,__.

a este tipo de estrutura que se chama forma lgica. Para os efeitos do


nossoestudo,vamosconsiderarqueaformalgicaotipodeestruturaquepermi
tedeterminaravalidadedealgunstiposdeargumentos.Aformalgica,contudo,
algomaiscomplexoeproblemtico.

28

Universidade Federal de Ouro Preto


Introduo lgica

Tiposdeargumentos
Avalidadedemuitosargumentosnopodesercaptadarecorrendoapenas
sua forma lgica. o caso dos argumentos no dedutivos, como a induo, os
argumentos de autoridade e por analogia. Mas mesmo no caso dos argumentos
dedutivos,salgunssoformais.Noutroscasos,aformalgicatambmnosufi
cienteparacaptarasuavalidade.Porexemplo,oargumentoseguintededutiva
mente vlido, mas a sua validade no pode ser captada recorrendo apenas sua
formalgica:
OAsdrbalcasado.
Logo,nosolteiro.

Osargumentoscujavalidadenoformal,comoocasodosnodedutivos,
soestudadospelalgicainformal.Masalgicainformalestudatambmaspectos
informaisdosargumentosformalmentevlidos,comoocasodanoodecogn
cia.

ALGUNSTIPOSDEARGUMENTOS
DEDUTIVOS
FORMAIS

NODEDUTIVOS
INFORMAIS

Silogsticos
Proposicionais

Conceptuais
Semnticos

Validadeformal
Retomemosaformalgicaquejvimos:
__e.
Logo,__.

Indutivos:
Generalizao
Previso

De autoridade
Por analogia

29

Universidade Federal de Ouro Preto


Introduo lgica

Esta forma lgica vlida3 no sentido em que todos os argumentos que


tenhamestaformasovlidos.Nodifcilverquequalquerargumentocomesta
formalgicaservlido,mesmoqueapremissasejafalsa:
AneveazuleaArgentinamaiordoqueoBrasil.
Logo,aneveazul.

Esteargumentovlidoporqueseapremissafosseverdadeira,aconcluso
tambmoseria.Narealidade,aconclusofalsa.Masissosporqueapremissa
tambmo.(E,claro,argumentonoslido;logo,tambmnocogente.)
Nemtodasasformaslgicassovlidas.Naverdade,bastamudardapalavra
eparaapalavraoueobtemosumaformalgicainvlida:
__ou.
Logo,__.

Esta forma lgica invlida porque alguns dos argumentos que tm esta
forma(masnotodos)soinvlidos.Vejamosumexemplo:
Arelvaazulouverde.
Logo,arelvaazul.

Esteargumentoobviamenteinvlidoporqueapremissaverdadeira,masa
conclusofalsa.porissoqueaformalgicaanteriorinvlida.
Podeparecerestranhoqueapremissasejaverdadeira.Masverdadeirapor
que quando dizemos uma coisa ou outra a nossa afirmao verdadeira desde
queumadascoisassejaverdadeira.Dadoquearelvaverde,verdadequeazul
ouverde.
Quandoumaformalgicainvlidaissonosignificaquetodososargumen
tos com essa forma so invlidos; apenas alguns deles o so. Eis um argumento
vlidoquetemaformalgicainvlidaanterior:
Arelvatemcorouverde.
Logo,arelvatemcor.

Arigornenhumaformalgicaprimitivamentevlidaneminvlida;sderivadamentesepode
dizerqueumadadaformalgicavlida,quandotodososargumentosquetmessaformalgica
sovlidos.Asformaslgicasnopodemservlidasneminvlidasporqueavalidadeumarelao
devaloresdeverdadeeasformaslgicasnosoconstitudasporproposies,quepodemserver
dadeirasoufalsas,masapenasporformasproposicionais,quenopodemserverdadeirasnemfal
sas.Aproposioqueanevebrancaeocarvopretoverdadeira,masPeQnoognerode
coisaquepossaserverdadeiraoufalsa;representaapenasaformalgicadeumnmeroinfinitode
proposiesque,essassim,seroverdadeirasoufalsas.

30

Universidade Federal de Ouro Preto


Introduo lgica

Esteargumentovlido,masasuavalidadeinformal.umavalidadecon
ceptual, mas no formal. A lgica formal no estuda este tipo de validade, ainda
quesejadedutiva.
Algicaformalnoestudaigualmenteosargumentosnodedutivos,poisa
validadedestesargumentosnuncaformal.

Reviso
1.
2.
3.

Expliqueanoodeformalgica.
Definalgicaformal.
Assinaleovalordeverdadedasseguintesafirmaes:
a) Osargumentosquetmumaformavlidasovlidos.
b) Osargumentosquetmumaformainvlidasoinvlidos.

Validade

Nodedutiva

Dedutiva

Formal

Informal

Formasproposicionais
Retomemosoargumentoanteriormenteapresentado:
Halo3umjogomuitobomeaInternetmuitotil.
Logo,Halo3umjogomuitobom.

Como vimos, a validade deste argumento pode ser determinada recorrendo


apenassuaformalgica.Podemosexibiraformalgicadoargumentousandoas
letrasPeQ:
PeQ.
Logo,P.

31

Universidade Federal de Ouro Preto


Introduo lgica

Vamos usar letras maisculas P, Q, R, etc., para representar lugares vazios


que s podem ser ocupados por proposies. Se P for a proposio expressa por
OuroPretoumacidadeeseQforaproposioexpressaporOBrasilmuito
bonito,obtemosoargumentoanterior.
Chamasevarivelproposicionalaosmbolo(P,Q,R,etc.)querepresen
talugaresvaziosquespodemserocupadosporproposies.

Em lgica, ou em qualquer outra disciplina, muito importante saber exa


tamenteoquesignificamossmbolosqueusamos.PeQrepresentamproposies;
representamapenasproposiesenadamais.Nopodemrepresentar,porexem
plo, nomes prprios, como Asdrbal, pois nenhum nome, isoladamente, forma
umaproposio.

Operadoresproposicionais
Comovimos,bastamudardapalavraeparaapalavraoueobtemosuma
formalgicainvlida:
PouQ.
Logo,P.

Estaformalgicainvlidaporquehimensosargumentoscomestaforma
cujaspremissassoverdadeirasecujasconclusessofalsas:
PlatoeraromanoouPlatoeragrego.
Logo,Platoeraromano.

Este argumento invlido: a sua premissa verdadeira e a sua concluso


falsa.Podemosassimconcluir que aspalavras oue edesempenhamumpapel
central na forma lgica, pois basta substituir uma pela outra e passamos de uma
formavlidaparaumaformainvlida.
Tantooecomooousooperadoresproposicionais.
Umoperadorproposicionalumaexpressoquesepodeacrescentara
umaproposioouproposies,formandoassimnovasproposies.

Porexemplo,seacrescentarmoscorretamenteooperadorouaPlatoera
romanoePlatoeragregoficamoscomPlatoeraromanoouPlatoeragrego
(queemgeralseabreviaassim:Platoeraromanoougrego).
H muitos operadores proposicionais, alm de e e ou: Penso que,
Tenhomedoque,no,se,ento,etc.Algunsoperadoresaplicamseauma
nica proposio; outros aplicamse a mais de uma. Para aplicar o operador e

32

Universidade Federal de Ouro Preto


Introduo lgica

precisamos de duas proposies. Mas para aplicar o operador Penso que basta
uma.
Comoonomeindica,osoperadoresproposicionaissseaplicamaproposi
es;noseaplicamapartesdeproposies,comoalto.Porexemplo,magro
e alto no exprime uma proposio. Claro que no diaadia podemos dizer
magroealto,masissosaconteceporqueestamosaabreviaralgocomoOcan
tormagroealto.

Reviso
1. Oqueumavarivelproposicional?Definaedexemplos.
2. Oqueumoperadorproposicional?Definaedexemplos.
3. Assinaleosoperadorespresentesnasproposiesexpressasaseguirereescre
vaassemosoperadores.

a) Aristtelespensavaqueavirtudeeraocentrodatica.
b) OuDeusexisteouaBbliaestenganada.
c) TantoPlatocomoAristteleseramfilsofosgregos.
d) Nohlobisomens.

Operadoresverofuncionais
Alguns operadores, como ou e e, tm uma caracterstica especial: so
verofuncionais.
Um operador proposicional verofuncional quando o valor de verdade
da proposio com o operador inteiramente determinado pelo valor de
verdadedaproposioouproposiessemooperador.

Chamasetambmconectivaproposicionalaosoperadoresverofuncionais.
Isto significa que se partirmos de duas proposies, P e Q,e se as ligarmos
com ou, por exemplo, saberemos qual o valor de verdade de P ou Q, desde
quesaibamosovalordeverdadedePedeQ.
Por exemplo, se sabemos que o Joo no est na praia mas sim no cinema,
ento sabemos que O Joo est na praia ou no cinema verdadeira; e sabemos
que O Joo est na praia e no cinema falsa. Mas mesmo que saibamos que o
Joo est no cinema, no podemos saber se A Maria pensa que o Joo est no
cinemaverdadeiraoufalsa.
Assim,eeousooperadoresverofuncionaisporqueosvaloresdeverdade
de O Joo est no cinema e O Joo est na praia determinam inteiramente o
valordeverdadedeOJooestnapraiaounocinemaedeOJooestnapraia

33

Universidade Federal de Ouro Preto


Introduo lgica

enocinema.MasAMariapensaquenoumoperadorverofuncionalporqueo
valor de verdade de O Joo est no cinema no suficiente para determinar o
valordeverdadedeAMariapensaqueoJooestnocinema.

Tabelasdeverdade
Quando um operador verofuncional acontece algo muito interessante.
MesmoquenosaibamosseoJooestnocinema,napraiaounoutrostioqual
quer,sabemosisto:OJooestnocinemaounapraiaexprimeumaproposio
quesserfalsanocasodeoJoonoestarnemnocinemanemnapraia.Eisto
acontececomqualquerproposiodaformaPouQ:sserfalsasePeQforem
ambas falsas; caso contrrio, ser verdadeira. Podemos representar isto grafica
mentenumatabeladeverdade:

PQ
VV
VF
FV
FF

PouQ
V
V
V
F

Uma tabela de verdade um dispositivo grfico que permite exibir as


condiesdeverdadedeumaformaproposicionaldada.

Cada fila da tabela de verdade acima representa graficamente as condies


deverdadedooperadorou.
Ascondiesdeverdadesoascircunstnciasquetornamumaproposi
overdadeiraoufalsa.

NocasodePouQ,hquatrocondiesdeverdade,queresultamdacom
binaodosdoisvaloresdeverdadepossveisdePeQ:podemserambasverdadei
rasouambasfalsas,oupodeumaserverdadeiraeaoutrafalsa,ouviceversa.Estas
condiesdeverdadeestotodasgraficamenterepresentadasnasfilasdatabela.
Numatabeladeverdadetemosderepresentartodasascondiesdeverdade.
evidentequetantofazquePsejaverdadeiraeQfalsacomoocontrrio:Pfalsae
Q verdadeira. Em ambos os casos o resultado V. Mas temos mesmo assim de
representaressasduascondiesdeverdade.

Disjuno
ChamasedisjunoaumaproposiodaformaPouQedisjuntasaP
eaQ.

34

Universidade Federal de Ouro Preto


Introduo lgica

Disjuno PouQ
Expressocannica PlatorefletiusobreaticaouAristtelesrefletiusobreatica.
Outrasexpresses

PlatoouAristtelesrefletiramsobreatica.
OufoiPlatoquerefletiusobreaticaoufoiAristteles.
Noquerespeitarefletirsobreatica,aalternativa
entrePlatoeAristteles.

Atabeladeverdadedadisjunoumaformasimplesderepresentargrafi
camenteosignificadoverofuncionaldadisjuno.Mesmoqueovalordeverdade
de Deus existe e de A vida faz sentido seja desconhecido, sabemos que Deus
existeouavidafazsentidosserfalsaseasduasproposiesanterioresforem
falsas.Eistoqueatabeladeverdadedadisjunorepresenta.

Reviso
1.
2.
3.
4.

Oqueumoperadorproposicionalverofuncional?Definaedexemplos.
Oquesoascondiesdeverdadedeumoperadorproposicional?
Oqueumatabeladeverdadeeparaqueserve?
Porquerazoatabeladeverdadedadisjunotemexatamentequatrofilas,e
nooutronmeroqualquer?
5. ConsidereseadisjunoAvidatemsentidoouafelicidadenopossvel.

a) Admitindoqueavidatemsentido,adisjunoverdadeiraoufalsa?Por
qu?
b) Admitindoqueavidanotemsentidoequenosabemosseafelicidade
possvel,possvelsaberseadisjunoverdadeiraoufalsa?Porqu?

Duasdisjunes
Chamase disjuno inclusiva ao tipo de disjuno que vimos at agora.
Estenoonicotipodedisjuno.Porvezes,usamosapalavraoucomoutro
significadoverofuncional:dizemoscoisascomoOuAristtelesnasceuemAtenas
ou em Estagira. Neste caso, no aceitamos que as disjuntas possam ser as duas
verdadeiras:seAristtelesnasceuemAtenas,nopodeternascidoemEstagira,e
viceversa.
Chamasedisjunoexclusivaaestetipodedisjuno,quesverdadeira
casoumaeumasdasproposiesdisjuntassejaverdadeira.Atabeladeverdade
dadisjunoexclusivaaseguinte:

35

Universidade Federal de Ouro Preto


Introduo lgica

PQ

PouQ

VV

VF

FV

FF

Comosepodever,estatabelamuitodiferentedaanterior;agora,PouQ
sverdadeiranasegundaeterceiralinhas.
Assim,apalavraouambguaentredoissignificadosverofuncionaismuito
diferentes.Muitasvezesrepetimosotermoouparaassinalaraexclusividadeda
disjuno,comoemOuAristtelesnasceuemAtenasouemEstagira.Masoutras
vezesrepetimosoousporumaquestodenfase,querendodefatoexprimira
disjunoinclusiva.Porexemplo,sealgumdisserOuDeusexisteouavidano
faz sentido, a disjuno em causa inclusiva: o que se pretende dizer que se
Deusnoexiste,avidanofazsentido.
Comopodemossaberseestamosausarumadisjunoexclusivaouinclusi
va? No h regras fiveis. Geralmente, a deciso no lgica: depende do nosso
conhecimento geral das coisas, e no da lgica apenas. Por exemplo, porque
sabemos que uma pessoa no pode nascer em duas cidades diferentes, que sabe
mosquenoexemploanterioradisjunoexclusiva.Masquandoestamosadiscu
tirproblemasfilosficosmuitodifcildeterminarseadisjunoounoexclusi
va.

Reviso
1. Assinale quais das seguintes disjunes so inclusivas e quais so exclusivas,
explicandoporqu:

a) OuaartenopodeserdefinidaouWeitznotemrazo.
b) OAsdrbalfoipelasescadasoupeloelevador.
c) Ouniversoindeterminadoounotemoslivrearbtrio.
d) OMrioestemLuandaouemLisboa.

Cincoformasproposicionais
Algicaproposicionalclssicaestudaaargumentaocujavalidadedepende
exclusivamentedecincooperadoresverofuncionais,quedoorigemacincoformas
proposicionais:
1.

Disjunoinclusiva:PouQ.

36

Universidade Federal de Ouro Preto


Introduo lgica

2.
3.
4.
5.

Conjuno:PeQ.
Negao:noP.
Condicional:seP,entoQ.
Bicondicional:Pse,esse,Q.

Com estes cinco operadores verofuncionais podemos exprimir qualquer


outrooperadorverofuncional.Porexemplo,adisjunoexclusivapodeserexpres
sanegandoumabicondicional,pois asduas proposiesseguintessoequivalen
tes:

OuAristteleseragregooueraromano.
NoverdadequeAristteleseragregose,esse,eraromano.

Porestarazo,semprequefalarmosdedisjunodaquiparaafrenteestare
mosareferirnosdisjunoinclusiva.
Tambmooperadornem...nem...podeserexpressousandoosoutrosope
radoresdalistaacima,poisasseguintesduasproposiessoequivalentes:

NemPlatonemAristteleseramromanos.
PlatonoeraromanoeAristtelesnoeraromano.

Assim,podemosusaroscincooperadoresdalistaanteriorparadarcontade
todos os argumentos cuja validade ou invalidade depende do uso de operadores
proposicionaisverofuncionais.Eistoprecisamenteoqueestudaalgicaproposi
cionalclssica.
Os argumentos baseados nestes operadores ocorrem constantemente no
nosso pensamento. Assim, estes operadores so como tijolos do pensamento:
elementossemosquaisquasenopossvelpensarouargumentar.

Constanteslgicas
Se quisermos, podemos economizar e usar smbolos para os operadores.
Assim,emvezdeescreverSeP,entoQ,podemosescreverapenasP Q.Eisos
smbolosquegeralmenteseusamequepassaremosausarapartirdeagora:

NoP: P
PeQ: PQ
PouQ(inclusiva): PQ
SeP,entoQ: PQ
Pse,esse,Q: PQ

37

Universidade Federal de Ouro Preto


Introduo lgica

Aestessmboloschamaseconstanteslgicas.Contrastamcomossmbo
losP,Q,etc.,quesovariveisproposicionais.
Os nomes so adequados. Por exemplo, P uma varivel porque simboliza
qualquerproposio.Mas umaconstanteporquesimbolizaexclusivamentea
expressose...,ento....
Podemosusarosmbolopararepresentarasdisjunesexclusivas.Contu
do, como vimos, podemos tambm representar as disjunes exclusivas como
negaesdebicondicionais.
Jvimosbrevementeadisjunoinclusivaeatabeladeverdadequerepre
sentaassuascondiesdeverdade.Vamosagoraverascondiesdeverdadedos
restantesoperadores.

Conjuno
ChamaseconjunoaumaproposiodaformaPeQ,econjuntasspro
posiesPeQ.
Conjuno PeQ
Smbolo
Expresso Oconhecimentoestudadopelafilosofiaeafestudadapela
cannica filosofia.
Outrasexpresses

Oconhecimentoeafsoestudadospelafilosofia.
Oconhecimentoestudadopelafilosofiaeaftambm.
Tantooconhecimentocomoafsoestudadospela
filosofia.
Afilosofiaestudaqueroconhecimento,queraf.
Oconhecimentoestudadopelafilosofiamasaftambm
o.

Ascondiesdeverdadedaconjunosoevidentes.Umaproposiocoma
formaPQsverdadeirasePeQforemambasverdadeiras;emtodososoutros
casosfalsa:

PQ

PQ

VV

VF

FV

FF

38

Universidade Federal de Ouro Preto


Introduo lgica

Porexemplo,aconjunoOuroPretoumacidadeeEspanhaumpass
verdadeiraseasduasproposiesqueacompemforemverdadeiras;casocontr
rio,falsa.

Negao
Ascondiesdeverdadedanegaosoaindamaiselementaresdoqueasda
disjunoedaconjuno.
ChamasenegaoaqualquerproposiodaformanoP.
Negao NoP
Smbolo
Expressocannica Oconhecimentonopossvel.
Outrasexpresses

Noverdadequeoconhecimentosejapossvel.
Noocasoqueoconhecimentosejapossvel.
Oconhecimentoimpossvel.

Comoevidente,PfalsaunicamentequandoPverdadeira,everdadei
raunicamentequandoPfalsa:

Por exemplo, a negao Deus no existe s verdadeira se for falso que


Deusexiste.
Anegaoonicodoscincooperadoresproposicionaisqueseaplicaauma
sproposioenoaduas.Dizseporissoqueumoperadorunrio,aopassoque
osoutrossobinrios.
Umoperadorproposicionalbinrioquandoseaplicaaduasproposies
eunrioquandoseaplicasauma.

Reviso
1. ConsidereseaconjunoAvidatemsentidoeafelicidadereal.
a) Admitindoqueavidanotemsentido,aconjunoverdadeiraoufalsa?
Porqu?
b) Admitindoqueavidatemsentidoequenosabemosseafelicidadereal,
possvelsaberseaconjunoverdadeiraoufalsa?Porqu?

39

Universidade Federal de Ouro Preto


Introduo lgica

c) Admitindoqueavidatemsentido,aconjunoAvidanotemsentido
verdadeiraoufalsa?Porqu?
2. Porquerazoatabeladeverdadedanegaotemapenasduasfilasenoqua
tro?

Condicional
ChamasecondicionalaqualquerproposiodaformaSeP,entoQ,e
chamaseantecedenteaPeconseqenteaQ.

Porvezes,chamasetambmimplicaocondicional.

Condicional SeP,entoQ
Smbolo
Expressocannica Sehpensamento,entohmatria.
Outrasexpresses

Sehpensamento,hmatria.
Hmatria,sehouverpensamento.
Hmatriacasohajapensamento.
Nohpensamento,amenosquehajamatria.
Nohpensamento,anoserquehajamatria.
Semprequehpensamento,hmatria.
Amatriaumacondionecessriadopensamen
to.
Opensamentoumacondiosuficientedamatria.

evidentequeacondicionalSeAristteleseragrego,eraafricanofalsa.
falsa porque a antecedente verdadeira e a conseqente falsa. Mas que dizer do
valordeverdadedacondicionalSeAristteleseraportugus,eraafricano?Quase
qualquerpessoadiriaqueestacondicionalfalsa.Contudo,nalgicaproposicio
nalconsiderase,desdeotempodosesticos,queverdadeira.Esteumproble
maemaberto,quetemprovocadomuitasdiscussesaolongodahistriadafiloso
fia. No vamos tratar deste problema. Mas temos de ter conscincia que a lgica
clssicaentendeascondicionaisdeumamaneiraespecial.
Intuitivamente,achamosqueumacondicionalcomoSeAristteleserapor
tugus,eraafricanofalsaporquesabemosqueseAristtelesfossemesmoportu
gus, no seria africano: seria europeu. A nossa intuio baseiase no fato de ser
falso que os portugueses sejam africanos; olhamos para a condicional e vemos
outracondicional:Sealgumportugus,africano.Ecomoestacondicional
realmentefalsa,pensamosqueaoutracondicionaltambmfalsa.
Masnalgicaclssicaolhaseunicamenteparaovalordeverdadedaantece
denteeconseqentedacondicionalliteraleconsiderasequeumacondicionals

40

Universidade Federal de Ouro Preto


Introduo lgica

literalmentefalsaquandopartedeumaverdadeechegaaumafalsidade;emtodos
osoutroscasos,acondicionalverdadeira:

PQ PQ
VV

VF

FV

FF

Assim,nalgicaclssicaconsideraseque:
Umacondicionalsfalsaquandoasuaantecedenteverdadeiraeasua
conseqentefalsa;emtodososoutroscasosverdadeira.

Porexemplo,acondicionalSeDeusexiste,avidafazsentidosfalsacaso
Deusexistaeavidanofaasentido;seDeusnoexistir,aproposioverdadei
ra,apesardeserenganadora.
ConsidereseacondicionalSeanevebranca,Platoeragrego.Intuitiva
mente,noconsideramosestacondicionalverdadeira.Contudo,consideraseque
verdadeira na lgica clssica porque no tem uma antecedente verdadeira e uma
conseqentefalsa.
A nossa intuio de que a condicional no verdadeira resulta da ausncia
dequalquerconexo,causalouconceptual,entreaantecedenteeaconseqente.
Muitasvezes,quandoafirmamosSeP,entoQ,estamosaexprimirumaconexo
causal ou conceptual: dizemos, por exemplo, que se deixarmos cair um copo, ele
partese; ou dizemos que se o Asdrbal se divorciou, j no casado. Na lgica
clssica,contudo,anicarelaoquecontaentreaantecedenteeaconseqente
arelaoentrevaloresdeverdade.Haverounoumaconexoqualquer,concep
tualoucausal,irrelevante.

Comutatividade
Acondicionaldiferentedetodososoutrosoperadorespornosercomuta
tiva.
Umoperadorbinriocomutativoquandoaordemdasproposiespode
serinvertidasemafetarosvaloresdeverdade.

Porexemplo,aconjunocomutativaporquedizerquePlatoeAristteles
so gregos o mesmo que dizer que Aristteles e Plato so gregos: P e Q o

41

Universidade Federal de Ouro Preto


Introduo lgica

mesmo que Q e P. A condicional o nico operador verofuncional que no


comutativa,comosepodevernasuatabeladeverdade:

PQ PQ
VV

VF

FV

FF

Comosev,asfilas3e4tmvaloresdeverdadediferentes.

Condiesnecessriasesuficientes
As condicionais estabelecem condies necessrias e suficientes. A antece
dentedeumacondicionalumacondiosuficienteparaasuaconseqente.Ea
conseqentedeumacondicionalumacondionecessriaparaasuaanteceden
te.Assim,emPQacondiosuficientedeQP,eQacondionecessriade
P.

Bicondicional
Vejamos agora as condies de verdade da bicondicional. Como o nome
indica,tratasedaconjunodeduascondicionais:SeP,entoQ,eseQ,entoP.
Chamase bicondicional a qualquer proposio da forma P se, e s se,
Q.
Bicondicional Pse,esse,Q
Smbolo
Expressocannica Umaobraartese,esse,foracriaodeumartista.
Outrasexpresses

Umaobraartese,esomentese,foracriaodeum
artista.
Seumaobraforarte,acriaodeumartistaevice
versa.
Umacondionecessriaesuficienteparaalgoser
umaobradearteseracriaodeumartista.
Aarteacriaodeumartista.
Acriaodeumartistaaarte.

42

Universidade Federal de Ouro Preto


Introduo lgica

UmabicondicionalcomoPse,esse,QsverdadeiracasoPeQtenham
omesmovalordeverdade;casocontrrio,abicondicionalfalsa:

PQ PQ
VV

VF

FV

FF

Porexemplo,abicondicionalOlivrearbtriopossvelse,esse,ouniver
soforindeterminadosverdadeiraemdoiscasos:quandoolivrearbtriopos
sveleouniversoindeterminado,equandoolivrearbtrionopossveleouni
versonoindeterminado.
Chamase tambm equivalncia bicondicional, pois uma bicondicional
verdadeiraestabeleceaequivalnciadevaloresdeverdadeentreduasproposies:
asduasproposiescomponentessoverdadeirasefalsasexatamentenasmesmas
circunstncias.VoltaremosnoodeequivalncianasecoEquivalncias(pg.
57).
Asbicondicionaissoespecialmenteimportantesemfilosofia,poisasdefini
es explcitas so em geral formuladas em termos de equivalncia. Dizer O
Homemumanimalracional,seforentendidocomoumadefiniodeHomem,
significaUmserumHomemse,esse,forumanimalracional.
A maior parte das definies apresentadas neste manual exprimemse com
maiorrigoremtermosdeequivalnciaoubicondicional;senoofizemosfoipor
que a expresso se, e s se, apesar de mais rigorosa, torna as definies menos
compreensveis para quem no tem ainda formao filosfica. Por exemplo, defi
nimosavalidadededutivadaseguintemaneira:

Umargumentodedutivamentevlidoquandoimpossvelterpremissas
verdadeiraseconclusofalsa.

Adefiniorigorosaaseguinte:

Um argumento dedutivamente vlido se, e s se, impossvel ter pre


missasverdadeiraseconclusofalsa.

Ou seja, se um argumento dedutivamente vlido, ento impossvel ter


premissas verdadeiras e concluso falsa; e se for impossvel que um argumento
tenha premissas verdadeiras e concluso falsa, ento esse argumento dedutiva
mentevlido.

43

Universidade Federal de Ouro Preto


Introduo lgica

Reviso
1. ConsidereseacondicionalSeDeusexiste,avidatemsentido.

a) AdmitindoqueDeusnoexiste,acondicionalverdadeiraoufalsa?Por
qu?
b) Admitindo que Deus existe e que no sabemos se a vida tem sentido,
possvelsaberseacondicionalverdadeiraoufalsa?Porqu?
c) Admitindo que a vida tem sentido, a condicional verdadeira ou falsa?
Porqu?

2. Recorrendo a tabelas de verdade e a exemplos de proposies, explique por


querazoabicondicionalcomutativamasacondicionalno.
3. ConsidereseabicondicionalDeusexistese,esse,avidatemsentido.

a) AdmitindoqueDeusexisteequeavidanotemsentido,abicondicional
verdadeiraoufalsa?Porqu?
b) Admitindo que Deus no existe e que a vida no tem sentido, a bicondi
cionalverdadeiraoufalsa?Porqu?
c) AdmitindoqueavidatemsentidomasquenosabemosseDeusexiste,
possvelsaberseabicondicionalverdadeiraoufalsa?Porqu?

Formalizao
Para formalizar proposies preciso compreender com rigor o significado
verofuncionaldasproposiesem causa. Assim, oprimeiropasso paraformalizar
umaproposioencontrarosoperadoresverofuncionais.Porvezes,osoperado
resestoocultos.Quandoafirmamos,porexemplo,queZeusimortal,podepare
cer que no est presente qualquer operador; mas de fato estamos a afirmar que
Zeusnomortal.Ooperadordenegaoestescondido.
Alm disso, h inmeras maneiras de exprimir a mesma proposio. Como
vimos,tantopodemosdizerqueseossereshumanossomortais,entosoinfeli
zes, como podemos dizer que uma condio necessria para os seres humanos
seremmortaissereminfelizes.Assim,paraformalizarumaproposiotemosde
comearporcoloclanasuaexpressocannica,casonooestejaj.
Vejamosumexemplo:

Avidanovaleapenaamenosquesejamosimortais.

Aexpressoamenosqueexprimeumacondicional.Consultandoapgina
40,verificamosqueNoPamenosqueQomesmoqueSeP,entoQ.Assim,
jpodemosescreveraexpressocannicadaproposio:

44

Universidade Federal de Ouro Preto


Introduo lgica

1.Expressocannica

Seavidavaleapena,entosomosimortais.

Agoramaisfcilisolarasproposiescomponenteseatribuirlhesvariveis
proposicionais. a isso que se chama uma interpretao. Dado que temos duas
proposiescomponentes,temosdeterduasvariveis:
2.Interpretao

P:Avidavaleapena.
Q:Ossereshumanossomortais.

3.Formalizao

PQ

PoderamosusarReS,porexemplo,emvezdePeQ.Oupoderamosatri
buiraQaproposioquenestainterpretaoatribumosaP.
Mas no podemos atribuir s variveis algo como Vale a pena. S lhes
podemosatribuirumaproposio,ouseja,umpensamentoquesejaverdadeiroou
falso.
Tambm no podemos atribuirlhes algo como somos imortais. Esta
expressoabreviaaproposiodequeossereshumanossoimortais.Aoformali
zarproposiesnopodemosusarestetipodecontraes.Emlgica,temosdeser
completamenteexplcitos.
As proposies que atribumos s variveis no podem conter operadores
verofuncionais.Afirmarqueossereshumanossoimortaisafirmarquenoso
mortais;assim,atribuiseQaOssereshumanossomortais,eliminandoanega
ooculta.
TambmnofazsentidoatribuirumavarivelaSeavidavaleapena,por
que esta seqncia de palavras no exprime uma proposio, alm de conter um
operadorverofuncional.
Assim,paraformalizarumaproposiopercorreseosseguintespassos:
1.
2.
3.

Expressocannica:formulaseaproposionasuaexpressocannica;
Interpretao:atribuisevariveisproposicionaisproposiooupropo
siescomponentes;
Formalizao:formalizaseaproposio.

45

Universidade Federal de Ouro Preto


Introduo lgica

Reviso
1. Formalizeasproposiesexpressasaseguir:

a) Setudoestdeterminado,olivrearbtrioimpossvel.
b) Semprequechove,opresidenteficaeloqente.
c) Nohimortais.
d) OuDeusexisteouavidanofazsentido.
e) OHomemumbpedesempenas.
f) NemKantnemHegelsabiamingls.
g) Serumartefactonoumacondiosuficienteparaquealgosejaumaobra
dearte.

Formasargumentativas
A validade de alguns argumentos pode ser estabelecida recorrendo exclusi
vamente aos operadores verofuncionais. Uma vez que podemos usar tabelas de
verdade para representar as condies de verdade destes operadores, podemos
tambmusarseqnciasdetabelasdeverdadedeumcertotipoparatestaravali
dadedeargumentosbaseadosnestesoperadores.Aessasseqnciasdetabelasde
verdadedseonomedeinspetoresdecircunstncias.

Inspetoresdecircunstncias
Os inspetores de circunstncias s permitem analisar corretamente formas
argumentativas cuja validade dependa inteiramente dos operadores verofuncio
nais. Se aplicarmos os inspetores de circunstncias a outro tipo de formas argu
mentativas,noconseguiremoscaptarasuavalidade.
Um inspetor de circunstncias um dispositivo grfico que permite
determinarseaformalgicadeumargumentoproposicionalverofuncio
nalounovlida.

Retomemosaseguinteformaargumentativa:
PQ.
Logo,P.

Paratestarestaformausandouminspetorcomeamosporcoloclanahori
zontal.Eparanoterdeescreverlogousamososeguintesmbolo,aquesecha
mamartelosemntico:.Ficamosassimcomoseguinte:
PQP

46

Universidade Federal de Ouro Preto


Introduo lgica

Eagoracomosefizssemosumatabeladeverdadeparaapremissaeoutra
paraaconcluso,juntandoasduas:

PQ PQ P
VV

VF

FV

FF

Debaixodapremissaescrevemosovalordeverdadedessapremissaemcada
umadassuascondiesdeverdade.Efazemosomesmoparaaconcluso.
Ora, como vimos, num argumento dedutivamente vlido impossvel as
premissasseremverdadeiraseaconclusofalsa.Istosignificaqueparasaberseum
argumentodedutivovlidotemosdeversehalgumacircunstnciapossvelem
queaspremissassoverdadeiraseaconclusofalsa.
Eoquesoascircunstncias?Soascondiesdeverdade,queestoexaus
tivamente representadas na primeira coluna dos inspetores de circunstncias.
Assim, no inspetor acima, verificase que o argumento vlido porque na nica
circunstnciapossvelemqueapremissaverdadeiraaconclusotambmver
dadeira.Podemosusarumasombraparaassinalarascircunstnciasemqueapre
missaverdadeira,quenestecasosuma:

PQ PQ P
VV

VF

FV

FF

Vejamosoutraformaargumentativa:
PQ.
Logo,P.

EstaaformadeargumentoscomoPlatoromanoouAristtelesgrego;
logo,Platoromano.evidentequeoargumentoinvlido,masoinspetorde
circunstnciasmostraporqu:

47

Universidade Federal de Ouro Preto


Introduo lgica

PQ PQ P
VV

VF

FV

FF

Agora temos trs circunstncias em que a premissa verdadeira. E o argu


mentoinvlidoporquenumadelasaconclusofalsa.Istosignificaqueacon
clusopodeserfalsa,aindaqueapremissasejaverdadeiraqueprecisamenteo
quenopodeacontecernumargumentovlido.
Eseaformaargumentativativermaisdeumapremissa?Vejamoscomofazer
uminspetornessescasos.Comoexemplo,vamosusarestaformalgica:
PQ.
P.
Logo,Q.

Dado que temos duas premissas, fazemos mais uma tabela sob a segunda
premissa,queseparamosdaprimeiracomumavrgula:

PQ PQ, P Q
VV

VF

FV

FF

A forma argumentativa vlida porque no h qualquer circunstncia em


quetodasaspremissassejamverdadeiraseaconclusofalsa.
Como evidente pela anlise do inspetor de circunstncias, a ordem das
premissasdeumargumentoirrelevante.
Umaformaargumentativasvlidaseemtodasascircunstnciasemque
todasaspremissassoverdadeirasaconclusotambmverdadeira;casocontr
rio,invlida.Assim,noinspetoranterior,anicacircunstnciaquecontaater
ceira,poisemnenhumadasoutrasasduaspremissassoverdadeiras.
Umaformainvlidamesmoqueemalgumascircunstnciastenhapremis
saseconclusoverdadeiras,comonoseguintecaso:

48

Universidade Federal de Ouro Preto


Introduo lgica

PQ PQ, P Q
VV

VF

FV

FF

Esta forma invlida porque a segunda circunstncia tempremissas verda


deiras e concluso falsa. irrelevante que na primeira circunstncia as premissas
sejamverdadeiraseaconclusofalsa.Poisbastahaverumacircunstnciaemque
aspremissassoverdadeiraseaconclusofalsaparaaverdadedaspremissasno
impedirafalsidadedaconcluso.
Os inspetores de circunstncias mostram o que significa dizer que num
argumentovlidoimpossvelaspremissasseremverdadeiraseaconclusofalsa.
E mostram igualmente por que razo absurdo rejeitar a concluso de um argu
mentovlidoseaceitarmosassuaspremissas:porqueseoargumentoforvlidoe
aspremissasverdadeirasnohqualquermaneiradeaconclusoserfalsa.Assim,
quando discordamos da concluso de um argumento vlido tudo o que podemos
fazermostrarquepelomenosumadaspremissasfalsa.

Exerccios
1.

Teste a validade das seguintes formas recorrendo a inspetores de circunstn


cias:
a) PQ,PQ
b) PQ,PQ
c) PQPQ
d) PQPQ
e) PQQP
f) PQQP
g) PQ,QPPQ

mbitodosoperadores
Atagoraquasesdemosatenoaformasproposicionaisemquecadaope
rador incide unicamente sobre formas proposicionais simples. Mas nada impede
queumoperadorincidasobreformasproposicionaiscompostas.
Uma forma proposicional simples no contm quaisquer operadores
verofuncionais.
Umaformaproposicionalcompostacontmoperadoresverofuncionais.

49

Universidade Federal de Ouro Preto


Introduo lgica

Por exemplo, em P o smbolo opera sobre P; e em P Q o smbolo


operasobrePeQ.Tantocomo operamsobreformasproposicionaissimples.
Mas A vida no tem sentido exprime uma proposio composta. Formalizase
comoP,sendoPAvidatemsentido.
evidentequepodemostambmafirmarNoverdadequeavidanotem
sentido,queseformalizacomoP.Aopassoqueaprimeiranegaooperasobre
P,asegundaoperasobrePouseja,operasobreumaformaproposicionalcom
posta.
Istosignificaquepodemosformarumnmeroinfinitodeformaslgicaspar
tindo apenas das cinco formas proposicionais de base. Massignifica tambm que
teremosdetercuidadocomombitodosdiferentesoperadores.Comparemosas
seguintesproposies:
1.
2.

Noverdadequeseavidafazsentido,Deusexiste.
Senoverdadequeavidafazsentido,Deusexiste.

Em1,anegaoafetaumaproposioquejcontmumoperador:Seavida
fazsentido,Deusexiste.Masnocasodaproposio2,anegaosafetaAvida
fazsentido.
Adiferenaentre1e2maisclaraseolharmosapenasparaaformalgica:
1.
2.

(PQ)
PQ

Comosepodever,emlgicaproposicionalusamseparntesesparaindicaro
mbitodosoperadores,oquetornatudomuitomaisclaro.
Ombitodeumoperadoraproposioouproposiesqueesseopera
dorafeta.

Em1estamosanegaracondicionalP Q,quecolocamosentreparnteses
para indicar precisamente isso. O mbito da negao uma condicional. Em 2
negaseapenasP.Ombitodanegaoumaproposiosimples.1umanegao
porque esse o operador de maior mbito; 2 uma condicional porque esse o
operadordemaiormbito.
Aooperadordemaiormbitochamasetambmoperadorprincipal.Uma
formaproposicionalnopodetermaisdeumoperadorprincipal.
1e2tmdiferentescondiesdeverdade.Paraoverificar,vamosfazeruma
tabeladeverdadepara1eoutrapara2.Cadaumadastabelasexigeadeterminao
de valores de verdade parciais, antes de chegar aos valores de verdade globais.
Comecemospor1:

50

Universidade Federal de Ouro Preto


Introduo lgica

PQ

(PQ)

VV
VF
FV
FF

FV
VF
FV
FV

Numa tabela de verdade para uma forma proposicional complexa, a ltima


coluna a preencher sempre a coluna do operador principal. Como esta forma
umanegao(apesardeconterumacondicional),altimacolunaapreenchera
colunado.Porisso,comeasepordeterminarosvaloresdeverdadedeP Q.
Depois,determinaseovalordanegaodecadaumdessesresultados:anegao
de V F, a negao de F V. Estes resultados, que destacamos a azul, surgem
debaixodanegaoesoosresultadosfinais:soascondiesdeverdadedapro
posio.Assim,1sverdadeiracasoPsejaverdadeiraeQfalsa.
Vejamosagora2:

PQ PQ
VV
VF
FV
FF

FVV
FVF
VVV
VFF

Nocasodasegundaformaproposicionalcomeasepordeterminarosvalo
resdeP,resultadosqueseescrevempordebaixodorespectivooperador.Depois,
necessriodeterminarosvaloresdacondicionalcujaantecedenteP.Parafaci
litar o trabalho, podemos reescrever os valores de Q por debaixo da respectiva
varivel.Assim,aprimeiralinhaVporqueumacondicionalcomantecedenteFe
conseqenteVV;asegundalinhaV,etc.Estessoosresultadosfinais,destaca
dosaazul.
Agorapodemoscompararascondiesdeverdadedasduasformasproposi
cionais:

51

Universidade Federal de Ouro Preto


Introduo lgica

Negaodeuma
condicional

antecedentenegada

PQ (PQ)
VV
VF
FV
FF

FV
VF
FV
FV

Condicionalcom

PQ

PQ

VV
VF
FV
FF

FVV
FVF
VVV
VFF

Verificamos que as duas formas proposicionais tm condies de verdade


muitodiferentes.AsegundasfalsacasoPeQsejamambasfalsas;aprimeiras
verdadeiraquandoPverdadeiraeQfalsa.Logo,asduasformasproposicionais
nosoequivalentes.

Exerccios
1. Indiquequalooperadorprincipalnasformasproposicionaisseguintes:

a) (PQ)
b) PQ
c) PQ
d) (PQ)
e) P(QP)
f) P(QP)
g) (P(QP))

2. Construa uma tabela de verdade para cada uma das formas proposicionais
anteriores.
3. Formalizeasproposiesexpressasaseguir:

a) Sartrenoeraparisiensese,esse,Pariseraumacidadealem.
b) NoverdadequeSartrenoeraparisiensese,esse,Pariseraumacida
dealem.
c) Nohfelicidadenemjustia.
d) Noverdadequehoufelicidadeoujustia.
e) Nohfelicidadeoujustia.

Formasvlidaseinvlidas
Algumas formas argumentativas vlidas so to comuns que tm nome. E
tambmporseremmuitocomuns,confundemsecomformasinvlidassemelhan
tes.

52

Universidade Federal de Ouro Preto


Introduo lgica

FORMASVLIDAS
Silogismo
hipottico

SeP,entoQ.
SeQ,entoR.
Logo,seP,entoR.

Silogismo
disjuntivo

PouQ.
NoP.
Logo,Q.

Dilema

PouQ
SeP,entoR.
SeQ,entoR.
Logo,R.

Modusponens

SeP,entoQ.
P.
Logo,Q.

Modustollens

SeP,entoQ.
NoQ.
Logo,noP.

Contraposio

SeP,entoQ.
Logo,senoQ,entonoP.

FORMASINVLIDAS
Afirmao
daconseqente

SeP,entoQ.
Q.
Logo,P.

Negao
daantecedente

SeP,entoQ.
NoP.
Logo,noQ.

Inverso
dacondicional

SeP,entoQ.
Logo,seQ,entoP.

Exerccios
1.
2.

Demonstreavalidadeouinvalidadedasformasanterioresrecorrendoainspe
toresdecircunstncias.
Identifique a forma dos seguintes argumentos, indicando se so vlidas ou
invlidas:
a) Seafelicidadeforpossvel,avidafazsentido.
Logo,seavidafizersentido,afelicidadepossvel.
b) SeSartretiverrazo,temoslivrearbtrio.
Masnotemoslivrearbtrio.
Logo,Sartrenotemrazo.
c) Seacoragemfilhadomedo,omedopaidacoragem.
Logo,seomedonopaidacoragem,acoragemnofilhadomedo.
d) Setemoslivrearbtrio,Sartretinharazo.
Ora,Sartretinharazo.

53

Universidade Federal de Ouro Preto


Introduo lgica

Logo,temoslivrearbtrio.
e) Seosanimaisnohumanossentemdor,sodignosdeproteomoral.
Masosanimaisnohumanosnosentemdor.
Logo,nosodignosdeproteomoral.
f) SeDeusexiste,avidatemsentido.
Ora,Deusexiste.
Logo,avidatemsentido.

Avaliaodeargumentos
Consideremososeguinteargumento:
Aalternativaentrearelatividadedaticaeaimplausibilidadedoabsolutismo.
Oabsolutismoimplausvel.
Logo,aticarelativa.

Ser este argumento vlido? Para determinar a sua validade precisamos de


identificar a sua forma lgica. Mas isso s uma questo de identificar a forma
lgica das proposies que o compem, coisa que j sabemos fazer. De seguida,
formalizamostodasasproposiesquecompemoargumentoeconstrumosum
inspetordecircunstncias:
1.Expressocannica

Aticarelativaouoabsolutismoimplausvel.
Oabsolutismoimplausvel.
Logo,aticarelativa.

2.Interpretao

P:Aticarelativa.
Q:Oabsolutismoplausvel.

3.Formalizao

PQ.
Q.
Logo,P.

54

Universidade Federal de Ouro Preto


Introduo lgica

4.Inspetordecircunstncias

PQ PQ, Q

VV VF

VF VV

FV FF

FF

VV

Finalmente, analisamos o inspetor de circunstncias para determinar se a


formainvlidaouno:
5.Anlise

A forma argumentativa invlida, pois na ltima circunstncia as


premissassoverdadeiraseaconclusofalsa.

Temos assim uma maneira simples de determinar a validade dos argumen


tos.Dadoumargumento,fazseoseguinte:
1.

Expressocannica:formulaseaspremissaseconclusonasuaexpres
socannica;
2. Interpretao: atribuise variveis proposicionais s premissas e conclu
sodoargumento;
3. Formalizao:exibeseaformalgicadoargumento;
4. Inspetor de circunstncias: constrise o inspetor,separando cada pre
missacomvrgulas;
5. Anlise:interpretaseosresultadosdoinspetordecircunstncias.

Exerccios
1.

Determineaformaargumentativadosseguintesargumentosetesteasuavali
daderecorrendoainspetoresdecircunstncias:

a) Ouolivrearbtriopossvelouanossavidaumailuso.
Olivrearbtrioimpossvel.
Logo,anossavidaumailuso.
b) Deusexiste.
Logo,afelicidadeeternapossvel.
c) SeScratestemrazo,avidaporexaminarnovaleapenaservivida.
Logo,avidaporexaminarnovaleapenaservivida.
d) Aristteleseragrego.
Aristtelesnoeragrego.
Logo,Deusexiste.

55

Universidade Federal de Ouro Preto


Introduo lgica

e) Ajustiapossvelse,esse,Platotiverrazo.
Platonotemrazo.
Logo,ajustianopossvel.

Formascomplexas
At agora estudamos os aspectos mais elementares da lgica proposicional.
Estalgica,contudo,podeserdesenvolvidaparasetornaruminstrumentobastan
te mais sofisticado e de maior alcance na anlise da argumentao. Vamos agora
estudaralgunsdessesdesenvolvimentos.

Negaessurpreendentes
Anegaoomaissimplesdosoperadoresverofuncionais.Seriadeesperar
queoseuusonoprovocasseerros.Contudo,istonoassim.Anegaodealgu
masformasproposicionaisprovocaerros.
A negao de Se temos livrearbtrio, Sartre tem razo Temos livre
arbtrio,masSartrenotemrazo.MascomumpensarqueasuanegaoSe
notemoslivrearbtrio,Sartrenotemrazo.
A negao de uma condicional uma conjuno, e no outra condicional.
Podemosverificarissofazendotrstabelasdeverdade:

PQ (PQ)

PQ PQ

PQ PQ
VV FV

VV FVF

VV FF
VF VF

VF FVV

VF VV
FV FV

FV VFF

FV FF
FF FV

FF VVV

FF FV

Aprimeiraformaproposicionalaprprianegaodacondicional.Paraque
outraformaproposicionalarepresentetemdeterasmesmascondiesdeverda
de. A segunda forma proposicional no tem as mesmas condies de verdade da
primeira. Por exemplo, no caso em que P e Q so ambas verdadeiras, a segunda
formaproposicionalverdadeira,masaprimeirafalsa.Saterceiraformapro
posicional tem as mesmas condies de verdade da primeira. Logo, s a terceira
formaproposicional,aconjuno,representaanegaodacondicional.

56

Universidade Federal de Ouro Preto


Introduo lgica

NEGAODEFORMASPROPOSICIONAIS

Designao

Forma

Resultado

Negaodacondicional (PQ) PQ
Negaodabicondicional (PQ) (PQ)(PQ)
(PQ)

PQ

(PQ)

PQ

LeisdeDeMorgan

Exerccios
1. AdmitindoquefalsoqueseDeusexiste,avidafazsentido,qualovalorde
verdadedeDeusexiste,masavidanofazsentido?
2. Admitindoqueverdadequehmatriaeesprito,qualovalordeverdade
deNohmatriaounohesprito?
3. Formuleprimeiroanegaodasproposiesexpressasaseguir,edepoisores
pectivoresultado:

a) Seafelicidadepossvel,avidatemsentido.
b) Hfelicidadeejustia.
c) Sartreeraalemoougrego.
d) Umserracionalse,esse,sabeescrevercartasdeamor.

Equivalncias
Analisemosasseguintestabelasdeverdade:

PQ PQ

PQ

PQ

VV

VV FVV

VF

VF FFF

FV

FV VVV

FF

FF

VVF

Dadoqueasduasformasproposicionaistmasmesmascondiesdeverda
de,soequivalentes.
Duas formas proposicionais so equivalentes quando tm as mesmas
condiesdeverdade.

57

Universidade Federal de Ouro Preto


Introduo lgica

Istosignificaqueasduasformasproposicionaisanteriorespodemsertrans
formadasumanaoutra,mantendoassuascondiesdeverdade.Ouseja,dizerSe
DescartesviveuemParis,entoviveuemFranaomesmoquedizerDescartes
noviveuemParisouviveuemFrana.
Paraqueduasproposiessejamequivalentesnobastaquetenhamomes
mo valor de verdade; necessrio que tenham o mesmo valor de verdade em
quaisquercircunstnciasouseja,necessrioquetenhamasmesmascondies
de verdade. Assim, apesar de tanto A neve branca como Ouro Preto uma
cidade exprimirem proposies verdadeiras, no exprimem proposies equiva
lentes.
Cadaformaproposicionalequivalenteavriasoutras,masalgumasequiva
lnciassoparticularmenteimportantes,comoasseguintes:

Equivalnciasproposicionais
PQ PQ
PQ (PQ)(QP)
PQ (PQ)
PQ (PQ)
P P

Exerccios
1. Formuleproposiesequivalentessseguintes:

a) Seafelicidadepossvel,avidatemsentido.
b) Hfelicidadeejustia.
c) Sartreeraalemoougrego.
d) Umserracionalse,esse,sabeescrevercartasdeamor.
e) Deusexiste.

Argumentoscomtrsvariveis
Atagoravimosargumentoscujasformaslgicastmduasvariveisproposi
cionais;mas,comoevidente,aformadealgunsargumentosexigemaisdeduas
variveisproposicionais.Vejamosumexemplo:
Oconhecimentopossvelouoscpticosestoenganados.
Seoconhecimentopossvel,oqueoscpticosdizemumafantasia.
Seoscpticosestoenganados,oqueelesdizemtambmumafantasia.
Logo,emqualquerdoscasos,oqueoscpticosdizemumafantasia.

58

Universidade Federal de Ouro Preto


Introduo lgica

1.Interpretao

P:Oconhecimentopossvel.
Q:Oscpticosestoenganados.
R:Oqueoscpticosdizemumafantasia.

2.Formalgica

PQ.
PR.
QR.
Logo,R.

Paratestarestaformacomuminspetordecircunstnciasagoranecessrio
esgotar todas as combinaes possveis de valores de verdade entre P, Q e R.
Quandostnhamosduasvariveis,erafcil:shaviaquatrocombinaesposs
veis.Comtrsvariveis,hoitocombinaespossveis.
Apartirdomomentoemquesabemosquehoitocombinaespossveis,
fcilnocometererros.NaprimeiracolunaescrevemosquatroV,seguidosdequa
tro F. Depois escrevemos V e F aos pares. Na ltima coluna, escrevemos V e F
alternados.

PQR
VVV
VVF
VFV
VFF
FVV
FVF
FFV
FFF

Agorapodemostestaraformadadacomuminspetordecircunstncias:

59

Universidade Federal de Ouro Preto


Introduo lgica

PQR PQ, PR, QR R


VVV

VVF

VFV

VFF

FVV

FVF

FFV

FFF

Aformavlida,jqueemtodasascircunstnciasemqueaspremissasso
verdadeiras,aconclusotambmverdadeira.
Para saber quantas filas tem um inspetor de circunstncias basta contar as
variveis proposicionais. Sendo n o nmero de variveis proposicionais, x o
nmerodefilas:2n=x.2representaonmerodevaloresdeverdade(verdadeiroe
falso).Sendon=2,temos4filas (22);sendon=3,temos8filas(2 22). E
assimpordiante.
possvel usar inspetores de circunstncias para testar argumentos com
qualquernmerodevariveis.Maspoucoprticopreencherinmerasfilas,alm
deterrivelmenteaborrecidoeintil.Osinspetoresdecircunstnciassobonsins
trumentosparaajudaracompreenderanoodeargumentovlido,poistornam
visvel o significado da definio de validade dedutiva. Mas preencher inspetores
comdezesseisoutrintaeduasfilasumexerccioaborrecidoquenadaacrescenta
nossacompreensodascoisas.

Exerccios
1. Teste a validade das seguintes formas recorrendo a inspetores de circunstn
cias:

a) PQ,PR,QRR
b) PQ,QRPR
c) PQ,QRPR
d) PRQP
e) PQ,RQR
f) PQRQ

2. Apresenteargumentoscomasformaslgicasqueacaboudetestar.

60

Universidade Federal de Ouro Preto


Introduo lgica

Variveisdefrmula
Falamos at agora de variveis proposicionais, como P, Q ou R. Mas no
difcil ver que uma forma vlida, como o modus ponens, por exemplo, pode ser
maiscomplexa,desdequeobedeaaomesmopadrogeral:
1.

(PQ)R
PQ
Logo,R

Apesardeaantecedentedaprimeirapremissaserumaproposiocomposta,
evidentequeestaformatovlidaquantoomodusponenssimples.Defato,as
formas vlidas so configuraes ou padres de espaos vazios que podem ser
preenchidosigualmenteporproposiessimplesoucompostas.
Eisoutroexemplodeummodusponenscomplexo:
2.

P(RS)
P.
Logo,RS.

Assim, costume usar variveis de frmula, como A, B, C, etc., para repre


sentarasformasvlidascomoomodusponens,omodustollens,etc.
Nalgicaproposicional,umavariveldefrmulaumsmboloquepode
sersubstitudoporqualquerproposio,compostaousimples.

Porisso,podemosexprimiromodusponensassim:
AB.
A.
Logo,B.

No exemplo 2, P est no lugar de A. E no exemplo 1 P Q que est no


lugardeA.

Exerccios
1. Identifiqueasseguintesformaslgicas:

a) P(QR).
Logo,(QR)P.
b) (PR)(QP).
Logo,(QP)(PR).
c) PQ.

61

Universidade Federal de Ouro Preto


Introduo lgica

Q.
Logo,P.
d) PQ.
P.
Logo,Q.

Verdadesefalsidadeslgicas
Astabelasdeverdadepermitemveroquesignificadizerqueumaproposio
umaverdadelgicaouumafalsidadelgica.Chamaseporvezestautologias
verdadeslgicas;easfalsidadeslgicassocontradies.sproposiesqueno
soverdadesnemfalsidadeslgicaschamasecontingnciaslgicas.Porexemplo,
acondicionalSeavidabela,avidabelaumaverdadelgica,comopodemos
veranalisandoasuaformalgica:

P PP
V

Dizerqueumaverdadelgicadizerqueverdadeiraemtodasascircuns
tncias.IstocontrastacomAvidabela,quesverdadeiraseavidaforbela,
masfalsaemcasocontrrio.
Nocasodascontradies,dseoinverso:soproposiesfalsasemtodasas
circunstncias.AnalisemosaformalgicadeAvidabelaenobela:

P PP
V F
F F

Comosepodever,tratasedeumacontradiolgica.

Validadessurpreendentes
As verdades e falsidades lgicas do origem a dois tipos de validades sur
preendentes.Vejamososeguinteargumento:
Olivrearbtrioumailuso.
Logo,avidabelaouno.

62

Universidade Federal de Ouro Preto


Introduo lgica

O argumento evidentemente disparatado. Contudo, vlido, como pode


mosverificarfacilmentefazendouminspetordecircunstncias.Bastapensarcui
dadosamentenadefiniodevalidadededutivaparacompreenderqueesteargu
mentovlido,apesardeserestranho.
Segundo a definio, dedutivamente vlido qualquer argumento em que
sejaimpossvelapremissaserverdadeiraeaconclusofalsa.Ora,aconclusodes
te argumento uma verdade lgica; por isso, nunca pode ser falsa. Mas se no
podenuncaserfalsa,oargumentonuncapodeterpremissasverdadeiraseconclu
sofalsa.Logo,vlido.
Omesmoacontececomoargumentoseguinte,igualmentedisparatado:
Avidabelaenobela.
Logo,Deusexiste.

Esteargumentovlidoporqueasuapremissaumafalsidadelgica.Dado
queumafalsidadelgica,nuncapodeserverdadeira.Massenuncapodeserver
dadeira, o argumento nunca poder ter premissa verdadeira e concluso falsa.
Logo,vlido.Umavezmais,podemosverificarasuavalidadefazendouminspe
tordecircunstncias.
Emconcluso:

Qualquerargumentocujaconclusosejaumaverdadelgicavlido.
Qualquerargumentocujapremissasejaumafalsidadelgicavlido.

Istosignificaqueavalidadeno,sporsi,umacondiosuficientedaboa
argumentao.Almdevlido,umargumentotemdeterpremissasverdadeirase
temdeterpremissasmaisplausveisdoqueaconcluso.Estesaspectossoestu
dadosnalgicainformal.

Validadesdedutivasinformais
Afirmamosqueosinspetoresdecircunstnciasspodemdeterminaravali
dadeouinvalidadedosargumentoscujavalidadedependaexclusivamentedouso
deoperadoresverofuncionais.Vejamosporqu.Considereseoseguinteargumen
to:
OJoocasado.
Logo,oJoonosolteiro.

63

Universidade Federal de Ouro Preto


Introduo lgica

Este argumento evidentemente vlido: impossvel a premissa ser verda


deira e a concluso falsa. Contudo, um inspetor de circunstncias no serve para
detectaravalidadedesteargumento:
1.Interpretao

P:OJoocasado.
Q:OJoosolteiro.

2.Formaargumentativa

P.
Logo,Q.

3.Inspetordecircunstncias

PQ P Q
VV V

VF V

FV

FF

4.Anlise

Aformaargumentativainvlidadadoquehumacircunstnciaem
queapremissaverdadeiraeaconclusofalsa.

Segundooinspetordecircunstncias,aformalgicadoargumentoinvli
da.Masoargumentoclaramentevlido.Oqueaconteceu?
Aconteceuqueoargumentovlidomasasuavalidadenodependeexclu
sivamente dos operadores verofuncionais; depende tambm do significado dos
termos casado e solteiro. Logo, no se pode determinar a sua validade recor
rendo a um inspetor de circunstncias. Tratase de um argumento que escapa
lgica formal porque a sua validade no se pode determinar analisando apenas a
suaformalgica.

64

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