Несуперечність — властивість формальної системи, що полягає в неможливості вивести з неї суперечності. Якщо заперечення якогось речення (сукупності абстрактних об'єктів) з системи може бути доведено в теорії, то про саме речення йдеться, що воно спростовне в ній. Несуперечливість системи означає, що ніяке речення (судження) не може бути в ній і доведене, і водночас спростоване. Вимога несуперечності є обов'язковою вимогою до наукової і, зокрема, логічної теорії. Суперечлива система свідомо недосконала: поряд з істинними положеннями вона включає також хибні, в ній щось одночасно і доводиться, і спростовується. У багатьох системах діє закон Дунса Скота. Доказовість суперечності означає, що в цих умовах стає доказовим що завгодно.
Література
- В. Навроцький. Несуперечність // Філософський енциклопедичний словник / В. І. Шинкарук (гол. редкол.) та ін. — Київ : Інститут філософії імені Григорія Сковороди НАН України : Абрис, 2002. — С. 424. — 742 с. — 1000 екз. — ББК 87я2. — .
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет