Loading AI tools
विकिपीडिया से, मुक्त विश्वकोश
पारंपरिक तर्कशास्त्र में, व्याघात या अन्तर्विरोध (Contradiction) तब होता है जब कोई प्रतिज्ञप्ति या तो स्वयं से या सुस्थापित तथ्य से टकराता या संघर्ष करता है। इसका उपयोग अक्सर कपटी मान्यताओं व विश्वासों और अभिनति का पता लगाने के लिए एक उपकरण के रूप में किया जाता है। अनुप्रयुक्त तर्क में एक सामान्य प्रवृत्ति का चित्रण करते हुए, अरस्तू का अव्याघात - नियम कहता है कि "यह असंभव है कि एक ही चीज़ एक ही समय में एक ही वस्तु से उसी संदर्भ में संबंधित हो और न हो। " [1]
आधुनिक आकारिक तर्क और प्ररूप सिद्धांत (type theory) में, इस शब्द का उपयोग मुख्य रूप से एकल प्रतिज्ञप्ति के लिए किया जाता है, जिसे अक्सर फाल्सम प्रतीक द्वारा दर्शाया जाता है ; एक प्रतिज्ञप्ति एक व्यघात है यदि तर्क के नियमों का उपयोग करके, इससे असत्य निष्कर्ष निकाला जा सकता है। यह एक ऐसी प्रतिज्ञप्ति है जो अप्रतिबंधित रूप से असत्य है (अर्थात, एक स्व-अन्तर्विरोधि प्रतिज्ञप्ति)।[2][3] इसे प्रतिज्ञप्ति के एक संग्रह के लिए सामान्यीकृत किया जा सकता है, जिसके बारे में तब कहा जाता है कि इसमें एक व्याघात "शामिल" है।
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.