VALIDADE E VERDADE (Adapt. Manual Pensar Azul, Texto Ed.)

IIIRacionalidadeArgumentativaeFilosofia

1.ArgumentaçãoeLógicaFormal

Problema

Oqueéalógica?

1.1Validadeeverdade

Oqueéalógica?FrasedeclarativaeproposiçãoProposiçãoeargumentoValidadeeforma

Sumário

Tomemososeguinteargumento:

1.«Todososportuguesessãoeuropeus.»

2.«Todososlisboetassãoportugueses.»

3.«Todososlisboetassãoeuropeus.»

Asproposições1e2,usadascomo

pontodepartida,sãopremissas.

Aproposição3éaconclusão.

Oprocessodepassagem

daspremissasàconclusão

éainferência(nestecaso,

éumargumentoválido).

Éistoquealógicaestuda.

Lógica,inferênciaeargumento

Finalidadesdalógica

 Formularasregrasaqueosargumentosdevemobedecerparaseremválidos

 Distinguirasformasválidasdasformasnãoválidas

 Desenvolvertécnicasdeavaliaçãodosargumentos

Aprenderlógicapodeajudar‐nosamelhoraromodocomopensamoseargumentamos.Asregraslógicasmaisbásicassãoosprincípiosdarazão.

Apalavralógicaderivadotermogregologos.

AristóteleséconsideradoocriadordaLógica.

Lógicasimbólicamoderna:

 processodeconstruçãoiniciadoporGottfriedLeibniz

 desenvolvidaapenasapartirdosfinaisdoséculoXIX

pormatemáticoscomoGeorgeBooleeGottlobFrege

significavasimultaneamente razão/pensamento palavra

Logos

ARISTÓTELESSéculo IV a.C. Filósofogrego

LEIBNIZ1646-1716 Filósofoalemão

FREGE1848-1925 Matemáticoalemão

BOOLE1815-1864 Matemáticoinglês

Etapasdodesenvolvimentohistóricodalógica

Alógicaéoestudodasformasdeargumentaçãoválida:

  formulaasregrasaqueosargumentosdevemobedecerparaseremcorrectos

 distingueasformascorrectasdasformasincorrectas

 desenvolvetécnicasdeavaliaçãodeargumentos

Oestudodalógicapermitecompreenderetreinarousodasregrasdalógica,aprendertécnicasdeavaliaçãodacorrecçãodosargumentosemelhoraracapacidadedecomunicação.

Umargumentoéumconjuntodeproposiçõesrelacionadasdemodoainferirumaconclusãoapartirdepremissas.Éconstituídoporproposições(opensamentoexpressoporumafrasedeclarativa).

Exercícios 1 e 2

Têmvalordeverdadequandoopensamentoqueexpressam–aproposição–éverdadeirooufalso.

Asfrasespodemfazerumaasserção(dizeralgosobrearealidade),darumaordem,fazerumaperguntaouexprimirumdesejo.Quandodizemalgosobrearealidade,têmumvalordeverdade(V/F)echamam‐sefrasesdeclarativas.

Aslínguasnaturaisorganizamaspalavrasparaobterenunciadoscomsentido:asfrases.

Parapensarnecessitamosdelinguagem.

JorgeMartinsLengalenga2002‐2004,grafitesobrepapel

Frasedeclarativaeproposição

Tiposdefrases

manual,p.22

Frasedeclarativaeproposição

Afrasedeclarativaeaproposiçãonãosepodemseparar,massãodiferentes,poisumafrasedeclarativaéumenunciadolinguísticoemquedizemosalgoacercadarealidade;umaproposiçãoéopensamentoquenelaestáexpresso.

 Amesmaproposiçãopodeserexpressaporfrasesdeclarativasdiferentes

 Umafraseambíguapodeexpressarproposiçõesdiferentes(umafraseéambígua

quandopodeterdoisoumaissignificados

diferentes)

Frasesdeclarativas

Exercícios 3 a 6

manual,p.22

Proposiçãoeargumento

Sejaoseguinteenunciado:

Esteenunciadocontémtrêsfrasesdeclarativas,portanto,éconstituídoportrêsproposições:

Argumentarcomcorrecçãofacilitaacomunicação.

Estudarlógicadesenvolveacapacidadedeargumentar.

Estudarlógicaéútilparatodasaspessoas.

1 2 3

Estudarlógicaéútilparatodasaspessoasporqueaprenderaargumentarcomcorrecçãofacilitaacomunicaçãoeporqueaprenderlógicadesenvolveacapacidadedeargumentar.

Conectores

Asproposições

estãoligadaspelaspalavras«porque»e«e»:sãoosconectores.

Duasproposiçõesconstituemoqueéapresentadocomojáadquiridoequeétomadocomopontodepartida,oujustificação(aspremissas),paraumaterceiraquedelasderiva(aconclusão).



Estudarlógicaéútilparatodasaspessoas.

Premissas(razões,ouopontodepartida) Conclusão

Argumentarcomcorrecçãofacilitaacomunicação.Estudarlógicadesenvolveacapacidadedeargumentar.

Logo,estudarlógicaéútilparatodasaspessoas.

Argumento

Oenunciadolinguístico

éumargumentoporqueéumconjuntodeproposiçõesrelacionadasdemodoadefenderumaideia–conclusão(«estudarlógicaéútilparatodasaspessoas»)esãoapresentadasrazõesparaajustificar(aspremissas).

Estudarlógicaéútilparatodasaspessoasporqueaprenderaargumentarcomcorrecçãofacilitaacomunicaçãoeporqueaprenderlógicadesenvolveacapacidadedeargumentar.

Argumentosnaformacanónica,ouformapadrão

Osargumentospodemapresentar‐sedemodosdiferentes:

Masháummodoestabelecidoparaapresentarumargumento:primeiroaspremissasedepoisaconclusão.Éaformacanónica,ouformapadrão.

Enunciaraconclusãoemprimeirolugar

Enunciaraconclusãoentreaspremissas

Intercalarconsiderações

Omitirumaoumaispremissas

EnunciaraconclusãoemprimeirolugarOensinodeveprivilegiarodesenvolvimentodecompetências,umavezque,hojeemdia,oconhecimentoestádisponívelonlineeoscidadãossóprecisamdesaberprocurá‐lo,seleccioná‐loefazerasuaapropriaçãopessoal.

Formacanónica,ouformapadrão

Oconhecimentoestádisponívelonline.Oscidadãossóprecisamdesaberprocurar,seleccionarefazerasuaapropriação.


1

Premissas

Logo,oensinodeveprivilegiarodesenvolvimentodecompetências.Conclusão

EnunciaraconclusãoentreaspremissasAminhairmãadoracinema,porisso,tenhoacertezaquevaigostardoBatman,dadoquenãoháapreciadordecinemaquenãogostedoBatman.


TodososapreciadoresdecinemagostamdoBatman.Aminhairmãadoracinema.


2

Premissas

Portanto,aminhairmãvaigostardoBatman.Conclusão

Intercalarconsiderações

«Alógicaformaléoestudodavalidadedosargumentos,coisaqueédointeressedetodasaspessoaseespecialmentedosgrandesoradores,eavalidadeécondiçãonecessáriaparagarantiraverdadedaconclusãodeumargumento,istoé,aadequaçãodopensamentoporelaexpressocomarealidadeaqueserefere,condiçãoquenemsempreérespeitada.


3

Formacanónica,ouformapadrão:Eliminandoasconsideraçõeseasexplicações,obteremosaformacanónica,ouformapadrão.

Omitirumaoumaispremissas


4


Quemprecisadedominarosoutros,precisadosoutros.Quemprecisadosoutroséumdependente.Ochefedominaosoutros.

Premissas

Logo,ochefeéumdependente.Conclusão

«Precisardedominarosoutroséprecisardosoutros.Ochefeéumdependente.»BernardoSoares,LivrodoDesassossego

Identificaraspremissaseaconclusão

Paraidentificaraspremissaseaconclusãotemosdeprocurarnoenunciadoargumentativoosindicadoresdepremissaseosindicadoresdeconclusão(palavrasouexpressõesqueantecedemas

premissaseaconclusão).

  Paraencontraraconclusão,perguntamos:oqueéqueesteargumentopretendedemonstrar?

  Paraencontraraspremissasperguntamos:quejustificaçõessãoapresentadasemfavordaconclusão?

Identificaraspremissaseaconclusão

Exercícios 7 a 9

Indicadoresdepremissas

  porque  vistoque  dadoque  porcausade  como  considerandoque  devidoa  umavezque(eoutrasexpressõesequivalentes)

Indicadoresdeconclusão

  logo  portanto  então  porconseguinte  segue‐seque  daíque  consequentemente  porisso  segue‐seque  infere‐seque(eoutrasexpressõesequivalentes)

Consideremososeguinteargumento(naformapadrão).

Mesmoqueconsideremosaspremissaseaconclusãoverdadeiras,nãopodemosdizerqueaconclusãodecorredoqueéafirmadonaspremissas.

Validadeeforma

Premissas



Conclusão

Estudarlógicasótemutilidadeparaosprogramadoresinformáticos.

JorgeMartinsCenadecontemplação1993,óleosobretela

Imaginemosque«TodososTra‐la‐lásãoTro‐lo‐ló»e«TodososTri‐li‐lísãoTra‐la‐lá»sãoaspremissasdeumargumento.

Qualéaconclusão?

Sabemososignificadodaspalavras«Tra‐la‐lá»,«Tro‐lo‐ló»e«Tri‐li‐lí»?Comoéquepodemossaberqualéaconclusão?

Validadeeforma

Aconclusãoterádeser

«TodososTri‐li‐lísãoTro‐lo‐ló».

Escrevemos«terádeser»paratraduzirumanecessidadelógica.

Seemvezdaspalavras«Tra‐la‐lá»,«Tro‐lo‐ló»e«Tri‐li‐lí»,usarmosletras«A»,«B»e«C»,respectivamente,teremos:

Validadeeforma

TodososAsãoB.TodososCsãoA.Logo,todososCsãoB.

Estaformulaçãotraduzaestruturadoargumento,aquechamamosformalógica.

Validadedeumargumento

Avalidadelógicaéumapropriedadedaestruturadosargumentosenãodependedaverdadeoudafalsidadedasproposiçõesqueconstituemaspremissaseaconclusão,masdomodocomoaspremissaseaconclusãoestãorelacionadas.

Umargumentoéválidoquandoestácorrectamenteformulado,ouseja,quandoaspremissassustentamelegitimamaconclusão.

Umavezqueaconclusãoésempreverdadeiraseaspremissasforemverdadeiras,então,umargumentoéválidoquandodepremissasverdadeiraséimpossívelderivarconclusõesfalsas.

GeorgeW.Hart

Validadeeforma

Premissas

Todososportugueses(A)sãoeuropeus(B) VerdadeiraTodososlisboetas(C)sãoportugueses(A) VerdadeiraConclusão

Logo,todososlisboetas(C)sãoeuropeus(B) Verdadeira

Premissas

Todososlisboetas(A)sãoportugueses(B) VerdadeiraTodososparisienses(C)sãolisboetas(A) FalsaConclusão

Logo,todososparisienses(C)sãoportugueses(B) Falsa

Premissas

Todososlisboetas(A)sãoparisienses(B) FalsaTodososportugueses(C)sãolisboetas(A) FalsaConclusão

Logo,todososportugueses(C)sãoparisienses(B) Falsa

Argumentosválidos Valordeverdade

1

2

3

Porém,senocaso1substituirmos

por

mudamosaestruturadoargumento.Seescrevermosasduasformasladoalado,veremosquesãoformasdiferentes.

Todososportugueses(A)sãoeuropeus(B) VTodososlisboetas(C)sãoportugueses(A) V

Logo,todososlisboetas(C)sãoeuropeus(B) V

Todososportugueses(A)sãoeuropeus(B) VTodososfranceses(C)sãoeuropeus(B) V

Logo,todososfranceses(C)sãoportugueses(A) F

TodososAsãoBTodososCsãoA

Logo,todososCsãoB

TodososAsãoBTodososCsãoB

Logo,todososCsãoA

Nestecaso,aformadonovoargumentonãoéválidae,poressarazão,jánãotemosnenhumagarantiadequeaverdadedaspremissassejapreservadanaconclusão.

por

Validadeeforma

GeorgeW.Hart

Validade(dosargumentos)everdade(dasproposições)

ArgumentoConjuntodeproposiçõesemqueuma

derivadasoutras

Validade(propriedadedosargumentos)

Dependedotipodeconexãoexistenteentrepremissaseconclusão.

Éindependentedovalordeverdadedasproposiçõesqueoconstituem.

Umargumentopodeterpremissasverdadeiraseconclusãoverdadeiraenãoserválido.

Avalidadegaranteaverdadedaconclusãodeumargumentoquetenhapremissasverdadeiras.

ProposiçãoPensamentoexpressoporuma

frasedeclarativa

Verdade(propriedadedasproposições)

Umaproposiçãoéverdadeiraquandoexpressaadequadamenteascaracterísticasdarealidadeaqueserefere.

Formalógica

Formalógicadeumargumento éasuaestrutura,ouomodocomoestãorelacionadasasdiferentesproposições,independentementedoseuconteúdo(matéria).

Podemossubstituiroconteúdodasproposiçõesporumsímbolo:

 nalógicaaristotélica,substituímoscadaelementodeumaproposição

 nalógicaproposicional,substituímoscadaproposiçãoglobalmente JorgeMartins

Entropia1998,óleosobretela

Lógicaaristotélica

Substituicadatermoporumaletramaiúscula

Argumento

PremissasTodososTra‐la‐lá(A)sãoTro‐lo‐ló(B).TodososTri‐li‐lí(C)sãoTra‐la‐lá(A).

ConclusãoLogo,todososTri‐li‐lí(C)sãoTro‐lo‐ló(B).

Formalógica

Formadoargumento


1



Argumento

PremissasTodososartistas(A)sãocriativos(B).Todosospoetas(C)sãoartistas(A).

ConclusãoLogo,todosospoetas(C)sãocriativos(B).

Formalógica

Formadoargumento


2



Argumento

PremissasTodosospoetas(A)sãocriativos(B).Algunshomens(C)nãosãopoetas(A).

ConclusãoLogo,algunshomens(C)nãosãocriativos(B).

Formalógica

Formadoargumento

TodososAsãoB.AlgunsCnãosãoA.Logo,algunsCnãosãoB.

3

Formalógica

Osargumentos1,2e3têmumconteúdodiferente,mas,quantoàforma:



TodososAsãoB.AlgunsCnãosãoA.Logo,algunsCnãosãoB.

Formadiferente

Amesmaforma

1

2

3

Lógicaproposicional

Substituicadaproposiçãoglobalmenteporumaletra

Argumento

PremissasTodososTra‐la‐lásãoTro‐lo‐ló(P).TodososTri‐li‐lísãoTra‐la‐lá(Q).

ConclusãoLogo,todososTri‐li‐lísãoTro‐lo‐ló(R).

Formalógica

Formadoargumento

PeQ,logo,R

1

Argumento

PremissasTodososartistassãocriativos(P).Todosospoetassãoartistas(Q).

Conclusão

Logo,todosospoetassãocriativos(R).

Formalógica

2

LógicaproposicionalSubstituicadaproposiçãoglobalmenteporumaletra

Formadoargumento

PeQ,logo,R

Argumento

PremissasVououvirmúsica(P)ouler(Q).Vououvirmúsica(P).

ConclusãoLogo,nãovouler(~Q).

Formalógica

Formadoargumento

PouQ,eP,logo,~Q

3

LógicaproposicionalSubstituicadaproposiçãoglobalmenteporumaletra

Formalógica

Ostrêsargumentosdiferemquantoaoconteúdo.Quantoàforma:

PeQ,logo,R

PouQ,eP,logo,~Q Formadiferente

Amesmaforma

1

2

3

PeQ,logo,R

Sublinhamosasexpressõesquedefinemaformadoargumento.Repetemquandoháidentidadedeformaemudamquandoaformaédiferente:1e2têmamesmaforma;3temformadiferente.

Inferênciasdedutivasevalidade

Inferênciasdedutivasválidassãoaquelasemqueaverdadedaspremissasépreservadanaconclusão,emvirtudedasuaforma.

Asinferênciasdedutivassãoconclusivas(aconclusãoéconsequêncianecessáriadaspremissas)enumargumentodedutivoavalidadegarantequesejaimpossívelpartirdepremissasverdadeirasechegaraumaconclusãofalsa.

Paratermosacertezaqueasconclusõessãoverdadeiras,sótemosdeverificarseosargumentossãoválidosesepartemdepremissasverdadeiras.

Alógicaéoestudodasformasdeargumentaçãoválidas:formulaasregrasaqueosargumentosdevemobedecerparaseremcorrectos,distingueasformascorrectasdasformasincorrectasedesenvolvetécnicasdeavaliaçãodeargumentos.

Oestudodalógicapermitecompreenderetreinarousodasregrasdalógica,aprendertécnicasdeavaliaçãodacorrecçãodosargumentosemelhoraracapacidadedecomunicação.

Asfrases(istoé,osenunciadoscomsentido)podemserdeclarativas,interrogativas,imperativaseexclamativas.Somenteasfrasesdeclarativasexpressamproposições.

Oargumentoéconstituídoporproposições:premissas,quesãoasrazõesdequeseparte,econclusão,aproposiçãoderivadaouinferidadaspremissas,sendoporelasjustificada.

Umargumentodedutivoéválidoquandoéimpossívelterpremissasverdadeiraseconclusãofalsa.

Avalidadedependedaformalógicadoargumentoenãodoconteúdo,oumatéria,dasproposiçõesqueoconstituem.

Aformalógicadeumargumentoéasuaestrutura;amatériaéopensamentoexpressopelasproposiçõesqueoconstituem.Porisso,avalidadeéumapropriedadedosargumentosdedutivoseaverdadeéumapropriedadedasproposições.

Avalidadeécondiçãonecessária,masnãosuficiente,paragarantiraverdadedaconclusão;porisso,sóhágarantiadaverdadedaconclusãoseoargumento,alémdeserválido,tiverpremissasverdadeiras.

Chamamosargumentosólidoaumargumentodedutivoválidoecompremissasverdadeiras.

Exercícios 10 e 11

Documents

VALIDADE E VERDADE (Adapt. Manual Pensar Azul, Texto Ed.)