𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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


Paraconsistency
✍ Igor Urbas πŸ“‚ Article πŸ“… 1990 πŸ› Springer Netherlands 🌐 English βš– 610 KB
Language games and intuitionism
✍ Neil Tennant πŸ“‚ Article πŸ“… 1979 πŸ› Springer Netherlands 🌐 English βš– 812 KB

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

Against Against Intuitionism
✍ Dirk Schlimm πŸ“‚ Article πŸ“… 2005 πŸ› Springer Netherlands 🌐 English βš– 92 KB