6
INTRODUÇÃO À LÓGICA

INTRODUÇÃO À LÓGICA - paulus.com.br · QQ 6 de crençase completude.Eu fizmuita alteraçãode explicações(por exem-plo, veja as seções sobre o teste da estrela, diagramas

Embed Size (px)

Citation preview

INTRODUÇÃO À LÓGICA

Coleção Lógica

• Introdução à lógica, Harry J. Gensler

INTRODUÇÃOÀ LÓGICA

HARRY J. GENSLER

Título original: Introduction to Logic – Second Edition© 2010, Routledge, New YorkISBN 978-0-415-99651-8

Tradução da edição de língua inglesa autorizada pela Routledge Inc., selo editorial de Taylor & Francis Group LLC.Todos os direitos reservados.

Tradução: Christian Marcel de Amorim Perret Gentil Dit Maillard

Direção editorial: Claudiano Avelino dos SantosCoordenação de revisão: Tiago José Risi LemeRevisão técnica: Edelcio Gonçalves de Souza Gustavo Rick AmaralRevisão: Tiago José Risi Leme Iranildo Bezerra LopesDiagramação: Dirlene França Nobre da SilvaCapa: Marcelo CampanhãImpressão e acabamento: PAULUS

1ª edição, 2016

Dados Internacionais de Catalogação na Publicação (CIP)(Câmara Brasileira do Livro, SP, Brasil)

Gensler, Harry J.Introdução à lógica / Harry J. Gensler; [tradução Christian Marcel de Amorim Perret Gentil Dit Maillard]. — São Paulo: Paulus, 2016. — Coleção Lógica. Título original: Introduction to logic.

ISBN 978-85-349-4083-2

1. Filosofia 2. Lógica - Introduções I. Título. II. Série.

14-11850 CDD-160

Índice para catálogo sistemático:1. Lógica: Filosofia 160

© PAULUS – 2016

Rua Francisco Cruz, 229 • 04117-091 – São Paulo (Brasil)Tel.: (11) 5087-3700 • Fax: (11) 5579-3627paulus.com.br • [email protected]

ISBN 978-85-349-4083-2

Prefácio

Esta é uma Introdução à Lógica abrangente. Ela cobre:

•silogismos;•aspectosinformaisderaciocínio(comosignificadoefalácias);•raciocínioindutivo;•lógicaproposicionalequantificacional;•lógicamodal,deônticaedecrenças;•aformalizaçãodeumateoriaéticasobrearegradeouro;e•metalógica,históriadalógica,lógicadevianteefilosofiadalógica.

Devido a esse amplo escopo, este livropode serutilizadoparacursosbásicosde lógica (ondeprofessorespodemescolher a partirdeumavariedadedetópicos)oumaisavançados(incluindocursosdegraduação).OmanualdoprofessoreofimdoCapítulo1falamsobrequaiscapítulossãosuscetíveisparaquetipodecurso.

A primeira edição da Routledge saiu em 2002. Dentre suas característi-cas-chaveestavampresentes:(a)escritaclara,diretaeconcisa;(b)exemploseargumentosinteressantes,frequentementesobrevidacotidianaoudegrandesfilósofos;(c)maneirasmaissimplesdetestarargumentos,incluindootestedaestrelaparasilogismoseumamaneiramaisfácildefazerprovaserefutações;(d)amploescopodemateriais(maisamploquequalquertextodelógica);(e)aplicabilidadeparaautoestudoepreparaçãoparatestescomoLSAT;(f)preçoscompetitivos(umterçodocustodealgunsconcorrentes);e(g)oprogramainstrucional(quealeatoriamentegeraproblemas,fornecefeedbackemrespostas,forneceajudaeexplicaçõeseregistraoprogresso).Estoucontenteemcomoaprimeiraediçãofoirecebida.

Euefetueidiversasmelhorasnestasegundaedição.Dispusoscapítu-losdemaneiramaislógica;portanto,agoraelesvão,grosso modo, do mais fácilaomaisdifícil.Adicioneinovoscapítulossobrehistóriadalógica,lógicadevianteefilosofiadalógica;portanto,oescopodolivroéaindamaisamploqueoanterior.Eumelhoreiasfaláciasinformais,adicioneiinferênciasàmelhorexplicaçãoecorrigialgunserros de digitação. Eu reviseitrêsseçõesdifíceis:sobretraduçõesrelacionais,provasemlógica

6 Introdução à lógica■ ■

decrençasecompletude.Eufizmuitaalteraçãodeexplicações(porexem-plo,vejaasseçõessobreotestedaestrela,diagramasdeVenneprovas).Eualtereialgunsexercícios.Acrescenteiumapêndicecomsugestõesdeleiturasadicionais.Adicioneiumíndexreal(previamentehaviasomenteumíndexdenomes);portanto,agoraémaisfácilbuscarporumtópico.E adicionei uma lista conveniente de regras na parte interna das capas. Eu corteiduaspartesqueforampoucoutilizadas:oapêndiceemcomofazerodownloaddeLogiColaeutilizá-lo(agoraétãofácildesefazerodownload doprogramaeutilizá-lodemaneiraqueesseapêndiceédesnecessário)eoglossário(queapenasrepetiadefiniçõesdotexto).Eutenteimanterascoisasbreves;apesardasadições,olivroésomente23páginasmaislongodoqueoprimeiro.Porfim,eureescrevimassivamentenoprogramainstrucionalLogiColaemWindows(cujafontetemmaisde20.000linhasdecódigo–queémaislongoqueolivro);onovoLogiColaémaisfácildeinstalareadaptar,maisfácildeutilizar,maisatrativovisualmenteemelhoradodediversasoutrasmaneiras.LogiCola(comumprogramadeprocessamentodepontuação,manualdoprofessor,slidesdeclasseseamostrasdeques-tionários)podeserbaixadogratuitamenteapartirdestessites:

http://www.jcu.edu/philosophy/gensler/lchttp://www.routledge.com/textbooks/9780415996518

Todo material suplementar é convenientemente acessível a partir domenuHELPdeLogiCola:entãoeusugiroquevocêapenasinstaleLogiCola(professoresdevemchecaraopçãodeinstalaroprocessamentodepontuaçãotambém).*

Eugostariadeagradeceratodosquedealgumamaneiracontribuí-ram a esta segunda edição. Eu agradeço ao pessoal da Routledge e revi-sores,quefizeramboassugestões.Euagradeçoameusalunosdelógica,especialmenteaquelescujoolharintrigadomeforçouatentartornarascoisasmaisclaras.Eagradeçoespecialmenteaosmuitosprofessores,alunoseautodidatasquemeenviarame-mail sobre o livro e software no decorrerdosanos,frequentementedizendocoisascomo“eugostodolivro e do software,mastemumacoisanaqualestoutendoproblemas...”.Se esta segunda edição é um avanço genuíno – tal como espero e acredito queseja–,entãoexistemmuitaspessoasaagradeceralémdemim.

Vida longaà lógica!Lógicaversasobreraciocínio–sobre irdepremissasaumaconclusão.Comocomeçamosnossoestudodelógica,precisamossermaisclarosarespeitodoqueélógicaeporqueelaéimportante.Precisamostambémaprenderalgunsconceitos(como“va-lidade”e“argumento”)quesãocentraisaoestudodalógica.

LC

*Notadorevisortécnico:omaterialaoqualoautorserefereencontra-senooriginal(emlínguainglesa).