Bu məqaləni vikiləşdirmək lazımdır. |
İnkar (inversiya, lat. inversio — çevriliş sözündən, məntiqi "YOX") məntiqdə — hökmlər üzərində vahid bir əməliyyat, nəticəsi orijinala "əks" olan bir qərar (müəyyən mənada). Qərarın qarşısında ¬ işarə və ya — ilə göstərilir.
- məntiq əməllərindən biri; məntiqi nəticələrdə “doğru deyil” ifadəsi kimi işlədilir;
- fəlsəfi kateqoriya. Materialist dialektikaya görə, inkar inkişafın zəruri momenti, şeylərin keyfiyyət dəyişkənliyinin şərtidir;
- qrammatikada əşyanın, keyfiyyət əlamətlərinin, hərəkət və ya vəziyyətin yoxluğunu, eləcə də narazılıq, etiraz bildirən kateqoriya.
Həm klassik, həm də intuisistik məntiqdə "ikiqat inkar" qərarın nəticəsidir , yəni bir teatoloji var: .
Əks ifadəsi klassik məntiqdə doğrudur (ikiqat inkar qanunu), lakin intuisistik cəhətdən tutmur. Yəni, istədikləri ifadənin rədd edilməsi, klassik məntiqdən fərqli olaraq, intuisistik bir sübut kimi xidmət edə bilməz. İki məntiqi sistem arasındakı bu fərq ümumiyyətlə əsas hesab olunur.
- Əliquliyev R.. Şükürlü S., Kazımova S. Elmi fəaliyyətdə istifadə olunan terminlər. Bakı, İnformasiya Texnologiyaları, 2009, 201 s.