Negation
Negation ( inversion , fra lat. inversio - kup , logisk "IKKE" ) i logikken er en unær operation på domme , hvis resultat er en dom "modsat" til den oprindelige. Det er angivet med tegnet ¬ før eller stregen - over dommen.
Både i klassisk og intuitionistisk logik er "dobbelt negation" en konsekvens af dømmekraft , det vil sige, at der er en
tautologi :.
Det omvendte er sandt i klassisk logik ( loven om dobbelt negation ), men gælder ikke i intuitionistisk. Det vil sige, at negationen af negationen af det ønskede udsagn ikke kan tjene som et intuitionistisk bevis, i modsætning til klassisk logik. Denne forskel mellem de to logiske systemer antages normalt at være den vigtigste.
Kredsløb
|
|
|
| 0 |
en
|
| en |
0
|
Mnemonreglen for negation er: outputtet vil være
Litteratur
- Brodsky IN Negative udsagn. - L . : Leningrad Universitets forlag, 1973. - 104 s.
- Skiba A.S. Fænomenologisk ontologi af dømmekraft og negation // Logiske og filosofiske studier. - 2020. - T. 17 , nr. 4 . - S. 280-295 .
- Frege G. Benægtelse. Logisk forskning // Logik og logisk semantik: samling af værker. - M . : Aspect Press, 2000. - S. 343-356.
- Zaitsev D. V. Scientific-ed. råd: pres. V. S. Stepin, suppleanter: A. A. Huseynov, G. Yu. hemmelighed A. P. Ogurtsov: Benægtelse . New Philosophical Encyclopedia: I 4 bind . M.: Tænkte. Hentet 8. september 2020. Arkiveret fra originalen 13. maj 2021. (ubestemt)
- Hintikka J. Sandhed, negation og andre grundlæggende begreber om logik // The Age of Alternative Logics (engelsk) . - Drodrecht: Springer, 2006. - S. 195-219. - ISBN 978-1-4020-5012-1 .
- Hintikka J. Negation in Logic and in Natural Language (engelsk) // Lingvistik og filosofi. - Springer, 2002. - Vol. 25 , nr. 5/6 . - S. 585-600 .
- Horn L. A Natural History of Negation . - University of Chicago Press, 2001. - 637 s. — ISBN 1575867176 .
