On Negation: Pure Local Rules

This is an initial systematic study of the properties of negation from the point of view of abstract deductive systems. A unifying framework of multiple-conclusion consequence relations is adopted so as to allow us to explore symmetry in exposing and matching a great number of positive contextual sub-classical rules involving this logical constant-among others, well-known forms of proof by cases, consequentia mirabilis and reductio ad absurdum. Finer definitions of paraconsistency and the dual paracompleteness can thus be formulated, allowing for pseudo-scotus and ex contradictione to be differentiated and for a comprehensive version of the Principle of Non-Triviality to be presented. A final proposal is made to the effect that-pure positive rules involving negation being often fallible-a characterization of what most negations in the literature have in common should rather involve, in fact, a reduced set of negative rules. © 2004 Elsevier B.V. All rights reserved.31185219Avron, A., Simple consequence relations (1991) Inform. and Comput., 92, pp. 105-139Avron, A., Negation: Two points of view (1999) What Is Negation?, 13, pp. 3-22. , D.M. Gabbay, H. Hansing (Eds.), Applied Logic Series, Kluwer, DordrechtAvron, A., Formula-preferential systems for paraconsistent non-monotonic reasoning (2001) Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001), 2, pp. 823-827. , H.R. Arabnia (Ed.), CSREA Press Athens GA, USAAvron, A., On negation, completeness and consistency (2002) Handbook of Philosophical Logic, 9, pp. 287-319. , D.M. Gabbay, F. Guenthner (Eds.), second ed., Kluwer, DordrechtAvron, A., Lev, I., Canonical propositional Gentzen-type systems (2001) Automated Reasoning: Proceedings of the First International Joint Conference (IJCAR 2001), 2083, pp. 529-544. , R. Gore, A. Leitsch, T. Nipkow (Eds.), held in Siena, Italy, June 2001 Lecture Notes in Artificial Intelligence, Springer-VerlagBatens, D., A survey of inconsistency-adaptive logics (2000) Frontiers of Paraconsistent Logic, pp. 49-73. , D. Batens, C. Mortensen, G. Priest, J.P. Van Bendegem (Eds.) Proceedings of the 1st World Congress on Paraconsistency, held in Ghent, Belgium, July 29-August 3, 1997, Research Studies Press BaldockBellissima, F., Pagli, P., Consequentia mirabilis. Una regola tra matematica e filosofia (1996), Leo Olschki FlorenceBéziau, J.-Y., Théorie legislative de la négation pure (1994) Logique et Anal., 147-148, pp. 209-225Béziau, J.-Y., Universal logic (1994) Logica'94, pp. 73-93. , T. Childers, O. Majers (Eds.), Proceedings of the 8th International Symposium, Czech Academy of Science Prague, Czech RepublicBéziau, J.-Y., Negation: What it is & what it is not (1996) Bol. Soc. Paran. Mat., 15 (1-2), pp. 37-43. , (2)Béziau, J.-Y., Rules, derived rules, permissible rules and the various types of systems of deduction (1999) Pratica, pp. 159-184Béziau, J.-Y., What is paraconsistent logic? (2000) Frontiers of Paraconsistent Logic, pp. 95-111. , D. Batens, C. Mortensen, G. Priest, J.P. Van Bendegem (Eds.), Proceedings of the 1st World Congress on Paraconsistency, held in Ghent, Belgium, July 29-August 3, 1997, Research Studies Press Baldock, UKCaleiro, C., Combining logics (2000), http://www.cs.math.ist.utl.pt/ftp/pub/CaleiroC/00-C-PhDthesis.ps, PhD thesis, IST, Universidade Técnica de LisboaCarnap, R., The Logical Syntax of Language (1949), London: Routledge & Kegan PaulCarnielli, W.A., Marcos, J., Limits for paraconsistent calculi (1999) Notre Dame J. Formal Logic, 40 (3), pp. 375-390Carnielli, W.A., Marcos, J., A taxonomy of C-systems (2002) Paraconsistency: The Logical Way to the Inconsistent, 228, pp. 1-94. , http://www.cle.unicamp.br/e-prints/abstract_5.htm, W.A. Carnielli, M.E. Coniglio, I.M.L. D'Ottaviano (Eds.) Proceedings of the 2nd World Congress on Paraconsistency, held in Juquehy, Brazil, May 8-12, 2000 Lecture Notes in Pure and Applied Mathematics, Marcel DekkerCurry, H.B., On the definition of negation by a fixed proposition in inferential calculus (1952) J. Symbolic Logic, 17 (2), pp. 98-104da Costa, N.C.A., Observações sobre o conceito de existência em matemática (1959) An. Soc. Paran. Mat., 2, pp. 16-19Fagin, R., Halpern, J.Y., Vardi, M.Y., What is an inference rule? (1992) J. Symbolic Logic, 57 (3), pp. 1018-1045Gabbay, D.M., Wansing, H., What is Negation? (1999) Applied Logic Series, 13. , Kluwer, DordrechtGabbay, D.M., What is negation in a system? (1988) Logic Colloquium'86, 124, pp. 95-112. , F.R. Drake, J.K. Truss (Eds.), Proceedings of the colloquium held at the University of Hull, uk , July 13-19, 1986 in: Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co. AmsterdamGabbay, D.M., Hunter, A., What is Negation? (1999) Applied Logic Series, 13, pp. 89-100Gabbay, D.M., Wansing, H., What is negation in a system? Negation in structured consequence relations (1996) Logic, Action and Information: Essays on Logic in Philosophy and Artificial Intelligence, pp. 328-350. , A. Fuhrmann, H. Rott (Eds.), Walter de GruyterLenzen, W., Necessary conditions for negation-operators (with particular applications to paraconsistent negation) (1998) Reasoning With Actual and Potential Contradictions, pp. 211-239. , Ph. Besnard, A. Hunter (Eds.), Kluwer, DordrechtMalinowski, G., Inferential many-valuedness (1994) Philosophical Logic in Poland, pp. 75-84. , J. Woleński (Ed.), Kluwer, DordrechtMarcos, J., Ineffable inconsistencies http://www.cs.math.ist.utl.pt/ftp/pub/MarcosJ/04-M-ii.pdf, PreprintMoisil, G., Sur la logique positive (1958) Acta Logica (An. Univ. C.I. Parhon Bucuresti), 1, pp. 149-171Nuchelmans, G., A 17th-century debate on the consequentia mirabilis (1992) Hist. Philos. Logic, 13 (1), pp. 43-58Scott, D.S., Rules and derived rules (1974) Logical Theory and Semantical Analysis, pp. 147-161. , S. Stenlund (Ed.), D. Reidel, DordrechtSette, A.M., On the propositional calculus P1 (1973) Math. Japon., 18, pp. 173-180Shoesmith, D.J., Smiley, T.J., (1978) Multiple-Conclusion Logic, , Cambridge-New York: Cambridge University PressUrbas, I., Paraconsistency and the C-systems of da Costa (1989) Notre Dame J. Formal Logic, 30 (4), pp. 583-597Urbas, I., Paraconsistency (1990) Stud. Soviet Thought, 39, pp. 343-354Wallen, L., (1990) Automated Deduction in Nonclassical Logics, , Cambridge: MIT PressWójcicki, R., (1988) Theory of Logical Calculi, , Dordrecht: Kluwe