Do Prefácio:
As raízes da lógica podem ser atribuídas a Aristóteles, que sistematizou e codificou o assunto de tal modo que não foi significativamente ultrapassado por mais de dois milênios. A lógica moderna provém, em grande parte, do trabalho do filósofo alemão Gottlob Frege no século XIX.
Embora a lógica se desenvolvesse como um ramo da filosofia, o seu progresso explosivo desde Frege tem produzido aplicações em linguística, matemática e ciência da computação. Atualmente, muitas contribuições são feitas por estudiosos das áreas citadas.
Este livro não pressupõe conhecimento prévio do assunto. Ele pode ser utilizado como texto para um curso introdutório, suplemento para outros textos, referência ou guia de estudo.
Iniciamos examinando como o raciocínio ocorre, informalmente, na escrita e na conversação. Assim, introduzimos alguns conceitos centrais da lógica (tais como argumento, validade, verdade, relevância e evidência suposta), evitando os tecnicismos desnecessários. O Capítulo 1 concerne às partes estruturais (sintática) e o Capítulo 2 apresenta alguns conceitos semânticos fundamentais. Os Capítulos 3 e 4 introduzem o sistema mais elementar da lógica formal, o cálculo proposicional, dos pontos de vista sintático e semântico, respectivamente. O Capítulo 5 trata da lógica dos enunciados categóricos, a descendente moderna da lógica original de Aristóteles. No Capítulo 6 consideramos um sistema, o cálculo de predicados, que unifica e estende os sistemas dos três capítulos anteriores. O cálculo de predicados é o cerne da lógica moderna. Nos Capítulos 7 e 8 retornamos a um ponto de vista informal, a fim de considerar falácias usuais no raciocínio e algumas formas de argumento indutivo (probabilístico). O Capítulo 9 trata, formalmente, da probabilidade, expondo os axiomas e os teoremas mais importantes do cálculo de probabilidades. Finalmente, o Capítulo 10 esboça algumas diretrizes nas quais o cálculo de predicados pode ser generalizado.
Author(s): John Nolt, Dennis Rohatyn
Publisher: Makron Books \/ McGraw-Hill
Year: 1991
Language: Portuguese
Pages: 609
10.1 Limitações significativas dos cálculo de predicados......Page
Capa......Page Lógica . John Nolt . Dennis Rohatyn.djvu
Contracapa......Page scandjvutmp126_0001.djvu
Folha de Rosto......Page scandjvutmp127_0001.djvu
Sumário......Page scandjvutmp129_0001.djvu
Prefácio......Page scandjvutmp12d_0001.djvu
1. A Estrutura de um Argumento......Page scandjvutmp12f_0001.djvu
1.1 O que é um argumento?......Page 12
1.2 Identificando os argumentos......Page scandjvutmp134_0001.djvu
1.3 Diagramas de argumentos......Page scandjvutmp13a_0001.djvu
1.4 Argumentos convergentes......Page scandjvutmp142_0001.djvu
1.5 Enunciados implícitos......Page scandjvutmp145_0001.djvu
1.6 Uso e menção......Page scandjvutmp14c_0001.djvu
1.7 Lógica formal versus lógica informal......Page scandjvutmp14f_0001.djvu
2. Avaliação de um Argumento......Page scandjvutmp157_0001.djvu
2.1 Introdução......Page 52
2.2 Verdade das premissas......Page scandjvutmp158_0001.djvu
2.3 Validade e probabilidade indutiva......Page scandjvutmp15b_0001.djvu
2.4 Relevância......Page scandjvutmp16a_0001.djvu
2.5 A exigência de total evidência......Page scandjvutmp170_0001.djvu
3. O Cálculo Proposicional......Page scandjvutmp183_0001.djvu
3.1 Formas de argumento......Page 96
3.2 Formalização......Page scandjvutmp18a_0001.djvu
3.3 Regras não-hipotéticas de inferência......Page scandjvutmp193_0001.djvu
3.4 Regras hipotéticas......Page scandjvutmp1a3_0001.djvu
3.5 Regras derivadas......Page scandjvutmp1b5_0001.djvu
3.6 Teoremas......Page scandjvutmp1bc_0001.djvu
3.7 Equivalências......Page scandjvutmp1c0_0001.djvu
4. Tabelas-Verdade e Árvores de Refutação......Page scandjvutmp1d2_0001.djvu
4.1 Semântica dos operadores lógicos......Page 171
4.2 Tabelas-verdade para wffs......Page scandjvutmp1da_0001.djvu
4.3 Tabelas-verdade para formas de argumento......Page 188
4.4 Árvores de refutação......Page scandjvutmp1eb_0001.djvu
5. A Lógica dos Enunciados Categóricos......Page scandjvutmp200_0001.djvu
5.1 Enunciados categóricos......Page 217
5.2 Inferências imediatas......Page scandjvutmp212_0001.djvu
5.3 Silogismos categóricos......Page scandjvutmp219_0001.djvu
6. O Cálculo de Predicados......Page scandjvutmp225_0001.djvu
6.1 Quantificadores e variáveis......Page 250
6.2 Predicados e nomes próprios......Page scandjvutmp22a_0001.djvu
6.3 Regras de formação......Page scandjvutmp230_0001.djvu
6.4 Regras de inferência para o quantificador universal......Page scandjvutmp235_0001.djvu
6.5 Regras de inferência para o quantificador existencial......Page scandjvutmp241_0001.djvu
6.6 Teoremas e regras de equivalência do quantificador......Page scandjvutmp254_0001.djvu
6.7 Identidade......Page scandjvutmp25f_0001.djvu
6.8 Árvores de refutação......Page scandjvutmp267_0001.djvu
7. Falácias......Page scandjvutmp28f_0001.djvu
7.1 Classificação de falácias......Page 355
7.2 Falácias de relevância......Page scandjvutmp291_0001.djvu
7.3 Raciocínio circular......Page scandjvutmp2a3_0001.djvu
7.4 Falácias semânticas......Page scandjvutmp2a6_0001.djvu
7.5 Falácias indutivas......Page scandjvutmp2ac_0001.djvu
7.6 Falácias formais......Page scandjvutmp2b3_0001.djvu
7.7 Falácias de premissas falsas......Page scandjvutmp2b9_0001.djvu
8. Indução......Page scandjvutmp2c8_0001.djvu
8.1 Força do enunciado......Page 412
8.2 Silogismo estatístico......Page scandjvutmp2cf_0001.djvu
8.3 Generalização estatística......Page scandjvutmp2d6_0001.djvu
8.4 Generalização indutiva e indução simples......Page scandjvutmp2df_0001.djvu
8.5 Indução por analogia......Page scandjvutmp2e4_0001.djvu
8.6 Métodos de Mill......Page scandjvutmp2e9_0001.djvu
8.7 Teorias científicas......Page scandjvutmp2f6_0001.djvu
9. O Cálculo de Probabilidades......Page scandjvutmp303_0001.djvu
9.1 Introdução......Page 471
9.2 Relações lógicas entre proposições ou eventos......Page scandjvutmp304_0001.djvu
9.3 Probabilidade......Page scandjvutmp306_0001.djvu
9.4 Axiomas do cálculo de probabilidades......Page scandjvutmp308_0001.djvu
9.5 Teoremas do cálculo de probabilidades......Page scandjvutmp30a_0001.djvu
9.6 Probabilidade condicional......Page scandjvutmp312_0001.djvu
9.7 Aplicação do cálculo de probabilidades......Page scandjvutmp325_0001.djvu
10. Outros Desenvolvimentos em Lógica Formal......Page scandjvutmp335_0001.djvu
10.2 Lógicas de ordem superior......Page scandjvutmp33b_0001.djvu
10.3 Lógica de predicados com símbolos funcionais......Page scandjvutmp343_0001.djvu
10.4 Aritmética formal......Page scandjvutmp349_0001.djvu
10.5 Definições formais......Page scandjvutmp356_0001.djvu
10.6 Descrições definidas......Page scandjvutmp359_0001.djvu
10.7 Lógica modal......Page scandjvutmp35c_0001.djvu
Glossário......Page scandjvutmp377_0001.djvu
Índice Analítico......Page scandjvutmp38b_0001.djvu
