Negace
Negace ( inverze , z lat. inversio - převrat , logické "NE" ) v logice je unární operace se soudy , jejímž výsledkem je soud "opačný" k původnímu. Označuje se znakem ¬ před nebo řádkem - nad rozsudkem.
V klasické i intuicionistické logice je „dvojitá negace“ důsledkem úsudku , to znamená, že existuje
tautologie :.
Opak je pravdou v klasické logice ( zákon dvojité negace ), ale neplatí v intuicionistické. To znamená, že negace negace požadovaného tvrzení nemůže sloužit jako intuicionistický důkaz, na rozdíl od klasické logiky. Tento rozdíl mezi těmito dvěma logickými systémy se obvykle považuje za hlavní.
Obvod
|
|
|
| 0 |
jeden
|
| jeden |
0
|
Mnemotechnické pravidlo pro negaci zní: výstup bude
Literatura
- Brodsky IN Negativní prohlášení. - L . : Nakladatelství Leningradské univerzity, 1973. - 104 s.
- Skiba AS Fenomenologická ontologie soudu a negace // Logické a filozofické studie. - 2020. - T. 17 , č. 4 . - S. 280-295 .
- Frege G. Popírání. Logický výzkum // Logika a logická sémantika: sbírka prací. - M .: Aspect Press, 2000. - S. 343-356.
- Zaitsev D. V. Scientific-ed. rada: prez. V. S. Stepin, zástupci: A. A. Huseynov, G. Yu. tajný A. P. Ogurcov: Popírání . Nová filozofická encyklopedie: Ve 4 svazcích . M.: Myšlenka. Získáno 8. září 2020. Archivováno z originálu dne 13. května 2021. (neurčitý)
- Hintikka J. Pravda, negace a další základní pojmy logiky // The Age of Alternative Logics (anglicky) . - Drodrecht: Springer, 2006. - S. 195-219. - ISBN 978-1-4020-5012-1 .
- Hintikka J. Negace v logice a přirozeném jazyce (anglicky) // Lingvistika a filozofie. - Springer, 2002. - Sv. 25 , č. 5/6 . - S. 585-600 .
- Horn L. Přirozená historie negace . - University of Chicago Press, 2001. - 637 s. — ISBN 1575867176 .
