Negation
Negation ( inversion , av lat. inversio - coup , logiskt "INTE" ) i logiken är en unär operation på bedömningar , vars resultat är en bedömning "motsatt" till den ursprungliga. Det betecknas med tecknet ¬ före eller linjen - ovanför domen.
Både i klassisk och intuitionistisk logik är "dubbel negation" en konsekvens av omdöme , det vill säga det finns en
tautologi :.
Det omvända är sant i klassisk logik ( lagen om dubbel negation ), men håller inte i intuitionistisk. Det vill säga, negationen av negationen av det önskade uttalandet kan inte tjäna som ett intuitionistiskt bevis, i motsats till klassisk logik. Denna skillnad mellan de två logiska systemen antas vanligtvis vara den huvudsakliga.
Circuitry
|
|
|
| 0 |
ett
|
| ett |
0
|
Mnemonregeln för negation är: utgången blir
Litteratur
- Brodsky IN Negativa uttalanden. - L . : Leningrads universitets förlag, 1973. - 104 sid.
- Skiba A.S. Fenomenologisk ontologi för bedömning och negation // Logical and Philosophical Studies. - 2020. - T. 17 , nr 4 . - S. 280-295 .
- Frege G. Förnekelse. Logisk forskning // Logik och logisk semantik: samling av verk. - M . : Aspect Press, 2000. - S. 343-356.
- Zaitsev D. V. Scientific-ed. råd: pres. V. S. Stepin, suppleanter: A. A. Huseynov, G. Yu. hemlighet A. P. Ogurtsov: Förnekelse . New Philosophical Encyclopedia: I 4 volymer . M.: Tänkte. Hämtad 8 september 2020. Arkiverad från originalet 13 maj 2021. (obestämd)
- Hintikka J. Sanning, negation och andra grundläggande begrepp om logik // The Age of Alternative Logics (engelska) . - Drodrecht: Springer, 2006. - S. 195-219. - ISBN 978-1-4020-5012-1 .
- Hintikka J. Negation in Logic and in Natural Language (engelska) // Linguistics and Philosophy. - Springer, 2002. - Vol. 25 , nr. 5/6 . - S. 585-600 .
- Horn L. A Natural History of Negation . - University of Chicago Press, 2001. - 637 sid. — ISBN 1575867176 .
