Do Prefácio:
Este livro encerra parte do conteúdo de seminários e conferências por nós feitos no Brasil e na França, em diversas oportunidades, nos últimos cinco ou seis anos. Sua finalidade é a de fornecer uma ideia geral da teoria paraconsistente de conjuntos, tal como tem sido desenvolvida a partir das investigações do primeiro autor. Muitos resultados são incluídos sem demonstração, mas o leitor as encontrará nas obras constantes da bibliografia fornecida.
Os apêndices constituem traduções de artigos a serem publicados em inglês e possuem bibliografias próprias. Algumas superposições com o material exposto no livro não foram eliminadas pelo fato de nos parecerem elucidativas, tratando do mesmo tema em contextos diversos.
Author(s): Newton Carneiro Affonso da Costa, Jean-Yves Béziau, Otávio Bueno
Series: Coleção CLE, vol. 23
Publisher: Centro de Lógica, Epistemologia e História da Ciência, Universidade Estadual de Campinas
Year: 1998
Language: Portuguese
Pages: 206
City: Campinas, Brazil
Elementos de Teoria Paraconsistente de Conjuntos . Newton C. A. da Costa . Jean-Yves Béziau . Otávio Bueno......Page
Capa......Page Elementos de Teoria Paraconsistente de Conjuntos . Newton C. A. da Costa et al.djvu
Contracapa......Page scandjvutmpa6a_0001.djvu
Orelha da Capa......Page scandjvutmpa6c_0001.djvu
Orelha da Contracapa......Page scandjvutmpa6d_0001.djvu
Página de Título......Page scandjvutmpa72_0001.djvu
Copyright......Page scandjvutmpa73_0001.djvu
Dedicatória......Page scandjvutmpa74_0001.djvu
Sumário......Page scandjvutmpa75_0001.djvu
Prefácio......Page scandjvutmpa77_0001.djvu
Introdução......Page scandjvutmpa78_0001.djvu
1 – Algumas Lógicas Paraconsistentes......Page scandjvutmpa89_0001.djvu
2 – Paraconsistência e Conjuntos......Page scandjvutmpa99_0001.djvu
3 – Esboço de Duas Aplicações: Teoria Paraconsistente de Modelos e Cálculo Infinitesimal Paraconsistente......Page scandjvutmpac5_0001.djvu
Apêndice 1 – A Lógica Paraconsistente: História de uma Revolução Conceitual, por Jean-Yves Béziau......Page scandjvutmpadc_0001.djvu
1. A gestação: 1910-1963......Page 117
2. O nascimento e a infância: 1963-1976......Page scandjvutmpade_0001.djvu
3. O batismo e a adolescência: 1976-1991......Page scandjvutmpae0_0001.djvu
4. A idade da razão: 1991......Page scandjvutmpae3_0001.djvu
5. Da lógica paraconsistente à lógica universal......Page scandjvutmpae5_0001.djvu
Referências Bibliográficas......Page scandjvutmpae6_0001.djvu
Apêndice 2 – Paraconsistência: Esboço de Uma Interpretação, por Newton C. A. da Costa e Otávio Bueno......Page scandjvutmpaea_0001.djvu
Introdução......Page 131
1. Lógica, matemática, paraconsistência......Page scandjvutmpaeb_0001.djvu
2. Motivação: paraconsistência e teoria de conjuntos......Page scandjvutmpaf2_0001.djvu
3. Paraconsistência: observações acerca de seu estatuto teórico......Page scandjvutmpaf5_0001.djvu
3.1 Lógica pura, lógica aplicada e paraconsistência......Page 140
3.2 Lógica, mecânica quântica e paraconsistência......Page scandjvutmpaf9_0001.djvu
4. Paraconsistência: algumas aplicações técnicas......Page scandjvutmpafd_0001.djvu
4.1 O conjunto de Russell e a paraconsistência......Page scandjvutmpafe_0001.djvu
4.2 Uma álgebra booleana paraconsistente......Page scandjvutmpb01_0001.djvu
4.3 Análise semântica de uma lógica paraconsistente......Page scandjvutmpb05_0001.djvu
5. Um estudo de caso: silogismo e paraconsistência......Page scandjvutmpb09_0001.djvu
5.1 A silogística clássica......Page 160
5.2 Silogística paraconsistente......Page scandjvutmpb0c_0001.djvu
6. Observações finais......Page scandjvutmpb0e_0001.djvu
Referências Bibliográficas......Page scandjvutmpb0f_0001.djvu
Apêndice 3 – A Lógica Pode Ser Simples (Lógica, Congruência e Álgebra), por Jean-Yves Béziau......Page scandjvutmpb12_0001.djvu
Advertência 1......Page 169
Advertência 2......Page scandjvutmpb13_0001.djvu
1. Introdução: uma boa lógica é necessariamente intrincada?......Page 170
2. A lógica como estrutura......Page scandjvutmpb16_0001.djvu
3. Congruência em lógica......Page scandjvutmpb19_0001.djvu
4. Algebrização da lógica......Page scandjvutmpb1b_0001.djvu
5. As álgebras de Curry são álgebras?......Page scandjvutmpb20_0001.djvu
6. A lógica é redutível à álgebra?......Page scandjvutmpb22_0001.djvu
7. As lógicas simples possuem semântica?......Page scandjvutmpb24_0001.djvu
8. Conclusão: a simplicidade não é um defeito......Page scandjvutmpb26_0001.djvu
Referências Bibliográficas......Page scandjvutmpb29_0001.djvu
Referências Bibliográficas......Page scandjvutmpb30_0001.djvu
