> Mas no caso, nós temos o projeto inteiro: sei que o Wansing se refere > muito frequentemente às lógicas paraconsistente, > às lógicas paracompletas, e às suas origens históricas corretas. > > Acontece que (pelo que parece) este projeto contempla não somente as > lógicas paraconsistentes, mas também as lógicas conexivas . > Os sistemas de lógica conexiva são contra-clássicos no sentido de que > não são necessariamente subsistemas nem extensões da lógica clássica, > e são "aparentados" da paraconsistência. Acredito que seja a razao o > projeto do Wansing se referir a "lógicas. contraditorias" e. "lógicas. > inconsistnes" .
No nosso paper "A Taxonomy of C-systems" mostramos como o Princípio da Não-Contradição (PNC) é distinto do Princípio da Explosão (PPE) ---relativizados sempre para um determinado símbolo de negação. As lógicas *paraconsistentes* são definidas pela derrocada deste segundo princípio, PPE, mas não do primeiro. As lógicas que cancelam o PNC são (costumavam ser?) conhecidas como *dialéticas*. Assim como acontece com as lógicas relevantes, as lógicas dialéticas não-triviais são _em particular_ paraconsistentes. A notícia circulada pelo Walter diz que "non-trivial contradictory logics not only allow inconsistencies in theories, but contain provable contradictions." Ora, não há nada de estranho ---nem é uma novidade absoluta--- em rebatizar as lógicas dialéticas (não-triviais) como lógicas contraditórias (não-triviais). Como bem apontou o Walter, o fenômeno também tem lugar no caso das lógicas conexivas, das quais Wansing é certamente um dos maiores especialistas mundiais (é uma classe bem pequena, de todo modo). Tanto as lógicas dialéticas/contraditórias quanto as lógicas conexivas foram muito exploradas por Richard Sylvan/Routley. Abraços inconsistentes, Joao Marcos PS: Em Portugal o anglicismo "inconsistente" costuma ser tratado com os dedos tapando o nariz... -- http://sequiturquodlibet.googlepages.com/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjAZC8E9rXMzLQPWojm%3DVPQ51nsmmOJC2VGAOvtwJtGpg%40mail.gmail.com.
