Negare
Negația ( inversiune , din lat. inversio - coup , logic „NU” ) în logică este o operațiune unară asupra judecăților , al cărei rezultat este o judecată „opusă” celei inițiale. Se notează prin semnul ¬ înainte sau linia - deasupra judecății.
Atât în logica clasică , cât și în logica intuiționistă , „negația dublă” este o consecință a judecății , adică există o
tautologie .
Reversul este adevărat în logica clasică ( legea dublei negații ), dar nu este valabil în intuiționistă. Adică, negația negației enunțului dorit nu poate servi ca o dovadă intuiționistă , în contrast cu logica clasică. Această diferență între cele două sisteme logice este de obicei considerată a fi cea principală.
Circuiterie
|
|
|
| 0 |
unu
|
| unu |
0
|
Regula mnemonică pentru negație este: rezultatul va fi
Literatură
- Brodsky IN Declarații negative. - L . : Editura Universității din Leningrad, 1973. - 104 p.
- Skiba A.S. Ontologia fenomenologică a judecății și negației // Studii logice și filozofice. - 2020. - T. 17 , nr. 4 . - S. 280-295 .
- Frege G. Negare. Cercetare logică // Logica și semantică logică: colecție de lucrări. - M. : Aspect Press, 2000. - S. 343-356.
- Zaitsev D. V. Ed. științific. sfat: prez. V. S. Stepin, adjuncţi: A. A. Huseynov, G. Yu. secret A. P. Ogurtsov: Negare . Noua Enciclopedie Filosofică: În 4 volume . M.: Gând. Preluat la 8 septembrie 2020. Arhivat din original la 13 mai 2021. (nedefinit)
- Hintikka J. Adevărul, negația și alte noțiuni de bază de logică // Epoca logicii alternative (engleză) . - Drodrecht: Springer, 2006. - P. 195-219. - ISBN 978-1-4020-5012-1 .
- Hintikka J. Negație în logică și în limbajul natural (engleză) // Linguistics and Philosophy. - Springer, 2002. - Vol. 25 , nr. 5/6 . - P. 585-600 .
- Horn L. O istorie naturală a negării . - University of Chicago Press, 2001. - 637 p. — ISBN 1575867176 .
