गणितीय तर्क में, एक निर्णय (या निर्णय) या दावा धातुभाषा में एक बयान या घोषणा है। उदाहरण के लिए, प्रथम क्रम तर्क में सामान्य निर्णय यह होगा कि एक स्ट्रिंग एक अच्छी तरह से गठित सूत्र है, या एक प्रस्ताव सत्य है। इसी प्रकार, एक निर्णय ऑब्जेक्ट भाषा की अभिव्यक्ति में एक मुक्त चर की घटना, या प्रस्ताव की प्रवीणता पर जोर दे सकता है। आम तौर पर, एक निर्णय मेटाथोरी में कोई अनिवार्य रूप से निश्चित दावा हो सकता है।
निर्णयों का उपयोग कटौती प्रणालियों को औपचारिक रूप में करने में किया जाता है: एक तार्किक सिद्धांत एक निर्णय व्यक्त करता है, अनुमान के नियम के परिसर को निर्णय के अनुक्रम के रूप में गठित किया जाता है, और उनका निष्कर्ष एक निर्णय भी होता है (इस प्रकार, सबूतों की परिकल्पना और निष्कर्ष निर्णय होते हैं)। हिल्बर्ट-शैली कटौती प्रणालियों के रूपों की एक विशेषता विशेषता यह है कि संदर्भ उनके किसी भी नियम के संदर्भ में नहीं बदला जाता है, जबकि प्राकृतिक कटौती और अनुक्रमिक गणना दोनों में कुछ संदर्भ-परिवर्तन नियम होते हैं। इस प्रकार, यदि हम केवल टौटोलॉजी की व्युत्पन्नता में रुचि रखते हैं, न कि कल्पित निर्णय, तो हम हिल्बर्ट-शैली कटौती प्रणाली को इस तरह से औपचारिक रूप से कार्यान्वित कर सकते हैं कि इसके अनुमानों के नियमों में केवल एक साधारण रूप के निर्णय शामिल हैं। अन्य दो कटौती प्रणालियों के साथ भी ऐसा नहीं किया जा सकता है: जैसा कि उनके कुछ नियमों के संदर्भ में संदर्भ बदल दिया गया है, उन्हें औपचारिक रूप से लागू नहीं किया जा सकता है ताकि परिकल्पनात्मक निर्णय से बचा जा सके-भले ही हम उनको उपयोग करना चाहते हैं केवल tautologies की व्युत्पन्नता साबित करने के लिए ।
विभिन्न कैलकुली के बीच यह बुनियादी विविधता इस तरह के अंतर की अनुमति देती है, कि एक ही मूल विचार (जैसे कटौती प्रमेय) को हिल्बर्ट-शैली कटौती प्रणाली में मेटाथोरम के रूप में साबित किया जाना चाहिए, जबकि इसे प्राकृतिक कटौती में अनुमान के नियम के रूप में स्पष्ट रूप से घोषित किया जा सकता है।
प्रकार सिद्धांत में, गणितीय तर्क के रूप में कुछ समान विचारों का उपयोग किया जाता है (दो क्षेत्रों के बीच संबंधों को जन्म देना, जैसे करी-हॉवर्ड पत्राचार)। गणितीय तर्क में फैसले की धारणा में अमूर्तता का भी प्रकार सिद्धांत की नींव में भी शोषण किया जा सकता है।
तार्किक दावे
तर्क में, तार्किक दावे एक बयान है जो दावा करता है कि एक निश्चित आधार सत्य है, और सबूत में बयानों के लिए उपयोगी है। यह एक खाली पूर्ववर्ती के साथ एक अनुक्रम के बराबर है।
उदाहरण के लिए, यदि पी = “एक्स भी है”, निहितार्थ
इस प्रकार सच है। हम इसे तार्किक दावे प्रतीक का उपयोग करके भी लिख सकते हैं
कंप्यूटर प्रोग्रामिंग और प्रोग्रामिंग भाषा अर्थशास्त्र में, इन्हें दावे के रूप में उपयोग किया जाता है; एक उदाहरण एक लूप invariant है।
शास्त्रीय तर्क के बाहर अर्थ
दार्शनिक तर्क में, “निर्णय” शब्द का प्रयोग अवधारणा “कथन” के बजाय किया जाता है, जो तार्किक औपचारिक रूप से कम हो जाता है। इसके साथ-साथ एरिस्टेलियस इम्मानुएल कांत को न्याय के एक पैनल में श्रेणियों के अनुसार निर्णय के विभाजन मिलते हैं। कांट विशेष रूप से विश्लेषणात्मक और कृत्रिम निर्णयों के बीच अंतर करता है, जो सभी अनुभव (प्राथमिकता) से पहले अनुभव करने या पहले किए जाने के लिए (एक पोस्टरियोरी) से संबंधित है।
रोमांटिकवाद और जर्मन आदर्शवाद एक प्राथमिकता पद्धति के रूप में भागों में विश्लेषणात्मक अपघटन को अस्वीकार करते हैं और सुसंगत, एकीकृत ज्ञान, भावना और विश्वास को पूर्ण प्राथमिकता देते हैं। फ्रेडरिक होल्डरलिन निर्णय में लिखते हैं और यह देखते हैं कि भागों को निर्णय के द्वारा अपना आवश्यक उद्देश्य दिया जाता है, लेकिन इस व्याख्या के खिलाफ खुद को बचाता है कि वर्कपीस जैसे हिस्सों को एक-दूसरे से अलग माना जा सकता है। नोवालिस ने अपने जनरल ब्रौउलॉन में नोट किया: “कोई न केवल वाक्य या निर्णय चाहता है, बल्कि ऐसा करने के लिए भी कार्य करता है।”
नव-कंटियानिज्म के फैसले सिद्धांत के लिए, हर निर्णय सकारात्मक या नकारात्मक है, और इसके परिणामस्वरूप सत्य के मूल्य पर एक राय का अर्थ है, यही कारण है कि ज्ञान के क्षेत्र में भी कोई मूल्यांकन के बारे में बात कर सकता है।
तर्क की भावना में निर्णय कुछ अलग हो सकता है:
एक दावा या बयान;
“एक सिद्धांतवाद का अंतिम संदर्भ” या “एक सिद्धांत के सदस्य”;
कंट के अर्थ में एक वैचारिक कनेक्शन या अलगाव या ज्ञान का एक अधिनियम
हुसरल के अनुसार, “निर्णय” शब्द का अर्थ हो सकता है:
सच्चाई;
|
||||||
| तुगेंधाट के अनुसार सारणी |
|---|
यदि अर्न्स्ट तुगेन्दट तर्कसंगत, भाषाई और तर्कसंगत अवधारणा को लगभग तर्कसंगत रूप से अलग करता है, तो शब्द में तीन बहुत ही अलग मूल अर्थ होते हैं (हालांकि वे अर्थ के समान संदर्भ में हैं)। जो निर्णय से समझता है, इसलिए, विशेष संज्ञानात्मक और वैचारिक सिद्धांत पर निर्भर करता है।