منطق ایک رسمی سائنس ہے، یعنی کسی بھی رسمی علوم کی طرح یہ اپنے مطالعہ اور استدلال کا اپنا مقصد بناتی ہے اور ذہن کے ذریعے خیالات کی تخلیق اس کے کام اور علم کا طریقہ کار ہے، بلکہ منطق، یہ ان میں سے ایک ہے۔ فلسفہ کے اندر سب سے اہم اور مقبول شاخیں، اس کے مطالعہ کا مقصد مظاہرے کے اصول اور درست استدلال ہے، یہ وہ طریقے ہیں جو بالآخر ہمیں صحیح اور غلط استدلال میں فرق کرنے کی اجازت دیتے ہیں۔.
منطق کی ابتدا کلاسیکی یونان کے سنہری دور سے ہوئی اور یونانی فلسفی ارسطو کو اس کا خالق اور باپ سمجھا جاتا ہے۔، چونکہ وہ پہلا شخص تھا جس نے اس تصور کو استعمال کیا اور اسے وہ ہستی دی جو یہ آج تک برقرار ہے، سائنس میں سچائی کے مظہر کے طور پر دلائل کا مطالعہ کرنا۔
یہ منطق جو ہم نے اوپر بیان کی ہے اور جس کا ارسطو اس کے بانی کے طور پر کھڑا ہے اسے بھی کہا جاتا ہے۔ رسمی منطقدریں اثنا، ایک بھی ہے غیر رسمی منطق جو اپنی توجہ فلسفہ، شعبدہ بازی اور تقریر کے ان ممکنہ دلائل کے طریقہ کار کے مطالعہ پر مرکوز کرے گا، ان سے متعلق دیگر علوم کے علاوہ۔
بنیادی طور پر، غیر رسمی منطق اپنی تمام تر کوششیں غلط فہمیوں اور تضادات کی نشاندہی کرنے اور گفتگو کی صحیح ساخت پر صرف کرتی ہے۔
لیکن رسمی اور غیر رسمی منطق میں یہ سوال ختم نہیں ہوتا کیونکہ ہمیں دوسری قسم کی منطقیں بھی ملتی ہیں جو بالکل مختلف طریقہ کار تجویز کرتی ہیں جیسے قدرتی منطق جو کہ فطری سوچ کے ذریعہ تجویز کردہ ہے، جیسا کہ یہ چلتا ہے، بغیر کسی معاون بنیاد کے طور پر رسمی سائنس کا سہارا لیے۔
پھر مبہم منطق یا اسے فجی بھی کہا جاتا ہے۔ کہ یہ دوسروں کے حوالے سے کچھ لائسنس لیتا ہے اور انسانی عقل کے ساتھ قریبی اتفاق اور تعلق کے ساتھ اپنی تجاویز کی سچائی یا جھوٹ کے درمیان ایک خاص ابہام کو تسلیم کرتا ہے۔
ایک اور ترتیب میں ہم تلاش کر سکتے ہیں ریاضی کی منطق جسے مصنوعی اور علامتی زبان کا استعمال کرتے ہوئے اور مشمولات کا خلاصہ بنا کر سنبھالا جاتا ہے۔ اور آخر میں بائنری منطق جو ان متغیرات کے ساتھ کام کرتا ہے جو صرف دو مجرد اقدار کو تسلیم کرتے ہیں۔
