Abstract
The notion of negation is basic to any formal or informal logical system. When any such system is presented, it is presented either as a system without negation or as a system with some form of negation. In both cases one is supposed to know intuitively whether there is no negation in the system or whether the form of negation presented in the system is indeed as claimed. Yet the notion of what is negation in a formal system is not clear. This chapter presents a few examples in a language with ¬ and →, and poses a question whether ¬ is a form of negation in the system.
Original language | English |
---|---|
Pages (from-to) | 95-112 |
Number of pages | 18 |
Journal | Studies in Logic and the Foundations of Mathematics |
Volume | 124 |
Issue number | C |
DOIs | |
State | Published - Jan 1987 |
Externally published | Yes |
Bibliographical note
Funding Information:I am indebted to Dr. J. K. Truss, Prof. F. Guenthner and the referees for constructive critcisrn. Research partially supported by the FNS Institute, Tubingen.
Funding
I am indebted to Dr. J. K. Truss, Prof. F. Guenthner and the referees for constructive critcisrn. Research partially supported by the FNS Institute, Tubingen.
Funders | Funder number |
---|---|
FNS Institute |