• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Três Vezes Não: um estudo sobre as negações clássica, paraconsistente e paracompleta

Três Vezes Não: um estudo sobre as negações clássica, paraconsistente e paracompleta

Paperback

FictionLogic

ISBN10: 1848903928
ISBN13: 9781848903920
Publisher: Kings College Pubn
Published: Feb 11 2022
Pages: 250
Weight: 0.78
Height: 0.53 Width: 6.14 Depth: 9.21
Language: Portuguese
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 sobre a negação, o autor apresenta ao leitor sua pesquisa, seus desenvolvimentos e o convoca a ajuda-lo nessa empreitada.

Also in

Fiction