Do Prefácio:
Como o título indica, este livro é mais uma descrição do crescimento da Lógica do que uma tentativa de historiar aquilo que os autores do passado, bons e maus, disseram sobre esta ciência. Para manter a continuidade e a fim de dar uma perspectiva histórica, a minha mulher e eu incluímos algumas referências a trabalhos que em si mesmos não mereceriam ser lembrados; e ocasionalmente até, permitimo-nos uma certa curiosidade de antiquário quando julgamos que o resultado poderia ser de interesse para outros. Mas a nossa finalidade principal foi a de fixar os primeiros sinais daquelas ideias que nos parecem ser as mais importantes na lógica do nosso tempo. Um tal programa baseia-se em juízos de valor e compreendemos que a nossa seleção de material, e sobretudo os nossos comentários, especialmente nos últimos capítulos, possam parecer estranhos a alguns leitores. Em defesa do nosso empreendimento apenas poderemos dizer que seguimos o plano sugerido pelos nossos interesses e que não poderíamos ter escrito um livro diferente.
A ideia de tentar uma história da lógica, nestas bases, ocorreu-me pela primeira vez em 1947, quando me pediram para fazer uma conferência em Cambridge no centenário da publicação da obra de Boole Mathematical Analysis of Logic. Esta conferência foi publicada no número lvii de 1948 da revista Mind e, por autorização do diretor, aparece agora em parte no capítulo VI deste livro. Durante os dez anos seguintes dei ao projeto todo o tempo disponível que me ficava depois das aulas e de outros trabalhos urgentes e em 1957 tinha um texto provisório que abrangia a maior parte do plano mas de maneira bastante desigual. Parte do que se encontra agora no capítulo IX, §3, foi publicado sob o título ‘The Province of Logic’ em Contemporary British Philosophy, Third Series (George Allen & Unwin, 1956) e é agora reimpresso com autorização dos editores; mas muito do que então escrevi não me pareceu satisfatório. Como se poderia prever, os primeiros capítulos, que reuni ràpidamente num estilo impressionista, foram os que necessitaram maior revisão e em breve concluí que teriam que ser completamente escritos de novo. Por esta altura os Leverhulme Trustees deram-me uma bolsa que tornou possível deixar por dois períodos as minhas aulas no Exeter College. Estou reconhecido pela sua ajuda generosa que me permitiu acabar o que agora são os capítulos IV, V e VI. Mas mesmo assim julgo que poderia ter desanimado se ao mesmo tempo a minha mulher não aceitasse encarregar-se da parte grega desta obra e dedicar-lhe não só um período de licença sabática, mas, durante os dois anos e meio seguintes, todo o seu tempo disponível. À parte a seção final sobre o Sistema Estoico dos Esquemas de Inferência, os três primeiros capítulos, tal como estão, foram escritos por ela. Ajudou-me também a tratar muitos temas nos outros capítulos.
Author(s): William Kneale, Marta Kneale
Edition: 2ª Edição
Publisher: Fundação Calouste Gulbenkian
Year: 1980
Language: Portuguese
Pages: 788
City: Lisboa, Portugal
Capa......Page O Desenvolvimento da Lógica . 2ª Edição . 1962 . William Kneale . Marta Kneale.djvu
Contracapa......Page scandjvutmpf7_0001.djvu
Aba da Capa......Page scandjvutmpf8_0001.djvu
Aba da Contracapa......Page scandjvutmpf9_0001.djvu
Título......Page scandjvutmpfc_0001.djvu
Dados da Publicação......Page scandjvutmpfd_0001.djvu
Impressão da 2ª Edição......Page scandjvutmp219_0001.djvu
Prefácio à Edição Portuguesa......Page scandjvutmpfe_0001.djvu
Prefácio......Page scandjvutmp102_0001.djvu
Índice Geral......Page scandjvutmp215_0001.djvu
I – Origens......Page scandjvutmp104_0001.djvu
1. A Noção de Validade......Page 15
2. Demonstração Geométrica......Page scandjvutmp106_0001.djvu
3. Dialética e Metafísica......Page scandjvutmp10a_0001.djvu
4. Erística e Sofística......Page scandjvutmp10f_0001.djvu
5. Platão e a Filosofia da Lógica......Page scandjvutmp114_0001.djvu
II – O Organon de Aristóteles......Page scandjvutmp11a_0001.djvu
1. Conteúdo do Organon......Page 37
2. A Doutrina das Categorias e as suas Consequências Lógicas......Page scandjvutmp11c_0001.djvu
3. Os Tópicos......Page scandjvutmp123_0001.djvu
4. Teoria Aristotélica do Sentido e da Verdade......Page scandjvutmp12f_0001.djvu
5. As Quatro Formas da Frase Declarativa Geral......Page scandjvutmp139_0001.djvu
6. A Doutrina do Silogismo......Page scandjvutmp146_0001.djvu
7. A Lógica Modal de Aristóteles......Page scandjvutmp154_0001.djvu
8. Lógica Não-Silogística nos Analíticos......Page scandjvutmp163_0001.djvu
9. A Escola de Aristóteles: Teofrasto......Page scandjvutmp167_0001.djvu
III – Os Megáricos e os Estoicos......Page scandjvutmp174_0001.djvu
1. A Filosofia Megárica e as Origens da Lógica Estoica......Page 127
2. As Teorias Megárica e Estoica da Modalidade......Page scandjvutmp178_0001.djvu
3. O Debate sobre a Natureza das Frases Declarativas Condicionais......Page scandjvutmp183_0001.djvu
4. A Teoria Estoica do Sentido e da Verdade......Page scandjvutmp3_0001.djvu
5. O Sistema Estoico dos Esquemas de Inferência......Page scandjvutmp1a_0001.djvu
IV – Lógica Romana e Medieval......Page scandjvutmp2d_0001.djvu
1. De Cícero a Boécio......Page 193
2. De Alcuíno a Abelardo......Page scandjvutmp43_0001.djvu
3. A Lógica das Universidades......Page scandjvutmp5e_0001.djvu
4. Proprietates Terminorum......Page scandjvutmp0_0001_1.djvu
5. Consequentiae......Page scandjvutmp1d_0001_1.djvu
VI – A Lógica do Renascimento......Page scandjvutmp24_0001_1.djvu
1. O Humanismo e o Desenvolvimento das Ciências da Natureza......Page 315
2. Os Interesses de Leibniz......Page scandjvutmp3a_0001_1.djvu
3. O Calculus de Continentibus et Contentis de Leibniz......Page scandjvutmp4c_0001_1.djvu
4. De Saccheri a Hamilton......Page scandjvutmp55_0001_1.djvu
5. Bolzano e Mill......Page scandjvutmp63_0001_1.djvu
VI – A Abstração Matemática......Page scandjvutmp77_0001.djvu
1. Geometria e Axiomática......Page 397
2. Números e Funções......Page scandjvutmp82_0001.djvu
3. Boole e a Álgebra da Lógica......Page scandjvutmp91_0001.djvu
4. Progressos Posteriores da Álgebra de Boole......Page scandjvutmpa1_0001.djvu
5. A Teoria das Relações: De Morgan e Peirce......Page scandjvutmpa8_0001.djvu
VII – Números, Conjuntos e Séries......Page scandjvutmpb0_0001.djvu
1. Frege e os seus contemporâneos......Page 453
2. Teoria dos Conjuntos de Cantor......Page scandjvutmpb3_0001.djvu
3. Frege e os seus antecesores......Page scandjvutmpb8_0001.djvu
4. A Definição de Frege dos Números Naturais......Page scandjvutmpc4_0001.djvu
5. A Sucessão dos Números: Dedekind e Peano......Page scandjvutmpcf_0001.djvu
VII – A Lógica de Frege......Page scandjvutmpda_0001.djvu
1. O Begriffsschrift......Page 495
2. Significado e Referência: Objeto e Funções......Page scandjvutmpe9_0001.djvu
3. A Lógica dos Grundgesetze......Page scandjvutmpf3_0001.djvu
4. O Sucesso de Frege......Page scandjvutmpfa_0001_1.djvu
IX – Desenvolvimentos Formais depois de Frege......Page scandjvutmpfd_0001_1.djvu
1. Espécies de Notação......Page 531
2. Métodos de Argumentação: Axiomas e Regras......Page scandjvutmp108_0001_1.djvu
3. Dedução Natural e Desenvolvimento......Page scandjvutmp118_0001_1.djvu
4. Lógica Modal......Page scandjvutmp122_0001_1.djvu
5. Outros Sistemas de Lógica......Page scandjvutmp136_0001_1.djvu
X – A Filosofia da Lógica depois de Frege......Page scandjvutmp13e_0001_1.djvu
1. Expressão, Designação e Verdade......Page 595
2. A Teoria das Descrições e as Espécies de Designações......Page scandjvutmp14f_0001_1.djvu
3. Problemas de Intensionalidade......Page scandjvutmp15a_0001_1.djvu
4. Identidade, Funções e Classes......Page scandjvutmp172_0001_1.djvu
5. Necessidade e Linguagem......Page scandjvutmp18f_0001.djvu
XI – A Filosofia da Matemática depois de Frege......Page scandjvutmp1a6_0001.djvu
1. Os Paradoxos da Teoria dos Conjuntos......Page 671
2. A Teoria de Russell dos Tipos Lógicos......Page scandjvutmp1ab_0001.djvu
3. O Intuicionismo de Brouwer......Page scandjvutmp1bb_0001.djvu
4. O Programa de Hilbert da Metamatemática......Page scandjvutmp1c4_0001.djvu
XII – A Teoria dos Sistemas Dedutivos......Page scandjvutmp1cb_0001.djvu
1. A Metateoria da Lógica Primária......Page 709
2. A Metateoria da Lógica Geral......Page scandjvutmp1d8_0001.djvu
3. Metateoria da Aritmética Formal......Page scandjvutmp1e3_0001.djvu
4. O Problema da Decisão......Page scandjvutmp1ef_0001.djvu
5. O Lugar da Lógica entre as Ciências......Page scandjvutmp1fb_0001.djvu
Bibliografia......Page scandjvutmp203_0001.djvu
A......Page 765
B......Page scandjvutmp204_0001.djvu
C-D-E......Page scandjvutmp205_0001.djvu
F-G-H......Page scandjvutmp206_0001.djvu
J-K-L-M......Page scandjvutmp207_0001.djvu
O-P......Page scandjvutmp208_0001.djvu
Q-R-S......Page scandjvutmp209_0001.djvu
T-V-W-Z......Page scandjvutmp20a_0001.djvu
Índice Sistemático......Page scandjvutmp20b_0001.djvu
A-B......Page 773
C......Page scandjvutmp20c_0001.djvu
D......Page scandjvutmp20d_0001.djvu
E-F-G......Page scandjvutmp20e_0001.djvu
H-I-J......Page scandjvutmp20f_0001.djvu
K-L-M......Page scandjvutmp210_0001.djvu
N-O-P......Page scandjvutmp211_0001.djvu
Q-R-S......Page scandjvutmp212_0001.djvu
T-U......Page scandjvutmp213_0001.djvu
V-W-Z......Page scandjvutmp214_0001.djvu
