कब अरस्तू मनुष्य को शब्द से संपन्न जानवर के रूप में परिभाषित किया (लोगो), उनका मतलब था कि केवल हम भौतिक दुनिया को अमूर्त करने की प्रक्रिया का प्रदर्शन कर सकते हैं भाषा: हिन्दी. भाषा हमें संवाद, अमूर्त सोच, वस्तुओं और वस्तुओं के नामकरण, वैज्ञानिक अध्ययन, कलाओं के निर्माण और हमारी दुनिया के संपूर्ण सामाजिक और राजनीतिक संगठन में सक्षम बनाती है। हालाँकि, इसके ठीक से काम करने के लिए भाषा को भी नियमों की आवश्यकता होती है।
और यह भाषाई तर्क, दर्शनशास्त्र में निहित अध्ययन का एक क्षेत्र, जो औपचारिक भाषाई संगठन पर ध्यान केंद्रित करने की कोशिश कर रहा है आवश्यक मोड स्थापित करें ताकि भाषा स्वयं प्रत्येक मामले में ठीक से काम कर सके विशिष्ट। भाषा के माध्यम से ही नहीं, तर्क को समझ के रूप में और तर्कसंगत संगठन गणित के भीतर कार्य-कारण संबंध स्थापित करने के लिए भी प्रपत्रों की सूची समर्पित है। अर्थात्, गणितीय गणना के सही होने के लिए, गणितज्ञ या मशीन जो प्रदर्शन करती है ऑपरेशन को एक औपचारिक मानक का पालन करना चाहिए जो तर्कसंगत नियमों का सम्मान करता है, इस प्रकार के दायरे में प्रवेश करता है गणितीय तर्क.
अरस्तू
प्लेटो के एक शिष्य, इतिहास में पहले दार्शनिक थे जिन्होंने उन्हें समझने और स्पष्ट रूप से स्थापित करने का प्रयास किया था भाषाई तर्क की मूल बातें, भावी पीढ़ी के लिए लेखन के एक सेट को छोड़कर जिसे के रूप में जाना जाता है अरिस्टोटेलियन तर्क या शास्त्रीय तर्क। इन लेखों में, हम समझने के तरीके खोज सकते हैं दलीलें भाषा में निगमनात्मक और आगमनात्मक नपुंसकता, साथ ही हमने पाया अरिस्टोटेलियन स्क्वायर, जो भाषाई तत्वों के प्रदर्शन और योग्यता के लिए एक ढांचा है, जो कुछ तरीकों से संयुक्त, भाषण में सहमति या असहमति का कारण बनता है, उदाहरण के लिए।तर्क, भाषा के वैध और सही रूपों के अध्ययन और पहचान के रूप में, यह भी पहचानने और योग्यता के लिए समर्पित है कि क्या नहीं है औपचारिक वैधता एकजुट और सही। वह शब्द जो भाषा द्वारा प्रतिपादित के रूप में सुधार न करने की इन स्थितियों को नाम देता है, वह है हेत्वाभास. भ्रांति, मोटे तौर पर बोल रहे हैं, अर्थहीन प्रस्ताव हैं, बिना बताए गए तथ्यों के बीच या बिना तार्किक संबंध के कारण लिंक जो वाक्यों के बयानों में प्रकट होने वाले प्रभावों को पूर्ण और सही तरीके से समझाते हैं explain विश्लेषण किया।
उन्नीसवीं सदी में, जर्मन दार्शनिक गोटलोब फ्रीज तर्क अध्ययन की अधिक से अधिक गणितीय समझ की आवश्यकता को संबोधित करते हुए मौजूदा तर्क में क्रांति ला दी। उन्होंने नामक एक विधि विकसित की विधेय गणना, जो गणितीय निगमनात्मक प्रक्रियाओं के माध्यम से भाषाई प्रस्तावों का विश्लेषण करता है।
भाषा के तर्क और दर्शन में फ्रेज के योगदान को तब तक महत्वपूर्ण माना जाता है जब तक आज और उनके बिना, अनुवाद करने में सक्षम कंप्यूटर प्रोग्रामिंग कोड बनाना संभव नहीं होता पासा को गोपित अन्य मशीनों द्वारा। इसका मतलब यह है कि, फ़्रीगे द्वारा छोड़े गए तार्किक सैद्धांतिक उपकरण के बिना, ब्रिटिश गणितज्ञ एलन ट्यूरिंगसूचना विज्ञान और कंप्यूटर के "पिता" माने जाने वाले, पहले नहीं बना सकते थे संगणक इतिहास का।
* छवि क्रेडिट: लेंसकैप फोटोग्राफी / शटरस्टॉक.कॉम
फ्रांसिस्को पोर्फिरियो द्वारा
दर्शनशास्त्र में स्नातक
स्रोत: ब्राजील स्कूल - https://brasilescola.uol.com.br/filosofia/o-que-logica.htm