پاسخ به:جزوات و مقالات فلسفی
| 3 : پژوهشهاي فلسفي (نشريه دانشكده ادبيات و علوم انساني دانشگاه تبريز) پاييز و زمستان 1389; 53(219):34-70. |
| |
| آيا منطق دانان قديم از استلزام مادي آگاه بوده اند؟ |
| |
| حاج حسيني مرتضي* |
| |
| * دانشگاه اصفهان |
| |
|
ترکيب تابع ارزشي P ®Q با ماتريس [1011] که از آن در منطق جديد به استلزام مادي تعبير مي شود و کذب مقدم يا صدق تالي شرط لازم و کافي صدق آن به شمار مي آيد، معادل ترکيب هاي تابع ارزشي ~P nQ و ~ (P ? ~Q) در منطق جديد است که داراي همان ماتريس مي باشد. اين ترکيب اساسي ترين مفهوم منطق جديد محسوب مي شود و در استدلال هاي پيچيده رياضي نتايج رضايت بخشي داده است.
آگاهي يا عدم آگاهي منطق دانان قديم از شروط صدق اين ترکيب سوالي اساسي و بنيادين در منطق تطبيقي است که پاسخ آن مي تواند ساير مباحث تطبيقي در منطق را تحت تاثير قرار دهد. پاسخ هاي مختلفي را که تاکنون به اين سوال داده شده است، مي توان در رويکردهاي زير خلاصه نمود:
(1 اتفاقيه عامه همان استلزام مادي است. (2 تعريف متصله مقسمي با تعريف استلزام مادي يکي است. (3 شروط صدق متصله مقسمي با شروط صدق استلزام مادي يكي است. (4 آگاهي ابن سينا از شروط صدق استلزام مادي به دليل وجود قراين مختلف، له و عليه آن، در متون وي مورد ترديد است. (5 شروط صدق اتفاقي اعم با شروط صدق استلزام مادي يكي است. (6 شروط صدق هيچ يک از انواع شرطي با شروط صدق استلزام مادي يکي نيست و منطق دانان قديم از شروط صدق استلزام مادي آگاه نبوده اند.
در اين مقاله به بررسي و تحليل اين رويکردها و نقد دلايل و مستندات آنها مي پردازيم و تلاش مي کنيم تا با کنار گذاشتن پيش فرض ها و درنظر گرفتن جميع جوانب موضوع به وحدت نظر در اين موضوع بنيادين دست يابيم و پايه اي استوار براي تحقيقات بعدي در قلمرو منطق تطبيقي فراهم آوريم.
بر اساس اين تحقيق شروط صدق استلزام مادي منطق جديد بر شروط صدق هيچ يک از انواع شرطي در منطق قديم منطبق نيست و دلايل رويكردهايي كه به آگاهي ابن سينا از شروط صدق استلزام مادي حكم کرده اند و يا در جستجوي يافتن قضيه اي با شروط صدق مشابه برآمده اند، از پشتوانه کافي برخوردار نيست. در صورت قبول اين نظر منطق هاي قديم و جديد دو نظام منطقي مختلف به حساب مي آيند که با وجود برخي اشتراک ها در اصول و مباني، از يکديگر فاصله زيادي دارند؛ چنانچه هندسه هاي اقليدسي و غيراقليدسي و نيز فيزيک نيوتن و فيزيک اينشتين نيز دو نظام هندسي يا فيزيکي مستقل اند.
|
| |
| كليد واژه: ترکيب شرطي، استلزام مادي، شروط صدق، اتفاقيه عامه، متصله لزومي، متصله مقسمي، اتفاقي اعم |
| |
|
نسخه قابل چاپ
|
چهارشنبه 6 اردیبهشت 1391 2:14 PM
تشکرات از این پست