Tagadás
A tagadás ( inverzió , lat. inversio - puccs , logikai "NEM" ) a logikában az ítéletekre vonatkozó unáris művelet , amelynek eredménye az eredetivel "ellentétes" ítélet. Az ítélet előtti ¬ jellel vagy az ítélet feletti
vonallal jelöljük .
Mind a klasszikus , mind az intuicionista logikában a „kettős tagadás” az ítélet következménye , vagyis létezik egy
tautológia :.
Ennek a fordítottja igaz a klasszikus logikában ( a kettős tagadás törvénye ), de nem áll fenn az intuicionistában. Vagyis a kívánt állítás tagadásának tagadása a klasszikus logikával ellentétben nem szolgálhat intuíciós bizonyítékként. A két logikai rendszer közötti különbséget általában a fő különbségnek tekintik.
Áramkör
|
|
|
| 0 |
egy
|
| egy |
0
|
A tagadás mnemonikus szabálya: a kimenet a következő lesz
Irodalom
- Brodsky IN Negatív kijelentések. - L . : A Leningrádi Egyetem Kiadója, 1973. - 104 p.
- Skiba A.S. Az ítélet és a tagadás fenomenológiai ontológiája // Logikai és filozófiai tanulmányok. - 2020. - T. 17 , 4. sz . - S. 280-295 .
- Frege G. tagadás. Logikai kutatás // Logika és logikai szemantika: művek gyűjteménye. - M . : Aspect Press, 2000. - S. 343-356.
- Zaicev D. V. Tudományos szerk. tanács: pres. V. S. Stepin, helyettesek: A. A. Huseynov, G. Yu. titok A. P. Ogurcov: Tagadás . Új Filozófiai Enciklopédia: 4 kötetben . M.: Gondolat. Letöltve: 2020. szeptember 8. Az eredetiből archiválva : 2021. május 13. (határozatlan)
- Hintikka J. Igazság, tagadás és a logika egyéb alapfogalmai // Az alternatív logikák kora (angol) . - Drodrecht: Springer, 2006. - P. 195-219. - ISBN 978-1-4020-5012-1 .
- Hintikka J. Negáció a logikában és a természetes nyelvben (angol) // Nyelvészet és filozófia. - Springer, 2002. - Vol. 25 , sz. 5/6 . - P. 585-600 .
- Horn L. A tagadás természettörténete . - University of Chicago Press, 2001. - 637 p. — ISBN 1575867176 .
