College Publications logo   College Publications title  
View Basket
Homepage Contact page
   
 
AiML
Academia Brasileira de Filosofia
Algorithmics
Cadernos de Lógica e Computação
Cadernos de Lógica e Filosofia
Cahiers de Logique et d'Epistemologie
Communication, Mind and Language
Computing
Cuadernos de lógica, Epistemología y Lenguaje
DEON
Dialogues
Economics
Encyclopaedia of Logic
Filosofia
Handbooks
Historia Logicae
IfColog series in Computational Logic
Journal of Applied Logics - IfCoLog Journal
Journals
Landscapes
Logics for New-Generation AI
Logic and Law
Logic and Semiotics
Logic PhDs
Logic, Methodology and Philosophy of Science
The Logica Yearbook
Neural Computing and Artificial Intelligence
Philosophy
Research
The SILFS series
Studies in Logic
Studies
Student Publications
Systems
Texts in Logic and Reasoning
Texts in Mathematics
Tributes
Other
Digital Downloads
Information for authors
About us
Search for Books
 



Cadernos de Lógica e Filosofia


Back

Três Vezes Não

um estudo sobre as negações clássica, paraconsistente e paracompleta

Kherian Gracher

"O que é negar? Ou melhor: o que é isso que chamamos de "negação"? Rios de tinta já rolaram na busca de uma resposta a essas perguntas".

Com essas palavras o autor, logo no início de seu trabalho, marca o que veremos a frente: um trabalho dedicado a entender o conceito lógico de negação - ou melhor, negações. Inicialmente, o leitor irá se enveredar por quatro sistemas lógicos diferentes: a lógica clássica, a lógica paraconsistente, a lógica paracompleta e a lógica não-alética. Nesse passeio por entre formalismos, destaca-se o importante papel que o conceito de negação tem em cada um desses sistemas e como cada conectivo de negação, em cada sistema, se comporta de modo diferente. Exatamente por conta desse comportamento diverso, três conceitos de negações são caracterizados, levando o nome de seus sistemas: a negação clássica, a negação paraconsistente e a negação paracompleta. Estabelecido essas noções, o leitor é então convidado a entrar mais fundo na toca do coelho, sendo apresentado a uma família de sistemas lógicos inéditos, capazes de compreender essas três diferentes negações em uma única lógica, visivelmente mais simples e fácil de trabalhar. Deste modo, para além de um estudo exegético-formal so e a negação, o autor apresenta ao leitor sua pesquisa, seus desenvolvimentos e o convoca a ajuda-lo nessa empreitada.

See inside

978-1-84890-392-0

Buy from Amazon: UK   US   BR   






© 2005–2022 College Publications / VFH webmaster