औपचारिक तर्क और इसके बुनियादी कानून

तर्क - विधि, कानून और सोच के रूपों का विज्ञान। औपचारिक तर्क हमारे युग से पहले प्राचीन यूनानियों द्वारा विकसित किया गया था। यह यूनानियों ने पहले लोकतांत्रिक समाज बनाया था, जहां लोगों की मंडलियों में फैसलों और कानूनों को अपनाया गया था। उन्होंने एक प्रारंभिक स्तर पर, मुकदमेबाजी के संचालन का विज्ञान बनाया है। और अभिजात युवाओं का पसंदीदा कब्जा था दार्शनिकों के साथ चर्चा। इसलिए सैद्धांतिक विज्ञान के विकास के लिए सार्वभौमिक प्रेम यूनानियों को वैज्ञानिक साक्ष्यों की लागत के बारे में सिखाने की जरूरत थी

तर्क की नींव का पहला कोर्स अरस्तू द्वारा विकसित किया गया था। उन्होंने इस तथ्य पर ध्यान दिया कि किसी भी तर्क सामान्य कानूनों पर आधारित है, जिसके उल्लंघन से गलत निष्कर्ष निकल जाते हैं। अरस्तू की औपचारिक तर्क इस तरह के कानूनों पर आधारित था:

1. अगर निर्णय सकारात्मक हैं, तो उनके द्वारा निष्कर्ष निकाला नकारात्मक नहीं हो सकता।
2. यदि कोई बयान नकारात्मक है, तो सामान्य निष्कर्ष हमेशा नकारात्मक होगा।

इसलिए यह निम्नानुसार है कि औपचारिक तर्क ज्ञान के प्रभावी, तर्कसंगत निर्माण के सिद्धांतों और कानूनों के बारे में ज्ञान है, जो उनके निर्माण के रूप में (सामान्य तर्क के अलग हिस्सों को जोड़ने के तरीके) को ध्यान में रखते हैं।

सभी घटनाएं और वस्तुओं परस्पर जुड़े हुए हैं। लिंक उद्देश्य या व्यक्तिपरक, सामान्य या निजी, आवश्यक या आकस्मिक हो सकते हैं इन कड़ियों के सबसे महत्वपूर्ण कानून कहा जाता है। वे सभी एक ही वास्तविकता को प्रतिबिंबित करते हैं, इसलिए, किसी भी तरह से एक दूसरे का विरोध नहीं कर सकते। मानव विचारों के सभी कानून प्रकृति के विकास के कानूनों से संबंधित हैं।

विचारों के बीच एक स्थिर आंतरिक संबंध का विचार सोचा था। अगर कोई व्यक्ति अपने विचारों को जोड़ नहीं सकता है, तो वह सही निष्कर्ष पर नहीं आएगा और इसे दूसरों तक नहीं पहुंचा पाएगा।

औपचारिक तर्क के बुनियादी कानून निरंतरता, पहचान, तीसरे के अपवाद और पर्याप्त आधार कानून हैं। पहले तीन का विकास अरस्तू और प्लेटो का है, जो बाद में लाइबनिट्स के लिए है। इन कानूनों (विशेषकर पहले तीन) का उल्लंघन विरोधाभास की ओर जाता है, जिससे सत्य और झूठ के बीच अंतर करना असंभव हो जाता है। उत्तरार्द्ध कानून कम मानक है और इसे अधिक प्रतिबंधित रूप से लागू किया जाता है।

तर्क के गैर-मूलभूत नियम ऑपरेटिंग निर्णय और अवधारणाओं के नियम हैं, सिद्धांतवाद में एक सच्चा निष्कर्ष प्राप्त करना, निष्कर्ष निष्कर्ष की संभावना को बढ़ाती है और एक transductive स्वभाव का

निरंतरता के कानून का मतलब है कि सोच को विरोधाभासी नहीं होना चाहिए, लेकिन चीजों की गुणात्मक निश्चितता को प्रतिबिंबित करना चाहिए।

अपवर्जित तीसरे नियम का नियम दो विरोधाभासी लेकिन सच्चे बयानों के बीच एक तिहाई नहीं खोजना है, बल्कि उनमें से केवल एक के सत्य को पहचानना है। विरोधाभास के घटकों में से एक अनिवार्य रूप से सच है।

पहचान का नियम औपचारिक तर्क सटीकता की सोच से, जो कि किसी भी अवधि के तहत, इसकी परिभाषा और अर्थ को सही ढंग से समझने के लिए आवश्यक है, की आवश्यकता के अनुसार व्यवहार करता है। अवधारणाओं और निर्णयों का सार विलम्ब पर विकृत नहीं किया जा सकता

एक पर्याप्त आधार का कानून यह है कि किसी भी सच्चा सोचा दूसरे सच्चे विचारों से आधारित होना चाहिए, और गलत विचारों को औचित्य देना असंभव है। फैसले के विकास के कारण एक संबंधपरक संबंध को दर्शाया जाना चाहिए। केवल इस मामले में इसकी विश्वसनीयता साबित हो सकती है।

किसी भी विचारों के रूपों का निर्धारण करने के तरीके और तरीके के तार्किक रूप को तर्कसंगत शब्दों के माध्यम से व्यक्त किया जाता है, जिसमें यूनियन "और", "या", "यदि ..., तब ...", "यह सच नहीं है" ("नहीं") से इनकार करते हैं। , शब्द "कुछ", "सब" ("कोई नहीं"), "सार" का एक बंडल ("है" के अर्थ में) आदि। न्याय के तर्कसंगत स्वरूप को पहचानें विसंगत शर्तों के अर्थ से विचलित हो सकते हैं, जो इस निर्णय के मौखिक अभिव्यक्ति में प्रवेश करते हैं। दूसरे शब्दों में, औपचारिक तर्क विचारों की संरचना को व्यक्त करता है तार्किक रूप हमेशा जानकारीपूर्ण और सूचनात्मक होता है।

उनके रूपों के आधार पर विचारों को कक्षाओं में विभाजित किया जाता है: अवधारणा, निष्कर्ष और निर्णय एक अवधारणा एक विचार है कि वस्तुओं को उनकी बुनियादी विशेषताओं के आधार पर सामान्यीकृत करती है। न्याय एक विचार है जो मामलों की स्थिति के अस्तित्व (अनुपस्थिति) की पुष्टि करता है। निष्कर्ष एक ज्ञान है कि अन्य ज्ञान से निर्णय में व्यक्त ज्ञान के अधिग्रहण को दर्शाती है।