Livros importados
Livros importados
Novo, importado, em estoque. ATENÇÃO: Estado de conservação compatível com o ano de edição, com possíveis marcas de exposição, amarelamento e manchas de oxidação. Desde a sua criação por Newton da Costa, a lógica paraconsistente tem se desenvolvido de forma intensa. Inicialmente, uma das principais motivações que levou a Costa a formular esta lógica consistiu na nova perspectiva que traz para o exame dos célebres paradoxos da teoria de conjuntos. Neste livro, os autores exploram alguns aspectos desta perspectiva, fornecendo uma ideia geral na teoria paraconsistente de conjuntos, tal como desenvolvida a partir das invenções de da Costa. Após a apresentação de diversas lógicas paraconsistentes, algumas teorias paraconsistentes de conjuntos são estudadas e suas propriedades mais importantes discutidas. Os autores examinam, então, em linhas gerais, duas aplicações dessas teorias: uma à teoria paraconsistente de modelos e à matemática paraconsistente (particularmente à geometria e ao cálculo infinitesimal). Nos apêndices, eles proporcionam ainda estudos sobre a história da lógica paraconsistente, breve exame de algumas de suas implicações filosóficas, bem como das questões que suscita acerca da própria natureza da lógica.
Editora: UNICAMP
Ano: 1998
ISBN: 9794135000271
