جستجوي پيشرفته | کتابخانه مجازی الفبا

مسأله تنوع و تکثر نظریه‌های منطقی بویژه در قرن بیستم یکی از مسایل بغرنج در زمینه فلسفه منطق بوده و همواره این پرسش را به میان آورده که سرانجام از میان این همه منطق، کدامیک درست است؟ آیا می‌توان همه آنها را درست دانست یا اینکه پذیرش همه آنها مستلزم ناسازگاری است. بیشتر منطقدانان وحدتگرا هستند یعنی قائل‌اند به اینکه تنها یک منطق درست وجود دارد. در مقابل، کثرت گرایان معتقدند که بیش از یک منطق درست وجود دارد. در سال 2006م، بیل و رستال نظریه کثرتگرایی منطقی خود را ارایه کردند. این نظریه بر مبنای "تز تعمیم یافته تارسکی" یاGTT قائل به درستی دست کم سه منطق است: کلاسیک، ربط و شهودی. درستی منطق را به دو معنا می‌توان لحاظ کرد، از اینرو میان دو نوع تصدیق منطق می‌توان تمایز نهاد: تصدیق قوی وضعیف. این تمایز، به تمایز میان نظام‌های صوری محض و کاربردی نزدیک است. بر مبنای تعریف و انتظار ما از منطق، پرسش از کثرت منطق‌ها چشم‌انداز متفاوتی می‌یابد. اگر تصدیق منطق‌ را به معنای قوی در نظر بگیریم، نمی‌توان به کثرت منطق‌های درست قایل بود و اگر آنرا به معنای ضعیف در نظر بگیریم می‌توان چنین کثرتی را پذیرفت. این نظریه هر چند بر مبنای GTT و حالت استوار گردیده، دلیل کافی‌ای برای دفاع از آنها ارایه نکرده است از اینرو در برابر آسیب ها و پیامدهای این مفاهیم شکننده است . همچنین این نظریه با همه انواع وحدتگرایی بر سر ستیز نیست و می‌پذیرد که در برخی موارد میان منطق‌های درست رقابت وجود دارد.