Reference : What is Negation in a System 2020?
Scientific journals : Article
Engineering, computing & technology : Computer science
What is Negation in a System 2020?
Gabbay, Dov M. mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
IfCoLog Journal of Logics and Their Applications
College Publishing
United Kingdom
[en] The notion of negation is basic to any formal or informal logical system. When any such system is presented to us, it is presented either as a system without negation or as a system with some form of negation. In both cases we are 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. To be more specific, suppose Robinson Crusoe writes a logical system with Hilbert type axioms and rules, which includes a unary connective *A. He puts the document in a bottle and let it lose at sea. We find it and take a look. We ask: is the connective "*" a negation in the system? Yet the notion of what is negation in a formal system is not clear. When we see a unary connective *A, (A a wff) together with some other axioms for some additional connectives, how can we tell whether *A is indeed a form of negation of A? Are there some axioms which the connective "*" must satisfy in order to qualify * as a negation?

File(s) associated to this reference

Fulltext file(s):

Limited access
placeholder.pdfPublisher postprint2.8 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.