Escolar Documentos
Profissional Documentos
Cultura Documentos
UniversidadeFederaldeOuroPreto ProfessorDesidrioMurcho
Elementosbsicosdelgicaproposicional
Opapeldalgicanafilosofia
Estudar filosofia muito diferente de estudar histria ou fsica. Estudar estas disciplinas sobretudo uma questo de compreender os resultados estabelecidos pelos historiadores e pelos fsicos, e raciocinar sobre isso. Mas em filosofia no h resultados desse gnero para que possamos limitarnos a compreendlos. Os problemas mais importantes da filosofia esto em aberto; ou seja, no humconsensoentreosespecialistasquantosuasoluo.Paraqueoestudoda filosofia seja compensador, no podemos limitarnos a compreender as idias ou perspectivasopostasdosfilsofos;temosdeaprendertambmafilosofar.Filosofar discutircriticamenteosproblemas,teoriaseargumentosdafilosofia. Porquediscutircriticamenteargumentar,importanteestudarlgica.A lgica estuda alguns aspectos da argumentao. No estuda, por exemplo, os aspectos psicolgicos, sociolgicos, histricos da argumentao. Os aspectos da argumentaoestudadospelalgicasotodososaspectosquedeterminamseum argumentobomouno. PerguntaramumavezaEpicteto(c.55135d.C.)sealgicaeranecessria.A suarespostafoiaseguinte:
Queres que te prove isso? A resposta foi Sim. Ento tenho de usar uma forma demonstrativa de discurso. O interlocutor aceitou. Como sabers ento se te estou a enganar com um sofisma? E quando o homem ficouemsilncio,Epictetodisse:Estsaver?Tuprprioadmitesquealgica necessria, pois sem ela nem podes determinar se a lgica necessria ou no. Epicteto,Discursos,Livro2,trad.deDesidrioMurcho,cap.25
Epictetoestadefenderqueaprpriaperguntaquelhefizerampressupe que necessrio estudar lgica. Pois para responder a essa pergunta preciso argumentar; mas se no soubermos lgica, no saberemos se os argumentos
Argumentos
Chamaseargumentaoaumencadeamentodeargumentos.Masoque umargumento?
Um argumento um conjunto de proposies em que se pretende justificaroudefenderumadelas,aconcluso,combasenaoutraounas outras,quesechamampremissas.
Tantonumcasocomonooutro,tratasedeargumentosmuitssimocurtos. Mas so argumentos porque nos dois casos se est a defender uma proposio combasenoutra.Noprimeirocaso,aconclusoaproposioqueestantesda palavra porque; e a premissa a proposio que est depois. No segundo, a concluso a proposio que est depois da palavra logo; e a premissa a proposioqueestantes.Masoqueumaproposio?
Uma proposio o pensamento verdadeiro ou falso expresso por uma frasedeclarativa.
Porexemplo,tantoafraseKanteraumfilsofocomoafraseKantwasa philosopher exprimem a mesma proposio, ou seja, a mesma idia ou pensamento.Porsuavez,aproposioexpressaporessasfrasestemumvalorde verdade,mesmoquenosaibamosqual.
O valor de verdade de uma proposio a verdade ou falsidade dessa proposio.
Num argumento, o objetivo justificar a concluso recorrendo s premissas.Masnemsempreaspremissasjustificamaconcluso.Sajustificamse o argumento for bom. Quando o argumento no bom, as premissas no
justificam a concluso. Por isso, um erro definir argumento como um conjunto de proposies em que as premissas justificam a concluso. Da que tenhamos definidoargumentocomoumconjuntodeproposiesemquesepretendequeas premissasjustifiquemaconcluso.
Afirmarnoargumentar
Um argumento procura justificar uma concluso; uma proposio afirma apenasalgo.Asduascoisassoporissomuitodiferentes. Quandonoslimitamosafazerafirmaes,noestamosaoferecerpessoa 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. Quandoargumentamos,pelocontrrio,apresentamospessoaaquemnos dirigimosasrazespelasquaisnsprpriosaceitamosoquedizemos;estamospor issoaconvidarapessoaadialogarconosco.Esfazsentidoapresentarargumentos para defender as nossas idias se estivermos dispostos a abandonlas quando a outrapessoamostraqueessesargumentosnosobons.
Raciocnios
Osraciocniossocomoosargumentosnestesentido:emambososcasos 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 sempre presentes no nosso diaadia, sempre que pensamos e conversamos. Contudo,nonosdamosconta,geralmente,dasuaexistncia.Saoestudarlgica somoslevadosapensaremalgoqueestamossempreafazersemreparar. Reviso
1. 2. 3. 4. 5. Oqueumargumento?Definaedexemplos. Oqueumapremissa?Definaedexemplos. Oqueumaconcluso?Definaedexemplos. Oquedistingueumargumentodeumraciocnioouinferncia? Oqueumaproposio?Definaedexemplos.
Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional 6. Oqueovalordeverdadedeumaproposio? 7. Expliqueadiferenaentreumargumentoeumaproposio. 8. Discutaaseguintedefiniodeargumento:Umargumentoumconjuntode proposiesemqueaconclusojustificadapelaspremissas.
Argumentoscogentes
Para um argumento ser cogente tem de obedecer conjuntamente a trs condies:
1. 2. 3. Servlido; Terpremissasverdadeiras; Terpremissasmaisplausveisqueaconcluso.
Na lgica formal estudase apenas a condio 1: a validade. A segunda e terceiracondiessoestudadasnalgicainformal. Mas o que a validade? H dois tipos de validade: a dedutiva e a no dedutiva.
Validadededutiva
Um argumento dedutivamente vlido quando impossvel ter premissasverdadeiraseconclusofalsa.
Porexemplo:
SeaAnaestivessenapraia,terialevadoatoalha. Maselanolevouatoalha. Logo,noestnapraia.
obviamente impossvel que as duas premissas deste argumento sejam verdadeiras e a sua concluso falsa. Claro que a concluso pode ser falsa: a Ana pode estar na praia. Mas se ela estiver na praia, porque pelo menos uma das premissasfalsa.Quandoumargumentovlidotemumaconclusofalsaporque partiudepelomenosumapremissafalsa.
Validadenodedutiva
Um argumento no dedutivamentevlido quando improvvel, mas possvel,terpremissasverdadeiraseconclusofalsa.
Porexemplo:
Todososcorvosobservadosathojesonegros. Logo,todososcorvossonegros.
improvvel que a premissa seja verdadeira e a concluso falsa; contudo, noimpossvel,apenaspoucoprovvel. Estaumadasdiferenascruciaisentreosargumentosnodedutivoseos dedutivos.Nosargumentosdedutivosvlidosimpossvelqueaspremissassejam verdadeiras e a concluso falsa; nos argumentos no dedutivos vlidos apenas improvvel,masnoimpossvel,queaspremissassejamverdadeiraseaconcluso falsa. Algicaformalocupaseapenasdeargumentosdedutivos.Osargumentos nodedutivossoestudadospelalgicainformal.
Validadeeverdade
Avalidadeumacertarelaoentreosvaloresdeverdadedaspremissase da concluso de um argumento. Quando um argumento vlido, a verdade das premissasexcluiafalsidadedaconcluso. Um argumento pode ser vlido, mas ter premissas e concluso falsas. A nica coisa que um argumento vlido no pode ter premissas verdadeiras e conclusofalsa. Vejamosumexemplo:
AneveazuleAristteleseralisboeta. Logo,aneveazul.
Tanto a premissa como a concluso do argumento so falsas. Mas o argumentovlidoporqueseapremissafosseverdadeiraaconclusonopoderia ser falsa. Se imaginarmos uma circunstncia em que a premissa verdadeira, a concluso no poder ser falsa nessa circunstncia. Isto contrasta com os argumentosinvlidos.Seoargumentofosseinvlido,aconclusopoderiaserfalsa mesmoqueapremissafosseverdadeira. Contudo, um argumento invlido pode ter premissas e concluso verdadeiras.Oproblemadosargumentosinvlidosprecisamenteesse:averdade daspremissasnotornaimpossvel afalsidade daconcluso. porissoquenum argumento invlido as premissas no justificam a concluso. E isto acontece mesmoqueaspremissaseaconclusosejamverdadeiras:
Aristteleseragrego. Logo,arelvaverde.
Tanto a premissa como a concluso so verdadeiras. Mas a verdade da premissa no torna impossvel a falsidade da concluso. Podemos perfeitamente imaginarumacircunstnciaemqueAristteleseraefetivamentegrego,masarelva no era verde mas sim azul. Isto precisamente o que no acontece nos argumentos vlidos: nestes, a verdade das premissas torna impossvel a falsidade daconcluso. Assim,oquecontaparaavalidadedosargumentosnoofactodeterem premissaseconclusoverdadeiras.Oquecontaaverdadedaspremissastornar impossvel a falsidade da concluso. S quando isto acontece que as premissas justificamaconcluso.Equandoistoacontecedizsequehumnexolgicoentre aspremissaseaconcluso.
Doiserroscomuns
Nofazsentidodizerqueumargumentoverdadeirooufalsoporqueum argumento no uma proposio, mas sim um conjunto de proposies. Do mesmomodo,nofazsentidodizerqueumconjuntodepessoastemolhosazuis, mesmo que todas as pessoas do conjunto tenham olhos azuis. Os conjuntos no tmolhos.Assim,osargumentosnuncapodemserverdadeirosnemfalsos;soas proposies que os constituem que podem ser verdadeiras ou falsas. Os argumentos so vlidos ou invlidos. E tambm podem ser muitas outras coisas, comointeressantesouirrelevantes,bonsoumaus.Masnopodemserverdadeiros nemfalsos. Tambm no faz sentido dizer que uma proposio vlida porque a validade uma relao entre vrios valores de verdade e uma proposio s tem um valor de verdade. Claro que na linguagem comum dizemos muitas vezes que umaproposio,ouafirmao,vlida.Masesteumusodiferentedamesma palavra, com um significado diferente. O que queremos dizer que a proposio emcausainteressante,ouquetemvalor,ouqueverdadeira.Nopodemosestar a dizer que a proposio vlida no mesmo sentido em que os argumentos so vlidos.Talcomoemfsicaapalavramassanoquerdizeresparguete,tambm emlgicaapalavravalidadenoquerdizervalornemverdade.
Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional Osargumentos,masnoasproposies,podemservlidosouinvlidos. Asproposies,masnoosargumentos,podemserverdadeirasoufalsas.
Reviso
1. Definaavalidadededutivaedalgunsexemplos. 2. Assinaleovalordeverdadedasseguintesafirmaes:
a) Numargumentodedutivoaconclusonopodeserfalsa. b) Numargumentodedutivovlidoaconclusonopodeserfalsa. c) Num argumento dedutivo vlido com premissas verdadeiras a concluso nopodeserfalsa. d) Avalidadededutivanotemqualquerrelaocomaverdade. e) Numargumentovlidoaspremissasnopodemserfalsas. f) Todososargumentoscomconclusoverdadeirasovlidos.
3. Por que razo no basta que um argumento tenha premissas e concluso verdadeirasparaservlido? 4. Poderumargumentoserverdadeiro?Justifique. 5. Poderumaproposioservlida?Justifique. 6. Determineseosargumentosseguintesso1)vlidos,2)slidose3)cogentes,e expliqueporqu. a) Sehouvessevidaalmdamorte,avidafariasentido.Dadoqueavidafaz sentido,temdehavervidaalmdamorte. b) SePlatoateniense,grego.Dadoquenogrego,noateniense. c) Seocriminosofoiporestecaminho,tevededeixarpegadas.Dadoqueno hpegadas,elenofoiporaqui. d) Avidafazsentido.Masseavidafazsentido,Deusexiste.Portanto,Deus existe.
Lgicaformal
A lgica formal tem uma longa histria, tendo sido desenvolvida pela primeira vez no sculo IV a.C. por Aristteles (384322 a.C.) e pelos esticos (sculoIIIa.C.). Nalgicaformalestudaseapenasumtipodevalidadededutiva.Estudase apenas aquele tipo de validade dedutiva que podemos determinar recorrendo unicamenteformalgica.porissoquesechamaformallgicaformal.Mas oqueaformalgica?
Formalgica
Infelizmente, no h uma definio explcita de forma lgica que seja simultaneamenterigorosaeinformativa.Masfcilcompreenderoqueaforma lgicaatravsdeexemplos.Vejamososseguintesargumentos:
PlatooautordaRepblicaeAristtelesdaMetafsica. Logo,PlatooautordaRepblica. Halo3umjogomuitobomeaInternetmuitotil. Logo,Halo3umjogomuitobom.
Numcertosentido,estesdoisargumentossomuitodiferentes:umsobre filsofos gregos, e o outro sobre um jogo e a Internet. Os argumentos so diferentes no sentido em que tm contedos diferentes; versam sobre assuntos diferentes. Noutro sentido, contudo, podemos ver que os dois argumentos so semelhantes. 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 segundadessascoisas:
__e.... Logo,__.
aestetipodeestruturaquesechamaformalgica.
Validadeformal
A forma lgica anterior vlida no sentido em que todos os argumentos que tenham aquela forma so vlidos. No difcil ver que qualquer argumento comaquelaformalgicaservlido,mesmoqueapremissasejafalsa.Vejamosum exemplo:
AneveazulePortugalmaiordoqueaEspanha. Logo,aneveazul.
Contudo,nemtodasasformaslgicassovlidas.Naverdade,bastamudar dapalavraeparaapalavraoueobtemosumaformalgicainvlida:
__ou.... Logo,__.
Esta forma lgica invlida porque alguns dos argumentos que tm esta forma(masnotodos)soinvlidos.Vejamosumexemplo:
Arelvaazulouverde. Logo,arelvaazul.
Esteargumentoobviamenteinvlidoporqueapremissaverdadeira,mas aconclusofalsa.porissoqueaformalgicaanteriorinvlida. Pode parecer estranho que a premissa seja verdadeira. Mas verdadeira porque quando dizemos uma coisa ou outra a nossa afirmao verdadeira desdequeumadascoisassejaverdadeira.Dadoquearelvaverde,verdadeque azulouverde. Quando uma forma lgica invlida isso no significa que todos os argumentos com essa forma so invlidos. Eis um argumento vlido que tem a formalgicainvlidaanterior:
Arelvatemcorouverde. Logo,arelvatemcor.
Este argumento vlido, mas a sua validade informal. uma validade conceptual,masnoformal.Algicaformalnoestudaestetipodevalidade,ainda quesejadedutiva. Algicaformalnoestudaigualmenteosargumentosnodedutivos,poisa validadedestesargumentosnuncaformal.
Validade
Dedutiva
Nodedutiva
Formal
Reviso
Informal
1. Expliqueanoodelgicaformal. 2. Assinaleovalordeverdadedasseguintesafirmaes:
10
a) Osargumentosquetmumaformavlidasovlidos. b) Osargumentosquetmumaformainvlidasoinvlidos.
Formasproposicionais
Retomemosoargumentoanteriormenteapresentado:
Halo3umjogomuitobomeaInternetmuitotil. Logo,Halo3umjogomuitobom.
VamosusarletrasmaisculasP,Q,R,etc.,pararepresentarlugaresvazios que s podem ser ocupados por proposies. Se P for a proposio expressa por OuroPretoumacidadeeseQforaproposioexpressaporOBrasilmuito bonito,obtemosoargumentoanterior.
Chamase varivel proposicional ao smbolo (P, Q, R, etc.) que representalugaresvaziosquespodemserocupadosporproposies.
Em lgica, ou em qualquer outra disciplina, muito importante saber exatamente o que significam os smbolos que usamos. P e Q representam proposies; representam apenas proposies e nada mais. No podem representar,porexemplo,nomesprprios,comoAsdrbal,poisnenhumnome, isoladamente,formaumaproposio.
Operadoresproposicionais
Como vimos, basta mudar da palavra e para a palavra ou e obtemos umaformalgicainvlida:
PouQ. Logo,P.
11
Estaformalgicainvlidaporquehimensosargumentoscomestaforma cujaspremissassoverdadeirasecujasconclusessofalsas:
PlatoeraromanoouPlatoeragrego. Logo,Platoeraromano.
Esteargumentoinvlido:asuapremissaverdadeiraeasuaconcluso falsa.Podemosassimconcluirqueaspalavrasoueedesempenhamumpapel central na forma lgica, pois basta substituir uma pela outra e passamos de uma formavlidaparaumaformainvlida. Tantooecomooousooperadoresproposicionais.
Umoperadorproposicionalumaexpressoquesepodeacrescentara umaproposioouproposies,formandoassimnovasproposies.
Por exemplo, se acrescentarmos corretamente o operador ou a Plato eraromanoePlatoeragregoficamoscomPlatoeraromanoouPlatoera grego(queemgeralseabreviaassim:Platoeraromanoougrego). H muitos operadores proposicionais, alm de e e ou: Penso que, Tenho medo que, no, se, ento, etc. Alguns operadores aplicamse a uma nica proposio; outros aplicamse a mais de uma. Para aplicar o operador e precisamos de duas proposies. Mas para aplicar o operador Penso que bastauma. Como o nome indica, os operadores proposicionais s se aplicam a proposies;noseaplicamapartesdeproposies,comoalto.Porexemplo, magroealtonoexprimeumaproposio.Claroquenodiaadiapodemos dizer magro e alto, mas isso s acontece porque estamos a abreviar algo comoOcantormagroealto. Exerccios
1. Oqueumavarivelproposicional?Definaedexemplos. 2. Oqueumoperadorproposicional?Definaedexemplos. 3. Assinale os operadores presentes nas proposies expressas a seguir e reescrevaassemosoperadores. a) Aristtelespensavaqueavirtudeeraocentrodatica. b) OuDeusexisteouaBbliaestenganada. c) TantoPlatocomoAristteleseramfilsofosgregos. d) Nohlobisomens.
12
Operadoresverofuncionais
Alguns operadores, como ou e e, tm umacaracterstica especial: so verofuncionais.
Um operador proposicional verofuncional quando o valor de verdade da proposio com o operador inteiramente determinado pelo valor de verdadedaproposioouproposiessemooperador.
Chamase tambm conectiva proposicional aos operadores verofuncionais. Istosignificaquesepartirmosdeduasproposies,PeQ,eseasligarmos comou,porexemplo,saberemosqualovalordeverdadedePouQ,desde quesaibamosovalordeverdadedePedeQ. Porexemplo,sesabemosqueoJoonoestnapraiamassimnocinema, entosabemosqueOJooestnapraiaounocinemaverdadeira;esabemos 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, e e ou so operadores verofuncionais porque os valores de verdade de O Joo est no cinema e O Joo est na praia determinam inteiramenteovalordeverdadedeOJooestnapraiaounocinemaedeO Joo est na praia e no cinema. Mas A Maria pensa que no um operador verofuncional porque o valor de verdade de O Joo est no cinema no suficienteparadeterminarovalordeverdadedeAMariapensaqueoJooestno cinema.
Tabelasdeverdade
Quando um operador verofuncional acontece algo muito interessante. Mesmo que no saibamos se o Joo est no cinema, na praia ou noutro stio qualquer, sabemos isto: O Joo est no cinema ou na praia exprime uma proposio que s ser falsa no caso de o Joo no estar nem no cinema nem na praia.EistoacontececomqualquerproposiodaformaPouQ:sserfalsase P e Q forem ambas falsas; caso contrrio, ser verdadeira. Podemos representar istograficamentenumatabeladeverdade:
13
Cadafiladatabeladeverdadeacimarepresentagraficamenteascondies deverdadedooperadorou.
As condies de verdade so as circunstncias que tornam uma proposioverdadeiraoufalsa.
No caso de P ou Q, h quatro condies de verdade, que resultam da combinao dos dois valores de verdade possveis de P e Q: podem ser ambas verdadeiras ouambasfalsas,ou podeumaserverdadeiraeaoutrafalsa,ouvice versa.Estascondiesdeverdadeestotodasgraficamenterepresentadasnasfilas databela. Numa tabela de verdade temos de representar todas as condies de verdade.evidentequetantofazquePsejaverdadeiraeQfalsacomoocontrrio: P falsa e Q verdadeira. Em ambos os casos o resultado V. Mas temos mesmo assimderepresentaressasduascondiesdeverdade.
Disjuno
ChamasedisjunoaumaproposiodaformaPouQedisjuntasaP eaQ.
A tabela de verdade da disjuno uma forma simples de representar graficamente o significado verofuncional da disjuno. Mesmo que o valor de verdade de Deus existe e de A vida faz sentido seja desconhecido, sabemos que Deus existe ou a vida faz sentido s ser falsa se as duas proposies anterioresforemfalsas.Eistoqueatabeladeverdadedadisjunorepresenta.
14
Exerccios
1. 2. 3. 4. Oqueumoperadorproposicionalverofuncional?Definaedexemplos. Oquesoascondiesdeverdadedeumoperadorproposicional? Oqueumatabeladeverdadeeparaqueserve? Porquerazoatabeladeverdadedadisjunotemexatamentequatrofilas,e nooutronmeroqualquer? 5. ConsidereseadisjunoAvidatemsentidoouafelicidadenopossvel. a) Admitindo que a vida tem sentido, a disjuno verdadeira ou falsa? Porqu? 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. Chamase disjuno exclusiva a este tipo de disjuno, que s verdadeiracasoumaeumasdasproposiesdisjuntassejaverdadeira.Atabela deverdadedadisjunoexclusivaaseguinte:
PQ VV VF FV FF PouQ F V V F
Como se pode ver, esta tabela muito diferente da anterior; agora, P ou Qsverdadeiranasegundaeterceiralinhas. Assim, a palavra ou ambgua entre dois significados verofuncionais muito diferentes. Muitas vezes repetimos o termo ou para assinalar a exclusividade da disjuno, como em Ou Aristteles nasceu em Atenas ou em Estagira. Mas outras vezes repetimos o ou s por uma questo de nfase, querendo de fato exprimir a disjuno inclusiva. Por exemplo, se algum disser OuDeusexisteouavidanofazsentido,adisjunoemcausainclusiva:oque sepretendedizerqueseDeusnoexiste,avidanofazsentido.
15
Como podemos saber se estamos a usar uma disjuno exclusiva ou inclusiva? No h regras fiveis. Geralmente, a deciso no lgica: depende do nosso conhecimento geral das coisas, e no da lgica apenas. Por exemplo, porquesabemosqueumapessoanopodenasceremduascidadesdiferentes,que sabemosquenoexemploanterioradisjunoexclusiva.Masquandoestamosa discutir problemas filosficos muito difcil determinar se a disjuno ou no exclusiva. Exerccios
1. Assinale quais das seguintes disjunes so inclusivas e quais so exclusivas, explicandoporqu: a) OuaartenopodeserdefinidaouWeitznotemrazo. b) OAsdrbalfoipelasescadasoupeloelevador. c) Ouniversoindeterminadoounotemoslivrearbtrio. d) OMrioestemLuandaouemLisboa.
Cincoformasproposicionais
A lgica proposicional clssica estuda a argumentao cuja validade depende exclusivamente de cinco operadores verofuncionais, que do origem a cincoformasproposicionais:
1. 2. 3. 4. 5. Disjunoinclusiva:PouQ. Conjuno:PeQ. Negao:noP. Condicional:seP,entoQ. Bicondicional:Pse,esse,Q.
Com estes cinco operadores verofuncionais podemos exprimir qualquer outro operador verofuncional. Por exemplo, a disjuno exclusiva pode ser expressa negando uma bicondicional, pois as duas proposies seguintes so equivalentes:
OuAristteleseragregooueraromano. NoverdadequeAristteleseragregose,esse,eraromano.
Por esta razo, sempre que falarmos de disjuno daqui para a frente estaremosareferirnosdisjunoinclusiva. Tambm o operador nem... nem... pode ser expresso usando os outros operadoresdalistaacima,poisasseguintesduasproposiessoequivalentes:
Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional NemPlatonemAristteleseramromanos. PlatonoeraromanoeAristtelesnoeraromano.
16
Assim, podemos usar os cinco operadores da lista anterior para dar conta detodososargumentoscujavalidadeouinvalidadedependedousodeoperadores proposicionais verofuncionais. E isto precisamente o que estuda a lgica proposicionalclssica. 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,podemosescreverapenasPQ.Eisos smbolosquegeralmenteseusamequepassaremosausarapartirdeagora:
NoP: P PeQ: PQ PouQ(inclusiva): PQ SeP,entoQ: PQ Pse,esse,Q: PQ
A estes smbolos chamase constantes lgicas. Contrastam com os smbolosP,Q,etc.,quesovariveisproposicionais. Osnomessoadequados.Porexemplo,Pumavarivelporquesimboliza qualquerproposio.Mas umaconstanteporquesimbolizaexclusivamentea expressose...,ento.... Podemos usar o smbolo para representar as disjunes exclusivas. Contudo, como vimos, podemos tambm representar as disjunes exclusivas comonegaesdebicondicionais. J vimos brevemente a disjuno inclusiva e a tabela de verdade que representaassuascondiesdeverdade.Vamosagoraverascondiesdeverdade dosrestantesoperadores.
Conjuno
Chamase conjuno a uma proposio da forma P e Q, e conjuntas s proposiesPeQ.
17
Conjuno PeQ Smbolo Expresso Oconhecimentoestudadopelafilosofiaeafestudadapela cannica filosofia. Outrasexpresses Oconhecimentoeafsoestudadospelafilosofia. Oconhecimentoestudadopelafilosofiaeaftambm. Tantooconhecimentocomoafsoestudadospelafilosofia. Afilosofiaestudaqueroconhecimento,queraf. Oconhecimentoestudadopelafilosofiamasaftambmo .
Porexemplo,aconjunoOuroPretoumacidadeeEspanhaumpass verdadeira se as duas proposies que a compem forem verdadeiras; caso contrrio,falsa.
Negao
Ascondiesdeverdadedanegaosoaindamaiselementaresdoqueas dadisjunoedaconjuno.
ChamasenegaoaqualquerproposiodaformanoP.
18
Porexemplo,anegaoDeusnoexistesverdadeiraseforfalsoque Deusexiste. A negao o nico dos cinco operadores proposicionais que se aplica a uma s proposio e no a duas. Dizse por isso que um operador unrio, ao passoqueosoutrossobinrios.
Umoperadorproposicionalbinrioquandoseaplicaaduasproposies eunrioquandoseaplicasauma.
Exerccios
1. ConsidereseaconjunoAvidatemsentidoeafelicidadereal.
2. Por que razo a tabela de verdade da negao tem apenas duas filas e no quatro?
Condicional
ChamasecondicionalaqualquerproposiodaformaSeP,entoQ,e chamaseantecedenteaPeconseqenteaQ.
Porvezes,chamasetambmimplicaocondicional.
Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional Condicional SeP,entoQ Smbolo Expressocannica Sehpensamento,entohmatria. Outrasexpresses Sehpensamento,hmatria. Hmatria,sehouverpensamento. Hmatriacasohajapensamento. Nohpensamento,amenosquehajamatria. Nohpensamento,anoserquehajamatria. Semprequehpensamento,hmatria. Amatriaumacondionecessriadopensamento. Opensamentoumacondiosuficientedamatria.
19
evidentequeacondicionalSeAristteleseragrego,eraafricanofalsa. falsaporqueaantecedenteverdadeiraeaconseqentefalsa.Masquedizerdo valor de verdade da condicional Se Aristteles era portugus, era africano? Quase qualquer pessoa diria que esta condicional falsa. Contudo, na lgica proposicional considerase, desde o tempo dos esticos, que verdadeira. Este um problema em aberto, que tem provocado muitas discusses ao longo da histria da filosofia. No vamos tratar deste problema. Mas temos de ter conscinciaquealgicaclssicaentendeascondicionaisdeumamaneiraespecial. Intuitivamente, achamos que uma condicional como Se Aristteles era portugus, era africano falsa porque sabemos que se Aristteles fosse mesmo portugus,noseriaafricano:seriaeuropeu.Anossaintuiobaseiasenofactode serfalsoqueosportuguesessejamafricanos;olhamosparaacondicionalevemos outracondicional:Sealgumportugus,africano.Ecomoestacondicional realmentefalsa,pensamosqueaoutracondicionaltambmfalsa. Mas na lgica clssica olhase unicamente para o valor de verdade da antecedente e conseqente da condicional literal e considerase que uma condicional s literalmente falsa quando parte de uma verdade e chega a uma falsidade;emtodososoutroscasos,acondicionalverdadeira:
PQ PQ VV VF FV FF V F V V
Assim,nalgicaclssicaconsideraseque:
Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional Umacondicionalsfalsaquandoasuaantecedenteverdadeiraeasua conseqentefalsa;emtodososoutroscasosverdadeira.
20
Por exemplo, a condicional Se Deus existe, a vida faz sentido s falsa caso Deus exista e a vida no faa sentido; se Deus no existir, a proposio verdadeira,apesardeserenganadora. Considerese a condicional Se a neve branca, Plato era grego. Intuitivamente, no consideramos esta condicional verdadeira. Contudo, considerasequeverdadeiranalgicaclssicaporquenotemumaantecedente verdadeiraeumaconseqentefalsa. Anossaintuiodequeacondicionalnoverdadeiraresultadaausncia 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 a relao entre valores de verdade. Haver ou no uma conexo qualquer, conceptualoucausal,irrelevante.
Comutatividade
A condicional diferente de todos os outros operadores por no ser comutativa.
Umoperadorbinriocomutativoquandoaordemdasproposiespode serinvertidasemafetarosvaloresdeverdade.
Por exemplo, a conjuno comutativa porque dizer que Plato e AristtelessogregosomesmoquedizerqueAristtelesePlatosogregos:P eQomesmoqueQeP.Acondicionalonicooperadorverofuncionalque nocomutativa,comosepodevernasuatabeladeverdade:
PQ PQ VV VF FV FF V F V V
Comosev,asfilas3e4tmvaloresdeverdadediferentes.
21
Condiesnecessriasesuficientes
As condicionais estabelecem condies necessrias e suficientes. A antecedente de uma condicional uma condio suficiente para a sua conseqente.Eaconseqentedeumacondicionalumacondionecessriapara a sua antecedente. Assim, em P Q a condio suficiente de Q P, e Q a condionecessriadeP.
Bicondicional
Vejamos agora as condies de verdade da bicondicional. Como o nome indica,tratasedaconjunodeduascondicionais:SeP,entoQ,eseQ,ento P.
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.
22
possveleouniversoindeterminado,equandoolivrearbtrionopossveleo universonoindeterminado. Chamase tambm equivalncia bicondicional, pois uma bicondicional verdadeiraestabeleceaequivalnciadevaloresdeverdadeentreduasproposies: asduasproposiescomponentessoverdadeirasefalsasexatamentenasmesmas circunstncias.VoltaremosnoodeequivalncianasecoEquivalncias(pg. 35). As bicondicionais so especialmente importantes em filosofia, pois as definiesexplcitassoemgeralformuladasemtermosdeequivalncia.DizerO Homemumanimalracional,seforentendidocomoumadefiniodeHomem, significaUmserumHomemse,esse,forumanimalracional. Amaiorpartedasdefiniesapresentadasnestemanualexprimemsecom maior rigor em termos de equivalncia ou bicondicional; se no o fizemos foi porque a expresso se, e s se, apesar de mais rigorosa, torna as definies menoscompreensveisparaquemnotemaindaformaofilosfica.Porexemplo, definimosavalidadededutivadaseguintemaneira:
Umargumentodedutivamentevlidoquandoimpossvelterpremissas verdadeiraseconclusofalsa.
Adefiniorigorosaaseguinte:
Um argumento dedutivamente vlido se, e s se, impossvel ter premissasverdadeiraseconclusofalsa.
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 dedutivamentevlido. Exerccios
1. ConsidereseacondicionalSeDeusexiste,avidatemsentido. a) Admitindo que Deus no existe, a condicional verdadeira ou falsa? Porqu? 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.
Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional a) AdmitindoqueDeusexisteequeavidanotemsentido,abicondicional verdadeiraoufalsa?Porqu? b) Admitindo que Deus no existe e que a vida no tem sentido, a bicondicionalverdadeiraoufalsa?Porqu? c) AdmitindoqueavidatemsentidomasquenosabemosseDeusexiste, possvelsaberseabicondicionalverdadeiraoufalsa?Porqu?
23
Formalizao
Paraformalizarproposiesprecisocompreendercomrigorosignificado verofuncionaldasproposiesem causa. Assim, oprimeiropasso paraformalizar uma proposio encontrar os operadores verofuncionais. Por vezes, os operadores esto ocultos. Quando afirmamos, por exemplo, que Zeus imortal, pode parecer que no est presente qualquer operador; mas de facto estamos a afirmarqueZeusnomortal.Ooperadordenegaoestescondido. Almdisso,hinmerasmaneirasdeexprimiramesmaproposio.Como vimos, tanto podemos dizer que se os seres humanos so mortais, ento so infelizes,comopodemosdizerqueumacondionecessriaparaossereshumanos seremmortaissereminfelizes.Assim,paraformalizarumaproposiotemosde comearporcoloclanasuaexpressocannica,casonooestejaj. Vejamosumexemplo:
Avidanovaleapenaamenosquesejamosimortais.
24
Poderamos usar R e S, por exemplo, em vez de P e Q. Ou poderamos atribuiraQaproposioquenestainterpretaoatribumosaP. 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 expresso abrevia a proposio de que os seres humanos so imortais. Ao formalizar proposies no podemos usar este tipo de contraes. Em lgica, temosdesercompletamenteexplcitos. As proposies que atribumos s variveis no podem conter operadores verofuncionais.Afirmarqueossereshumanossoimortaisafirmarquenoso mortais; assim, atribuise Q a Os seres humanos so mortais, eliminando a negaooculta. Tambm no faz sentido atribuir uma varivel a Se a vida vale a pena, porque esta seqncia de palavras no exprime uma proposio, alm de conter umoperadorverofuncional. Assim,paraformalizarumaproposiopercorreseosseguintespassos:
1. 2. 3. Expressocannica:formulaseaproposionasuaexpressocannica; Interpretao: atribuise variveis proposicionais proposio ou proposiescomponentes; Formalizao:formalizaseaproposio.
Exerccios
1. Formalizeasproposiesexpressasaseguir: a) Setudoestdeterminado,olivrearbtrioimpossvel. b) Semprequechove,opresidenteficaeloqente. c) Nohimortais. d) OuDeusexisteouavidanofazsentido. e) OHomemumbpedesempenas. f) NemKantnemHegelsabiamingls. g) Serumartefactonoumacondiosuficienteparaquealgosejaumaobra dearte.
25
Formasargumentativas
A validade de alguns argumentos pode ser estabelecida recorrendo exclusivamenteaosoperadoresverofuncionais.Umavezquepodemosusartabelas deverdadepararepresentarascondiesdeverdadedestesoperadores,podemos tambm usar seqncias de tabelas de verdade de um certo tipo para testar a validadedeargumentosbaseadosnestesoperadores.Aessasseqnciasdetabelas deverdadedseonomedeinspetoresdecircunstncias.
Inspetoresdecircunstncias
Osinspetoresdecircunstnciasspermitemanalisarcorretamenteformas argumentativas cuja validade dependa inteiramente dos operadores verofuncionais. Se aplicarmos os inspetores de circunstncias a outro tipo de formasargumentativas,noconseguiremoscaptarasuavalidade.
Um inspetor de circunstncias um dispositivo grfico que permite determinar se a forma lgica de um argumento proposicional verofuncionalounovlida.
Retomemosaseguinteformaargumentativa:
PQ. Logo,P.
Para testar esta forma usando um inspetor comeamos por colocla na horizontal.Eparanoterdeescreverlogousamososeguintesmbolo,aquese chamamartelosemntico:.Ficamosassimcomoseguinte:
PQP
PQ PQ P VV VF FV FF V F F F V V F F
26
Debaixo da premissa escrevemos o valor de verdade dessa premissa em cadaumadassuascondiesdeverdade.Efazemosomesmoparaaconcluso. Ora, como vimos, num argumento dedutivamente vlido impossvel as premissasseremverdadeiraseaconclusofalsa.Istosignificaqueparasaberseum argumentodedutivovlidotemosdeversehalgumacircunstnciapossvelem queaspremissassoverdadeiraseaconclusofalsa. E o que so as circunstncias? So as condies de verdade, que esto exaustivamenterepresentadasnaprimeiracolunadosinspetoresdecircunstncias. Assim, no inspetor acima, verificase que o argumento vlido porque na nica circunstncia possvel em que a premissa verdadeira a concluso tambm verdadeira. Podemos usar uma sombra para assinalar as circunstncias em que a premissaverdadeira,quenestecasosuma:
PQ PQ P VV VF FV FF V F F F V V F F
Vejamosoutraformaargumentativa:
PQ. Logo,P.
Esta a forma de argumentos como Plato romano ou Aristteles grego; logo, Plato romano. evidente que o argumento invlido, mas o inspetordecircunstnciasmostraporqu:
PQ PQ P VV VF FV FF V V V F V V F F
Agora temos trs circunstncias em que a premissa verdadeira. E o argumento invlido porque numa delas a concluso falsa. Isto significa que a concluso pode ser falsa, ainda que a premissa seja verdadeira que precisamenteoquenopodeacontecernumargumentovlido. E se a forma argumentativa tiver mais de uma premissa? Vejamos como fazeruminspetornessescasos.Comoexemplo,vamosusarestaformalgica:
Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional PQ. P. Logo,Q.
27
Dado que temos duas premissas, fazemos mais uma tabela sob a segunda premissa,queseparamosdaprimeiracomumavrgula:
PQ PQ, P Q VV VF FV FF V V V F F F V V V F V F
Aformaargumentativavlida porquenoh qualquercircunstnciaem quetodasaspremissassejamverdadeiraseaconclusofalsa. Como evidente pela anlise do inspetor de circunstncias, a ordem das premissasdeumargumentoirrelevante. Umaformaargumentativasvlidaseemtodasascircunstnciasemque todas as premissas so verdadeiras a concluso tambm verdadeira; caso contrrio,invlida.Assim,noinspetoranterior,anicacircunstnciaqueconta aterceira,poisemnenhumadasoutrasasduaspremissassoverdadeiras. Uma forma invlida mesmo que em algumas circunstncias tenha premissaseconclusoverdadeiras,comonoseguintecaso:
PQ PQ, P Q VV VF FV FF V V V F V V F F V F V F
Esta forma invlida porque a segunda circunstncia tem premissas verdadeiras e concluso falsa. irrelevante que na primeira circunstncia as premissas sejam verdadeiras e a concluso falsa. Pois basta haver uma circunstncia em que as premissas so verdadeiras e a concluso falsa para a verdadedaspremissasnoimpedirafalsidadedaconcluso. Os inspetores de circunstncias mostram o que significa dizer que num argumentovlidoimpossvelaspremissasseremverdadeiraseaconclusofalsa. E mostram igualmente por que razo absurdo rejeitar a concluso de um argumento vlido se aceitarmos as suas premissas: porque se o argumento for
28
vlidoeaspremissasverdadeirasnohqualquermaneiradeaconclusoserfalsa. Assim, quando discordamos da concluso de um argumento vlido tudo o que podemosfazermostrarquepelomenosumadaspremissasfalsa. Exerccios
1. Teste a validade das seguintes formas recorrendo a inspetores de circunstncias: a) b) c) d) e) f) g) PQ,PQ PQ,PQ PQPQ PQPQ PQQP PQQP PQ,QPPQ
mbitodosoperadores
At agora quase s demos ateno a formas proposicionais em que cada operador incide unicamente sobre formas proposicionais simples. Mas nada impedequeumoperadorincidasobreformasproposicionaiscompostas.
Uma forma proposicional simples no contm quaisquer operadores verofuncionais. Umaformaproposicionalcompostacontmoperadoresverofuncionais.
Porexemplo,emPosmbolooperasobreP;eemP Qosmbolo operasobrePeQ.Tantocomo operamsobreformasproposicionaissimples. Mas A vida no tem sentido exprime uma proposio composta. Formalizase comoP,sendoPAvidatemsentido. evidente que podemos tambm afirmar No verdade que a vida no temsentido,queseformalizacomoP.Aopassoqueaprimeiranegaoopera sobreP,asegundaoperasobrePouseja,operasobreumaformaproposicional composta. Isto significa que podemos formar um nmero infinito de formas lgicas partindo apenas das cinco formas proposicionais de base. Mas significa tambm queteremosdetercuidadocomombitodosdiferentesoperadores.Comparemos asseguintesproposies:
1. 2. Noverdadequeseavidafazsentido,Deusexiste. Senoverdadequeavidafazsentido,Deusexiste.
29
Em 1, a negao afeta uma proposio que j contm um operador: Se a vidafazsentido,Deusexiste.Masnocasodaproposio2,anegaosafetaA vidafazsentido. Adiferenaentre1e2maisclaraseolharmosapenasparaaformalgica:
1. 2. (PQ) PQ
Comosepodever,emlgicaproposicionalusamseparntesesparaindicar ombitodosoperadores,oquetornatudomuitomaisclaro.
O mbito de um operador a proposio ou proposies que esse operadorafeta.
Em1estamosanegaracondicionalPQ,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: PQ (PQ) VV VF FV FF FV VF FV FV
Numatabeladeverdadeparaumaformaproposicionalcomplexa,altima 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 debaixo da negao e so os resultados finais: so as condies de verdade da proposio.Assim,1sverdadeiracasoPsejaverdadeiraeQfalsa.
30
No caso da segunda forma proposicional comease por determinar os valores de P, resultados que se escrevem por debaixo do respectivo operador. Depois, necessrio determinar os valores da condicional cuja antecedente P. Para facilitar o trabalho, podemos reescrever os valores de Q por debaixo da respectiva varivel. Assim, a primeira linha V porque uma condicional com antecedente F e conseqente V V; a segunda linha V, etc. Estes so os resultadosfinais,destacadosaazul. Agora podemos comparar as condies de verdade das duas formas proposicionais: Negaodeuma Condicionalcom condicional antecedentenegada PQ (PQ) PQ PQ VV VF FV FF FV VF FV FV 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)
Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional g) (P(QP)) 2. Construa uma tabela de verdade para cada uma das formas proposicionais anteriores. 3. Formalizeasproposiesexpressasaseguir: a) Sartrenoeraparisiensese,esse,Pariseraumacidadealem. b) No verdade que Sartre no era parisiense se, e s se, Paris era uma cidadealem. c) Nohfelicidadenemjustia. d) Noverdadequehoufelicidadeoujustia. e) Nohfelicidadeoujustia.
31
Formasvlidaseinvlidas
Algumas formas argumentativas vlidas so to comuns que tm nome. E tambm por serem muito comuns, confundemse com formas invlidas semelhantes.
FORMASVLIDAS Silogismo hipottico SeP,entoQ. SeQ,entoR. Logo,seP,entoR. Modusponens SeP,entoQ. P. Logo,Q. Silogismo disjuntivo PouQ. NoP. Logo,Q. Modustollens SeP,entoQ. NoQ. Logo,noP. Dilema PouQ SeP,entoR. SeQ,entoR. Logo,R. Contraposio SeP,entoQ. Logo,senoQ,entonoP.
FORMASINVLIDAS Afirmao daconsequente SeP,entoQ. Q. Logo,P. Negao daantecedente SeP,entoQ. NoP. Logo,noQ. Inverso dacondicional SeP,entoQ. Logo,seQ,entoP.
32
Exerccios
1. 2. Demonstre a validade ou invalidade das formas anteriores recorrendo a inspetoresdecircunstncias. 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. Logo,temoslivrearbtrio. e) Seosanimaisnohumanossentemdor,sodignosdeproteomoral. Masosanimaisnohumanosnosentemdor. Logo,nosodignosdeproteomoral. f) SeDeusexiste,avidatemsentido. Ora,Deusexiste. Logo,avidatemsentido.
Avaliaodeargumentos
Consideremososeguinteargumento:
A alternativa entre a relatividade da tica e a implausibilidade do absolutismo. Oabsolutismoimplausvel. Logo,aticarelativa.
Seresteargumentovlido?Paradeterminarasuavalidadeprecisamosde 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:
Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional 1.Expressocannica Aticarelativaouoabsolutismoimplausvel. Oabsolutismoimplausvel. Logo,aticarelativa. 2.Interpretao P:Aticarelativa. Q:Oabsolutismoplausvel. 3.Formalizao PQ. Q. Logo,P. 4.Inspetordecircunstncias PQ PQ, Q P VV VF VF VV FV FF FF VV F V F V V V F F
33
34
Exerccios
1. Determine a forma argumentativa dos seguintes argumentos e teste a sua validaderecorrendoainspetoresdecircunstncias: a) Ouolivrearbtriopossvelouanossavidaumailuso. Olivrearbtrioimpossvel. Logo,anossavidaumailuso. b) Deusexiste. Logo,afelicidadeeternapossvel. c) SeScratestemrazo,avidaporexaminarnovaleapenaservivida. Logo,avidaporexaminarnovaleapenaservivida. d) Aristteleseragrego. Aristtelesnoeragrego. Logo,Deusexiste. e) Ajustiapossvelse,esse,Platotiverrazo. Platonotemrazo. Logo,ajustianopossvel.
Formascomplexas
Atagoraestudamososaspectosmaiselementaresdalgicaproposicional. Esta lgica, contudo, pode ser desenvolvida para se tornar um instrumento bastante mais sofisticado e de maior alcance na anlise da argumentao. Vamos agoraestudaralgunsdessesdesenvolvimentos.
Negaessurpreendentes
Anegaoomaissimplesdosoperadoresverofuncionais.Seriadeesperar que o seu uso no provocasse erros. Contudo, isto no assim. A negao de algumasformasproposicionaisprovocaerros. A negao de Se temos livrearbtrio, Sartre tem razo Temos livre arbtrio,masSartrenotemrazo.MascomumpensarqueasuanegaoSe notemoslivrearbtrio,Sartrenotemrazo. Anegaodeumacondicionalumaconjuno,enooutracondicional. Podemosverificarissofazendotrstabelasdeverdade:
35
PQ VV VF FV FF
(PQ) FV VF FV FV
PQ PQ VV VF FV FF FF VV FF FV
A primeira forma proposicional a prpria negao da condicional. Para que outra forma proposicional a represente tem de ter as mesmas condies de verdade.Asegundaformaproposicionalnotemasmesmascondiesdeverdade daprimeira.Porexemplo,nocasoemquePeQsoambasverdadeiras,asegunda forma proposicional verdadeira, mas a primeira falsa. S a terceira forma proposicionaltemasmesmascondiesdeverdadedaprimeira.Logo,saterceira formaproposicional,aconjuno,representaanegaodacondicional. NEGAODEFORMASPROPOSICIONAIS
Designao Forma Resultado
Exerccios
1. AdmitindoquefalsoqueseDeusexiste,avidafazsentido,qualovalorde verdadedeDeusexiste,masavidanofazsentido? 2. Admitindoqueverdadequehmatriaeesprito,qualovalordeverdade deNohmatriaounohesprito? 3. Formule primeiro a negao das proposies expressas a seguir, e depois o respectivoresultado: a) Seafelicidadepossvel,avidatemsentido. b) Hfelicidadeejustia. c) Sartreeraalemoougrego. d) Umserracionalse,esse,sabeescrevercartasdeamor.
Equivalncias
Analisemosasseguintestabelasdeverdade:
36
Isto significa que as duas formas proposicionais anteriores podem ser transformadas uma na outra, mantendo as suas condies de verdade. Ou seja, dizerSeDescartesviveuemParis,entoviveuemFranaomesmoquedizer DescartesnoviveuemParisouviveuemFrana. Para que duas proposies sejam equivalentes no basta que tenham o mesmovalordeverdade;necessrioquetenhamomesmovalordeverdadeem quaisquercircunstnciasouseja,necessrioquetenhamasmesmascondies de verdade. Assim, apesar de tanto A neve branca como Ouro Preto uma cidade exprimirem proposies verdadeiras, no exprimem proposies equivalentes. Cada forma proposicional equivalente a vrias outras, mas algumas equivalnciassoparticularmenteimportantes,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.
37
Argumentoscomtrsvariveis
At agora vimos argumentos cujas formas lgicas tm duas variveis proposicionais;mas,comoevidente,aformadealgunsargumentosexigemaisde duasvariveisproposicionais.Vejamosumexemplo:
Oconhecimentopossvelouoscpticosestoenganados. Seoconhecimentopossvel,oqueoscpticosdizemumafantasia. Seoscpticosestoenganados,oqueelesdizemtambmumafantasia. Logo,emqualquerdoscasos,oqueoscpticosdizemumafantasia.
Para testar esta forma com um inspetor de circunstncias agora necessrioesgotartodasascombinaespossveisdevaloresdeverdadeentreP,Q e R. Quando s tnhamos duas variveis, era fcil: s havia quatro combinaes possveis.Comtrsvariveis,hoitocombinaespossveis. Apartirdomomentoemquesabemosquehoitocombinaespossveis, fcil no cometer erros. Na primeira coluna escrevemos quatro V, seguidos de quatroF.DepoisescrevemosVeFaospares.Naltimacoluna,escrevemosVeF alternados.
Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional PQR VVV VVF VFV VFF FVV FVF FFV FFF
38
Agorapodemostestaraformadadacomuminspetordecircunstncias:
PQR PQ, PR, QR R VVV VVF VFV VFF FVV FVF FFV FFF V V V V V V F F V F V F V V V V V F V V V F V V V F V F V F V F
Aformavlida,jqueemtodasascircunstnciasemqueaspremissasso verdadeiras,aconclusotambmverdadeira. Parasaberquantasfilastemuminspetordecircunstnciasbastacontaras 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 de terrivelmente aborrecido e intil. Os inspetores de circunstncias so bons instrumentos para ajudar a compreender a noo de argumento vlido, pois tornam visvel o significado da definio de validade dedutiva. Mas preencher inspetorescomdezesseisoutrintaeduasfilasumexerccioaborrecidoquenada acrescentanossacompreensodascoisas. Exerccios
1. Teste a validade das seguintes formas recorrendo a inspetores de circunstncias:
Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional a) PQ,PR,QRR b) PQ,QRPR c) PQ,QRPR d) PRQP e) PQ,RQR f) PQRQ 2. Apresenteargumentoscomasformaslgicasqueacaboudetestar.
39
Variveisdefrmula
Falamosatagoradevariveisproposicionais,comoP,QouR.Masno difcil ver que uma forma vlida, como o modus ponens, por exemplo, pode ser maiscomplexa,desdequeobedeaaomesmopadrogeral:
1. (PQ)R PQ Logo,R
Apesar de a antecedente da primeira premissa ser uma proposio composta,evidentequeestaformatovlidaquantoomodusponenssimples. De facto, as formas vlidas so configuraes ou padres de espaos vazios que podemserpreenchidosigualmenteporproposiessimplesoucompostas. Eisoutroexemplodeummodusponenscomplexo:
2. P(RS) P. Logo,RS.
Porisso,podemosexprimiromodusponensassim:
AB. A. Logo,B.
40
Verdadesefalsidadeslgicas
As tabelas de verdade permitem ver o que significa dizer que uma proposioumaverdadelgicaouumafalsidadelgica.Chamaseporvezes tautologia s verdades lgicas; e as falsidades lgicas so contradies. s proposies que no so verdades nem falsidades lgicas chamase contingncias lgicas.Porexemplo,acondicionalSeavidabela,avidabelaumaverdade lgica,comopodemosveranalisandoasuaformalgica:
P PP V F V V
Dizer que uma verdade lgica dizer que verdadeira em todas as circunstncias.IstocontrastacomAvidabela,quesverdadeiraseavidafor bela,masfalsaemcasocontrrio. Nocasodascontradies,dseoinverso:soproposiesfalsasemtodas ascircunstncias.AnalisemosaformalgicadeAvidabelaenobela:
P PP V F F F
41
Comosepodever,tratasedeumacontradiolgica.
Validadessurpreendentes
As verdades e falsidades lgicas do origem a dois tipos de validades surpreendentes.Vejamososeguinteargumento:
Olivrearbtrioumailuso. Logo,avidabelaouno.
O argumento evidentemente disparatado. Contudo, vlido, como podemosverificarfacilmentefazendouminspetordecircunstncias.Bastapensar cuidadosamente na definio de validade dedutiva para compreender que este argumentovlido,apesardeserestranho. Segundoadefinio,dedutivamentevlido qualquerargumentoemque seja impossvel a premissa ser verdadeira e a concluso falsa. Ora, a concluso desteargumentoumaverdadelgica;porisso,nuncapodeserfalsa.Masseno pode nunca ser falsa, o argumento nunca pode ter premissas verdadeiras e conclusofalsa.Logo,vlido. Omesmoacontececomoargumentoseguinte,igualmentedisparatado:
Avidabelaenobela. Logo,Deusexiste.
Este argumento vlido porque a sua premissa uma falsidade lgica. Dado que uma falsidade lgica, nunca pode ser verdadeira. Mas se nunca pode ser verdadeira, o argumento nunca poder ter premissa verdadeira e concluso falsa.Logo,vlido.Umavezmais,podemosverificarasuavalidadefazendoum inspetordecircunstncias. Emconcluso:
Qualquerargumentocujaconclusosejaumaverdadelgicavlido. Qualquerargumentocujapremissasejaumafalsidadelgicavlido.
Istosignificaqueavalidadeno,sporsi,umacondiosuficientedaboa argumentao.Almdevlido,umargumentotemdeterpremissasverdadeirase tem de ter premissas mais plausveis do que a concluso. Estes aspectos so estudadosnalgicainformal.
42
Validadesdedutivasinformais
Afirmamos que os inspetores de circunstncias s podem determinar a validade ou invalidade dos argumentos cuja validade dependa exclusivamente do uso de operadores verofuncionais. Vejamos porqu. Considerese o seguinte argumento:
OJoocasado. Logo,oJoonosolteiro.
Este argumento evidentemente vlido: impossvel a premissa ser verdadeiraeaconclusofalsa.Contudo,uminspetordecircunstncias noserve paradetectaravalidadedesteargumento:
1.Interpretao P:OJoocasado. Q:OJoosolteiro. 2.Formaargumentativa P. Logo,Q. 3.Inspetordecircunstncias PQ P Q VV V VF V FV FF F F F V F V
Segundo o inspetor de circunstncias, a forma lgica do argumento invlida.Masoargumentoclaramentevlido.Oqueaconteceu? Aconteceu que o argumento vlido mas a sua validade no depende exclusivamente dos operadores verofuncionais; depende tambm do significado dos termos casado e solteiro. Logo, no se pode determinar a sua validade recorrendoauminspetordecircunstncias.Tratasedeumargumentoqueescapa
43
lgicaformalporqueasuavalidadenosepodedeterminaranalisandoapenasa suaformalgica.