Três Vezes Não: um estudo sobre as negações clássica, paraconsistente e paracompleta
AUTHOR | Gracher, Kherian |
PUBLISHER | College Publications (02/11/2022) |
PRODUCT TYPE | Paperback (Paperback) |
Description
"O que negar? Ou melhor: o que isso que chamamos de "negao"? Rios de tinta j rolaram na busca de uma resposta a essas perguntas".
Com essas palavras o autor, logo no incio de seu trabalho, marca o que veremos a frente: um trabalho dedicado a entender o conceito lgico de negao - ou melhor, negaes. Inicialmente, o leitor ir se enveredar por quatro sistemas lgicos diferentes: a lgica clssica, a lgica paraconsistente, a lgica paracompleta e a lgica no-altica. Nesse passeio por entre formalismos, destaca-se o importante papel que o conceito de negao tem em cada um desses sistemas e como cada conectivo de negao, em cada sistema, se comporta de modo diferente. Exatamente por conta desse comportamento diverso, trs conceitos de negaes so caracterizados, levando o nome de seus sistemas: a negao clssica, a negao paraconsistente e a negao paracompleta. Estabelecido essas noes, o leitor ento convidado a entrar mais fundo na toca do coelho, sendo apresentado a uma famlia de sistemas lgicos inditos, capazes de compreender essas trs diferentes negaes em uma nica lgica, visivelmente mais simples e fcil de trabalhar. Deste modo, para alm de um estudo exegtico-formal sobre a negao, o autor apresenta ao leitor sua pesquisa, seus desenvolvimentos e o convoca a ajuda-lo nessa empreitada.
Com essas palavras o autor, logo no incio de seu trabalho, marca o que veremos a frente: um trabalho dedicado a entender o conceito lgico de negao - ou melhor, negaes. Inicialmente, o leitor ir se enveredar por quatro sistemas lgicos diferentes: a lgica clssica, a lgica paraconsistente, a lgica paracompleta e a lgica no-altica. Nesse passeio por entre formalismos, destaca-se o importante papel que o conceito de negao tem em cada um desses sistemas e como cada conectivo de negao, em cada sistema, se comporta de modo diferente. Exatamente por conta desse comportamento diverso, trs conceitos de negaes so caracterizados, levando o nome de seus sistemas: a negao clssica, a negao paraconsistente e a negao paracompleta. Estabelecido essas noes, o leitor ento convidado a entrar mais fundo na toca do coelho, sendo apresentado a uma famlia de sistemas lgicos inditos, capazes de compreender essas trs diferentes negaes em uma nica lgica, visivelmente mais simples e fcil de trabalhar. Deste modo, para alm de um estudo exegtico-formal sobre a negao, o autor apresenta ao leitor sua pesquisa, seus desenvolvimentos e o convoca a ajuda-lo nessa empreitada.
Show More
Product Format
Product Details
ISBN-13:
9781848903920
ISBN-10:
1848903928
Binding:
Paperback or Softback (Trade Paperback (Us))
Content Language:
Portuguese
More Product Details
Page Count:
250
Carton Quantity:
32
Product Dimensions:
6.14 x 0.53 x 9.21 inches
Weight:
0.78 pound(s)
Country of Origin:
US
Subject Information
BISAC Categories
Mathematics | Logic
Mathematics | Logic
Descriptions, Reviews, Etc.
publisher marketing
"O que negar? Ou melhor: o que isso que chamamos de "negao"? Rios de tinta j rolaram na busca de uma resposta a essas perguntas".
Com essas palavras o autor, logo no incio de seu trabalho, marca o que veremos a frente: um trabalho dedicado a entender o conceito lgico de negao - ou melhor, negaes. Inicialmente, o leitor ir se enveredar por quatro sistemas lgicos diferentes: a lgica clssica, a lgica paraconsistente, a lgica paracompleta e a lgica no-altica. Nesse passeio por entre formalismos, destaca-se o importante papel que o conceito de negao tem em cada um desses sistemas e como cada conectivo de negao, em cada sistema, se comporta de modo diferente. Exatamente por conta desse comportamento diverso, trs conceitos de negaes so caracterizados, levando o nome de seus sistemas: a negao clssica, a negao paraconsistente e a negao paracompleta. Estabelecido essas noes, o leitor ento convidado a entrar mais fundo na toca do coelho, sendo apresentado a uma famlia de sistemas lgicos inditos, capazes de compreender essas trs diferentes negaes em uma nica lgica, visivelmente mais simples e fcil de trabalhar. Deste modo, para alm de um estudo exegtico-formal sobre a negao, o autor apresenta ao leitor sua pesquisa, seus desenvolvimentos e o convoca a ajuda-lo nessa empreitada.
Com essas palavras o autor, logo no incio de seu trabalho, marca o que veremos a frente: um trabalho dedicado a entender o conceito lgico de negao - ou melhor, negaes. Inicialmente, o leitor ir se enveredar por quatro sistemas lgicos diferentes: a lgica clssica, a lgica paraconsistente, a lgica paracompleta e a lgica no-altica. Nesse passeio por entre formalismos, destaca-se o importante papel que o conceito de negao tem em cada um desses sistemas e como cada conectivo de negao, em cada sistema, se comporta de modo diferente. Exatamente por conta desse comportamento diverso, trs conceitos de negaes so caracterizados, levando o nome de seus sistemas: a negao clssica, a negao paraconsistente e a negao paracompleta. Estabelecido essas noes, o leitor ento convidado a entrar mais fundo na toca do coelho, sendo apresentado a uma famlia de sistemas lgicos inditos, capazes de compreender essas trs diferentes negaes em uma nica lgica, visivelmente mais simples e fcil de trabalhar. Deste modo, para alm de um estudo exegtico-formal sobre a negao, o autor apresenta ao leitor sua pesquisa, seus desenvolvimentos e o convoca a ajuda-lo nessa empreitada.
Show More
List Price $27.00
Your Price
$26.19