Subatomic Negation

Journal of Logic, Language and Information 30 (1):207-262 (2021)
  Copy   BIBTEX


The operators of first-order logic, including negation, operate on whole formulae. This makes it unsuitable as a tool for the formal analysis of reasoning with non-sentential forms of negation such as predicate term negation. We extend its language with negation operators whose scope is more narrow than an atomic formula. Exploiting the usefulness of subatomic proof-theoretic considerations for the study of subatomic inferential structure, we define intuitionistic subatomic natural deduction systems which have several subatomic operators and an additional operator for formula negation at their disposal. We establish normalization and subexpression property results for the systems. The normalization results allow us to formulate a proof-theoretic semantics for formulae composed of the subatomic operators. We illustrate the systems with applications to reasoning with combinations of sentential negation, predicate term negation, subject term negation, and antonymy.



    Upload a copy of this work     Papers currently archived: 74,509

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Logical Negation.Ignacio Angelelli - 1983 - Review of Metaphysics 36 (4):925-926.
Hegel's Glutty Negation.Elena Ficara - 2015 - History and Philosophy of Logic 36 (1):29-38.
Negation.Ernesto Napoli - 2006 - Grazer Philosophische Studien 72 (1):233-252.
Rules for Subatomic Derivation.Bartosz Więckowski - 2011 - Review of Symbolic Logic 4 (2):219-236.
On Not Being a Dentist.Richard Vallée - 2004 - Manuscrito 27 (1):227-233.
Negation in the Language of Theology – Some Issues.Adam Olszewski - 2018 - Philosophical Problems in Science 65:87-107.
Another Plan for Negation.Nissim Francez - 2019 - Australasian Journal of Logic 16 (5):159.
Empirical Negation.Michael De - 2013 - Acta Analytica 28 (1):49-69.
Negation of the Negation in Logical and Historical Analysis.M. F. Vorob'ev - 1969 - Russian Studies in Philosophy 8 (2):190-205.


Added to PP

18 (#607,888)

6 months
1 (#417,896)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

The Logical Basis of Metaphysics.Michael Dummett - 1991 - Harvard University Press.
A Natural History of Negation.Laurence R. Horn - 1989 - University of Chicago Press.
Natural Deduction: A Proof-Theoretical Study.Dag Prawitz - 1965 - Stockholm, Sweden: Dover Publications.
Basic Proof Theory.A. S. Troelstra - 2000 - Cambridge University Press.

View all 31 references / Add more references