Anti-intuitionism and paraconsistency
β Scribed by Andreas B.M. Brunner; Walter A. Carnielli
- Publisher
- Elsevier Science
- Year
- 2005
- Tongue
- English
- Weight
- 243 KB
- Volume
- 3
- Category
- Article
- ISSN
- 1570-8683
No coin nor oath required. For personal study only.
β¦ Synopsis
This paper aims to help to elucidate some questions on the duality between the intuitionistic and the paraconsistent paradigms of thought, proposing some new classes of anti-intuitionistic propositional logics and investigating their relationships with the original intuitionistic logics. It is shown here that anti-intuitionistic logics are paraconsistent, and in particular we develop a first anti-intuitionistic hierarchy starting with Johansson's dual calculus and ending up with GΓΆdel's three-valued dual calculus, showing that no calculus of this hierarchy allows the introduction of an internal implication symbol. Comparing these anti-intuitionistic logics with well-known paraconsistent calculi, we prove that they do not coincide with any of these. On the other hand, by dualizing the hierarchy of the paracomplete (or maximal weakly intuitionistic) many-valued logics (I n ) nβΟ we show that the anti-intuitionistic hierarchy (I n * ) nβΟ obtained from (I n ) nβΟ does coincide with the hierarchy of the many-valued paraconsistent logics (P n ) nβΟ . Fundamental properties of our method are investigated, and we also discuss some questions on the duality between the intuitionistic and the paraconsistent paradigms, including the problem of self-duality. We argue that questions of duality quite naturally require refutative systems (which we call elenctic systems) as well as the usual demonstrative systems (which we call deictic systems), and multiple-conclusion logics are used as an appropriate environment to deal with them.
π SIMILAR VOLUMES
In his paper 'The Philosophical Basis of Intuitionistic Logic 'l, Dummett argues towards a justification of intuitionistic logic from a broad Wittgensteinian thesis about meaning: that every aspect of meaning must be such that one's grasp thereof is capable of being manifested eventually and implici