مغرب میں منطق کی تاریخ

مغرب میں منطق کی تاریخ 🔵
۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔
🔸بوئتیوس (477–524 AD)

منطق کا علم تقریبا (1200–1600) میں مغرب میں پہنچا
سب سے پہلا شخص بوئتیوس (477–524 AD) تھا جس نے چھٹی صدی عیسوی میں مغرب کو اس علم سے متعارف کروایا اور بہت سارے یونانی آثار کو اس نے لاطینی زبان میں ترجمہ کیا جس میں ارسطو کی منطق بھی شامل تھی

🔸تیرہویں صدی کے نصف سے چودھویں صدی کے نصف تک منطق کا اصل تعارف ہوا اور بہت سے تراجم کیے گئے
۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔
🔸پیٹر رامس ( 1515 – 1572)

👈اس نے فرنچ زبان میں منطق پر کام کیا اور ارسطو کی منطق یا ایساغوجی کے قیاس میں اپنی زبان کے مطابق تبدیلی کی اور کچھ شرائط وضع کیں۔
👈 اس کے نام Petrus Ramus سے ramism کی شکل میں باقاعدہ pedagogy کی تعلیمی بنیادوں پر ایک گروہ تشکیل پایا جو فرانس ، جرمنی ، سوئٹزرلینڈ ، اور ہالینڈ میں اسی منطقی گروہ کے نام سے جانا جاتا ہے
۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔
🔸جون آف تھامس (1589–1644) نے اس کی ترویج اور ارتقاء پر کتابیں لکھیں

🔸فرانسسکو سواریز (1548 – 1617) نے اس کو اسپین یا ہسپانیہ کے چرچ کے نصاب کے طور پر پڑھانا شروع کیا
۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔
🔸جیرولامو ساکری (1667 – 1733)

جو اٹلی کا رہائشی تھا اس نے منطق کی دلیل خلف کو جیومیٹری کے اندر استعمال کرتے ہوئے نئے نظریات کو جنم دیا جو اس کی شہرت کا سبب ہیں
جیسے
Khayyam-Saccheri quadrilateral

۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔
🔸 انٹوائن ارنو اور بيير نيكول ( 1662)

جیسے فارابی اور بو علی سینا کو اپنے بے مثال کام کی وجہ سے شہرت ملی اسی طرح ان دونوں نے سولہویں صدی میں فرنچ زبان میں منطق میں کمال کا انقلابی کام کیا اور پہلی دفعہ بے مثال کتاب Port-Royal Logic کے نام سے شائع کی جسے term logic بھی کہتے ہیں جو انیسویں صدی تک مشہور رہی اور باقاعدہ مختلف نصابوں کا حصہ رہی یہ منطق جدید
metaphysics and epistemology
کی بنیاد واقع ہوئی
مگر اس دور تک بنیادی منطق اصل میں ارسطوئی منطق ہی تھی اسی کے قوانین سے کام لیا جا رہا تھا

۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔
👈 🌟 ارسطو کے نطریات پر تنقید 🌟
۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔
🔸 ڈڈلے فینر (c. 1558–1587)

👈اس نے Ramist logic کی طرز سے پہلی دفعہ انگلش میں ایک کتاب
The Arts of Logic and Rhetoric
لکھی اس کے کام کو بہت سراہا گیا
👈اس کی یہ کتاب Ramist school of logic کے عنوان سے بہت شاندار کام تھا
👈 اس کا کام بے حد مقبول ہوا جو دراصل ارسطوئی منطق کے بالکل مخالف آراء کے طور پر پڑھایا جاتا تھا

۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔

🔸آئزک واٹس ( 1674 – 1748)

جو بہت مشہور نام اور انگلش زبان میں
“Godfather of English Hymnody”
سے شہرت رکھتا ہے اس نے
the Right Use of Reason (1725)
کے عنوان سے منطق کو نئی جہت دے

۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔
🔸رچرڈ وھیلی (1787 – 1863)

وہ انگلینڈ کے چرچ میں کام کرتا تھا اس نے منطق پر
Elements of Logic (1826)
نامی کتاب لکھی اور فرانسس بیکن نے اسی کے کام پر تحقیق کی پھر اپنے نظریات بیان کیے

۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔
🔸فرانسس بیکن

👈 اس نے لاطینی زبان میں Novum Organum نامی کتاب لکھی جس میں ارسطوئی منطق کی روایات و قوانین قیاس Syllogism پر تنقید کی
👈 اس نے نیا نظام دیا جسے the Baconian method کہتے ہیں
👈 اس خاص طریقہ کار کو Inductive reasoning کہتے ہیں
👈 یہ وہ طریقہ جو تجرباتی مشاہدے Empirical observation سے شروع ہوتا ہے اور کم مسلمات یا کم بدیھات یا قضیوں
lower axioms or propositions
تک جاتا ہے۔ جن سے آگے مزید عمومات یا کلیات کو بنایا جا سکتا ہے۔
۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔
🔸جان اسٹورٹ مل (1806 – 1873)

👈 جو کہ ایک برطانوی منطقی تھا اور معیشت دان بھی تھا۔ اس نے بلندیوں کو چھونے والی کتاب
A System of Logic
تحریر کی
👈 مل نے سائنسی طریقہ کار scientific Method پر بحث کی اور اس کے اصول و ضوابط بتائے
👈 ان اصولوں کی پیروی کرتے ہوئے پہلی بار جان ہارشیل نے 1830 میں قدرتی فلسفے natural philosophy کے مطالعے کے بارے میں ابتدائی تحقیق کی اشاعت کروائی
👈 اس ریسرچ میں نامعلوم افراد کے لئے معلوم دلائل استدلال کو مخصوص حقائق میں دریافت کیا گیا تھا اور ان قوانین کی بظاہر تصدیق کی گئی تھی۔
👈 بعد میں مل کے کام کو باقاعدہ
Mill’s Methods of induction
کے نام سے آج تک جانا جاتا ہے
👈 سائنسدانوں پر ایک مضبوط اثر و رسوخ رکھنے کی وجہ سے یہ کام سائنس کی تاریخ کے لئے اہم سنگ میل تھا

۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔

🔸گوٹلوب فریج ( 1848 – 1925)

👈 ایک جرمن فلسفی ، منطقی اور ریاضی دان تھا اس نے Mill’s Methods کو اپنی فیلڈ میں استعمال کیا
👈 اس کام کو اس کی زندگی کے دوران بڑے پیمانے پر نظرانداز کیا گیا تھا اور کسی نے توجہ نہ دی
👈 لیکن جیوسپی پیانو (1858–1932) اور برٹرینڈ رسل (1872–1970) نے اگلی نسلوں کو اس کا تحقیقی کام متعارف کرایا۔
👈 اس نے formula language کو استعمال کیا
👈 اس کی مشہور کتاب Begriffsschrift جس کا معنی concept notation سے کیا جاتا ہے
👈 جس کو بعد میں calculus کے باضابطہ نظام سے second-order logic سے بھی پہچانا جاتا ہے
۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔

🔸جارج ولہلم فریڈریک ہیگل (1770 – 1831)

👈 ہیگل نے Science of Logic کے عنوان سے کتاب 1817 مین لکھی اور منطق کی اہمیت پر زور دیا
👈ہیگل نے اپنے فلسفہ میں بھی جابجا منطقی اصولوں پر اصطلاحات کو وضع کر کے استعمال کیا
۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔
🔸ولہیلم میکسمیلیئن وانڈٹ (1832 – 1920)

👈اس نے فریج اور مل کے کام کو اچھی طرح پڑھا اور اس کی تشریح و توضیح کی
👈 اس نے اس کام کو نفسیات کے میدان میں تجربات اور منطق کے امتزاج سے استعمال کیا
👈اس نے واضح کیا کہ منطقی thinking سے نفسیاتی thinking کس طرح مختلف ہوتی ہے
👈 اس وجہ سے اسے
father of experimental psychology
کہا جاتا ہے ۔
۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔
🌟 منطق کا جدید دور Modern Logic
۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔
🔸منطق کا احیاء انیسویں صدی کے وسط میں شروع ہوا اور
modern symbolic or mathematical logic

کی شکل ملی جو آج ہمارے سامنے ہے
منطق کی 2000 سالہ تاریخ میں یہ اہم ترین موڑ اور انسانی فکری یا دانشورانہ تاریخ میں اہم ترین کارنامہ تھا
🔸 بہت ساری خصوصیات جدید منطق کو پرانے اریسٹوٹلین یا روایتی منطق سے ممتاز کرتی ہیں ، جن میں سے سب سے اہم مندرجہ ذیل ہیں۔

✔۔۔۔۔اس میں علامتیں جو اس کے لئے استعمال ہوتی ہیں ، جیسا کہ ریاضی میں ہے۔

✔۔۔۔۔۔ یہ ڈایاگرامیٹک منطق کی شکل ہے

✔۔۔۔۔۔ یہ رموز یا form of iconic پر مشتمل ہے

✔۔۔۔۔۔۔ یہ زیادہ تلخص abstractive سے زیادہ تعمیری constructive ہے جیسا کہ formal Logic میں پہلے حد سے زیادہ theorems وغیرہ استعمال ہوتے تھے ایسا اس میں نہیں ہے

✔۔۔۔۔۔۔ اس میں غلطی کے چانسز کم سے کم ہیں

۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔
👈 اس دور کو درجہ ذیل حصوں میں تقسیم کیا جا سکتا ہے
۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔۔

🔸1۔ ابتدائی دور embryonic period

👈 جب گوٹفریڈ ولہیلم لبنز (1646 -1716 ) نے منطق کو notion کی شکل میں تبدیل کیا
👈 اور اسی طرز پر منطقی کیلکولس کو ڈیزائن کیا
👈مگر اس دور میں اس کے کام کی کوئی ترویج و اشاعت نہ ہو سکی

🔸2۔ الجبرای دور algebraic period

👈جب جارج بول George Boole نے Analysis کا طریقہ کار ایجاد کیا
👈 پھر اس میں اس کی بنیاد پر پریکٹس اور ترویج شروع ہوئی اور نئے ideas اور Topics پر papers لکھے گئے

🔸3۔ منطقی امتزاج کا دور logicist period

جب فریج ، رسل اور وائیٹ ہیڈ نے منطق کو بنیاد بناتے ہوئے تخلیقی کام انجام دیا

🔸4۔ ریاضی کا دور metamathematical period

👈جب 1910 سے 1930 تک metalogic کے اندر ترقی ہوئی
👈 اور hilbert اور skolem جیسوں نے خاص طریقہ کار وضع کئے
👈 جس کے بعد metalogic اور logic کے باہمی combination پر کام ہوا

🔸5 ۔ جنگ عظیم دوم کے بعد period after World War II

👈جب ریاضیاتی منطق میں نئی نئی تھیوریاں متعارف ہوئی جیسے
model theory
proof theory
computability theory
set theory

🔴 منطق کی ترقی کا سفر ابھی رکا نہیں نہ جانے ابھی کیا کیا انکشافات ہوں گے جو اگلی نسلیں دیکھیں گی اور شاید ہم نہیں ہونگے