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: McGraw-Hill, Makron Books do Brasil
Year: 1991
Language: Portuguese
Commentary: I uploaded the same book some months ago, but in 300 dpi resolution. Now the resolution is 600 dpi.
Pages: 608
Capa......Page Lógica . John Nolt . Dennis Rohatyn.djvu
Contracapa......Page scandjvutmp278_0001.djvu
Título......Page scandjvutmp127_0001.djvu
Dados da Publicação......Page scandjvutmp27c_0001.djvu
Dados da Impressão......Page 608
Sumário......Page scandjvutmp27d_0001.djvu
Prefácio......Page scandjvutmp281_0001.djvu
1 – A Estrutura de um Argumento......Page scandjvutmp283_0001.djvu
1.1 O que é um argumento?......Page 13
1.2 Identificando os argumentos......Page scandjvutmp288_0001.djvu
1.3 Diagramas de argumentos......Page scandjvutmp28e_0001.djvu
1.4 Argumentos convergentes......Page scandjvutmp296_0001.djvu
1.5 Enunciados implícitos......Page scandjvutmp299_0001.djvu
1.6 Uso e menção......Page scandjvutmp2a0_0001.djvu
1.7 Lógica formal versus lógica informal......Page scandjvutmp2a3_0001.djvu
2 – Avaliação de um Argumento......Page scandjvutmp2ab_0001.djvu
2.1 Introdução......Page 53
2.2 Verdade das premissas......Page scandjvutmp2ac_0001.djvu
2.3 Validade e probabilidade indutiva......Page scandjvutmp2af_0001.djvu
2.4 Relevância......Page scandjvutmp2bf_0001.djvu
2.5 A exigência de total evidência......Page scandjvutmp2c5_0001.djvu
3 – O Cálculo Proposicional......Page scandjvutmp2d9_0001.djvu
3.1 Formas de argumento......Page 97
3.2 Formalização......Page scandjvutmp2e0_0001.djvu
3.3 Regras não-hipotéticas de inferência......Page scandjvutmp2e9_0001.djvu
3.4 Regras hipotéticas......Page scandjvutmp2f5_0001.djvu
3.5 Regras derivadas......Page scandjvutmp318_0001.djvu
3.6 Teoremas......Page scandjvutmp31f_0001.djvu
3.7 Equivalências......Page scandjvutmp323_0001.djvu
4 – Tabelas-Verdade e Árvores de Refutação......Page scandjvutmp335_0001.djvu
4.1 Semântica dos operadores lógicos......Page 172
4.2 Tabelas-verdade para wffs......Page scandjvutmp33d_0001.djvu
4.3 Tabelas-verdade para formas de argumento......Page scandjvutmp346_0001.djvu
4.4 Árvores de refutação......Page scandjvutmp34e_0001.djvu
5 – A Lógica dos Enunciados Categóricos......Page scandjvutmp363_0001.djvu
5.1 Enunciados categóricos......Page 218
5.2 Inferências imediatas......Page scandjvutmp372_0001.djvu
5.3 Silogismos categóricos......Page scandjvutmp379_0001.djvu
6 – O Cálculo de Predicados......Page scandjvutmp386_0001.djvu
6.1 Quantificadores e variáveis......Page 251
6.2 Predicados e nomes próprios......Page scandjvutmp38b_0001.djvu
6.3 Regras de formação......Page scandjvutmp390_0001.djvu
6.4 Regras de inferência para o quantificador universal......Page scandjvutmp395_0001.djvu
6.5 Regras de inferência para o quantificador existencial......Page scandjvutmp3a1_0001.djvu
6.6 Teoremas e regras de equivalência do quantificador......Page scandjvutmp3b5_0001.djvu
6.7 Identidade......Page scandjvutmp3c0_0001.djvu
6.8 Árvores de refutação......Page scandjvutmp3c8_0001.djvu
7 – Falácias......Page scandjvutmp3f0_0001.djvu
7 .1 Classificação de falácias......Page 356
7.2 Falácias de relevância......Page scandjvutmp3f2_0001.djvu
7.3 Raciocínio circular......Page scandjvutmp404_0001.djvu
7.4 Falácias semânticas......Page scandjvutmp407_0001.djvu
7.5 Falácias indutivas......Page scandjvutmp40d_0001.djvu
7.6 Falácias formais......Page scandjvutmp414_0001.djvu
7.7 Falácias de premissas falsas......Page scandjvutmp41a_0001.djvu
8 – Indução......Page scandjvutmp429_0001.djvu
8.1 Força do enunciado......Page 413
8.2 Silogismo estatístico......Page scandjvutmp430_0001.djvu
8.3 Generalização estatística......Page scandjvutmp438_0001.djvu
8.4 Generalização indutiva e indução simples......Page scandjvutmp440_0001.djvu
8.5 Indução por analogia......Page scandjvutmp446_0001.djvu
8.6 Métodos de Mill......Page scandjvutmp44b_0001.djvu
8.7 Teorias científicas......Page scandjvutmp459_0001.djvu
9 – O Cálculo de Probabilidades......Page scandjvutmp466_0001.djvu
9.1 Introdução......Page 472
9.2 Relações lógicas entre proposições ou eventos......Page scandjvutmp467_0001.djvu
9.3 Probabilidade......Page scandjvutmp469_0001.djvu
9.4 Axiomas do cálculo de probabilidades......Page scandjvutmp46b_0001.djvu
9.5 Teoremas do cálculo de probabilidades......Page scandjvutmp46d_0001.djvu
9.6 Probabilidade condicional......Page scandjvutmp474_0001.djvu
9.7 Aplicação do cálculo de probabilidades......Page scandjvutmp487_0001.djvu
10 – Outros Desenvolvimentos em Lógica Formal......Page scandjvutmp497_0001.djvu
10.1 Limitações significativas do cálculo de predicados......Page 521
10.2 Lógicas de ordem superior......Page scandjvutmp49d_0001.djvu
10.3 Lógica de predicados com símbolos funcionais......Page scandjvutmp4a5_0001.djvu
10.4 Aritmética formal......Page scandjvutmp4ab_0001.djvu
10.5 Definições formais......Page scandjvutmp4b8_0001.djvu
10.6 Descrições definidas......Page scandjvutmp4bb_0001.djvu
10.7 Lógica modal......Page scandjvutmp4be_0001.djvu
Glossário......Page scandjvutmp4d4_0001.djvu
A......Page 582
B-C......Page scandjvutmp4d7_0001.djvu
D......Page scandjvutmp4d9_0001.djvu
E......Page scandjvutmp4da_0001.djvu
F......Page scandjvutmp4dc_0001.djvu
G......Page scandjvutmp4de_0001.djvu
H-I......Page scandjvutmp4df_0001.djvu
L......Page scandjvutmp4e2_0001.djvu
M-N......Page scandjvutmp4e3_0001.djvu
O-P......Page scandjvutmp4e4_0001.djvu
Q......Page scandjvutmp4e5_0001.djvu
R-S......Page scandjvutmp4e6_0001.djvu
T-V-W......Page scandjvutmp4e8_0001.djvu
Índice Analítico......Page scandjvutmp4e9_0001.djvu
A......Page 602
B-C-D......Page scandjvutmp4ea_0001.djvu
E-F......Page scandjvutmp4eb_0001.djvu
G-H-I-J-K-L......Page scandjvutmp4ec_0001.djvu
M-N-O-P-Q......Page scandjvutmp4ed_0001.djvu
R-S-T......Page scandjvutmp4ee_0001.djvu
U-V-W......Page scandjvutmp4ef_0001.djvu
