SUMÁRIO
SUMÁRIO
SUMÁRIO
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>SUMÁRIO</strong><br />
Prefácio à edição brasileira 13<br />
Prefácio 17<br />
Notação e abreviaturas 23<br />
1 - ‘Filosofiadaslógicas’ 25<br />
Lógica, filosofia da lógica, metalógica 25<br />
O âmbito da lógica 27<br />
2 - Validade 37<br />
Avaliando argumentos 37<br />
Validade dedutiva: com alguns breves comentários sobre força indutiva 40<br />
Validade em um sistema;<br />
Validade extra-sistemática;Logica utens e logica docens;<br />
Força indutiva Sistemas lógicos formais: o ‘L’ em ‘válido-em-L’ 45<br />
Variantes notacionais; Constantes primitivas alternativas;<br />
Formulações axiomática e de dedução natural; Axiomas e/ou regras alternativos<br />
Validade e forma lógica 51<br />
3 - Conectivos sentenciais 57<br />
Considerações formais 57<br />
Conjuntos adequados de conectivos: completude funcional;<br />
Matrizes características: decidibilidade; Lógica polivalente<br />
Os significados dos conectivos 60<br />
Linguagens formais e leituras informais; ‘tonk’; Objetivos da formalização; ‘&’ e ‘e’, ‘ ’ e ‘ou’, etc.<br />
4 - Quantificadores 71<br />
Os quantificadores e sua interpretação 71<br />
Interlúdio metafísico: Quine sobre quantificação e ontologia; 75<br />
O critério de compromisso ontológico;<br />
Quantificação substitucional e ontologia<br />
A escolha da interpretação 84<br />
Quantificadores substitucionais e verdade; Muito poucos nomes?; Tempo verbal; Modalidade;<br />
Quantificação de segunda ordem<br />
5 - Termossingulares 91<br />
Termos singulares e sua interpretação 91<br />
Nomes 92<br />
Nomes como puramente denotativos; Nomes assemelhados a descrições
Descrições 102<br />
Nomes não-denotativos: ficção 108<br />
6 - Sentenças, enunciados, proposições 113<br />
Três abordagens 113<br />
Sentença, enunciado, proposição 114<br />
‘Letras sentenciais’, ‘variáveis proposicionais’, ou o quê? 118<br />
Os portadores de verdade 119<br />
Os portadores de verdade e a teoria da verdade<br />
O problema reformulado 124<br />
Validade outra vez<br />
7 - Teorias da verdade 127<br />
Um breve resumo 127<br />
Definições versus critérios de verdade<br />
Teorias da correspondência 133<br />
Teorias da coerência 136<br />
Teorias pragmáticas 140<br />
A teoria semântica 143<br />
Condições de adequação para definições de verdade;<br />
Adequação material; Correção formal; A definição de verdade de Tarski; Explicação informal;<br />
Explicação formal<br />
Comentário sobre a teoria semântica 156<br />
A teoria da redundância 177<br />
Ramsey; Portadores de verdade; A distinção linguagem-objeto/metalinguagem; Os quantificado-<br />
res: ‘ p se ele afirma que p, p ’; A ‘teoria prossentencial da verdade’<br />
8 - Paradoxos 185<br />
O Mentiroso e paradoxos relacionados 185<br />
Paradoxos ‘da teoria de conjuntos’ versus paradoxos ‘semânticos’?<br />
‘Soluções’ para os paradoxos 189<br />
Requisitos para uma solução; A solução de Russell: a teoria dos tipos, o princípio do círculo vi-<br />
cioso; A solução de Tarski: a hierarquia de linguagens; A solução de Kripke: fundamentação<br />
Paradoxo sem ‘falso’; algumas observações sobre a teoria da verdade como redundância; e o<br />
PCV outra vez 202<br />
9 - Lógicaelógicas 207<br />
Lógica ‘clássica’ e lógicas ‘não-clássicas’ 207<br />
Respostas à pressão para mudar o formalismo clássico 208<br />
Primeiro estudo de caso: a lógica do discurso temporal 212<br />
Segundo estudo de caso: precisificação versus ‘lógica difusa’ 219<br />
Pós-escrito: graus de verdade
10 - Lógica modal 229<br />
Verdade necessária 229<br />
Sistemas modais 235<br />
Extensões da lógica clássica; Observações históricas;<br />
Um esboço formal; Relações entre os sistemas modais<br />
Críticas da lógica modal 239<br />
A lógica modal ‘foi concebida em pecado’; A lógica modal não é necessária; A interpretação da<br />
lógica modal é cheia de dificuldades<br />
Semânticas para lógicas modais 249<br />
Semântica formal – um esboço; Semântica ‘pura’ e ‘depravada’; Abordagens de mundos possí-<br />
veis; Abordagens de indivíduos possíveis: identidade transmundana;<br />
Confirmadas as dúvidas de Quine?<br />
Perspectivas 258<br />
De novo, a implicação: um pós-escrito sobre a ‘lógica da relevância’ 261<br />
Os ‘paradoxos’ da implicação estrita; Lógica da relevância<br />
11 - Lógica polivalente 269<br />
Sistemas polivalentes 269<br />
Restrições da lógica clássica: lógicas alternativas;<br />
Observações históricas; Esboço formal<br />
Motivações filosóficas 274<br />
Futuros contingentes; Mecânica quântica; Paradoxos semânticos; A falta de significado; Sentido<br />
sem denotação; Sentenças indecidíveis<br />
Lógicas polivalentes e valores de verdade 280<br />
Lógicas alternativas não-funcional-veritativas 282<br />
Sobrevalorações; Lógica intuicionista<br />
12 - Algumas questões metafísicas e epistemológicas<br />
sobre a lógica 289<br />
Questões metafísicas 289<br />
Monismo, pluralismo, instrumentalismo; As questões resumidas; Comentários<br />
Questões epistemológicas 302<br />
O que é falibilismo?; O falibilismo estende-se à lógica?;<br />
Uma digressão: ‘Dois Dogmas’ novamente; Revisão da lógica<br />
Lógica e pensamento 309<br />
Glossário 315<br />
Sugestões de leituras 327<br />
Bibliografia 331<br />
Índice 345