Negación
La negación ( inversión , del lat. inversio - golpe , "NO" lógico ) en lógica es una operación unaria sobre juicios , cuyo resultado es un juicio "opuesto" al original. Se denota por el signo ¬ antes o la línea - por encima del juicio.
Tanto en la lógica clásica como en la intuicionista , la "doble negación" es una consecuencia del juicio , es decir, hay una
tautología :.
Lo contrario es cierto en la lógica clásica ( la ley de la doble negación ), pero no se sostiene en la intuicionista. Es decir, la negación de la negación del enunciado deseado no puede servir como prueba intuicionista , a diferencia de la lógica clásica. Esta diferencia entre los dos sistemas lógicos generalmente se supone que es la principal.
Circuitos
|
|
|
| 0 |
una
|
| una |
0
|
La regla mnemotécnica para la negación es: la salida será
- "1" si y solo si la entrada es "0",
- "0" si y solo si la entrada es "1".
Literatura
- Brodsky IN Declaraciones negativas. - L. : Editorial de la Universidad de Leningrado, 1973. - 104 p.
- Skiba A.S. Ontología fenomenológica del juicio y la negación // Estudios lógicos y filosóficos. - 2020. - T. 17 , N º 4 . - S. 280-295 .
- Frege G. Negación. Investigación lógica // Lógica y semántica lógica: colección de obras. - M. : Aspect Press, 2000. - S. 343-356.
- Zaitsev D. V. Ed. científica. consejo: pres. V. S. Stepin, diputados: A. A. Huseynov, G. Yu. secreto A. P. Ogurtsov: Negación . Nueva Enciclopedia Filosófica: En 4 tomos . M.: Pensamiento. Consultado el 8 de septiembre de 2020. Archivado desde el original el 13 de mayo de 2021. (indefinido)
- Hintikka J. Verdad, negación y otras nociones básicas de lógica // La era de las lógicas alternativas (inglés) . - Drodrecht: Springer, 2006. - P. 195-219. - ISBN 978-1-4020-5012-1 .
- Hintikka J. Negación en Lógica y en Lenguaje Natural (Inglés) // Lingüística y Filosofía. - Springer, 2002. - vol. 25 , núm. 5/6 . - Pág. 585-600 .
- Horn L. Una historia natural de la negación . - Prensa de la Universidad de Chicago, 2001. - 637 p. — ISBN 1575867176 .
