تکثرگرایی منطقی: اختلاف نظر حقیقتا بر سر چیست

در سالهای اخیر توجه خاصی به مساله تکثرگرایی منطقی شده است؛ عمده این مباحث در عکسل العمل به نظریه بیل و رستال درباره چگونگی تحقق بیش از یک منطق بوده است. نظریه ایشان این است که عدم تعین معنای اعتبار منطقی فراتر از تمایز میان اعتبار استنتاجی و اعتبار استقرایی است. مفهوم اعتبار استنتاجی نیر نامتعین است. این عدم تعین ریشه در عدم تعین امر بنیادین دیگری است: عدم تعین حالت. حالتها همان صادق کننده مقدمات و نتیجه یک استدلال هستند. مثال روشن برای حالت، همان مدلهای تارسکی برای منطق کلاسیک است. ارتباط میان اعتبار استنتاجی و حالت چنین است: استدلالی معتبر است که در همه حالتها صدق-نگهدار باشد. حال، چون حالت امری نامتعین است، اعتبار منطقی نیز امری نامعین خواهد بود. در این مقاله استدلال خواهیم کرد که اگر نظریه بیل و رستال با تببینی درباره چگونگی جواز وقوع حالتهای هم-تراز تکمیل نگردد، چیزی بیش از توضیحی متعارف درباره چگونگی ساختن منطقهای مختلف نیست.

کلیدواژه ها:

تکثرگرایی منطقی ، استنتاج منطقی ، اعتبار ، حالت