Kielteisyys
Negaatio ( inversio , lat. inversio - vallankaappaus , looginen "EI" ) logiikassa on yksipuolinen operaatio tuomioille , jonka tuloksena on "vastakohta" alkuperäiselle tuomiolle. Sitä merkitään merkillä ¬ ennen tuomiota tai rivillä - tuomion yläpuolella.
Sekä klassisessa että intuitionistisessa logiikassa "kaksoisnegatio" on seurausta tuomiosta , eli on olemassa
tautologia :.
Päinvastainen on totta klassisessa logiikassa ( kaksoisnegaation laki ), mutta ei päde intuitionistisessa. Toisin sanoen halutun väitteen negaatio ei voi toimia intuitionistisena todisteena, toisin kuin klassinen logiikka. Tämän kahden loogisen järjestelmän välisen eron oletetaan yleensä olevan suurin.
Piiri
|
|
|
| 0 |
yksi
|
| yksi |
0
|
Negaation muistosääntö on: tulos on
Kirjallisuus
- Brodsky IN Negatiiviset lausunnot. - L . : Leningradin yliopiston kustantamo, 1973. - 104 s.
- Skiba A.S. Fenomenologinen tuomion ja kieltämisen ontologia // Loogiset ja filosofiset tutkimukset. - 2020. - T. 17 , nro 4 . - S. 280-295 .
- Frege G. Kieltäminen. Looginen tutkimus // Logiikka ja looginen semantiikka: teosten kokoelma. - M .: Aspect Press, 2000. - S. 343-356.
- Zaitsev D. V. Tieteellinen toim. neuvoja: pres. V. S. Stepin, varajäsenet: A. A. Huseynov, G. Yu. salaisuus A.P. Ogurtsov: Kieltäminen . Uusi filosofinen tietosanakirja: 4 osassa . M.: Ajatus. Haettu 8. syyskuuta 2020. Arkistoitu alkuperäisestä 13. toukokuuta 2021. (määrätön)
- Hintikka J. Totuus, kielto ja muut logiikan peruskäsitteet // Vaihtoehtoisten logiikojen aika (englanti) . - Drodrecht: Springer, 2006. - P. 195-219. - ISBN 978-1-4020-5012-1 .
- Hintikka J. Negaatio logiikassa ja luonnollisessa kielessä (englanti) // Kielitiede ja filosofia. - Springer, 2002. - Voi. 25 , ei. 5/6 . - s. 585-600 .
- Horn L. Negaation luonnonhistoria . - University of Chicago Press, 2001. - 637 s. — ISBN 1575867176 .
