Abstract
What is negation? In the present paper it is argued that negation can be regarded as a hinge between provability and disprovability (refutability). This notion of negation as falsity is developed against the background of Neil Tennant’s arguments in favour of negation in intuitionistic relevant logic. It is shown that negation in intuitionistic relevant logic is a negation as syntactical inconsistency in the sense of Dov Gabbay, and that every such negation as inconsistency is a negation as falsity, while the converse is not true.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
S. Akama. What is Strong Negation in a System? Draft, Teikyo University of Technology, 1995.
G. Crocco and L. Farinas del Cerro. Structure, Consequence Relation and Logic. In What is a Logical System?, D. M. Gabbay, ed. pp. 239–259, OUP, Oxford, 1994.
A. Almukdad and D. Nelson. Constructible Falsity and Inexact Predicates. Journal of Symbolic Logic, 49, 231–233, 1984.
N. D. Belnap. A Useful Four-Valued Logic. In Modern Uses of Multiple-Valued Logic, J. M. Dunn and G. Epstein, eds. pp. 8–37. Reidel, Dordrecht, 1977.
D. M. Gabbay. What is Negation in a System? In Logic Colloquium ‘86, F. R. Drake and J. K. Truss, eds. pp. 95–112. Elsevier, Amsterdam, 1988.
D. M. Gabbay and H. Wansing. Negation in structured consequence relations. In I.ogic, Action and Information, A. Fuhrmann and H. Rott, eds. pp. 328–350. de Gruyter, Berlin, 1996.
F. von Kutschera. Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle. Archiv für Mathematische Logik and Grundlagenforschung, 12, 104–118, 1969.
W. Lenzen. Necessary conditions for negation operators. In Negation. A Notion in Focus, H. Wan-sing, ed. pp. 37–58. de Gruyter, Berlin, 1996.
E. G. K. Lopez-Escobar. Refutability and elementary number theory. Indagationes Mathematicae, 34, 362–374, 1972.
J. Lyons. Semantics, Vol. I. Cambridge University Press, Cambridge, 1977.
D. Nelson. Constructible falsity. Journal of Symbolic Logic, 14, 16–26, 1949.
D. Pearce. n reasons for choosing N. Technical report 14/91, Gruppe für Logik, Wissenstheorie and Information, Freie Universität Berlin, 1991.
D. Pearce. Reasoning with negative information II: hard negation, strong negation and logic programs. In Nonclassical Logics and Information Processing, D. Pearce and H. Wansing, eds. pp. 63–79. Springer LNAI 619, Springer-Verlag, Berlin, 1992.
D. Pearce and G. Wagner. Reasoning with negative information I: strong negation in logic programs. In Language, Knowledge, and Intentionality, (Acta Philosophica Fennica 49),L. Haaparanta et al.,eds. pp. 430–453, Helsinki, 1990.
G. Restall. Combining Possibilities and Negations, Technical report, Automated Reasoning Project, Australian National University, Canberra, 1994.
J. Slupecki, G. Bryll and V. Wybraniec-Skardowska. The theory of rejected propositions I. Studia Logica, 29, 75–119, 1971.
J. Slupecki, G. Bryll and V. Wybraniec-Skardowska. The theory of rejected propositions II. Studia Logica, 30, 97–142, 1972.
N. Tennant. Perfect validity, entailment and paraconsistency. Studia Logica, 43, 179–198, 1984.
N. Tennant. Natural deduction and sequent calculus for intuitionistic relevant logic. Journal of Symbolic Logic, 52, 665–680, 1987.
N. Tennant. Negation, absurdity and contrariety. This volume.
N. Tennant. E-mail message to H. Wansing, 11 June 1996.
A. S. Troelstra. Arend Heyting and his contribution to intuitionism. Nieuw Archief voor liskunde, 24, 1–23, 1981.
A. S. Troelstra and D. van Dalen. Constructivism in Mathematics, Vol. 1. North-Holland, Amsterdam, 1988.
H. Wansing. The Logic of Information Structures. Springer LNAI 681, Berlin, Springer-Verlag, 1993.
R. Wôjcicki. Dual counterparts of consequence operations. Bulletin of the Section of Logic, 2, 5457, University of Lôdz, 1973.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Wansing, H. (1999). Negation As Falsity: A Reply to Tennant. In: Gabbay, D.M., Wansing, H. (eds) What is Negation?. Applied Logic Series, vol 13. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-9309-0_11
Download citation
DOI: https://doi.org/10.1007/978-94-015-9309-0_11
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5169-1
Online ISBN: 978-94-015-9309-0
eBook Packages: Springer Book Archive