Dualising Intuitionictic Negation

Autores/as

  • Graham Priest Universities of Melbourne and St Andrews

DOI:

https://doi.org/10.5007/1808-1711.2009v13n2p165

Resumen

Uma das razões de da Costa para erigir a lógica paraconsistente Cw foi a dualização da negaço intuicionista. Neste artigo eu exploro urn modo alternativo de chegar a este resultado. Uma lógica é definida a partir de uma semântica de Kripke para a lógica intuicionista, e então dualizando as condições de verdade para a negação. Várias propriedades desta lógica são estabelecidas, incluindo suas relações com Cw. O Sistemas de tableau e de dedução natural são apresentados, bem como as estruturas algébricas apropriadas. 0 artigo investiga então a dualização do condicional intuicionista seguindo o mesmo procedimento. Isso estabelece várias conexões entre a lógica, e uma lógica denominada na literatura de 'lógica Brouweriana' ou lógica 'closed-set'.

Biografía del autor/a

Graham Priest, Universities of Melbourne and St Andrews

Graham Priest[1]  (born 1948, London) is Boyce Gibson Professor of Philosophy  at the University of Melbourne and a distinguished professor of philosophy at the CUNY Graduate Center, as well as a regular visitor at St. Andrews University. He was educated at the University of Cambridge and the London School of Economics. His thesis advisor was John Lane Bell.Departments of Philosophy Universities of Melbourne, St Andrews, and the Graduate Center, City University of New York

Descargas

Publicado

2009-01-01

Número

Vol. 13 Núm. 2 (2009)

Sección

Articles

Licencia

Licença Creative Commons

Principia  http://www.periodicos.ufsc.br/index.php/principia/index is licenced under a  Creative Commons - Atribuição-Uso Não-Comercial-Não a obras derivadas 3.0 Unported.

Base available in www.periodicos.ufsc.br.