Argument
Negation
Overview
operation that takes a proposition p to another proposition "not p", written ¬p, which is interpreted intuitively as being true when p is false, and false when p is true; unary (single-argument) logical connective
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Possible passages
Found by search and not yet checked by a person; they may only mention the idea in passing.
The abolition of private property which is shown to have been going on since the sixteenth century is the first negation. Another negation must follow which is characterised as the negation of the negation and therefore the restoration of individual private property, but in a higher form, founded on the common ownership of land and instruments of labor. If this new 'individual private property' is called also…
Friedrich Engels, Landmarks of Scientific Socialism
Names Negation several times; states what Negation is.
Now, once negation is formulated, it presents an aspect symmetrical with that of affirmation; if affirmation affirms an objective reality, it seems that negation must affirm a non-reality equally objective, and, so to say, equally real. In which we are both right and wrong: wrong, because negation cannot be objectified, in so far as it is negative; right, however, in that the negation of a thing implies the latent…
Henri Bergson, Creative Evolution
Names Negation several times; states what Negation is.
This is the same negation, as is in operation when the mind leaves the contingent things of the world as well as its own subjectivity and rises to God. It is the 'moment' or factor which (as noticed in the Introduction and § 192) was overlooked and neglected in the analytic form of syllogisms, under which the so-called proofs of the Being of a God presented this…
Georg Wilhelm Friedrich Hegel, The Logic of Hegel
States what Negation is; names Negation several times.
Philosophers who discussed Negation
- Józef Maria Bocheński
- Gottfried Wilhelm Leibniz
- Hélène Cixous
- Bimal Krishna Matilal
- C. I. Lewis
- Alfred Tarski
- Raghunatha Shiromani
- Ivan Orlov (philosopher)
Related ideas
- First-order logic
- Truth value
- Intuitionistic logic
- Logical conjunction
- Logical connective
- Modus ponens
- Reductio ad absurdum
- Polish notation
- Truth table
- Set theory
- Logical consequence
- Boolean algebra (structure)
- Paraconsistent logic
- Logic
- Wikipedia
- Natural deduction
- Computer science
- Boolean algebra
- Classical logic
- Truth function
- De Morgan's laws
- Conditional proof
- Contradiction
- Possible world
Place in the tradition
Part of Coherentism.