Elementos de Teoria Paraconsistente de Conjuntos (Coleção CLE)

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