ارسطو[1] فیلسوف و دانشمند یونانی، شاگرد افلاطون و معلم اسکندر بود. کتاب ارغنون مجموعه ای از کارهای ارسطوست که شامل شش بخش است:
مقولات[2]
تحلیل اول[3]
تعبیرات(یا عبارات)[4]
تحلیل دوم[5]
ردیه سوفسطایان[6]
جدل[7]
اندرونیکوس
رودسی[8]حدود چهل سال قبل میلاد مسیح دست به جمع آوری آثار ارسطو زد.
هرچند کاوش های سقراط و افلاطون پیش از او رنگ و بوی منطقی داشت اما ارسطو
بود که اولین بار بطور سیستماتیک به مطالعه منطق پرداخت که حدود دو هزار
سال بر تفکر علمی دنیای غرب چیره شده بود.
هدف ارغنون
این نبود که به مخاطب بگوید که حقیقت چیست.بلکه ارائه یک رویکردی بود که می
آموزیم چطور باید به کاوش حقیقت بپردازیم و تصویر معقولی از جهان ارائه
دهیم.
ابزار اصلی ارسطو در کتابش قیاس[9]منطقی بود، استدلال سه مرحله ای زیر را در نظر بگیرید:
1) همه زنها فانی هستند.
2) کلئوپاترا [10] زن است.
بنابراین، کلئوپاترا فانی است.
اگر
دو مقدمه اول درست باشند میدانیم که نتیجه نیز باید درست باشد. ارسطو
همچنان تمایز مهمی را تحت عنوان اسامی جزئی[11] و کلی[12] قائل شد. طبق این
تقسیم بندی "کلئوپاترا" یک اسم خاص می باشد در حالی که "زن" و "فانی"
اسامی کلی هستند. وقتی از اسامی عام استفاده می شود، استدلال با عباراتی
چون "همه"، "برخی" یا "هیچ" همراه است. ارسطو استدلال های مختلفی را ارائه
داد و نشان داد که کدام یک از آنها معتبراند.
تحلیلات
منطقی ارسطو شامل منطق موجهات[13] نیز می شود به این معنی که به تحلیل
گزاره هایی می پردازد که در آن عباراتی همچون "احتمالا"، "ضرورتا" و اقسام
انها بکار رفته است. منطق ریاضی جدید با کارهای ارسطو تفاوت دارد یا شاید
بتوان گفت حاصل بسط کارهای او می باشد به گزاره هایی با ساختارهای دیگر.
گزاره هایی که شامل روابط پیچیده تری هستند یا بیش از یک سور[14] منطقی در
خود دارند، گزاره ای مانند "هیچ زنی تمام زنهایی که برخی از زنان را دوست
ندارند، دوست ندارد." کارهای ارسطو در جهت توسعه یک منطق سیستماتیک را یکی
از بزرگترین دست آوردهای بشر بحساب می آورند که در واقع بستری مناسب برای
پیشرفت زمینه های مختلف ریاضی که رابطه تنگاتنگی با منطق دارد را ایجاد
کرده است. وهمچنین میتوان گفت کارهای منطقی ارسطو تاثیر بسزایی درالهیدانان
و جستجوی حقیقت داشته است.
[1] #Aristotle
[2] #Categories
[3] #Prior_Analytics
[4] #De_Interpretatione,
[5] #Posterior_Analytics
[6] #Sophistical_Refutation
[7] #Topics
[8] #AndronicusOfRhodes
[9] #Syllogism
[10] #Cleopatra
[11] #Particular
[12] #Universal
[13] #Modal_Logic
[14] #Quantifier
