Abstract
Of the various accounts of negation that have been offered by logicians in the history of Western logic, that of negation as cancellation is a very distinctive one, quite different from the explosive accounts of modern "classical" and intuitionist logics, and from the accounts offered in standard relevant and paraconsistent logics. Despite its ancient origin, however, a precise understanding of the notion is still wanting. The first half of this paper offers one. Both conceptually and historically, the account of negation as cancellation is intimately connected with connexivist principles such as ¬(α → ¬α). Despite this, standard connexivist logics incorporate quite different accounts of negation. The second half of the paper shows how the cancellation account of negation of the first part gives rise to a semantics for a simple connexivist logic.
Similar content being viewed by others
References
Abelard, Peter: 1956, Dialectica, ed. L.M. De Rijk, Assen: Van Gorcum.
Anderson, A. and Belnap, N.: 1975, Entailment, Vol. I, Princeton: Princeton University Press.
Angell, R.B.: 1962, 'A Propositional Logic with Subjunctive Conditionals', Journal of Symbolic Logic 27, 327–343.
Berkeley, George: 1951, The Works of George Berkeley, Vol. IV, ed. A.A. Luce and T.E. Jessop, London: Thomas Nelson and Sons.
Bochenski, I.M.: 1961, A History of Formal Logic, Notre Dame: University of Notre Dame Press.
Findlay, J.N.: 1958, Hegel; a Reexamination, London: Allen & Unwin.
Kneale, W. and Kneale, M.: 1962, The Development of Logic, Oxford: Oxford University Press.
Lear, J.: 1988, Aristotle: the Desire to Understand, Cambridge: Cambridge University Press.
McCall, S.: 1966, 'Connexive Implication', Journal of Symbolic Logic 31, 415–433.
McCall, S.: 1967, 'Connexive Logic and the Syllogism', Mind 76, 346–356.
McCall, S.: 1975, 'Connexive Implication', Section 29.8 of Anderson and Belnap (1975).
Mortensen, C.: 1984, 'Aristotle's Thesis in Consistent and Inconsistent Logics, Studia Logica 43, 107–116.
Nelson, E.J.: 1930, 'Intensional Relations', Mind 39, 440–453.
Priest, G.: 1998, 'To Be and not to Be – That is the Answer', Philosophiegeschichte und logische Analyse 1, 91–130.
Rescher, N. and Manor, R.: 1970–1971, 'On Inference from Inconsistent Premises', Theory and Decision 1, 179–217.
Ross, W.D. (ed.): 1928, The Works of Aristotle, Vol. I, Oxford: Clarendon Press.
Routley, R.: 1978, 'Semantics for Connexive Logics, I' Studia Logica 37, 393–412.
Routley, R., Meyer, R.K., Plumwood, V. and Brady, R.: 1982, Relevant Logics and their Rivals, Atascadero: Ridgeview.
Routley, R. and Routley, V.: 1985, 'Negation and Contradiction', Rivista Columbiana de Matemáticas 19, 201–231.
Smiley, T.J.: 1959, 'Entailment and Deducibility', Proceedings of the Aristotelian Society 59, 233–254.
Strawson, P.: 1952, Introduction to Logical Theory, Oxford: Oxford University Press.
Sylvan, R.: 1989, Bystanders' Guide to Sociative Logics, Research Series in Logic and Metaphysics, No. 4, Department of Philosophy, Research School of Social Sciences, Australian National University, Canberra.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Priest, G. Negation as Cancellation, and Connexive Logic. Topoi 18, 141–148 (1999). https://doi.org/10.1023/A:1006294205280
Issue Date:
DOI: https://doi.org/10.1023/A:1006294205280