विवरण

लॉजिक सही तर्क का अध्ययन है इसमें औपचारिक और अनौपचारिक तर्क दोनों शामिल हैं औपचारिक तर्क कटी रूप से वैध अनुमानों या तार्किक सच्चाई का अध्ययन है यह जांचता है कि कैसे निष्कर्ष अकेले तर्कों की संरचना के आधार पर परिसर से पालन करते हैं, उनके विषय और सामग्री से स्वतंत्र अनौपचारिक तर्क अनौपचारिक गिरावट, महत्वपूर्ण सोच और तर्क सिद्धांत के साथ जुड़ा हुआ है अनौपचारिक तर्क प्राकृतिक भाषा में व्यक्त तर्कों की जांच करता है जबकि औपचारिक तर्क औपचारिक भाषा का उपयोग करता है जब एक गिनती योग्य संज्ञा के रूप में उपयोग किया जाता है, तो शब्द "एक तर्क" एक विशिष्ट तार्किक औपचारिक प्रणाली को संदर्भित करता है जो एक सबूत प्रणाली को व्यक्त करता है लॉजिक कई क्षेत्रों में एक केंद्रीय भूमिका निभाता है, जैसे कि दर्शन, गणित, कंप्यूटर विज्ञान और भाषाविज्ञान