Você está na página 1de 4

SUMÁRIO

5 PREFÁ CIO
7 1. IN T R O D U Ç Ã O
7 1.1 Lógica
8 1.2 Argumentos válidos
10 1.3 Argumentos corretos
13 1.4 O plano deste livro
14 2. L Ó G IC A SILOGÍSTICA
14 2.1 Traduções mais fáceis
16 2.2 O teste da estrela
21 2.3 Argumentos em português
26 2.4 Traduções mais difíceis
29 2.5 Derivando conclusões
33 2.6 Diagramas de Venn
38 2.7 Argumentos idiomáticos
42 2.8 A visão aristotélica
45 3. S IG N IF IC A D O E D E F IN IÇ Ã O
45 3.1 Usos de linguagem
47 3.2 Definições léxicas
54 3.3 Definições estipulativas
56 3.4 Explicando significado
61 3.5 Fazendo distinções
63 3.6 Analítico e sintético
65 3.7 A priori e a posteriori
70 4. FALÁCIAS E A R G U M E N T A Ç Ã O
70 4.1 Bons argumentos
75 4.2 Falácias informais
88 4.3 Inconsistência
93 4.4 C onstruindo argumentos
97 4.5 Analisando argumentos
101 5. RACIOCÍNIO INDUTIVO
101 5.1 O silogismo estatístico
104 5.2 Cálculos de probabilidade
110 5.3 Questões filosóficas
116 5.4 Raciocinando a partir de amostras
120 5.5 Raciocínio analógico
122 5.6 Analogia e outras mentes
124 5.7 Métodos de Mill
130 5.8 Leis científicas
138 5.9 Raciocínio para a melhor explicação
140 5.10 Problemas com indução
147 6. LÓGICA PROPOSICIONAL BÁSICA \ /
147 6.1 Traduções mais fáceis
151 6.2 Tabelas de verdade simples
154 6.3 Avaliações de verdade
156 6.4 Avaliações com valores desconhecidos
157 6.5 Tabelas de verdade complexas
159 6.6 O teste da tabela de verdade
163 6.7 O teste de atribuição de verdade
170 6.8 Traduções mais difíceis
172 6.9 Argumentos idiomáticos
176 6.10 Regras-S
179 6.11 Regras-I
183 6.12 Misturando regras-S e regras-I
184 6.13 Inferências estendidas
185 6.14 Lógica e computadores
186 7. PROVAS PROPOSICIONAIS
186 7.1 Provas mais fáceis
194 7.2 Refutações mais fáceis
203 7.3 Provas mais difíceis
212 7.4 Refutações mais difíceis
217 7.5 Outros métodos de prova
221 8. LÓGICA QUANTIFICACIONAL BÁSICA
221 8.1 Traduções mais fáceis
227 8.2 Provas mais fáceis
233 8.3 Refutações mais fáceis
238 8.4 Traduções mais difíceis
241 8.5 Provas mais difíceis
248 9. RELAÇÕES E IDENTIDADE
248 9.1 Traduções de identidade
251 9.2 Provas de identidade
256 9.3 Relações fáceis
Sumário

259 9.4 Relações difíceis


264 9.5 Provas relacionais
272 9.6 Descrições definidas

275 10. LÓ G ICA M ODAL BÁSICA V/


275 10.1 Traduções
280 10.2 Provas
289 10.3 Refutações
299 11. OUTROS SISTEMAS M OD AIS
299 11.1 Viagem galáctica
305 11.2 Traduções quantificacionais
308 11.3 Provas quantificacionais
314 11.4 Um sistema sofisticado
321 12. LÓ G ICA D EÔ N TIC A E IMPERATIVA \ /
321 12.1 Traduções imperativas
324 12.2 Provas imperativas
332 12.3 Traduções deônticas
336 12.4 Provas deônticas
349 13. LÓGICA DE CRENÇAS \ /
349 13.1 Traduções de crença
351 13.2 Provas de crença
359 13.3 Crença e vontade
362 13.4 Provas de vontade
365 13.5 Traduções da racionalidade
368 13.6 Provas de racionalidade
372 13.7 Um sistema sofisticado
376 14. UMA TEORIA ÉTICA FORM ALIZADA
376 14.1 Racionalidade prática
378 14.2 Consistência
381 14.3 A regra de ouro
386 14.4 Começando a prova de RO
390 14.5 Maquinário lógico de RO
399 14.6 A prova simbólica de RO
402 15. M ETALÓGICA
402 15.1 Questões metalógicas
403 15.2 Símbolos
404 15.3 Correção
407 15.4 Completude
411 15.5 Um sistema axiomático
412 15.6 Teorema de Gõdel
420 16. HISTÓRIA DA LÓ G IC A
420 16.1 Lógica antiga
Introdução à lógica

424 16.2 Lógica medieval


427 16.3 Lógica do Iluminismo
429 16.4 Frege e Russell
431 16.5 Depois de Principia
434 17. LÓGICAS DEVI ANTES
434 17.1 Lógica multivalorativa
436 17.2 Lógica paraconsistente
440 17.3 Lógica intuicionista
442 17.4 Lógica de relevância
446 18. FILOSOFIA DA LÓGICA
446 18.1 Entidades abstratas
447 18.2 Estruturas metafísicas
450 18.3 A base para leis lógicas
454 18.4 Verdade e paradoxos
456 18.5 O escopo da lógica
458 Apêndice - PARA LEITURAS COMPLEMENTARES
460 RESPOSTAS PARA OS PROBLEMAS ESCOLHIDOS
499 ÍN DICE ONOM ÁSTICO E DE ASSUNTOS

/.7& *

j U. ÁjLsx*'
1 J,
j £•
■ (/a ^ <?&,*'*') /i i

Ib .C Í/ WsC U '

Você também pode gostar